1; RUN: opt < %s -simple-loop-unswitch -disable-output
2; RUN: opt < %s -simple-loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
3
4define void @init_caller_save() {
5entry:
6  br label %cond_true78
7
8cond_true78:    ; preds = %bb75, %entry
9  %i.0.0 = phi i32 [ 0, %entry ], [ %tmp74.0, %bb75 ]    ; <i32> [#uses=2]
10  br label %bb54
11
12bb54:    ; preds = %cond_true78, %bb31
13  br i1 false, label %bb75, label %cond_true64
14
15cond_true64:    ; preds = %bb54
16  switch i32 %i.0.0, label %cond_next20 [
17     i32 17, label %bb31
18     i32 18, label %bb31
19  ]
20
21cond_next20:    ; preds = %cond_true64
22  br label %bb31
23
24bb31:    ; preds = %cond_true64, %cond_true64, %cond_next20
25  %iftmp.29.1 = phi i32 [ 0, %cond_next20 ], [ 0, %cond_true64 ], [ 0, %cond_true64 ]    ; <i32> [#uses=0]
26  br label %bb54
27
28bb75:    ; preds = %bb54
29  %tmp74.0 = add i32 %i.0.0, 1    ; <i32> [#uses=1]
30  br label %cond_true78
31}
32
33