The input() function reads the gpio-input state.

int input( int pinnumber)

Example:

 
void main()

{

    printf("Pin %d has state %d \n", 1, input(1) );

}

Output:

  Pin 1 has state 0