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