diff --git a/polly/lib/Analysis/ScopBuilder.cpp b/polly/lib/Analysis/ScopBuilder.cpp index 6a8dbe4511ce..12904193ee3e 100644 --- a/polly/lib/Analysis/ScopBuilder.cpp +++ b/polly/lib/Analysis/ScopBuilder.cpp @@ -311,6 +311,8 @@ bool ScopBuilder::buildAccessCallInst(MemAccInst Inst, Loop *L) { llvm_unreachable("Unknown mod ref behaviour cannot be represented."); case llvm::FMRB_DoesNotAccessMemory: return true; + case llvm::FMRB_DoesNotReadMemory: + return false; case llvm::FMRB_OnlyReadsMemory: GlobalReads.push_back(CI); return true; diff --git a/polly/lib/Analysis/ScopDetection.cpp b/polly/lib/Analysis/ScopDetection.cpp index 7d2dcbee52a3..3770ae06c4c0 100644 --- a/polly/lib/Analysis/ScopDetection.cpp +++ b/polly/lib/Analysis/ScopDetection.cpp @@ -536,6 +536,8 @@ bool ScopDetection::isValidCallInst(CallInst &CI, Context.AST.add(&CI); return true; + case FMRB_DoesNotReadMemory: + return false; } }