; RUN: opt < %s -instcombine -S | FileCheck %s

define void @entry() nounwind {
entry:
  br label %for.cond

for.cond:
  %local = phi <1 x i32> [ <i32 0>, %entry ], [ %phi2, %cond.end47 ]
; CHECK: sub <1 x i32> <i32 92>, %local
  %phi3 = sub <1 x i32> zeroinitializer, %local
  br label %cond.end

cond.false:
  br label %cond.end

cond.end:
  %cond = phi <1 x i32> [ %phi3, %for.cond ], [ undef, %cond.false ]
  br label %cond.end47

cond.end47:
  %sum = add <1 x i32> %cond, <i32 92>
  %phi2 = sub <1 x i32> zeroinitializer, %sum
  br label %for.cond
}