[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopUnswitch / 2008-06-17-DomFrontier.ll
blobd606ea9c6d207f24382d598298b9381efb0dfca1
1 ; RUN: opt < %s -licm -loop-unswitch -disable-output
2 @g_56 = external global i16             ; <i16*> [#uses=2]
4 define i32 @func_67(i32 %p_68, i8 signext  %p_69, i8 signext  %p_71) nounwind  {
5 entry:
6         br label %bb
7 bb:             ; preds = %bb44, %entry
8         br label %bb3
9 bb3:            ; preds = %bb36, %bb
10         %bothcond = or i1 false, false          ; <i1> [#uses=1]
11         br i1 %bothcond, label %bb29, label %bb19
12 bb19:           ; preds = %bb3
13         br i1 false, label %bb36, label %bb29
14 bb29:           ; preds = %bb19, %bb3
15         ret i32 0
16 bb36:           ; preds = %bb19
17         store i16 0, i16* @g_56, align 2
18         br i1 false, label %bb44, label %bb3
19 bb44:           ; preds = %bb44, %bb36
20         %tmp46 = load i16, i16* @g_56, align 2          ; <i16> [#uses=0]
21         br i1 false, label %bb, label %bb44