[PATCH] D19526: Allow unsigned comparisons

[Johannes Doerfert via llvm-commits]

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

  We will now optimistically assume that the result of an unsigned comparison
  is the same as the result of the same comparison interpreted as signed. To
  this end we will simply assume that both operands are non-negative.

http://reviews.llvm.org/D19526

Files:
  include/polly/ScopDetectionDiagnostic.h
  lib/Analysis/ScopDetection.cpp
  lib/Analysis/ScopDetectionDiagnostic.cpp
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/simple_loop_unsigned.ll
  test/ScopInfo/simple_loop_unsigned_2.ll
  test/ScopInfo/simple_loop_unsigned_3.ll
  test/ScopInfo/unsigned-condition.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D19526.54976.patch
Type: text/x-patch
Size: 11520 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160426/8ca1e054/attachment.bin>