llvm-project/polly/test
Michael Kruse 163cacb469 [CodeGen] Detect empty domain because of parameters context.
Isl does not allow generating isl_ast_expr from an isl_pw_aff that has an
empty domain (i.e. has no pieces). We already detected the case if the
isl_pw_aff comes with an empty domain.

isl_ast_build also considers the domain empty if it is disjoint with the
parameter context (e.g. parameters values that we exclude by runtime
versioning).

Intersect the access relation domain with the parameter context to
also detect such practically empty access domains. The effective
pointer used in the generated code is unimportand because it will never
be executed.

This fixes llvm.org/PR35362

llvm-svn: 318806
2017-11-21 22:11:10 +00:00
..
CodeGen [Polly] Fix code generation of llvm.expect intrinsic 2017-05-14 09:09:54 +00:00
DeLICM [DeLICM] Fix wrong assumed access execution order. 2017-10-31 12:50:25 +00:00
DeadCodeElimination [Polly] Remove unwanted --check-prefix=CHECK from unit tests. NFC. 2016-04-15 06:12:29 +00:00
DependenceInfo Bump isl to isl-0.18-768-g033b61ae 2017-07-04 15:54:11 +00:00
FlattenSchedule Add -polly-flatten-schedule pass. 2016-09-08 15:02:36 +00:00
ForwardOpTree Port ScopInfo to the isl cpp bindings 2017-11-19 22:13:34 +00:00
GPGPU Fix two testcases. NFC intended. 2017-10-29 21:00:48 +00:00
Isl [CodeGen] Detect empty domain because of parameters context. 2017-11-21 22:11:10 +00:00
JSONExporter [JSON] Make the failure to parse a jscop file a hard error 2017-08-10 14:53:25 +00:00
MaximalStaticExpansion [Polly][WIP] Scalar fully indexed expansion 2017-08-24 00:04:45 +00:00
PruneUnprofitable [PruneUnprofitable] Add -polly-prune-unprofitable pass. 2017-03-17 13:09:52 +00:00
RewriteByReferenceParameters Add rewrite by-reference parameter pass 2017-08-17 05:25:08 +00:00
ScheduleOptimizer Port ScopInfo to the isl cpp bindings 2017-11-19 22:13:34 +00:00
ScopDetect [ScopDetect] Do not add loads out of the SCoP to required invariant loads. 2017-10-01 22:19:28 +00:00
ScopDetectionDiagnostics Revert "[polly] Fix ScopDetectionDiagnostic test failure caused by r310940" 2017-08-24 19:47:15 +00:00
ScopInfo [ScopBuilder] Introduce -polly-stmt-granularity=scalar-indep option. 2017-10-05 13:43:00 +00:00
ScopInliner [ScopInliner] Add a simple Scop-based inliner to polly. 2017-08-17 21:57:23 +00:00
Simplify [Simplify] Mark (and sweep) based on latest access relation. 2017-10-26 12:34:36 +00:00
Unit Resubmit "[lit] Force site configs to run before source-tree configs" 2017-09-15 22:10:46 +00:00
UnitIsl [CMake] Fix polly-isl-test execution in out-of-LLVM-tree builds. 2017-04-22 23:02:53 +00:00
CMakeLists.txt [CMake] Fix r307650: Readd missing dependency. 2017-07-19 19:20:58 +00:00
README
create_ll.sh Make create_ll work with latest LLVM [NFC] 2017-07-07 04:20:55 +00:00
lit.cfg Resubmit "[lit] Force site configs to run before source-tree configs" 2017-09-15 22:10:46 +00:00
lit.site.cfg.in [test] Enable -polly-codegen-verify for regression tests. 2017-09-18 12:34:11 +00:00
polly.ll tests: Drop -polly-detect-unprofitable and -polly-no-early-exit 2015-10-06 15:36:44 +00:00
update_check.py Add -polly-flatten-schedule pass. 2016-09-08 15:02:36 +00:00

README

place tests here