[SROA] Switch replacement of dead/UB/unreachable ops from undef to poison
authorNuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Mon, 10 Jan 2022 13:11:44 +0000 (13:11 +0000)
committerNuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Mon, 10 Jan 2022 14:04:26 +0000 (14:04 +0000)
commit7b1cb72ad944b460c42adf6df635263064a457f3
tree95ae55ce1cd5f9e914a9a164efb0e169630fe232
parent7725331ccdd82312e1ae82d4d634ee5d7dec2406
[SROA] Switch replacement of dead/UB/unreachable ops from undef to poison

SROA has 3 data-structures where it stores sets of instructions that should
be deleted:
 - DeadUsers -> instructions that are UB or have no users
 - DeadOperands -> instructions that are UB or operands of useless phis
 - DeadInsts -> "dead" instructions, including loads of uninitialized memory
with users

The first 2 sets can be RAUW with poison instead of undef. No brainer as UB
can be replaced with poison, and for instructions with no users RAUW is a
NOP.

The 3rd case cannot be currently replaced with poison because the set mixes
the loads of uninit memory. I leave that alone for now.

Another case where we can use poison is in the construction of vectors from
multiple loads. The base vector for the first insertelement is now poison as
it doesn't matter as it is fully overwritten by inserts.

Differential Revision: https://reviews.llvm.org/D116887
clang/test/CodeGen/aarch64-bf16-ldst-intrinsics.c
llvm/lib/Transforms/Scalar/SROA.cpp
llvm/test/Transforms/SROA/basictest-opaque-ptrs.ll
llvm/test/Transforms/SROA/basictest.ll
llvm/test/Transforms/SROA/non-capturing-call.ll
llvm/test/Transforms/SROA/phi-and-select.ll