blob: 279ed70e0fda05ea9787fe7eae14d4ab6eea0da2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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-known-to-fail
*
* check-output-ignore
* check-output-returns: 1
*/
|
