Lines Matching defs:Not

691   auto Not = [&](auto V) -> std::pair<Value *, uint8_t> {
694   auto Nor = [&](auto Lhs, auto Rhs) { return Not(Or(Lhs, Rhs)); };
695   auto Xnor = [&](auto Lhs, auto Rhs) { return Not(Xor(Lhs, Rhs)); };
696   auto Nand = [&](auto Lhs, auto Rhs) { return Not(And(Lhs, Rhs)); };
764       Res = Nor(A, Not(C));
768       Res = Nor(A, Nor(C, Not(B)));
772       Res = Nor(A, Not(B));
776       Res = Nor(A, Nor(B, Not(C)));
783     Res = Not(A);
859       Res = Nor(B, Not(C));
863       Res = Nor(B, Nor(C, Not(A)));
903       Res = Xor(A, Or(B, Not(C)));
911       Res = Nand(A, Or(B, Not(C)));
915       Res = Nor(B, Not(A));
919       Res = Nor(Nor(A, Not(C)), B);
926     Res = Not(B);
950       Res = Xor(Or(A, Not(C)), B);
958       Res = Nand(Or(A, Not(C)), B);
969       Res = Xor(A, Or(Nor(A, Not(C)), B));
993       Res = Nor(C, Not(B));
997       Res = Nor(Nor(B, Not(A)), C);
1021       Res = Xor(A, Or(C, Not(B)));
1037       Res = Nand(A, Nand(B, Not(C)));
1041       Res = Nor(C, Not(A));
1045       Res = Nor(Nor(A, Not(B)), C);
1060     Res = Not(C);
1076       Res = Xor(Or(A, Not(B)), C);
1091       Res = Nand(Or(A, Not(B)), C);
1095       Res = Xor(A, Or(Nor(A, Not(B)), C));
1115       Res = Xor(B, Or(C, Not(A)));
1123       Res = Xor(Or(B, Not(A)), C);
1158       Res = Or(Nor(A, Not(B)), Xor(B, C));
1178       Res = Nand(Nand(A, Not(C)), B);
1186       Res = Nand(Nand(A, Not(B)), C);
1190       Res = Xor(B, Or(Nor(B, Not(A)), C));
1206       Res = Or(Xor(A, C), Nor(B, Not(A)));
1214       Res = Or(Xor(A, B), Nor(C, Not(A)));
1242       Res = Nor(Xor(A, B), Nor(C, Not(A)));
1250       Res = Nor(Xor(A, C), Nor(B, Not(A)));
1265       Res = Xor(B, Nor(Nor(B, Not(A)), C));
1269       Res = And(Nand(A, Not(B)), C);
1277       Res = And(Nand(A, Not(C)), B);
1297       Res = Nor(Nor(A, Not(B)), Xor(B, C));
1333       Res = Xor(Nor(B, Not(A)), C);
1341       Res = Xor(B, Nor(C, Not(A)));
1360       Res = Xor(A, Nor(Nor(A, Not(B)), C));
1364       Res = And(Or(A, Not(B)), C);
1380       Res = Xor(Nor(A, Not(B)), C);
1411       Res = Or(Nor(A, Not(B)), C);
1415       Res = Or(C, Not(A));
1419       Res = And(A, Nand(B, Not(C)));
1435       Res = Xor(A, Nor(C, Not(B)));
1459       Res = Or(Nor(B, Not(A)), C);
1463       Res = Or(C, Not(B));
1486       Res = Xor(A, Nor(Nor(A, Not(C)), B));
1498       Res = And(Or(A, Not(C)), B);
1506       Res = Xor(Nor(A, Not(C)), B);
1537       Res = Or(Nor(A, Not(C)), B);
1541       Res = Or(B, Not(A));
1545       Res = And(A, Or(B, Not(C)));
1553       Res = Xor(A, Nor(B, Not(C)));
1593       Res = Or(B, Nor(C, Not(A)));
1597       Res = Or(B, Not(C));
1679       Res = Or(A, Nor(B, Not(C)));
1683       Res = Or(A, Not(B));
1687       Res = Or(A, Nor(C, Not(B)));
1691       Res = Or(A, Not(C));
2938              "Not expecting mask and operands with different sizes");