[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SimpleLoopUnswitch / formDedicatedAfterTrivial2.ll
blob1ac4bbd21b5ed74ace015d6701492ffdbfc6c4e8
1 ; RUN: opt < %s -simple-loop-unswitch -disable-output
3 ; PR38283
4 ; PR38737
5 define void @Test(i32) {
6 entry:
7   %trunc = trunc i32 %0 to i3
8   br label %outer
9 outer:
10   br label %inner
11 inner:
12   switch i3 %trunc, label %crit_edge [
13     i3 2, label %break
14     i3 1, label %loopexit
15   ]
16 crit_edge:
17   br i1 true, label %loopexit, label %inner
18 loopexit:
19   ret void
20 break:
21   br label %outer