projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbb18fb) | patch
[FIX] Correct assumption simplification
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 28 Apr 2016 14:32:58 +0000 (14:32 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 28 Apr 2016 14:32:58 +0000 (14:32 +0000)
commit8475d1c1638235a89eba799ebd94d056aa49d582
treea735400a2ac8ed547c8ca05ad3cfaa0df0f94e77tree | snapshot
parentfbb18fb6b976f80cfa8f03b98cb0c9a36bcbbbe2commit | diff
[FIX] Correct assumption simplification

  Assumptions and restrictions can both be simplified with the domain of a
  statement but not the same way. After this patch we will correctly
  distinguish them.

llvm-svn: 267885
polly/lib/Analysis/ScopInfo.cpp diff | blob | history
polly/test/ScopInfo/simple_loop_unsigned.ll diff | blob | history
polly/test/ScopInfo/simple_loop_unsigned_2.ll diff | blob | history
Domain: System / Toolchain;