aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmpu-and0.c
blob: 253212941779712a6c9304b93970c11907ad967a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#define MASK		32U


int cmps_and_ltu_gt(int a) { return ((a & MASK) <  (MASK + 1)) + 0; }
int cmps_and_leu_gt(int a) { return ((a & MASK) <= (MASK + 1)) + 0; }
int cmps_and_leu_eq(int a) { return ((a & MASK) <= (MASK + 0)) + 0; }
int cmps_and_geu_gt(int a) { return ((a & MASK) >= (MASK + 1)) + 1; }
int cmps_and_gtu_gt(int a) { return ((a & MASK) >  (MASK + 1)) + 1; }
int cmps_and_gtu_eq(int a) { return ((a & MASK) >  (MASK + 0)) + 1; }

/*
 * check-name: cmpu-and0
 * check-command: test-linearize -Wno-decl $file
 * check-known-to-fail
 *
 * check-output-ignore
 * check-output-returns: 1
 */