[Test] Add motivating test for umin support in SCEVLoopGuardRewriter
authorMax Kazantsev <mkazantsev@azul.com>
Fri, 3 Feb 2023 09:00:24 +0000 (16:00 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Fri, 3 Feb 2023 10:07:15 +0000 (17:07 +0700)
commit16e0ebbbcfc2084d77ea68c7626078834e26a9c9
tree2d3780066d74d2aa82e70709a5d5d7e6cbcf0d37
parentd54d99748db6cc6de9b4601434704e99124289f3
[Test] Add motivating test for umin support in SCEVLoopGuardRewriter

This test is equivalent to another one, where we can infer a
reasonable iteration count. The only difference is that umin and zext
here are swapped, and rewriter fails here.
llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info-rewrite-expressions.ll