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

[Johannes Doerfert via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL252851: Use parameter constraints provided via llvm.assume (authored by jdoerfert).

Changed prior to commit:
  http://reviews.llvm.org/D14413?vs=39460&id=40002#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D14413

Files:
  polly/trunk/include/polly/ScopInfo.h
  polly/trunk/include/polly/Support/SCEVValidator.h
  polly/trunk/lib/Analysis/ScopInfo.cpp
  polly/trunk/lib/Support/SCEVValidator.cpp
  polly/trunk/test/ScopInfo/user_provided_assumptions.ll
  polly/trunk/test/ScopInfo/user_provided_non_dominating_assumptions.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14413.40002.patch
Type: text/x-patch
Size: 18274 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151112/b06dded0/attachment.bin>