Lines Matching refs:And
692 auto And = [&](auto Lhs, auto Rhs) -> std::pair<Value *, uint8_t> { in simplifyTernarylogic() local
700 auto Nand = [&](auto Lhs, auto Rhs) { return Not(And(Lhs, Rhs)); }; in simplifyTernarylogic()
736 Res = And(Nor(A, B), C); in simplifyTernarylogic()
744 Res = And(Nor(A, C), B); in simplifyTernarylogic()
756 Res = Nor(A, And(B, C)); in simplifyTernarylogic()
791 Res = And(A, Nor(B, C)); in simplifyTernarylogic()
803 Res = Nor(And(A, C), B); in simplifyTernarylogic()
811 Res = Nor(And(A, B), C); in simplifyTernarylogic()
815 Res = Xor(Xor(A, B), And(Nand(A, B), C)); in simplifyTernarylogic()
827 Res = And(Nand(A, B), Xnor(B, C)); in simplifyTernarylogic()
831 Res = Xor(A, Or(And(A, B), C)); in simplifyTernarylogic()
839 Res = Xor(A, Or(And(A, C), B)); in simplifyTernarylogic()
879 Res = And(Nand(A, B), Xor(B, C)); in simplifyTernarylogic()
887 Res = And(Xor(A, B), C); in simplifyTernarylogic()
891 Res = Xor(Xor(A, B), Nor(And(A, B), C)); in simplifyTernarylogic()
895 Res = And(Nand(A, B), C); in simplifyTernarylogic()
934 Res = And(Xor(A, B), Nand(B, C)); in simplifyTernarylogic()
1005 Res = Xor(Or(And(A, C), B), C); in simplifyTernarylogic()
1013 Res = And(Xor(A, C), B); in simplifyTernarylogic()
1017 Res = Xor(Or(Xnor(A, B), And(A, C)), C); in simplifyTernarylogic()
1029 Res = And(Nand(A, C), B); in simplifyTernarylogic()
1053 Res = And(Xor(A, C), Nand(B, C)); in simplifyTernarylogic()
1107 Res = And(A, Xor(B, C)); in simplifyTernarylogic()
1111 Res = Xor(Or(Xnor(A, B), And(B, C)), C); in simplifyTernarylogic()
1146 Res = Xor(And(A, B), C); in simplifyTernarylogic()
1154 Res = Xor(And(A, C), B); in simplifyTernarylogic()
1170 Res = And(A, Nand(B, C)); in simplifyTernarylogic()
1202 Res = Xor(A, And(B, C)); in simplifyTernarylogic()
1230 Res = Nand(And(A, B), C); in simplifyTernarylogic()
1234 Res = And(And(A, B), C); in simplifyTernarylogic()
1242 Res = And(Xnor(A, B), C); in simplifyTernarylogic()
1250 Res = And(Xnor(A, C), B); in simplifyTernarylogic()
1265 Res = And(B, C); in simplifyTernarylogic()
1273 Res = And(Nand(A, Not(B)), C); in simplifyTernarylogic()
1281 Res = And(Nand(A, Not(C)), B); in simplifyTernarylogic()
1297 Res = And(A, Xnor(B, C)); in simplifyTernarylogic()
1353 Res = Xor(And(Xor(A, B), Nand(B, C)), C); in simplifyTernarylogic()
1360 Res = And(A, C); in simplifyTernarylogic()
1368 Res = And(Or(A, Not(B)), C); in simplifyTernarylogic()
1392 Res = And(Or(A, B), C); in simplifyTernarylogic()
1411 Res = Or(Xnor(A, C), And(B, C)); in simplifyTernarylogic()
1423 Res = And(A, Nand(B, Not(C))); in simplifyTernarylogic()
1447 Res = Xor(And(Xor(A, B), Nand(A, C)), C); in simplifyTernarylogic()
1459 Res = Xor(Nor(And(A, C), B), C); in simplifyTernarylogic()
1471 Res = Xor(A, And(Nand(A, C), B)); in simplifyTernarylogic()
1486 Res = And(A, B); in simplifyTernarylogic()
1502 Res = And(Or(A, Not(C)), B); in simplifyTernarylogic()
1518 Res = And(Or(A, C), B); in simplifyTernarylogic()
1530 Res = Or(Xnor(A, B), And(B, C)); in simplifyTernarylogic()
1549 Res = And(A, Or(B, Not(C))); in simplifyTernarylogic()
1573 Res = Xor(Xor(A, B), Or(And(A, B), C)); in simplifyTernarylogic()
1585 Res = Or(And(A, B), Xnor(B, C)); in simplifyTernarylogic()
1589 Res = Xor(A, And(Nand(A, B), C)); in simplifyTernarylogic()
1613 Res = And(A, Or(B, C)); in simplifyTernarylogic()
1625 Res = Xor(A, Nor(And(A, C), B)); in simplifyTernarylogic()
1633 Res = Xor(A, Nor(And(A, B), C)); in simplifyTernarylogic()
1637 Res = Or(And(A, B), Xor(B, C)); in simplifyTernarylogic()
1653 Res = Or(And(A, B), C); in simplifyTernarylogic()
1661 Res = Or(And(A, C), B); in simplifyTernarylogic()
1707 Res = Or(A, And(B, C)); in simplifyTernarylogic()