llvm-project/polly/test/Isl
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
..
Ast [IslAst] Do not assert in case of empty min/max alias locations 2017-09-03 19:47:19 +00:00
CodeGen [CodeGen] Detect empty domain because of parameters context. 2017-11-21 22:11:10 +00:00
single_loop_param_less_equal.ll [IslAst] Untangle IslAst lit-testcases from specifics of the legacy-PM 2017-07-25 15:07:42 +00:00
single_loop_param_less_than.ll [Polly] Generate more 'canonical' induction variable 2017-05-12 02:17:15 +00:00
single_loop_uint_max_iterations.ll tests: Drop -polly-detect-unprofitable and -polly-no-early-exit 2015-10-06 15:36:44 +00:00
single_loop_ull_max_iterations.ll tests: Drop -polly-detect-unprofitable and -polly-no-early-exit 2015-10-06 15:36:44 +00:00