1#define zext(X)	((unsigned long long) (X))
2
3int zext_ltu_q(unsigned x) { return (zext(x) <  0x100000001UL) == 1; }
4int zext_ltu_p(unsigned x) { return (zext(x) <  0x100000000UL) == 1; }
5int zext_ltu_0(unsigned x) { return (zext(x) <  0x0ffffffffUL) == (x <  0xffffffff); }
6int zext_ltu_m(unsigned x) { return (zext(x) <  0x0fffffffeUL) == (x <  0xfffffffe); }
7
8int zext_leu_q(unsigned x) { return (zext(x) <= 0x100000001UL) == 1; }
9int zext_leu_p(unsigned x) { return (zext(x) <= 0x100000000UL) == 1; }
10int zext_leu_0(unsigned x) { return (zext(x) <= 0x0ffffffffUL) == 1; }
11int zext_leu_m(unsigned x) { return (zext(x) <= 0x0fffffffeUL) == (x <= 0xfffffffe); }
12
13int zext_geu_q(unsigned x) { return (zext(x) >= 0x100000001UL) == 0; }
14int zext_geu_p(unsigned x) { return (zext(x) >= 0x100000000UL) == 0; }
15int zext_geu_0(unsigned x) { return (zext(x) >= 0x0ffffffffUL) == (x >= 0xffffffff); }
16int zext_geu_m(unsigned x) { return (zext(x) >= 0x0fffffffeUL) == (x >= 0xfffffffe); }
17
18int zext_gtu_q(unsigned x) { return (zext(x) >  0x100000001UL) == 0; }
19int zext_gtu_p(unsigned x) { return (zext(x) >  0x100000000UL) == 0; }
20int zext_gtu_0(unsigned x) { return (zext(x) >  0x0ffffffffUL) == 0; }
21int zext_gtu_m(unsigned x) { return (zext(x) >  0x0fffffffeUL) == (x >  0xfffffffe); }
22
23/*
24 * check-name: cmp-zext-uimm2
25 * check-command: test-linearize -Wno-decl $file
26 *
27 * check-output-ignore
28 * check-output-returns: 1
29 */
30