blob: ffcdaad5c1bde5d6d23b21a4ba9589fc221bf139 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#define zext(X) ((unsigned long long) (X))
#define BITS ((1ULL << 32) - 1)
int zext_lt_p(unsigned int x) { return (zext(x) < (BITS + 1)) == 1; }
int zext_le_p(unsigned int x) { return (zext(x) <= (BITS )) == 1; }
int zext_ge_p(unsigned int x) { return (zext(x) >= (BITS + 1)) == 0; }
int zext_gt_p(unsigned int x) { return (zext(x) > (BITS )) == 0; }
/*
* check-name: cmp-zext-uimm1
* check-command: test-linearize -Wno-decl $file
* check-known-to-fail
*
* check-output-ignore
* check-output-returns: 1
*/
|
