blob: cc89a80694a109a4872583ffad22516b5e9e26e3 (
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
25
26
|
#define sext(X) ((unsigned long long) (X))
#define POS (1ULL << 31)
#define NEG ((unsigned long long) -POS)
int sext_ltu_p2(int x) { return (sext(x) < (POS + 2)) == (x >= 0); }
int sext_ltu_p1(int x) { return (sext(x) < (POS + 1)) == (x >= 0); }
int sext_ltu_p0(int x) { return (sext(x) < (POS + 0)) == (x >= 0); }
int sext_leu_p1(int x) { return (sext(x) <= (POS + 1)) == (x >= 0); }
int sext_leu_p0(int x) { return (sext(x) <= (POS + 0)) == (x >= 0); }
int sext_geu_m1(int x) { return (sext(x) >= (NEG - 1)) == (x < 0); }
int sext_geu_m2(int x) { return (sext(x) >= (NEG - 2)) == (x < 0); }
int sext_gtu_m1(int x) { return (sext(x) > (NEG - 1)) == (x < 0); }
int sext_gtu_m2(int x) { return (sext(x) > (NEG - 2)) == (x < 0); }
int sext_gtu_m3(int x) { return (sext(x) > (NEG - 3)) == (x < 0); }
/*
* check-name: cmp-sext-uimm
* check-command: test-linearize -Wno-decl $file
* check-known-to-fail
*
* check-output-ignore
* check-output-returns: 1
*/
|
