[PATCH] D18684: [SCEV] See through op.with.overflow intrinsics

[Sanjoy Das via llvm-commits]

sanjoy created this revision.
sanjoy added reviewers: atrick, regehr.
sanjoy added a subscriber: llvm-commits.
Herald added subscribers: mzolotukhin, mcrosier.

This change teaches SCEV to see reduce `(extractvalue
0 (op.with.overflow X Y))` into `op X Y` (with a no-wrap tag if
possible).

http://reviews.llvm.org/D18684

Files:
  lib/Analysis/ScalarEvolution.cpp
  test/Analysis/ScalarEvolution/overflow-intrinsics.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D18684.52330.patch
Type: text/x-patch
Size: 15469 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160401/125fe85e/attachment.bin>