File: zext-cmpu.c

package info (click to toggle)
sparse 0.6.4-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 5,868 kB
  • sloc: ansic: 46,050; sh: 614; python: 301; perl: 293; makefile: 279
file content (16 lines) | stat: -rw-r--r-- 779 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
int ltg(unsigned x) { return (((long long)x) <  0x100000000ULL) == 1; }
int ltl(unsigned x) { return (((long long)x) <  0x0ffffffffULL) == (x <  0xffffffffU); }
int leg(unsigned x) { return (((long long)x) <= 0x0ffffffffULL) == 1; }
int lel(unsigned x) { return (((long long)x) <= 0x0fffffffeULL) == (x <= 0xfffffffeU); }
int geg(unsigned x) { return (((long long)x) >= 0x100000000ULL) == 0; }
int gel(unsigned x) { return (((long long)x) >= 0x0ffffffffULL) == (x >= 0xffffffffU); }
int gtg(unsigned x) { return (((long long)x) >  0x0ffffffffULL) == 0; }
int gtl(unsigned x) { return (((long long)x) >  0x0fffffffeULL) == (x >  0xfffffffeU); }

/*
 * check-name: zext-cmpu
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-returns: 1
 */