1 int add_yx_y(int p
, int x
, int y
) { return (p
? (y
+x
) : y
) == ((p
? x
: 0) + y
); }
2 int add_xy_y(int p
, int y
, int x
) { return (p
? (x
+y
) : y
) == ((p
? x
: 0) + y
); }
3 int add_xy_x(int p
, int x
, int y
) { return (p
? (x
+y
) : x
) == ((p
? y
: 0) + x
); }
4 int add_yx_x(int p
, int y
, int x
) { return (p
? (y
+x
) : x
) == ((p
? y
: 0) + x
); }
5 int add_y_yx(int p
, int x
, int y
) { return (p
? y
: (y
+x
)) == ((p
? 0 : x
) + y
); }
7 int ior_yx_y(int p
, int x
, int y
) { return (p
? (y
|x
) : y
) == ((p
? x
: 0) | y
); }
8 int ior_xy_y(int p
, int y
, int x
) { return (p
? (x
|y
) : y
) == ((p
? x
: 0) | y
); }
9 int ior_xy_x(int p
, int x
, int y
) { return (p
? (x
|y
) : x
) == ((p
? y
: 0) | x
); }
10 int ior_yx_x(int p
, int y
, int x
) { return (p
? (y
|x
) : x
) == ((p
? y
: 0) | x
); }
11 int ior_y_yx(int p
, int x
, int y
) { return (p
? y
: (y
|x
)) == ((p
? 0 : x
) | y
); }
13 int xor_yx_y(int p
, int x
, int y
) { return (p
? (y
^x
) : y
) == ((p
? x
: 0) ^ y
); }
14 int xor_xy_y(int p
, int y
, int x
) { return (p
? (x
^y
) : y
) == ((p
? x
: 0) ^ y
); }
15 int xor_xy_x(int p
, int x
, int y
) { return (p
? (x
^y
) : x
) == ((p
? y
: 0) ^ x
); }
16 int xor_yx_x(int p
, int y
, int x
) { return (p
? (y
^x
) : x
) == ((p
? y
: 0) ^ x
); }
17 int xor_y_yx(int p
, int x
, int y
) { return (p
? y
: (y
^x
)) == ((p
? 0 : x
) ^ y
); }
20 * check-name: fact-select01
21 * check-command: test-linearize -Wno-decl $file
24 * check-output-returns: 1