fr_abx(int a,int b,int x)1 int fr_abx(int a, int b, int x) { return ((a & x) | (b & x)) == ((a | b) & x); }
fl_abx(int a,int b,int x)2 int fl_abx(int a, int b, int x) { return ((x & a) | (x & b)) == ((a | b) & x); }
fm_abx(int a,int b,int x)3 int fm_abx(int a, int b, int x) { return ((a & x) | (x & b)) == ((a | b) & x); }
fn_abx(int a,int b,int x)4 int fn_abx(int a, int b, int x) { return ((x & a) | (b & x)) == ((a | b) & x); }
5
fr_bax(int b,int a,int x)6 int fr_bax(int b, int a, int x) { return ((a & x) | (b & x)) == ((b | a) & x); }
fl_bax(int b,int a,int x)7 int fl_bax(int b, int a, int x) { return ((x & a) | (x & b)) == ((b | a) & x); }
fm_bax(int b,int a,int x)8 int fm_bax(int b, int a, int x) { return ((a & x) | (x & b)) == ((b | a) & x); }
fn_bax(int b,int a,int x)9 int fn_bax(int b, int a, int x) { return ((x & a) | (b & x)) == ((b | a) & x); }
10
fr_axb(int a,int x,int b)11 int fr_axb(int a, int x, int b) { return ((a & x) | (b & x)) == ((a | b) & x); }
fl_axb(int a,int x,int b)12 int fl_axb(int a, int x, int b) { return ((x & a) | (x & b)) == ((a | b) & x); }
fm_axb(int a,int x,int b)13 int fm_axb(int a, int x, int b) { return ((a & x) | (x & b)) == ((a | b) & x); }
fn_axb(int a,int x,int b)14 int fn_axb(int a, int x, int b) { return ((x & a) | (b & x)) == ((a | b) & x); }
15
fr_bxa(int b,int x,int a)16 int fr_bxa(int b, int x, int a) { return ((b & x) | (a & x)) == ((b | a) & x); }
fl_bxa(int b,int x,int a)17 int fl_bxa(int b, int x, int a) { return ((x & b) | (x & a)) == ((b | a) & x); }
fm_bxa(int b,int x,int a)18 int fm_bxa(int b, int x, int a) { return ((b & x) | (x & a)) == ((b | a) & x); }
fn_bxa(int b,int x,int a)19 int fn_bxa(int b, int x, int a) { return ((x & b) | (a & x)) == ((b | a) & x); }
20
21 /*
22 * check-name: fact-ior-and
23 * check-command: test-linearize -Wno-decl $file
24 *
25 * check-output-ignore
26 * check-output-returns: 1
27 */
28