69 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='lto<O3>' -S < %s | FileCheck %s3 4; We should be able to propagate the constants from @parent to @child.5 6define void @parent(ptr %p) {7; CHECK-LABEL: define void @parent(8; CHECK-SAME: ptr captures(none) [[P:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {9; CHECK-NEXT: tail call fastcc void @child(ptr [[P]])10; CHECK-NEXT: ret void11;12 %c = alloca i3213 store i32 5, ptr %c14 %n = alloca i3215 store i32 1024, ptr %n16 call void @child(ptr %p, ptr %n, ptr %c)17 ret void18}19 20define internal void @child(ptr %p, ptr %n, ptr %c) noinline {21; CHECK-LABEL: define internal fastcc void @child(22; CHECK-SAME: ptr captures(none) [[P:%.*]]) unnamed_addr #[[ATTR1:[0-9]+]] {23; CHECK-NEXT: [[ENTRY:.*]]:24; CHECK-NEXT: br label %[[FOR_COND:.*]]25; CHECK: [[FOR_COND]]:26; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ 0, %[[ENTRY]] ], [ [[INC:%.*]], %[[FOR_INC:.*]] ]27; CHECK-NEXT: [[CMP_NOT:%.*]] = icmp eq i32 [[I_0]], 102428; CHECK-NEXT: br i1 [[CMP_NOT]], label %[[FOR_END:.*]], label %[[FOR_INC]]29; CHECK: [[FOR_INC]]:30; CHECK-NEXT: [[IDXPROM:%.*]] = zext nneg i32 [[I_0]] to i6431; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i32, ptr [[P]], i64 [[IDXPROM]]32; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[ARRAYIDX]], align 433; CHECK-NEXT: [[MUL:%.*]] = mul i32 [[TMP0]], 534; CHECK-NEXT: store i32 [[MUL]], ptr [[ARRAYIDX]], align 435; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[I_0]], 136; CHECK-NEXT: br label %[[FOR_COND]]37; CHECK: [[FOR_END]]:38; CHECK-NEXT: ret void39;40entry:41 br label %for.cond42 43for.cond:44 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]45 %n.val = load i32, ptr %n46 %cmp = icmp ne i32 %i.0, %n.val47 br i1 %cmp, label %for.body, label %for.cond.cleanup48 49for.cond.cleanup:50 br label %for.end51 52for.body:53 %idxprom = sext i32 %i.0 to i6454 %arrayidx = getelementptr inbounds i32, ptr %p, i64 %idxprom55 %0 = load i32, ptr %arrayidx, align 456 %c.val = load i32, ptr %c57 %mul = mul i32 %0, %c.val58 store i32 %mul, ptr %arrayidx, align 459 br label %for.inc60 61for.inc:62 %inc = add nsw i32 %i.0, 163 br label %for.cond64 65for.end:66 ret void67}68 69