1 #define zext(X) ((unsigned long long) (X))
2
zext_ltu_q(unsigned x)3 int zext_ltu_q(unsigned x) { return (zext(x) < 0x100000001UL) == 1; }
zext_ltu_p(unsigned x)4 int zext_ltu_p(unsigned x) { return (zext(x) < 0x100000000UL) == 1; }
zext_ltu_0(unsigned x)5 int zext_ltu_0(unsigned x) { return (zext(x) < 0x0ffffffffUL) == (x < 0xffffffff); }
zext_ltu_m(unsigned x)6 int zext_ltu_m(unsigned x) { return (zext(x) < 0x0fffffffeUL) == (x < 0xfffffffe); }
7
zext_leu_q(unsigned x)8 int zext_leu_q(unsigned x) { return (zext(x) <= 0x100000001UL) == 1; }
zext_leu_p(unsigned x)9 int zext_leu_p(unsigned x) { return (zext(x) <= 0x100000000UL) == 1; }
zext_leu_0(unsigned x)10 int zext_leu_0(unsigned x) { return (zext(x) <= 0x0ffffffffUL) == 1; }
zext_leu_m(unsigned x)11 int zext_leu_m(unsigned x) { return (zext(x) <= 0x0fffffffeUL) == (x <= 0xfffffffe); }
12
zext_geu_q(unsigned x)13 int zext_geu_q(unsigned x) { return (zext(x) >= 0x100000001UL) == 0; }
zext_geu_p(unsigned x)14 int zext_geu_p(unsigned x) { return (zext(x) >= 0x100000000UL) == 0; }
zext_geu_0(unsigned x)15 int zext_geu_0(unsigned x) { return (zext(x) >= 0x0ffffffffUL) == (x >= 0xffffffff); }
zext_geu_m(unsigned x)16 int zext_geu_m(unsigned x) { return (zext(x) >= 0x0fffffffeUL) == (x >= 0xfffffffe); }
17
zext_gtu_q(unsigned x)18 int zext_gtu_q(unsigned x) { return (zext(x) > 0x100000001UL) == 0; }
zext_gtu_p(unsigned x)19 int zext_gtu_p(unsigned x) { return (zext(x) > 0x100000000UL) == 0; }
zext_gtu_0(unsigned x)20 int zext_gtu_0(unsigned x) { return (zext(x) > 0x0ffffffffUL) == 0; }
zext_gtu_m(unsigned x)21 int 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