[PATCH] D14413: [Polly][WIP] Use parameter constraints provided via llvm.assume

[Johannes Doerfert via llvm-commits]

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

  -- Mainly unit tests are missing --

http://reviews.llvm.org/D14413

Files:
  include/polly/ScopInfo.h
  include/polly/Support/SCEVValidator.h
  lib/Analysis/ScopInfo.cpp
  lib/Support/SCEVValidator.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14413.39460.patch
Type: text/x-patch
Size: 8558 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151106/1b6151d7/attachment.bin>