Add experimental support for unsigned expressions
authorTobias Grosser <tobias@grosser.es>
Fri, 9 Jan 2015 00:01:33 +0000 (00:01 +0000)
committerTobias Grosser <tobias@grosser.es>
Fri, 9 Jan 2015 00:01:33 +0000 (00:01 +0000)
commitbfbc3690bb6673ecb518ec1310b6a05c859f8618
tree518576e760240958a9fc8a6c418449247b23e381
parent99010348222f53e542f10db6c59eeb7e546334dc
Add experimental support for unsigned expressions

This support is still incomplete and consequently hidden behind a switch that
needs to be enabled. One problem is ATM that we incorrectly interpret very large
unsigned values as negative values even if used in an unsigned comparision.

llvm-svn: 225480
polly/lib/Analysis/ScopDetection.cpp
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/unsigned-condition.ll [new file with mode: 0644]