Nikita Popov 7fa97b473c [SCCP] Don't mark ranges from branch conditions as potentially undef ...

Now that transforms introducing branch on poison have been removed,
we can stop marking ranges that have been derived from branch
conditions as containing undef. The existing comment explains why
this is legal. I've checked that alive2 is happy with SCCP tests
after this change.

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

2022-06-07 10:20:24 +02:00

61 KiB

Raw Blame History

View Raw