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