HomePhabricator

[PredicateInfo] Place predicate info after assume

Authored by nikic on Jul 11 2020, 1:48 PM.

Description

[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

Details

Committed
nikicJul 13 2020, 12:10 PM
Differential Revision
D83631: [PredicateInfo] Place predicate info after assume
Parents
rG4b626dd94944: [NewGVN] Separate passing assume tests (NFC)
Branches
Unknown
Tags
Unknown