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