[PATCH] D37296: [ScopInfo] Use statement lists for entry blocks of region statements

[Tobias Grosser via Phabricator via llvm-commits]

grosser created this revision.
grosser added a project: Polly.

By using statement lists in the entry blocks of region statements, instruction
level analyses also work on region statements.

We currently only model the entry block of a region statements, as this is
sufficient for most transformations the known-passes currently execute. Modeling
instructions in the presence of control flow (e.g. infinite loops) is left
out to not increase code complexity too much. It can be added when good use
cases are found.

[BlockGenerator] Generate entry block of regions from instruction lists

The adds code generation support for the previous commit.


https://reviews.llvm.org/D37296

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopBuilder.cpp
  lib/Analysis/ScopInfo.cpp
  lib/CodeGen/BlockGenerators.cpp
  test/Isl/CodeGen/partial_write_in_region_with_loop.ll
  test/Isl/CodeGen/region-with-instructions.ll
  test/ScopInfo/region-with-instructions.ll
  test/ScopInfo/stmt_split_exit_of_region_stmt.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37296.113250.patch
Type: text/x-patch
Size: 13586 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170830/b3aa6c16/attachment.bin>