diff options
| author | Juneyoung Lee <aqjune@gmail.com> | 2020-12-29 06:50:26 +0900 |
|---|---|---|
| committer | Juneyoung Lee <aqjune@gmail.com> | 2020-12-29 06:50:38 +0900 |
| commit | 0f2c180163a2cc3d6239a32d379ec3d773e56a2f (patch) | |
| tree | c963c94d720babd9227e25f8e0336ddb0e58f52a /llvm/lib/CodeGen/MachineModuleInfo.cpp | |
| parent | 4a16c507cb68e425226e81598d91963aacdd57ed (diff) | |
| download | llvm-0f2c180163a2cc3d6239a32d379ec3d773e56a2f.zip llvm-0f2c180163a2cc3d6239a32d379ec3d773e56a2f.tar.gz llvm-0f2c180163a2cc3d6239a32d379ec3d773e56a2f.tar.bz2 | |
[ValueTracking] Implement impliesPoison
This PR adds impliesPoison(ValAssumedPoison, V) that returns true if V is
poison under the assumption that ValAssumedPoison is poison.
For example, impliesPoison('icmp X, 10', 'icmp X, Y') return true because
'icmp X, Y' is poison if 'icmp X, 10' is poison.
impliesPoison can be used for sound optimization of select, as discussed in
D77868.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D78152
Diffstat (limited to 'llvm/lib/CodeGen/MachineModuleInfo.cpp')
0 files changed, 0 insertions, 0 deletions