3 typedef unsigned long int_t
;
5 __attribute__ ((noinline
)) int_t
6 addlleu (int_t w
, int_t x
, int_t y
, int_t z
)
8 return w
<= x
? y
+ z
: y
;
14 if (addlleu (-1L, -1L, 12L, 23L) != 35L)
16 if (addlleu (-1L, 3L, 12L, 23L) != 12L)
18 if (addlleu (1L, 3L, 12L, 23L) != 35L)
20 if (addlleu (3L, 3L, 12L, 23L) != 35L)
22 if (addlleu (5L, 3L, 12L, 23L) != 12L)
24 if (addlleu (3L, -1L, 12L, 23L) != 35L)
26 if (addlleu (3L, 1L, 12L, 23L) != 12L)
28 if (addlleu (3L, 5L, 12L, 23L) != 35L)