[PATCH] D78582: [InstCombine] substitute equivalent constant to reduce logic-of-icmps

Thu Apr 23 06:27:24 PDT 2020

spatel added a comment.

In D78582#1998807 <https://reviews.llvm.org/D78582#1998807>, @aqjune wrote:

> Hi, as I just left at D8540 <https://reviews.llvm.org/D8540>, Alive2 currently approximates comparison with null pointer, so please ignore the case. I'll rerun the unit tests after it is correctly supported.

Thanks.

Sorry if the patches are not applying cleanly. I thought this 1 should still apply independently to trunk as shown, but the overlapping test diffs are probably conflicting. I'll push the InstSimplify change first because that is an underlying analysis for InstCombine and then regenerate the test diffs.

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78582/new/

https://reviews.llvm.org/D78582