[PATCH] D9444: [Polly] Use ISL to Determine Loop Trip Count

[Matthew Simpson via llvm-commits]

mssimpso updated this revision to Diff 32987.
mssimpso added a comment.
Herald added a subscriber: sanjoy.

Rebased and addressed comments. Thanks for the reviews!

@grosser:

Flag is now enabled by default.

@jdoerfert:

My apologies for waiting so long to update this patch. I've addressed your
comments, added an additional test case, and performed some additional
refactoring. Regarding the actual computation of the trip count, I made a small
adjustment to the expression given in the PET paper. I now simplify the
condition on the domain to remove unnecessary constraints. This corrects the
"offset-by-one" issue you pointed out in the original test case and also fixes
some cases we saw in our internal testing.


http://reviews.llvm.org/D9444

Files:
  include/polly/ScopDetection.h
  include/polly/ScopInfo.h
  include/polly/Support/SCEVAffinator.h
  lib/Analysis/ScopDetection.cpp
  lib/Analysis/ScopInfo.cpp
  lib/Support/SCEVAffinator.cpp
  test/ScopInfo/isl_trip_count_01.ll
  test/ScopInfo/isl_trip_count_02.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9444.32987.patch
Type: text/x-patch
Size: 13476 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150824/6cc5cd1b/attachment.bin>