db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / cmpu-or0.c
blobe97e918094610e85e5cdd9973543492337ff7887
1 #define EQ(X) + (X == 0)
2 #define MASK 32U
5 int cmpu_ior_lt_lt(int a) { return ((a | MASK) < (MASK - 1)) EQ(0); }
6 int cmpu_ior_lt_eq(int a) { return ((a | MASK) < (MASK )) EQ(0); }
7 int cmpu_ior_le_lt(int a) { return ((a | MASK) <= (MASK - 1)) EQ(0); }
8 int cmpu_ior_ge_lt(int a) { return ((a | MASK) >= (MASK - 1)) EQ(1); }
9 int cmpu_ior_ge_eq(int a) { return ((a | MASK) >= (MASK )) EQ(1); }
10 int cmpu_ior_gt_lt(int a) { return ((a | MASK) > (MASK - 1)) EQ(1); }
13 * check-name: cmpu-or0
14 * check-command: test-linearize -Wno-decl $file
16 * check-output-ignore
17 * check-output-returns: 1