[PATCH] D17247: [Polly] Track assumptions and restrictions separately

[Johannes Doerfert via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: grosser, Meinersbur.
jdoerfert added a subscriber: Polly.

  In order to speed up compile time and to avoid random timeouts we now
  separately track assumptions and restrictions. In this context assumptions
  describe parameter valuations we need and restrictions describe parameter
  valuations we do not allow. During AST generation we create a runtime check
  for both, whereas the one for the restrictions is negated before a
  conjunction is build.

  Except the In-Bounds assumptions we currently only track restrictions.

http://reviews.llvm.org/D17247

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  lib/CodeGen/IslAst.cpp
  test/Isl/Ast/OpenMP/nested_loop_both_parallel_parametric.ll
  test/Isl/Ast/alias_simple_1.ll
  test/Isl/Ast/alias_simple_2.ll
  test/Isl/Ast/alias_simple_3.ll
  test/Isl/Ast/aliasing_multiple_alias_groups.ll
  test/Isl/Ast/aliasing_parametric_simple_1.ll
  test/Isl/Ast/aliasing_parametric_simple_2.ll
  test/Isl/Ast/run-time-condition.ll
  test/Isl/Ast/simple-run-time-condition.ll
  test/Isl/CodeGen/aliasing_parametric_simple_2.ll
  test/Isl/CodeGen/exprModDiv.ll
  test/Isl/CodeGen/large-numbers-in-boundary-context.ll
  test/Isl/CodeGen/two-scops-in-row.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_2.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_3.ll
  test/ScopInfo/NonAffine/non_affine_conditional_surrounding_affine_loop.ll
  test/ScopInfo/NonAffine/non_affine_conditional_surrounding_non_affine_loop.ll
  test/ScopInfo/NonAffine/non_affine_float_compare.ll
  test/ScopInfo/NonAffine/non_affine_loop_condition.ll
  test/ScopInfo/NonAffine/non_affine_loop_used_later.ll
  test/ScopInfo/assume_gep_bounds_2.ll
  test/ScopInfo/bounded_loop_assumptions.ll
  test/ScopInfo/long-sequence-of-error-blocks-2.ll
  test/ScopInfo/long-sequence-of-error-blocks.ll
  test/ScopInfo/multidim_3d_parametric_array_static_loop_bounds.ll
  test/ScopInfo/non-pure-function-call.ll
  test/ScopInfo/non-pure-function-calls-causes-dead-blocks.ll
  test/ScopInfo/non-pure-function-calls.ll
  test/ScopInfo/remarks.ll
  test/ScopInfo/switch-1.ll
  test/ScopInfo/switch-2.ll
  test/ScopInfo/switch-3.ll
  test/ScopInfo/switch-4.ll
  test/ScopInfo/switch-5.ll
  test/ScopInfo/switch-6.ll
  test/ScopInfo/switch-7.ll
  test/ScopInfo/test-wrapping-in-condition.ll
  test/ScopInfo/user_provided_assumptions.ll
  test/ScopInfo/wraping_signed_expr_0.ll
  test/ScopInfo/wraping_signed_expr_1.ll
  test/ScopInfo/wraping_signed_expr_2.ll
  test/ScopInfo/wraping_signed_expr_3.ll
  test/ScopInfo/wraping_signed_expr_4.ll
  test/ScopInfo/wraping_signed_expr_5.ll
  test/ScopInfo/wraping_signed_expr_6.ll
  test/ScopInfo/wraping_signed_expr_7.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D17247.47934.patch
Type: text/x-patch
Size: 52751 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160214/5a7bff91/attachment.bin>