1 #define ZEXT(X) ((long long)(X))
2 #define BITS ((long long)(~0U))
3
zext_ult(unsigned int x)4 int zext_ult(unsigned int x) { return (ZEXT(x) < (BITS + 1)) == 1; }
zext_ule(unsigned int x)5 int zext_ule(unsigned int x) { return (ZEXT(x) <= (BITS + 0)) == 1; }
zext_uge(unsigned int x)6 int zext_uge(unsigned int x) { return (ZEXT(x) >= (BITS + 1)) == 0; }
zext_ugt(unsigned int x)7 int zext_ugt(unsigned int x) { return (ZEXT(x) > (BITS + 0)) == 0; }
8
zext_0le(unsigned int x)9 int zext_0le(unsigned int x) { return (ZEXT(x) <= 0) == (x == 0); }
zext_0ge(unsigned int x)10 int zext_0ge(unsigned int x) { return (ZEXT(x) > 0) == (x != 0); }
11
zext_llt(unsigned int x)12 int zext_llt(unsigned int x) { return (ZEXT(x) < -1) == 0; }
zext_lle(unsigned int x)13 int zext_lle(unsigned int x) { return (ZEXT(x) <= -1) == 0; }
zext_lge(unsigned int x)14 int zext_lge(unsigned int x) { return (ZEXT(x) >= -1) == 1; }
zext_lgt(unsigned int x)15 int zext_lgt(unsigned int x) { return (ZEXT(x) > -1) == 1; }
16
17 /*
18 * check-name: cmp-zext-simm
19 * check-command: test-linearize -Wno-decl $file
20 *
21 * check-output-ignore
22 * check-output-returns: 1
23 */
24