5 __attribute__ ((noinline
)) int_t
6 addiflt (double w
, double x
, int_t y
, int_t z
)
8 return w
< x
? y
+ z
: y
;
14 if (addiflt (-1.0, -1.0, 12, 23) != 12)
16 if (addiflt (-1.0, 3.0, 12, 23) != 35)
18 if (addiflt (1.0, 3.0, 12, 23) != 35)
20 if (addiflt (3.0, 3.0, 12, 23) != 12)
22 if (addiflt (5.0, 3.0, 12, 23) != 12)
24 if (addiflt (3.0, -1.0, 12, 23) != 12)
26 if (addiflt (3.0, 1.0, 12, 23) != 12)
28 if (addiflt (3.0, 5.0, 12, 23) != 35)