blob: 40a2092c58a44e2a905cff53c56e626ab25fd8ee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#define EQ(X) + (X == 0)
#define SIGN (1 << 31)
#define MASK (SIGN | 32)
int cmps_ior_lt_x(int a) { return ((a | MASK) < 4) EQ(1); }
int cmps_ior_lt_0(int a) { return ((a | MASK) < 0) EQ(1); }
int cmps_ior_le_x(int a) { return ((a | MASK) <= 4) EQ(1); }
int cmps_ior_le_0(int a) { return ((a | MASK) <= 0) EQ(1); }
int cmps_ior_ge_x(int a) { return ((a | MASK) >= 4) EQ(0); }
int cmps_ior_ge_0(int a) { return ((a | MASK) >= 0) EQ(0); }
int cmps_ior_gt_x(int a) { return ((a | MASK) > 4) EQ(0); }
int cmps_ior_gt_0(int a) { return ((a | MASK) > 0) EQ(0); }
/*
* check-name: cmps-or0
* check-command: test-linearize -Wno-decl $file
* check-known-to-fail
*
* check-output-ignore
* check-output-returns: 1
*/
|