[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopUnswitch / 2006-06-27-DeadSwitchCase.ll
blob65170b5957b25a0e9e97fbc29ca6325eea4dc488
1 ; RUN: opt < %s -loop-unswitch -disable-output
2 ; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
4 define void @init_caller_save() {
5 entry:
6         br label %cond_true78
7 cond_next20:            ; preds = %cond_true64
8         br label %bb31
9 bb31:           ; preds = %cond_true64, %cond_true64, %cond_next20
10         %iftmp.29.1 = phi i32 [ 0, %cond_next20 ], [ 0, %cond_true64 ], [ 0, %cond_true64 ]             ; <i32> [#uses=0]
11         br label %bb54
12 bb54:           ; preds = %cond_true78, %bb31
13         br i1 false, label %bb75, label %cond_true64
14 cond_true64:            ; preds = %bb54
15         switch i32 %i.0.0, label %cond_next20 [
16                  i32 17, label %bb31
17                  i32 18, label %bb31
18         ]
19 bb75:           ; preds = %bb54
20         %tmp74.0 = add i32 %i.0.0, 1            ; <i32> [#uses=1]
21         br label %cond_true78
22 cond_true78:            ; preds = %bb75, %entry
23         %i.0.0 = phi i32 [ 0, %entry ], [ %tmp74.0, %bb75 ]             ; <i32> [#uses=2]
24         br label %bb54