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

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Code looks fine.



================
Comment at: lib/Transforms/Scalar/SCCP.cpp:529
     ConstantInt *CI = BCValue.getConstantInt();
     if (!CI) {
       // Overdefined condition variables, and branches on unfoldable constant
----------------
Did you mean to special-case undef here?


https://reviews.llvm.org/D28177