[PATCH] D49408: [SCCP] [WIP] Don't use markForcedConstant on branch conditions.

[Eli Friedman via Phabricator via llvm-commits]

efriedma created this revision.
efriedma added reviewers: davide, fhahn.

It's more aggressive than we need to be, and leads to strange workarounds in other places like call return value inference. Instead, just directly mark an edge viable.

Needs to be cleaned up a bit, but it's enough to prove the concept.  Alternative to https://reviews.llvm.org/D49384 .


Repository:
  rL LLVM

https://reviews.llvm.org/D49408

Files:
  lib/Transforms/Scalar/SCCP.cpp
  test/Transforms/SCCP/ipsccp-phi-one-pred-dead.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49408.155792.patch
Type: text/x-patch
Size: 4282 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180717/a35364bf/attachment.bin>