5 __attribute__ ((noinline
)) int_t
6 movifge (double w
, double x
, int_t y
, int_t z
)
14 if (movifge (-1.0, -1.0, 12, 23) != 12)
16 if (movifge (-1.0, 3.0, 12, 23) != 23)
18 if (movifge (1.0, 3.0, 12, 23) != 23)
20 if (movifge (3.0, 3.0, 12, 23) != 12)
22 if (movifge (5.0, 3.0, 12, 23) != 12)
24 if (movifge (3.0, -1.0, 12, 23) != 12)
26 if (movifge (3.0, 1.0, 12, 23) != 12)
28 if (movifge (3.0, 5.0, 12, 23) != 23)