llvm-project/polly/test/ScopDetectionDiagnostics
Michael Kruse 5a4ec5c42b [ScopDetection] Require LoadInst base pointers to be hoisted.
Only when load-hoisted we can be sure the base pointer is invariant
during the SCoP's execution. Most of the time it would be added to
the required hoists for the alias checks anyway, except with
-polly-ignore-aliasing, -polly-use-runtime-alias-checks=0 or if
AliasAnalysis is already sure it doesn't alias with anything
(for instance if there is no other pointer to alias with).

Two more parts in Polly assume that this load-hoisting took place:
- setNewAccessRelation() which contains an assert which tests this.
- BlockGenerator which would use to the base ptr from the original
  code if not load-hoisted (if the access expression is regenerated)

Differential Revision: https://reviews.llvm.org/D30694

llvm-svn: 297195
2017-03-07 20:28:43 +00:00
..
ReportAlias-01.ll Update debug metadata after LLVM commits r266445+r266446 2016-04-15 20:51:27 +00:00
ReportEntry.ll Add forgotten test case for r293169 2017-01-28 14:32:45 +00:00
ReportFuncCall-01.ll Update debug metadata after LLVM commits r266445+r266446 2016-04-15 20:51:27 +00:00
ReportIrreducibleRegion.ll Update debug metadata after LLVM commits r266445+r266446 2016-04-15 20:51:27 +00:00
ReportIrreducibleRegionWithoutDebugLoc.ll ScopDetectionDiagnostics: Also emit diagnostics in case no debug info is available 2017-01-26 10:30:55 +00:00
ReportLoopBound-01.ll Cleanup rejection log handling [NFC] 2016-05-12 18:50:01 +00:00
ReportLoopHasNoExit.ll Revert "Currently broken by recent LLVM upstream changes" 2017-03-02 21:43:50 +00:00
ReportMultipleNonAffineAccesses.ll Update debug metadata after LLVM commits r266445+r266446 2016-04-15 20:51:27 +00:00
ReportNonAffineAccess-01.ll Update debug metadata after LLVM commits r266445+r266446 2016-04-15 20:51:27 +00:00
ReportUnprofitable.ll Update debug metadata after LLVM commits r266445+r266446 2016-04-15 20:51:27 +00:00
ReportUnreachableInExit.ll [ScopDetection] Do not detect scops that exit to an unreachable 2017-03-07 15:50:43 +00:00
ReportVariantBasePtr-01.ll [ScopDetection] Require LoadInst base pointers to be hoisted. 2017-03-07 20:28:43 +00:00