Lines Matching refs:Or
686 auto Or = [&](auto Lhs, auto Rhs) -> std::pair<Value *, uint8_t> { in simplifyTernarylogic() local
698 auto Nor = [&](auto Lhs, auto Rhs) { return Not(Or(Lhs, Rhs)); }; in simplifyTernarylogic()
732 Res = Nor(Or(A, B), C); in simplifyTernarylogic()
819 Res = Xor(Or(A, B), Or(Xnor(A, B), C)); in simplifyTernarylogic()
831 Res = Xor(A, Or(And(A, B), C)); in simplifyTernarylogic()
835 Res = Xor(A, Or(Xnor(A, B), C)); in simplifyTernarylogic()
839 Res = Xor(A, Or(And(A, C), B)); in simplifyTernarylogic()
843 Res = Xor(A, Or(Xnor(A, C), B)); in simplifyTernarylogic()
847 Res = Xor(A, Or(B, C)); in simplifyTernarylogic()
851 Res = Nand(A, Or(B, C)); in simplifyTernarylogic()
883 Res = Xor(Or(Xnor(A, B), C), B); in simplifyTernarylogic()
899 Res = Xor(Or(Xnor(A, B), Xor(A, C)), A); in simplifyTernarylogic()
907 Res = Xor(A, Or(B, Not(C))); in simplifyTernarylogic()
911 Res = Xor(A, Or(Xor(A, C), B)); in simplifyTernarylogic()
915 Res = Nand(A, Or(B, Not(C))); in simplifyTernarylogic()
938 Res = Xor(B, Or(A, Xnor(B, C))); in simplifyTernarylogic()
942 Res = Xor(Or(A, C), B); in simplifyTernarylogic()
946 Res = Nand(Or(A, C), B); in simplifyTernarylogic()
954 Res = Xor(Or(A, Not(C)), B); in simplifyTernarylogic()
958 Res = Xor(B, Or(A, Xor(B, C))); in simplifyTernarylogic()
962 Res = Nand(Or(A, Not(C)), B); in simplifyTernarylogic()
969 Res = Xor(A, Or(Nor(A, C), B)); in simplifyTernarylogic()
973 Res = Xor(A, Or(Nor(A, Not(C)), B)); in simplifyTernarylogic()
1005 Res = Xor(Or(And(A, C), B), C); in simplifyTernarylogic()
1009 Res = Xor(Or(Xnor(A, C), B), C); in simplifyTernarylogic()
1017 Res = Xor(Or(Xnor(A, B), And(A, C)), C); in simplifyTernarylogic()
1025 Res = Xor(A, Or(C, Not(B))); in simplifyTernarylogic()
1033 Res = Xor(Or(Xor(A, B), Xnor(A, C)), A); in simplifyTernarylogic()
1037 Res = Xor(A, Or(Xor(A, B), C)); in simplifyTernarylogic()
1057 Res = Xor(Or(Xnor(B, C), A), C); in simplifyTernarylogic()
1068 Res = Xor(Or(A, B), C); in simplifyTernarylogic()
1072 Res = Nand(Or(A, B), C); in simplifyTernarylogic()
1080 Res = Xor(Or(A, Not(B)), C); in simplifyTernarylogic()
1087 Res = Xor(A, Or(Nor(A, B), C)); in simplifyTernarylogic()
1091 Res = Xor(Or(Xor(B, C), A), C); in simplifyTernarylogic()
1095 Res = Nand(Or(A, Not(B)), C); in simplifyTernarylogic()
1099 Res = Xor(A, Or(Nor(A, Not(B)), C)); in simplifyTernarylogic()
1111 Res = Xor(Or(Xnor(A, B), And(B, C)), C); in simplifyTernarylogic()
1119 Res = Xor(B, Or(C, Not(A))); in simplifyTernarylogic()
1127 Res = Xor(Or(B, Not(A)), C); in simplifyTernarylogic()
1134 Res = Or(Nor(A, B), Xor(B, C)); in simplifyTernarylogic()
1150 Res = Or(Nor(A, B), Xor(Xnor(A, B), C)); in simplifyTernarylogic()
1158 Res = Xor(Or(Xnor(A, B), Nor(A, C)), C); in simplifyTernarylogic()
1162 Res = Or(Nor(A, Not(B)), Xor(B, C)); in simplifyTernarylogic()
1178 Res = Xor(Or(Xor(A, B), C), B); in simplifyTernarylogic()
1186 Res = Xor(Or(Xor(A, C), B), C); in simplifyTernarylogic()
1194 Res = Xor(B, Or(Nor(B, Not(A)), C)); in simplifyTernarylogic()
1206 Res = Xor(Or(Xnor(A, B), Nor(B, C)), C); in simplifyTernarylogic()
1210 Res = Or(Xor(A, C), Nor(B, Not(A))); in simplifyTernarylogic()
1218 Res = Or(Xor(A, B), Nor(C, Not(A))); in simplifyTernarylogic()
1226 Res = Or(Xor(A, B), Xor(A, C)); in simplifyTernarylogic()
1289 Res = Xor(Or(Xor(A, B), Xor(A, C)), A); in simplifyTernarylogic()
1325 Res = Xor(Xor(A, B), Or(Nor(A, B), C)); in simplifyTernarylogic()
1341 Res = Or(Nor(A, B), Xnor(B, C)); in simplifyTernarylogic()
1349 Res = Or(Nor(A, C), Xnor(B, C)); in simplifyTernarylogic()
1368 Res = And(Or(A, Not(B)), C); in simplifyTernarylogic()
1388 Res = Or(Nor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1392 Res = And(Or(A, B), C); in simplifyTernarylogic()
1403 Res = Or(Nor(A, B), C); in simplifyTernarylogic()
1411 Res = Or(Xnor(A, C), And(B, C)); in simplifyTernarylogic()
1415 Res = Or(Nor(A, Not(B)), C); in simplifyTernarylogic()
1419 Res = Or(C, Not(A)); in simplifyTernarylogic()
1443 Res = Or(Xnor(A, C), Nor(B, C)); in simplifyTernarylogic()
1463 Res = Or(Nor(B, Not(A)), C); in simplifyTernarylogic()
1467 Res = Or(C, Not(B)); in simplifyTernarylogic()
1475 Res = Or(Xor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1479 Res = Or(Xor(A, B), C); in simplifyTernarylogic()
1483 Res = Or(Nand(A, B), C); in simplifyTernarylogic()
1502 Res = And(Or(A, Not(C)), B); in simplifyTernarylogic()
1514 Res = Or(Xnor(A, B), Nor(A, C)); in simplifyTernarylogic()
1518 Res = And(Or(A, C), B); in simplifyTernarylogic()
1530 Res = Or(Xnor(A, B), And(B, C)); in simplifyTernarylogic()
1537 Res = Or(Nor(A, C), B); in simplifyTernarylogic()
1541 Res = Or(Nor(A, Not(C)), B); in simplifyTernarylogic()
1545 Res = Or(B, Not(A)); in simplifyTernarylogic()
1549 Res = And(A, Or(B, Not(C))); in simplifyTernarylogic()
1561 Res = Or(Xnor(A, B), Nor(B, 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()
1593 Res = Or(Xnor(A, B), Xor(A, C)); in simplifyTernarylogic()
1597 Res = Or(B, Nor(C, Not(A))); in simplifyTernarylogic()
1601 Res = Or(B, Not(C)); in simplifyTernarylogic()
1605 Res = Or(Xor(A, C), B); in simplifyTernarylogic()
1609 Res = Or(Nand(A, C), B); in simplifyTernarylogic()
1613 Res = And(A, Or(B, C)); in simplifyTernarylogic()
1637 Res = Or(And(A, B), Xor(B, C)); in simplifyTernarylogic()
1641 Res = Or(Xnor(A, B), Xnor(A, C)); in simplifyTernarylogic()
1645 Res = Xor(Or(A, B), Nor(Xnor(A, B), C)); in simplifyTernarylogic()
1653 Res = Or(And(A, B), C); in simplifyTernarylogic()
1657 Res = Or(Xnor(A, B), C); in simplifyTernarylogic()
1661 Res = Or(And(A, C), B); in simplifyTernarylogic()
1665 Res = Or(Xnor(A, C), B); in simplifyTernarylogic()
1668 Res = Or(B, C); in simplifyTernarylogic()
1679 Res = Or(A, Nor(B, C)); in simplifyTernarylogic()
1683 Res = Or(A, Nor(B, Not(C))); in simplifyTernarylogic()
1687 Res = Or(A, Not(B)); in simplifyTernarylogic()
1691 Res = Or(A, Nor(C, Not(B))); in simplifyTernarylogic()
1695 Res = Or(A, Not(C)); in simplifyTernarylogic()
1699 Res = Or(A, Xor(B, C)); in simplifyTernarylogic()
1703 Res = Or(A, Nand(B, C)); in simplifyTernarylogic()
1707 Res = Or(A, And(B, C)); in simplifyTernarylogic()
1711 Res = Or(A, Xnor(B, C)); in simplifyTernarylogic()
1714 Res = Or(A, C); in simplifyTernarylogic()
1721 Res = Or(A, B); in simplifyTernarylogic()
1729 Res = Or(Or(A, B), C); in simplifyTernarylogic()