| #define ZEXT(X) ((long long)(X)) |
| #define BITS ((long long)(~0U)) |
| |
| int zext_ult(unsigned int x) { return (ZEXT(x) < (BITS + 1)) == 1; } |
| int zext_ule(unsigned int x) { return (ZEXT(x) <= (BITS + 0)) == 1; } |
| int zext_uge(unsigned int x) { return (ZEXT(x) >= (BITS + 1)) == 0; } |
| int zext_ugt(unsigned int x) { return (ZEXT(x) > (BITS + 0)) == 0; } |
| |
| int zext_0le(unsigned int x) { return (ZEXT(x) <= 0) == (x == 0); } |
| int zext_0ge(unsigned int x) { return (ZEXT(x) > 0) == (x != 0); } |
| |
| int zext_llt(unsigned int x) { return (ZEXT(x) < -1) == 0; } |
| int zext_lle(unsigned int x) { return (ZEXT(x) <= -1) == 0; } |
| int zext_lge(unsigned int x) { return (ZEXT(x) >= -1) == 1; } |
| int zext_lgt(unsigned int x) { return (ZEXT(x) > -1) == 1; } |
| |
| /* |
| * check-name: cmp-zext-simm |
| * check-command: test-linearize -Wno-decl $file |
| * |
| * check-output-ignore |
| * check-output-returns: 1 |
| */ |
