[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / SimpleLoopUnswitch / 2010-11-18-LCSSA.ll
blobf3a382d813b8b95040cb0fce39967a1ea78fd33e
1 ; RUN: opt < %s -simple-loop-unswitch
2 ; RUN: opt < %s -simple-loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa
3 ; PR8622
4 @g_38 = external global i32, align 4
6 define void @func_67(i32 %p_68.coerce) nounwind {
7 entry:
8   br i1 true, label %for.end12, label %bb.nph
10 bb.nph:                                           ; preds = %entry
11   %g_38.promoted = load i32, i32* @g_38
12   br label %for.body
14 for.body:                                         ; preds = %for.cond, %bb.nph
15   %tobool.i = icmp eq i32 %p_68.coerce, 1
16   %xor4.i = xor i32 %p_68.coerce, 1
17   %call1 = select i1 %tobool.i, i32 0, i32 %xor4.i
18   br label %for.cond
20 for.cond:                                         ; preds = %for.body
21   br i1 true, label %for.cond.for.end12_crit_edge, label %for.body
23 for.cond.for.end12_crit_edge:                     ; preds = %for.cond
24   store i32 %call1, i32* @g_38
25   br label %for.end12
27 for.end12:                                        ; preds = %for.cond.for.end12_crit_edge, %entry
28   ret void