unstick r375421

Revision 375421

Date:
2019/10/21 15:48:42
Author:
gchatelet
Revision Log:
Fix Polly
Files:

Legend:

 
Added
 
Removed
 
Modified
  • polly/trunk/lib/Analysis/ScopBuilder.cpp

     
    2890 2890
    2891 2891 auto &DL = scop->getFunction().getParent()->getDataLayout();
    2892 2892 if (isSafeToLoadUnconditionally(LI->getPointerOperand(), LI->getType(),
    2893 LI->getAlignment(), DL)) {
    2893 MaybeAlign(LI->getAlignment()), DL)) {
    2894 2894 SafeToLoad = isl::set::universe(AccessRelation.get_space().range());
    2895 2895 } else if (BB != LI->getParent()) {
    2896 2896 // Skip accesses in non-affine subregions as they might not be executed
     
    2940 2940
    2941 2941 // TODO: We can provide more information for better but more expensive
    2942 2942 // results.
    2943 if (!isDereferenceableAndAlignedPointer(LInst->getPointerOperand(),
    2944 LInst->getType(),
    2945 LInst->getAlignment(), DL))
    2943 if (!isDereferenceableAndAlignedPointer(
    2944 LInst->getPointerOperand(), LInst->getType(),
    2945 MaybeAlign(LInst->getAlignment()), DL))
    2946 2946 return false;
    2947 2947
    2948 2948 // If the location might be overwritten we do not hoist it unconditionally.
  • polly/trunk/lib/Analysis/ScopDetection.cpp

     
    468 468
    469 469 for (auto NonAffineRegion : Context.NonAffineSubRegionSet) {
    470 470 if (isSafeToLoadUnconditionally(Load->getPointerOperand(),
    471 Load->getType(), Load->getAlignment(),
    472 DL))
    471 Load->getType(),
    472 MaybeAlign(Load->getAlignment()), DL))
    473 473 continue;
    474 474
    475 475 if (NonAffineRegion->contains(Load) &&