1; RUN: llc < %s -mtriple=thumbv7-apple-darwin -mcpu=cortex-a8 | FileCheck %s 2 3; Overly aggressive LICM simply adds copies of constants 4; rdar://9266679 5 6define zeroext i1 @t(i32* nocapture %A, i32 %size, i32 %value) nounwind readonly ssp { 7; CHECK: t: 8entry: 9 br label %for.cond 10 11for.cond: 12 %0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 13 %cmp = icmp ult i32 %0, %size 14 br i1 %cmp, label %for.body, label %return 15 16for.body: 17; CHECK: %for. 18; CHECK: movs r{{[0-9]+}}, #{{[01]}} 19 %arrayidx = getelementptr i32* %A, i32 %0 20 %tmp4 = load i32* %arrayidx, align 4 21 %cmp6 = icmp eq i32 %tmp4, %value 22 br i1 %cmp6, label %return, label %for.inc 23 24; CHECK: %for. 25; CHECK: movs r{{[0-9]+}}, #{{[01]}} 26 27for.inc: 28 %inc = add i32 %0, 1 29 br label %for.cond 30 31return: 32 %retval.0 = phi i1 [ true, %for.body ], [ false, %for.cond ] 33 ret i1 %retval.0 34} 35