[PATCH] [Polly][RTC] Bail if too many parameters are involved in an RTC access.

[Johannes Doerfert]

Hi grosser, sebpop,

  If two many parameters are involved in accesses used to create RTCs
  we might end up with enormous compile times and RTC expressions.
  The reason is that the lexmin/lexmax is dependent on all these
  parameters and isl might need to create a case for every "ordering"
  of them (e.g., p0 <= p1 <= p2, p1 <= p0 <= p2, ...).

  The exact number of parameters allowed in accesses is defined by the
  command line option -polly-rtc-max-parameters=XXX and set by default
  to 8.

http://reviews.llvm.org/D5500

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/aliasing_many_parameters_not_all_involved.ll
  test/ScopInfo/run-time-check-many-parameters.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5500.14100.patch
Type: text/x-patch
Size: 14146 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140926/90359560/attachment.bin>