Lines Matching refs:ninf

49 ; fadd [nnan ninf] X, (fsub [nnan ninf] 0, X) ==> 0
50 ;   where nnan and ninf have to occur at least once somewhere in this
59   %t1 = fsub nnan ninf float 0.0, %a
60   %zero1 = fadd nnan ninf float %t1, %a
63   %zero2 = fadd ninf float %t2, %a
65   %t3 = fsub nnan ninf float 0.0, %a
69   %zero4 = fadd nnan ninf float %t4, %a
89 ; CHECK:         [[NO_ZERO1:%.*]] = fsub ninf float %a, %a
98   %no_zero1 = fsub ninf float %a, %a
121 ; CHECK:         [[NO_ZERO1:%.*]] = fadd ninf float %a, 0.000000e+00
127   %no_zero1 = fadd ninf float %a, 0.0