[PATCH] D22214: Convert a signed remainder instruction to unsigned remainder

[Sjoerd Meijer via llvm-commits]

SjoerdMeijer updated this revision to Diff 63652.
SjoerdMeijer added a comment.

Simplified the regression test. The transformation triggers when value range can determine that the operands are >= 0. This is accomplished with and if-statement instead of a while loop, which simplifies the test.


http://reviews.llvm.org/D22214

Files:
  lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
  test/Transforms/CorrelatedValuePropagation/srem.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D22214.63652.patch
Type: text/x-patch
Size: 4314 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160712/dadb4714/attachment.bin>