• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download

ltg(unsigned x)1 int ltg(unsigned x) { return (((long long)x) <  0x100000000ULL) == 1; }
ltl(unsigned x)2 int ltl(unsigned x) { return (((long long)x) <  0x0ffffffffULL) == (x <  0xffffffffU); }
leg(unsigned x)3 int leg(unsigned x) { return (((long long)x) <= 0x0ffffffffULL) == 1; }
lel(unsigned x)4 int lel(unsigned x) { return (((long long)x) <= 0x0fffffffeULL) == (x <= 0xfffffffeU); }
geg(unsigned x)5 int geg(unsigned x) { return (((long long)x) >= 0x100000000ULL) == 0; }
gel(unsigned x)6 int gel(unsigned x) { return (((long long)x) >= 0x0ffffffffULL) == (x >= 0xffffffffU); }
gtg(unsigned x)7 int gtg(unsigned x) { return (((long long)x) >  0x0ffffffffULL) == 0; }
gtl(unsigned x)8 int gtl(unsigned x) { return (((long long)x) >  0x0fffffffeULL) == (x >  0xfffffffeU); }
9 
10 /*
11  * check-name: zext-cmpu
12  * check-command: test-linearize -Wno-decl $file
13  *
14  * check-output-ignore
15  * check-output-returns: 1
16  */
17