6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-02 22:04:55 +00:00
Code Issues Projects Releases Wiki Activity

the GEP faq says that only inbounds geps are guaranteed to not overflow.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123218 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2011-01-11 06:44:41 +00:00
parent f7624bc6dd
commit 9651870815
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Analysis/ScalarEvolution.cpp
View File

@ -2722,11 +2722,12 @@ const SCEV *ScalarEvolution::createNodeForPHI(PHINode *PN) {
HasNUW = true; HasNUW = true;
if (OBO->hasNoSignedWrap()) if (OBO->hasNoSignedWrap())
HasNSW = true; HasNSW = true;
} else if (isa<GEPOperator>(BEValueV)) { } else if (const GEPOperator *GEP =
dyn_cast<GEPOperator>(BEValueV)) {
// If the increment is a GEP, then we know it won't perform an // If the increment is a GEP, then we know it won't perform an
// unsigned overflow, because the address space cannot be // unsigned overflow, because the address space cannot be
// wrapped around. // wrapped around.
HasNUW = true; HasNUW |= GEP->isInBounds();
} }
const SCEV *StartVal = getSCEV(StartValueV); const SCEV *StartVal = getSCEV(StartValueV);