db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / cmps-and0.c
blob962fbd2d29f89f129b5f15569506b20d4b137a9a
1 #define MINUS_ONE -1
2 #define MASK 32
5 int cmps_and_lt_lt0(int a) { return ((a & MASK) < MINUS_ONE) + 1; }
6 int cmps_and_lt_gtm(int a) { return ((a & MASK) < (MASK + 1)) + 0; }
7 int cmps_and_le_lt0(int a) { return ((a & MASK) <= MINUS_ONE) + 1; }
8 int cmps_and_le_gtm(int a) { return ((a & MASK) <= (MASK + 1)) + 0; }
10 int cmps_and_gt_lt0(int a) { return ((a & MASK) > MINUS_ONE) + 0; }
11 int cmps_and_gt_gtm(int a) { return ((a & MASK) > (MASK + 1)) + 1; }
12 int cmps_and_ge_lt0(int a) { return ((a & MASK) >= MINUS_ONE) + 0; }
13 int cmps_and_ge_gtm(int a) { return ((a & MASK) >= (MASK + 1)) + 1; }
16 * check-name: cmps-and0
17 * check-command: test-linearize -Wno-decl $file
19 * check-output-ignore
20 * check-output-returns: 1