blob: f89f8f8baa6209fc9b76b5ec0b5d812e65591700 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#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-known-to-fail
*
* check-output-ignore
* check-output-returns: 1
*/
|
