[polly] r375421 - Fix Polly

Michael Kruse via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 25 16:08:41 PDT 2019


Thank you.

Michael

Am Mo., 21. Okt. 2019 um 10:46 Uhr schrieb Guillaume Chatelet via
llvm-commits <llvm-commits at lists.llvm.org>:
>
> 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) &&
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits


More information about the llvm-commits mailing list