[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / SimpleLoopUnswitch / 2007-05-09-Unreachable.ll
blob02c7a96deb5dc024863bc6f8d13fad3192a5bde4
1 ; PR1333
2 ; RUN: opt < %s -simple-loop-unswitch -disable-output
3 ; RUN: opt < %s -simple-loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
5 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
6 target triple = "i686-pc-linux-gnu"
7         %struct.ada__streams__root_stream_type = type { %struct.ada__tags__dispatch_table* }
8         %struct.ada__tags__dispatch_table = type { [1 x i8*] }
9         %struct.quotes__T173s = type { i8, %struct.quotes__T173s__T174s, [2 x [1 x double]], [2 x i16], i64, i8 }
10         %struct.quotes__T173s__T174s = type { i8, i8, i8, i16, i16, [2 x [1 x double]] }
12 define void @quotes__write_quote() {
13 entry:
14         %tmp606.i = icmp eq i32 0, 0            ; <i1> [#uses=1]
15         br label %bb
16 bb:             ; preds = %cond_next73, %bb, %entry
17         br i1 false, label %bb51, label %bb
18 bb51:           ; preds = %cond_next73, %bb
19         br i1 %tmp606.i, label %quotes__bid_ask_depth_offset_matrices__get_price.exit, label %cond_true.i
20 cond_true.i:            ; preds = %bb51
21         unreachable
22 quotes__bid_ask_depth_offset_matrices__get_price.exit:          ; preds = %bb51
23         br i1 false, label %cond_next73, label %cond_true72
24 cond_true72:            ; preds = %quotes__bid_ask_depth_offset_matrices__get_price.exit
25         unreachable
26 cond_next73:            ; preds = %quotes__bid_ask_depth_offset_matrices__get_price.exit
27         br i1 false, label %bb, label %bb51