39 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature2; RUN: opt -passes=globalopt -S < %s | FileCheck %s3 4define i32 @main(ptr %a) {5; CHECK-LABEL: define {{[^@]+}}@main6; CHECK-SAME: (ptr [[A:%.*]]) local_unnamed_addr {7; CHECK-NEXT: [[ARGMEM:%.*]] = alloca inalloca <{ ptr, i32 }>, align 48; CHECK-NEXT: store ptr [[A]], ptr [[ARGMEM]], align 89; CHECK-NEXT: [[G0:%.*]] = getelementptr inbounds <{ ptr, i32 }>, ptr [[ARGMEM]], i32 0, i32 110; CHECK-NEXT: store i32 5, ptr [[G0]], align 411; CHECK-NEXT: [[CALL3:%.*]] = call i32 (ptr, ...) @i(ptr inalloca(ptr) [[ARGMEM]])12; CHECK-NEXT: ret i32 [[CALL3]]13;14 %argmem = alloca inalloca <{ ptr, i32 }>, align 415 store ptr %a, ptr %argmem, align 816 %g0 = getelementptr inbounds <{ ptr, i32 }>, ptr %argmem, i32 0, i32 117 store i32 5, ptr %g0, align 418 %call3 = call i32 (ptr, ...) @i(ptr inalloca(ptr) %argmem)19 ret i32 %call320}21 22define internal i32 @i(ptr inalloca(ptr) %a, ...) {23; CHECK-LABEL: define {{[^@]+}}@i24; CHECK-SAME: (ptr inalloca(ptr) [[A:%.*]], ...) unnamed_addr {25; CHECK-NEXT: [[AP:%.*]] = alloca ptr, align 426; CHECK-NEXT: call void @llvm.va_start.p0(ptr [[AP]])27; CHECK-NEXT: [[ARGP_CUR:%.*]] = load ptr, ptr [[AP]], align 428; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[ARGP_CUR]], align 429; CHECK-NEXT: ret i32 [[L]]30;31 %ap = alloca ptr, align 432 call void @llvm.va_start(ptr %ap)33 %argp.cur = load ptr, ptr %ap, align 434 %l = load i32, ptr %argp.cur, align 435 ret i32 %l36}37 38declare void @llvm.va_start(ptr)39