[ValueTracking] Improve performance of programUndefinedIfUndefOrPoison (NFC)
authorGeza Lore <gezalore@gmail.com>
Mon, 31 Oct 2022 09:20:11 +0000 (10:20 +0100)
committerNikita Popov <npopov@redhat.com>
Mon, 31 Oct 2022 09:20:11 +0000 (10:20 +0100)
commitd5e59e99f4046a421983f76f5b4c44b646a4af9b
tree89c87f9e33db572c17826e205c131cbfa12d7007
parentefbb4d0245b50dd8ad80a99ea7f676576fd538f7
[ValueTracking] Improve performance of programUndefinedIfUndefOrPoison (NFC)

programUndefinedIfUndefOrPoison used to eagerly propagate the fact that
a value is poison to the users of the value. The problem is that if the
value has a lot of uses (orders of magnitude more than the scanning
limit we use in this function), then we spend the bulk of our time in
eagerly propagating the poison property, which we will mostly never use
later anyway due to the scanning limit.

I have a test case (of ~50k lines of machine generated C++), where this
results in ~60% of 35s compilation time being spent doing just this
eager propagation.

This patch changes programUndefinedIfUndefOrPoison to only propagate to
instructions actually visited, looking back to see if their operands are
poison. This should be equivalent and no functional change is intended,
but we regain virtually all of the 60% compilation time spent in this
function in my test case (i.e.: a 2.5x total compilation speedup).

Differential Revision: https://reviews.llvm.org/D137027
llvm/lib/Analysis/ValueTracking.cpp