[polly] r375421 - Fix Polly
Guillaume Chatelet via llvm-commits
llvm-commits at lists.llvm.org
Mon Oct 21 08:48:42 PDT 2019
Author: gchatelet
Date: Mon Oct 21 08:48:42 2019
New Revision: 375421
URL: http://llvm.org/viewvc/llvm-project?rev=375421&view=rev
Log:
Fix Polly
Modified:
polly/trunk/lib/Analysis/ScopBuilder.cpp
polly/trunk/lib/Analysis/ScopDetection.cpp
Modified: polly/trunk/lib/Analysis/ScopBuilder.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopBuilder.cpp?rev=375421&r1=375420&r2=375421&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopBuilder.cpp (original)
+++ polly/trunk/lib/Analysis/ScopBuilder.cpp Mon Oct 21 08:48:42 2019
@@ -2890,7 +2890,7 @@ isl::set ScopBuilder::getNonHoistableCtx
auto &DL = scop->getFunction().getParent()->getDataLayout();
if (isSafeToLoadUnconditionally(LI->getPointerOperand(), LI->getType(),
- LI->getAlignment(), DL)) {
+ MaybeAlign(LI->getAlignment()), DL)) {
SafeToLoad = isl::set::universe(AccessRelation.get_space().range());
} else if (BB != LI->getParent()) {
// Skip accesses in non-affine subregions as they might not be executed
@@ -2940,9 +2940,9 @@ bool ScopBuilder::canAlwaysBeHoisted(Mem
// TODO: We can provide more information for better but more expensive
// results.
- if (!isDereferenceableAndAlignedPointer(LInst->getPointerOperand(),
- LInst->getType(),
- LInst->getAlignment(), DL))
+ if (!isDereferenceableAndAlignedPointer(
+ LInst->getPointerOperand(), LInst->getType(),
+ MaybeAlign(LInst->getAlignment()), DL))
return false;
// If the location might be overwritten we do not hoist it unconditionally.
Modified: polly/trunk/lib/Analysis/ScopDetection.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/Analysis/ScopDetection.cpp?rev=375421&r1=375420&r2=375421&view=diff
==============================================================================
--- polly/trunk/lib/Analysis/ScopDetection.cpp (original)
+++ polly/trunk/lib/Analysis/ScopDetection.cpp Mon Oct 21 08:48:42 2019
@@ -468,8 +468,8 @@ bool ScopDetection::onlyValidRequiredInv
for (auto NonAffineRegion : Context.NonAffineSubRegionSet) {
if (isSafeToLoadUnconditionally(Load->getPointerOperand(),
- Load->getType(), Load->getAlignment(),
- DL))
+ Load->getType(),
+ MaybeAlign(Load->getAlignment()), DL))
continue;
if (NonAffineRegion->contains(Load) &&
More information about the llvm-commits
mailing list