diff options
| author | Hans Wennborg <hans@hanshq.net> | 2013-04-16 08:35:36 +0000 |
|---|---|---|
| committer | Hans Wennborg <hans@hanshq.net> | 2013-04-16 08:35:36 +0000 |
| commit | a121e24c541097b51309a06297005ac257b6728f (patch) | |
| tree | c66c93df0e4b1c98ebbfdc64c151eee5bdc45efa /lib/Transforms/Utils/SimplifyCFG.cpp | |
| parent | ad36608499429cc9dc67b95fed8732a294e6f02e (diff) | |
| download | external_llvm-a121e24c541097b51309a06297005ac257b6728f.zip external_llvm-a121e24c541097b51309a06297005ac257b6728f.tar.gz external_llvm-a121e24c541097b51309a06297005ac257b6728f.tar.bz2 | |
simplifycfg: Fix integer overflow converting switch into icmp.
If a switch instruction has a case for every possible value of its type,
with the same successor, SimplifyCFG would replace it with an icmp ult,
but the computation of the bound overflows in that case, which inverts
the test.
Patch by Jed Davis!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@179587 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Utils/SimplifyCFG.cpp')
| -rw-r--r-- | lib/Transforms/Utils/SimplifyCFG.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/Transforms/Utils/SimplifyCFG.cpp b/lib/Transforms/Utils/SimplifyCFG.cpp index 681bf9c..6de602e 100644 --- a/lib/Transforms/Utils/SimplifyCFG.cpp +++ b/lib/Transforms/Utils/SimplifyCFG.cpp @@ -3073,7 +3073,12 @@ static bool TurnSwitchRangeIntoICmp(SwitchInst *SI, IRBuilder<> &Builder) { Value *Sub = SI->getCondition(); if (!Offset->isNullValue()) Sub = Builder.CreateAdd(Sub, Offset, Sub->getName()+".off"); - Value *Cmp = Builder.CreateICmpULT(Sub, NumCases, "switch"); + Value *Cmp; + // If NumCases overflowed, then all possible values jump to the successor. + if (NumCases->isNullValue() && SI->getNumCases() != 0) + Cmp = ConstantInt::getTrue(SI->getContext()); + else + Cmp = Builder.CreateICmpULT(Sub, NumCases, "switch"); BranchInst *NewBI = Builder.CreateCondBr( Cmp, SI->case_begin().getCaseSuccessor(), SI->getDefaultDest()); |