[PATCH] D12185: Check feasibility for the runtime check context wrt the domain

[Johannes Doerfert via llvm-commits]

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

  If nothing is executed we can bail out early. Otherwise we can use the
  constraints that ensure at least one statement is executed once to
  simplify e.g., code generation.

http://reviews.llvm.org/D12185

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  test/Isl/CodeGen/20150328-SCEVExpanderIntroducesNewIV.ll
  test/Isl/CodeGen/create-conditional-scop.ll
  test/Isl/CodeGen/simple_non_single_entry.ll
  test/Isl/CodeGen/split_edges.ll
  test/Isl/CodeGen/split_edges_2.ll
  test/ScheduleOptimizer/2012-10-14-Zero-Bands.ll
  test/ScopInfo/aliasing_dead_access.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12185.32668.patch
Type: text/x-patch
Size: 7977 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150820/ce758228/attachment.bin>