Record wrapping assumptions early
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Tue, 12 Apr 2016 13:28:39 +0000 (13:28 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Tue, 12 Apr 2016 13:28:39 +0000 (13:28 +0000)
commit615e0b85f83f3dc030aeec617f0393d2f7c401b3
tree1d91a01939fefa64d6555e49e873c68b78e940e3
parent3bf6e4129fda8c1568cf54d41853fea80d32eafb
Record wrapping assumptions early

  Utilizing the record option for assumptions we can simplify the wrapping
  assumption generation a lot. Additionally, we can now report locations
  together with wrapping assumptions, though they might not be accurate yet.

llvm-svn: 266069
12 files changed:
polly/include/polly/ScopInfo.h
polly/include/polly/Support/SCEVAffinator.h
polly/lib/Analysis/ScopInfo.cpp
polly/lib/Support/SCEVAffinator.cpp
polly/test/Isl/Ast/simple-run-time-condition.ll
polly/test/ScopInfo/multidim_2d_with_modref_call.ll
polly/test/ScopInfo/multidim_2d_with_modref_call_2.ll
polly/test/ScopInfo/multidim_fortran_2d_with_modref_call.ll
polly/test/ScopInfo/pointer-comparison-no-nsw.ll
polly/test/ScopInfo/pointer-comparison.ll
polly/test/ScopInfo/remarks.ll
polly/test/ScopInfo/wraping_signed_expr_5.ll