[SCEV] Add test where result depends on order loop guards are applied.
authorFlorian Hahn <flo@fhahn.com>
Wed, 15 Dec 2021 19:07:25 +0000 (19:07 +0000)
committerFlorian Hahn <flo@fhahn.com>
Wed, 15 Dec 2021 19:10:28 +0000 (19:10 +0000)
commiteea568927b6fb44c6b4650a4a6f54ad9c4772bd8
treefa1dd2278a1d0f7a03ed8cdde2be313be57c0075
parent001914975db18c75cb05edc6b7f5b2f3eaf4b871
[SCEV] Add test where result depends on order loop guards are applied.

This patch adds 2 test cases where we fail to determine a tight bound on
the backedge taken count because the ULT condition is applied before the
signed conditions. The order the conditions are applied impacts which
min/max folds are applied.
llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll