diff options
| author | Duncan Sands <baldrick@free.fr> | 2012-02-10 14:31:24 +0000 |
|---|---|---|
| committer | Duncan Sands <baldrick@free.fr> | 2012-02-10 14:31:24 +0000 |
| commit | aa97bb54f02784abefa0ae170af5937915bdb329 (patch) | |
| tree | e94fbc877e972fa4b6b4eff8707aef62124186a6 /lib/Analysis/InstructionSimplify.cpp | |
| parent | edfb931edbf31f8de132834e064ede723ac74d23 (diff) | |
Fix PR11948: the result type of an icmp may be a vector of boolean -
don't assume it is a boolean.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@150247 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/InstructionSimplify.cpp')
| -rw-r--r-- | lib/Analysis/InstructionSimplify.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Analysis/InstructionSimplify.cpp b/lib/Analysis/InstructionSimplify.cpp index bce7e79318..7656220ba1 100644 --- a/lib/Analysis/InstructionSimplify.cpp +++ b/lib/Analysis/InstructionSimplify.cpp @@ -476,6 +476,11 @@ static Value *ThreadCmpOverSelect(CmpInst::Predicate Pred, Value *LHS, // the original comparison. if (TCmp == FCmp) return TCmp; + + // The remaining cases only make sense if the select condition has the same + // type as the result of the comparison, so bail out if this is not so. + if (Cond->getType()->isVectorTy() != RHS->getType()->isVectorTy()) + return 0; // If the false value simplified to false, then the result of the compare // is equal to "Cond && TCmp". This also catches the case when the false // value simplified to false and the true value to true, returning "Cond". |