diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2012-02-16 13:49:39 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2012-02-16 13:49:39 +0000 |
| commit | fd8779a94be48aba47569dd28cb56563d4cbbfa4 (patch) | |
| tree | a50618e2d2d8ddf87cf1b3504b97fe27160ff9c7 /lib/Analysis | |
| parent | e6bd7a805808a05e9869fbf067581855a8b2a2c2 (diff) | |
| download | external_llvm-fd8779a94be48aba47569dd28cb56563d4cbbfa4.zip external_llvm-fd8779a94be48aba47569dd28cb56563d4cbbfa4.tar.gz external_llvm-fd8779a94be48aba47569dd28cb56563d4cbbfa4.tar.bz2 | |
InstSimplify: Ignore pointer casts when constant folding compares between pointers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@150690 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
| -rw-r--r-- | lib/Analysis/InstructionSimplify.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Analysis/InstructionSimplify.cpp b/lib/Analysis/InstructionSimplify.cpp index 7656220..9d5b74c 100644 --- a/lib/Analysis/InstructionSimplify.cpp +++ b/lib/Analysis/InstructionSimplify.cpp @@ -1591,8 +1591,11 @@ static Value *SimplifyICmpInst(unsigned Predicate, Value *LHS, Value *RHS, // to the case where LHS is a global variable address or null is pointless, // since if both LHS and RHS are constants then we already constant folded // the compare, and if only one of them is then we moved it to RHS already. - if (isa<AllocaInst>(LHS) && (isa<GlobalValue>(RHS) || isa<AllocaInst>(RHS) || - isa<ConstantPointerNull>(RHS))) + Value *LHSPtr = LHS->stripPointerCasts(); + Value *RHSPtr = RHS->stripPointerCasts(); + if (isa<AllocaInst>(LHSPtr) && (isa<GlobalValue>(RHSPtr) || + isa<AllocaInst>(RHSPtr) || + isa<ConstantPointerNull>(RHSPtr))) // We already know that LHS != RHS. return ConstantInt::get(ITy, CmpInst::isFalseWhenEqual(Pred)); |