[Attributor][FIX] Relax assertion in IRPosition::verify
authorJohannes Doerfert <johannes@jdoerfert.de>
Tue, 1 Feb 2022 08:23:55 +0000 (02:23 -0600)
committerJohannes Doerfert <johannes@jdoerfert.de>
Tue, 1 Feb 2022 08:25:44 +0000 (02:25 -0600)
commit3b8ffe668db208016665c5af1da1ae4514f9921e
tree8f97f50945c4d16dc2357b17b1805425bebe10e0
parent8a8af120283d652436cde4b7e61cc295b5f02d68
[Attributor][FIX] Relax assertion in IRPosition::verify

A call base can be a floating value if we talk about the instruction and
not the return value. This distinction was not made before but is
important for liveness, e.g., a call site return value might be unused
(=dead) but the call site is not.
llvm/lib/Transforms/IPO/Attributor.cpp