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