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