1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define void @entry() nounwind {
4entry:
5  br label %for.cond
6
7for.cond:
8  %local = phi <1 x i32> [ <i32 0>, %entry ], [ %phi2, %cond.end47 ]
9; CHECK: sub <1 x i32> <i32 92>, %local
10  %phi3 = sub <1 x i32> zeroinitializer, %local
11  br label %cond.end
12
13cond.false:
14  br label %cond.end
15
16cond.end:
17  %cond = phi <1 x i32> [ %phi3, %for.cond ], [ undef, %cond.false ]
18  br label %cond.end47
19
20cond.end47:
21  %sum = add <1 x i32> %cond, <i32 92>
22  %phi2 = sub <1 x i32> zeroinitializer, %sum
23  br label %for.cond
24}
25