if.c - IR

 enter($0) :
        f main [int function ( ) ]
        main_a_1_1 [int] = 0x1 [int]
        if main_a_1_1 [int] != 0 goto iftrue_0
         goto iffalse_0
 iftrue_0 :
        t1 [int] = call printf [int function ( char * ) ]
 iffalse_0 :
 return($0) :
        f_end main [int function ( ) ]