[BDCE][DemandedBits] Detect dead uses of undead instructions
authorNikita Popov <nikita.ppv@gmail.com>
Wed, 19 Dec 2018 19:56:21 +0000 (19:56 +0000)
committerNikita Popov <nikita.ppv@gmail.com>
Wed, 19 Dec 2018 19:56:21 +0000 (19:56 +0000)
commit649e125451e366d072f41aa99faf5b5dfaa9467b
tree774d2563300d5cdb6494819b4132d670ce26c86d
parent51f88af359dae51e79fea5bfef3904a463a6541c
[BDCE][DemandedBits] Detect dead uses of undead instructions

This (mostly) fixes https://bugs.llvm.org/show_bug.cgi?id=39771.

BDCE currently detects instructions that don't have any demanded bits
and replaces their uses with zero. However, if an instruction has
multiple uses, then some of the uses may be dead (have no demanded bits)
even though the instruction itself is still live. This patch extends
DemandedBits/BDCE to detect such uses and replace them with zero.
While this will not immediately render any instructions dead, it may
lead to simplifications (in the motivating case, by converting a rotate
into a simple shift), break dependencies, etc.

The implementation tries to strike a balance between analysis power and
complexity/memory usage. Originally I wanted to track demanded bits on
a per-use level, but ultimately we're only really interested in whether
a use is entirely dead or not. I'm using an extra set to track which uses
are dead. However, as initially all uses are dead, I'm not storing uses
those user is also dead. This case is checked separately instead.

The test case has a couple of cases that are not simplified yet. In
particular, we're only looking at uses of instructions right now. I think
it would make sense to also extend this to arguments. Furthermore
DemandedBits doesn't yet know some of the tricks that InstCombine does
for the demanded bits or bitwise or/and/xor in combination with known
bits information.

Differential Revision: https://reviews.llvm.org/D55563

llvm-svn: 349674
llvm/include/llvm/Analysis/DemandedBits.h
llvm/lib/Analysis/DemandedBits.cpp
llvm/lib/Transforms/Scalar/BDCE.cpp
llvm/test/Transforms/BDCE/dead-uses.ll