Lines Matching refs:ninf

37 ; fadd [nnan ninf] X, (fsub [nnan ninf] 0, X) ==> 0
38 ;   where nnan and ninf have to occur at least once somewhere in this
43   %t1 = fsub nnan ninf float 0.0, %a
44   %zero1 = fadd nnan ninf float %t1, %a
47   %zero2 = fadd ninf float %t2, %a
49   %t3 = fsub nnan ninf float 0.0, %a
53   %zero4 = fadd nnan ninf float %t4, %a
73 ; fsub nnan ninf x, x ==> 0.0
77   %zero1 = fsub nnan ninf float %a, %a
81   %no_zero1 = fsub ninf float %a, %a
99   %no_zero1 = fadd ninf float %a, 0.0