From cb6267bc602ea4f0885b020bf2fe8e4e5c560cf7 Mon Sep 17 00:00:00 2001 From: Misha Brukman Date: Fri, 30 Jul 2004 12:50:08 +0000 Subject: [PATCH] Fix De Morgan's name. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15343 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/Scalar/InstructionCombining.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index cd6197093d0..b39f077d025 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -1124,7 +1124,7 @@ Instruction *InstCombiner::visitAnd(BinaryOperator &I) { if (Op0NotVal == Op1 || Op1NotVal == Op0) // A & ~A == ~A & A == 0 return ReplaceInstUsesWith(I, Constant::getNullValue(I.getType())); - // (~A & ~B) == (~(A | B)) - Demorgan's Law + // (~A & ~B) == (~(A | B)) - De Morgan's Law if (Op0NotVal && Op1NotVal && isOnlyUse(Op0) && isOnlyUse(Op1)) { Instruction *Or = BinaryOperator::createOr(Op0NotVal, Op1NotVal, I.getName()+".demorgan"); @@ -1198,7 +1198,7 @@ Instruction *InstCombiner::visitOr(BinaryOperator &I) { return ReplaceInstUsesWith(I, ConstantIntegral::getAllOnesValue(I.getType())); - // (~A | ~B) == (~(A & B)) - Demorgan's Law + // (~A | ~B) == (~(A & B)) - De Morgan's Law if (A && isOnlyUse(Op0) && isOnlyUse(Op1)) { Value *And = InsertNewInstBefore(BinaryOperator::createAnd(A, B, I.getName()+".demorgan"), I);