Searched defs:DeMorgan (Results 1 – 3 of 3) sorted by relevance
295 TYPED_TEST_P(SolverTest, DeMorgan) { in TYPED_TEST_P() argument
1279 TEST_F(FlowConditionTest,DeMorgan) TEST_F() argument
2573 if (Instruction *DeMorgan = matchDeMorgansLaws(I, *this)) visitAnd() local 3638 if (Instruction *DeMorgan = matchDeMorgansLaws(I, *this)) visitOr() local