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