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