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-add-mul
23 * check-command: test-linearize -Wno-decl $file
26 * check-output-returns: 1
