[PATCH] D28177: [SCCP] Integrate `undef` in the solver

[Davide Italiano via Phabricator via llvm-commits]

davide created this revision.
davide added reviewers: eli.friedman, efriedma, dberlin.
davide added a subscriber: llvm-commits.

Trying to fix https://llvm.org/bugs/show_bug.cgi?id=30448 and another bunch of latent bugs in SCCP. 
I'm going to send a detailed mails about the motivations to llvm-dev in a bit, but I wanted a review to link to first.


https://reviews.llvm.org/D28177

Files:
  lib/Transforms/Scalar/SCCP.cpp
  test/Transforms/IPConstantProp/PR16052.ll
  test/Transforms/IPConstantProp/PR26044.ll
  test/Transforms/SCCP/undef-resolve.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D28177.82729.patch
Type: text/x-patch
Size: 29729 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161230/9d80786a/attachment.bin>