define i32 @main(){
    %a_ptr = alloca float
    store float 0x40163851E0000000, float* %a_ptr
    %a = load float, float* %a_ptr
    %cond = fcmp ugt float %a, 1.000000e+00
    br i1 %cond, label %1, label %2
1:
    ret i32 233
2:
    ret i32 0
}