[PATCH] D13195: [Polly] Allow definitively invariant loads in the SCoP description

[Johannes Doerfert via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: grosser, Meinersbur.
jdoerfert added a subscriber: Polly.
jdoerfert added a dependency: D13194: [Polly] Identify and hoist definitively invariant loads.
Herald added a subscriber: sanjoy.

  This patch allows definitively invariant loads to be used in the SCoP
  description, e.g., as loop bounds, conditions or in memory access
  functions.

Depends on D13194

http://reviews.llvm.org/D13195

Files:
  include/polly/CodeGen/IslNodeBuilder.h
  include/polly/ScopDetection.h
  include/polly/ScopInfo.h
  include/polly/Support/SCEVValidator.h
  include/polly/Support/ScopHelper.h
  lib/Analysis/ScopDetection.cpp
  lib/Analysis/ScopInfo.cpp
  lib/CodeGen/BlockGenerators.cpp
  lib/CodeGen/CodeGeneration.cpp
  lib/CodeGen/IslNodeBuilder.cpp
  lib/Support/SCEVValidator.cpp
  lib/Support/ScopHelper.cpp
  test/Isl/CodeGen/aliasing_parametric_simple_2.ll
  test/Isl/CodeGen/exprModDiv.ll
  test/Isl/CodeGen/invariant_load.ll
  test/Isl/CodeGen/invariant_load_base_pointer.ll
  test/Isl/CodeGen/invariant_load_base_pointer_conditional.ll
  test/Isl/CodeGen/invariant_load_condition.ll
  test/Isl/CodeGen/invariant_load_loop_ub.ll
  test/Isl/CodeGen/invariant_load_ptr_ptr_noalias.ll
  test/Isl/CodeGen/invariant_load_scalar_dep.ll
  test/Isl/CodeGen/non-affine-phi-node-expansion.ll
  test/Isl/CodeGen/phi_in_exit_early_lnt_failure_4.ll
  test/Isl/CodeGen/simple_vec_call.ll
  test/Isl/CodeGen/simple_vec_call_2.ll
  test/Isl/CodeGen/simple_vec_cast.ll
  test/Isl/CodeGen/simple_vec_const.ll
  test/Isl/CodeGen/simple_vec_ptr_ptr_ty.ll
  test/Isl/CodeGen/two-scops-in-row.ll
  test/ScopDetectionDiagnostics/ReportVariantBasePtr-01.ll
  test/ScopInfo/NonAffine/non-affine-loop-condition-dependent-access_1.ll
  test/ScopInfo/inter_bb_scalar_dep.ll
  test/ScopInfo/intra_and_inter_bb_scalar_dep.ll
  test/ScopInfo/intra_bb_scalar_dep.ll
  test/ScopInfo/invariant_load.ll
  test/ScopInfo/invariant_load_base_pointer.ll
  test/ScopInfo/invariant_load_base_pointer_conditional.ll
  test/ScopInfo/invariant_load_condition.ll
  test/ScopInfo/invariant_load_loop_ub.ll
  test/ScopInfo/invariant_load_ptr_ptr_noalias.ll
  test/ScopInfo/invariant_load_scalar_dep.ll
  test/ScopInfo/invariant_loop_bounds.ll
  test/ScopInfo/required-invariant-loop-bounds.ll
  test/ScopInfo/tempscop-printing.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13195.35812.patch
Type: text/x-patch
Size: 107352 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150926/168c67c6/attachment.bin>