aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cmpu-or0.c
blob: e97e918094610e85e5cdd9973543492337ff7887 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#define EQ(X)		+ (X == 0)
#define MASK		32U


int cmpu_ior_lt_lt(int a) { return ((a | MASK) <  (MASK - 1)) EQ(0); }
int cmpu_ior_lt_eq(int a) { return ((a | MASK) <  (MASK    )) EQ(0); }
int cmpu_ior_le_lt(int a) { return ((a | MASK) <= (MASK - 1)) EQ(0); }
int cmpu_ior_ge_lt(int a) { return ((a | MASK) >= (MASK - 1)) EQ(1); }
int cmpu_ior_ge_eq(int a) { return ((a | MASK) >= (MASK    )) EQ(1); }
int cmpu_ior_gt_lt(int a) { return ((a | MASK) >  (MASK - 1)) EQ(1); }

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