aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/bitwise-cmps.c
blob: f83ab7fe47db9209b5f4c2a282dc08b3c08fdec9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
typedef   signed int __attribute__((bitwise)) bs32;

static int ltu(bs32 x, bs32 y)  { return (x <  y); }
static int lteu(bs32 x, bs32 y) { return (x <= y); }
static int gteu(bs32 x, bs32 y) { return (x >= y); }
static int gtu(bs32 x, bs32 y)  { return (x >  y); }

/*
 * check-name: bitwise-cmps
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-excludes: setb\\.
 * check-output-excludes: setbe\\.
 * check-output-excludes: setae\\.
 * check-output-excludes: seta\\.
 */