db/insert_manual_states.pl: remove debug output
[smatch.git] / validation / optim / zext-cmpu.c
blob9758e0710d7b44c72f8846a1807141f5fa65f418
1 int ltg(unsigned x) { return (((long long)x) < 0x100000000ULL) == 1; }
2 int ltl(unsigned x) { return (((long long)x) < 0x0ffffffffULL) == (x < 0xffffffffU); }
3 int leg(unsigned x) { return (((long long)x) <= 0x0ffffffffULL) == 1; }
4 int lel(unsigned x) { return (((long long)x) <= 0x0fffffffeULL) == (x <= 0xfffffffeU); }
5 int geg(unsigned x) { return (((long long)x) >= 0x100000000ULL) == 0; }
6 int gel(unsigned x) { return (((long long)x) >= 0x0ffffffffULL) == (x >= 0xffffffffU); }
7 int gtg(unsigned x) { return (((long long)x) > 0x0ffffffffULL) == 0; }
8 int gtl(unsigned x) { return (((long long)x) > 0x0fffffffeULL) == (x > 0xfffffffeU); }
11 * check-name: zext-cmpu
12 * check-command: test-linearize -Wno-decl $file
14 * check-output-ignore
15 * check-output-returns: 1