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