[PATCH] D29587: [DAGCombiner] mulhi + 1 never overflow.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added inline comments.


================
Comment at: lib/CodeGen/SelectionDAG/SelectionDAG.cpp:2781
+      (~N1Zero & 0x01) == ~N1Zero)
+    return OFK_Never;
+
----------------
Another question: is there some reason to expect that N0 is the multiply, rather than N1?


https://reviews.llvm.org/D29587