[PATCH] D63305: Propagate Trip count Assumptions to runtime check

[Sameer AbuAsal via Phabricator via llvm-commits]

sabuasal created this revision.
sabuasal added reviewers: grosser, Meinersbur.
sabuasal added a project: Polly.
Herald added a reviewer: bollu.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
sabuasal added a parent revision: D63304: Ignore Singletons in statement domains.

  This patch updates Polly to use the assumptions we add for trip count
  to simplify the conditions generated in the runtime check added for the
  Scop. We accomplish htis by intersecting the Trip Count assumptions
  with the InvalidContext (used for alias checks) then gist these assumptions
  that are already inclded in the AssumedContext.
      
  This patch saves about 54Kb in Android build.


Repository:
  rPLO Polly

https://reviews.llvm.org/D63305

Files:
  lib/Analysis/ScopInfo.cpp
  test/ScopDetect/model-dowhile-update-rtc.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D63305.204653.patch
Type: text/x-patch
Size: 4298 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190613/c2b6f1a7/attachment.bin>