Searched refs:DeMorgan (Results 1 – 7 of 7) sorted by relevance
8 boolean expressions by application of DeMorgan's Theorem.97 If `true`, DeMorgan's Theorem will be applied to simplify negated
131 ; Test the mirror of DeMorgan's law with an extra 'not'.370 ; Do not apply DeMorgan's Law to constants. We prefer 'not' ops.383 ; Do not apply DeMorgan's Law to constants. We prefer 'not' ops.396 ; PR22723: Recognize DeMorgan's Laws when obfuscated by zexts.
67 ; DeMorgan's Law: ~(~X & Y) --> (X | ~Y)81 ; DeMorgan's Law: ~(~X | Y) --> (X & ~Y)
286 TEST(SolverTest, DeMorgan) { in TEST() argument
956 TEST_F(FlowConditionTest, DeMorgan) { in TEST_F() argument
296 using DeMorgan's Theorem.
2023 if (Instruction *DeMorgan = matchDeMorgansLaws(I, Builder)) in visitAnd() local2024 return DeMorgan; in visitAnd()2879 if (Instruction *DeMorgan = matchDeMorgansLaws(I, Builder)) in visitOr() local2880 return DeMorgan; in visitOr()