1 #define zext(X) ((unsigned long long) (X))
2 #define BITS ((1ULL << 32) - 1)
4 int zext_lt_p(unsigned int x
) { return (zext(x
) < (BITS
+ 1)) == 1; }
5 int zext_le_p(unsigned int x
) { return (zext(x
) <= (BITS
)) == 1; }
6 int zext_ge_p(unsigned int x
) { return (zext(x
) >= (BITS
+ 1)) == 0; }
7 int zext_gt_p(unsigned int x
) { return (zext(x
) > (BITS
)) == 0; }
10 * check-name: cmp-zext-uimm1
11 * check-command: test-linearize -Wno-decl $file
14 * check-output-returns: 1