[PATCH] D20165: Check overflows in RTCs and bail accordingly

[Johannes Doerfert via llvm-commits]

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

  We utilize assumptions on the input to model IR in polyhedral world.
  To verify these assumptions we version the code and guard it with a
  runtime-check (RTC). However, since the RTCs are themselves generated
  from the polyhedral representation we generate them under the same
  assumptions that they should verify. In other words, the guarantees
  that we try to provide with the RTCs do not hold for the RTCs
  themselves. To this end it is necessary to employ a different check
  for the RTCs that will verify the assumptions did hold for them too.

http://reviews.llvm.org/D20165

Files:
  include/polly/CodeGen/IslExprBuilder.h
  lib/CodeGen/CodeGeneration.cpp
  lib/CodeGen/IslExprBuilder.cpp
  lib/CodeGen/IslNodeBuilder.cpp
  test/Isl/CodeGen/OpenMP/new_multidim_access.ll
  test/Isl/CodeGen/aliasing_multidimensional_access.ll
  test/Isl/CodeGen/aliasing_parametric_simple_1.ll
  test/Isl/CodeGen/aliasing_parametric_simple_2.ll
  test/Isl/CodeGen/exprModDiv.ll
  test/Isl/CodeGen/invariant_load_base_pointer_conditional_2.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D20165.56896.patch
Type: text/x-patch
Size: 26493 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160511/80af2e62/attachment.bin>