1f08c3bdfSopenharmony_ci#define zext(X)	((unsigned long long) (X))
2f08c3bdfSopenharmony_ci#define BITS	((1ULL << 32) - 1)
3f08c3bdfSopenharmony_ci
4f08c3bdfSopenharmony_ciint zext_lt_p(unsigned int x) { return (zext(x) <  (BITS + 1)) == 1; }
5f08c3bdfSopenharmony_ciint zext_le_p(unsigned int x) { return (zext(x) <= (BITS    )) == 1; }
6f08c3bdfSopenharmony_ciint zext_ge_p(unsigned int x) { return (zext(x) >= (BITS + 1)) == 0; }
7f08c3bdfSopenharmony_ciint zext_gt_p(unsigned int x) { return (zext(x) >  (BITS    )) == 0; }
8f08c3bdfSopenharmony_ci
9f08c3bdfSopenharmony_ci/*
10f08c3bdfSopenharmony_ci * check-name: cmp-zext-uimm1
11f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl $file
12f08c3bdfSopenharmony_ci *
13f08c3bdfSopenharmony_ci * check-output-ignore
14f08c3bdfSopenharmony_ci * check-output-returns: 1
15f08c3bdfSopenharmony_ci */
16