4 int cmps_and_ltu_gt(int a
) { return ((a
& MASK
) < (MASK
+ 1)) + 0; }
5 int cmps_and_leu_gt(int a
) { return ((a
& MASK
) <= (MASK
+ 1)) + 0; }
6 int cmps_and_leu_eq(int a
) { return ((a
& MASK
) <= (MASK
+ 0)) + 0; }
7 int cmps_and_geu_gt(int a
) { return ((a
& MASK
) >= (MASK
+ 1)) + 1; }
8 int cmps_and_gtu_gt(int a
) { return ((a
& MASK
) > (MASK
+ 1)) + 1; }
9 int cmps_and_gtu_eq(int a
) { return ((a
& MASK
) > (MASK
+ 0)) + 1; }
12 * check-name: cmpu-and0
13 * check-command: test-linearize -Wno-decl $file
16 * check-output-returns: 1