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