[SimplifyCFG] Make the value type of the hole check bitmask a power-of-2.
[oota-llvm.git] / test / Transforms / InstCombine / pr12338.ll
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2
3 define void @entry() nounwind {
4 entry:
5   br label %for.cond
6
7 for.cond:
8   %local = phi <1 x i32> [ <i32 0>, %entry ], [ %phi2, %cond.end47 ]
9   %phi3 = sub <1 x i32> zeroinitializer, %local
10   br label %cond.end
11
12 cond.false:
13   br label %cond.end
14
15 cond.end:
16   %cond = phi <1 x i32> [ %phi3, %for.cond ], [ undef, %cond.false ]
17   br label %cond.end47
18
19 cond.end47:
20   %sum = add <1 x i32> %cond, <i32 92>
21 ; CHECK: sub <1 x i32> <i32 -92>, %cond
22   %phi2 = sub <1 x i32> zeroinitializer, %sum
23   br label %for.cond
24 }