[PATCH] D13762: [Polly] Ensure unique implicit reads/writes at beginning/end of ScopStmts

[Michael Kruse via llvm-commits]

Meinersbur updated this revision to Diff 38855.
Meinersbur added a comment.

Rebase to r251341

Disappearing PHIs in exit nodes requires to remember incoming nodes explicitely. Might be a separate patches:

- Introduction of explicit EXIT_PHI origin to avoid quering whether the access instruction is a terminator
- Storing of incoming values/block for PHI accesses
- Unification of PHIs in sub-region exit BBs.

Alternatively, we might revive the part that ensures the existence and position of PHI nodes from http://reviews.llvm.org/D11870.


http://reviews.llvm.org/D13762

Files:
  include/polly/CodeGen/BlockGenerators.h
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  lib/CodeGen/BlockGenerators.cpp
  test/DependenceInfo/different_schedule_dimensions.ll
  test/Isl/CodeGen/non-affine-phi-node-expansion-2.ll
  test/Isl/CodeGen/non-affine-phi-node-expansion-3.ll
  test/Isl/CodeGen/non-affine-phi-node-expansion-4.ll
  test/Isl/CodeGen/out-of-scop-phi-node-use.ll
  test/Isl/CodeGen/phi-defined-before-scop.ll
  test/ScopInfo/NonAffine/non_affine_loop_used_later.ll
  test/ScopInfo/intra-non-affine-stmt-phi-node.ll
  test/ScopInfo/many-scalar-dependences.ll
  test/ScopInfo/non_affine_region_2.ll
  test/ScopInfo/non_affine_region_3.ll
  test/ScopInfo/non_affine_region_4.ll
  test/ScopInfo/out-of-scop-use-in-region-entry-phi-node.ll
  test/ScopInfo/phi_condition_modeling_2.ll
  test/ScopInfo/phi_loop_carried_float.ll
  test/ScopInfo/phi_scalar_simple_1.ll
  test/ScopInfo/phi_scalar_simple_2.ll
  test/ScopInfo/read-only-scalar-used-in-phi.ll
  test/ScopInfo/scalar.ll
  test/ScopInfo/scalar_dependence_cond_br.ll
  test/ScopInfo/tempscop-printing.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13762.38855.patch
Type: text/x-patch
Size: 57822 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151101/34f2310b/attachment.bin>