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 ; CHECK: sub <1 x i32> <i32 92>, %local 10 %phi3 = sub <1 x i32> zeroinitializer, %local 11 br label %cond.end 12 13 cond.false: 14 br label %cond.end 15 16 cond.end: 17 %cond = phi <1 x i32> [ %phi3, %for.cond ], [ undef, %cond.false ] 18 br label %cond.end47 19 20 cond.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
