1 #define sext(X) ((long long) (X))
2 #define POS (1LL << 31)
5 static int lt_ge0(int x
) { return (sext(x
) < (POS
+ 0)) == 1; }
6 static int lt_ge1(int x
) { return (sext(x
) < (POS
+ 1)) == 1; }
7 static int lt_ge2(int x
) { return (sext(x
) < (POS
+ 2)) == 1; }
8 static int lt_gex(int x
) { return (sext(x
) < (POS
<< 1)) == 1; }
9 static int lt_gey(int x
) { return (sext(x
) < (POS
<< 3)) == 1; }
10 static int le_ge0(int x
) { return (sext(x
) <= (POS
+ 0)) == 1; }
11 static int le_ge1(int x
) { return (sext(x
) <= (POS
+ 1)) == 1; }
12 static int le_ge2(int x
) { return (sext(x
) <= (POS
+ 2)) == 1; }
13 static int le_gex(int x
) { return (sext(x
) <= (POS
<< 1)) == 1; }
14 static int le_gey(int x
) { return (sext(x
) <= (POS
<< 3)) == 1; }
15 static int ge_ge0(int x
) { return (sext(x
) >= (POS
+ 0)) == 0; }
16 static int ge_ge1(int x
) { return (sext(x
) >= (POS
+ 1)) == 0; }
17 static int ge_ge2(int x
) { return (sext(x
) >= (POS
+ 2)) == 0; }
18 static int ge_gex(int x
) { return (sext(x
) >= (POS
<< 1)) == 0; }
19 static int ge_gey(int x
) { return (sext(x
) >= (POS
<< 3)) == 0; }
20 static int gt_ge0(int x
) { return (sext(x
) > (POS
+ 0)) == 0; }
21 static int gt_ge1(int x
) { return (sext(x
) > (POS
+ 1)) == 0; }
22 static int gt_ge2(int x
) { return (sext(x
) > (POS
+ 2)) == 0; }
23 static int gt_gex(int x
) { return (sext(x
) > (POS
<< 1)) == 0; }
24 static int gt_gey(int x
) { return (sext(x
) > (POS
<< 3)) == 0; }
26 static int lt_lt0(int x
) { return (sext(x
) < (NEG
- 0)) == 0; }
27 static int lt_lt1(int x
) { return (sext(x
) < (NEG
- 1)) == 0; }
28 static int lt_lt2(int x
) { return (sext(x
) < (NEG
- 2)) == 0; }
29 static int lt_ltx(int x
) { return (sext(x
) < (NEG
<< 1)) == 0; }
30 static int lt_lty(int x
) { return (sext(x
) < (NEG
<< 3)) == 0; }
31 static int le_lt0(int x
) { return (sext(x
) <= (NEG
- 0)) == 0; }
32 static int le_lt1(int x
) { return (sext(x
) <= (NEG
- 1)) == 0; }
33 static int le_lt2(int x
) { return (sext(x
) <= (NEG
- 2)) == 0; }
34 static int le_ltx(int x
) { return (sext(x
) <= (NEG
<< 1)) == 0; }
35 static int le_lty(int x
) { return (sext(x
) <= (NEG
<< 3)) == 0; }
36 static int ge_lt0(int x
) { return (sext(x
) >= (NEG
- 0)) == 1; }
37 static int ge_lt1(int x
) { return (sext(x
) >= (NEG
- 1)) == 1; }
38 static int ge_lt2(int x
) { return (sext(x
) >= (NEG
- 2)) == 1; }
39 static int ge_ltx(int x
) { return (sext(x
) >= (NEG
<< 1)) == 1; }
40 static int ge_lty(int x
) { return (sext(x
) >= (NEG
<< 3)) == 1; }
41 static int gt_lt0(int x
) { return (sext(x
) > (NEG
- 0)) == 1; }
42 static int gt_lt1(int x
) { return (sext(x
) > (NEG
- 1)) == 1; }
43 static int gt_lt2(int x
) { return (sext(x
) > (NEG
- 2)) == 1; }
44 static int gt_ltx(int x
) { return (sext(x
) > (NEG
<< 1)) == 1; }
45 static int gt_lty(int x
) { return (sext(x
) > (NEG
<< 3)) == 1; }
48 * check-name: cmp-sext-simm
49 * check-command: test-linearize -Wno-decl $file
52 * check-output-returns: 1