1#define zext(X)	((unsigned long long) (X))
2#define BITS	((1ULL << 32) - 1)
3
4int zext_lt_p(unsigned int x) { return (zext(x) <  (BITS + 1)) == 1; }
5int zext_le_p(unsigned int x) { return (zext(x) <= (BITS    )) == 1; }
6int zext_ge_p(unsigned int x) { return (zext(x) >= (BITS + 1)) == 0; }
7int 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