diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-09 21:57:13 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-09 21:57:13 +0000 |
| commit | fbb63b8028b787d97acd0025b9fe685f4ac4e535 (patch) | |
| tree | f94b95478cab3243f834a53f3dba7a576539c6e0 /polly/lib/Analysis/ScopDetection.cpp | |
| parent | 81c41b99a78b73ab2b28079b2c7931479ec41f3d (diff) | |
| download | bcm5719-llvm-fbb63b8028b787d97acd0025b9fe685f4ac4e535.tar.gz bcm5719-llvm-fbb63b8028b787d97acd0025b9fe685f4ac4e535.zip | |
[FIX] Do not allow select as a base pointer in the SCoP region
llvm-svn: 265884
Diffstat (limited to 'polly/lib/Analysis/ScopDetection.cpp')
| -rw-r--r-- | polly/lib/Analysis/ScopDetection.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index ad2409b802d..8fe33db1c38 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -578,6 +578,9 @@ bool ScopDetection::isInvariant(const Value &Val, const Region &Reg) const { if (I->mayHaveSideEffects()) return false; + if (isa<SelectInst>(I)) + return false; + // When Val is a Phi node, it is likely not invariant. We do not check whether // Phi nodes are actually invariant, we assume that Phi nodes are usually not // invariant. |
