Nikita Popov 353fa4403a [PredicateInfo] Place predicate info after assume ...

Place the ssa.copy instructions for assumes after the assume,
instead of before it. Both options are valid, but placing them
afterwards prevents assumes from being replaced with assume(true).
This fixes https://bugs.llvm.org/show_bug.cgi?id=37541 in NewGVN
and will avoid a similar issue in SCCP when we handle more
predicate infos.

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

2020-07-13 21:10:11 +02:00

37 KiB

Raw Blame History

View Raw