xref: /llvm-project/llvm/test/Transforms/GlobalOpt/inalloca-varargs.ll (revision ab7dba233a058cc8310ef829929238b5d8440b30)
18c49b01aSArthur Eubanks; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
28c49b01aSArthur Eubanks; RUN: opt -passes=globalopt -S < %s | FileCheck %s
38c49b01aSArthur Eubanks
48c49b01aSArthur Eubanksdefine i32 @main(ptr %a) {
58c49b01aSArthur Eubanks; CHECK-LABEL: define {{[^@]+}}@main
68c49b01aSArthur Eubanks; CHECK-SAME: (ptr [[A:%.*]]) local_unnamed_addr {
78c49b01aSArthur Eubanks; CHECK-NEXT:    [[ARGMEM:%.*]] = alloca inalloca <{ ptr, i32 }>, align 4
88c49b01aSArthur Eubanks; CHECK-NEXT:    store ptr [[A]], ptr [[ARGMEM]], align 8
98c49b01aSArthur Eubanks; CHECK-NEXT:    [[G0:%.*]] = getelementptr inbounds <{ ptr, i32 }>, ptr [[ARGMEM]], i32 0, i32 1
108c49b01aSArthur Eubanks; CHECK-NEXT:    store i32 5, ptr [[G0]], align 4
118c49b01aSArthur Eubanks; CHECK-NEXT:    [[CALL3:%.*]] = call i32 (ptr, ...) @i(ptr inalloca(ptr) [[ARGMEM]])
128c49b01aSArthur Eubanks; CHECK-NEXT:    ret i32 [[CALL3]]
138c49b01aSArthur Eubanks;
148c49b01aSArthur Eubanks  %argmem = alloca inalloca <{ ptr, i32 }>, align 4
158c49b01aSArthur Eubanks  store ptr %a, ptr %argmem, align 8
168c49b01aSArthur Eubanks  %g0 = getelementptr inbounds <{ ptr, i32 }>, ptr %argmem, i32 0, i32 1
178c49b01aSArthur Eubanks  store i32 5, ptr %g0, align 4
188c49b01aSArthur Eubanks  %call3 = call i32 (ptr, ...) @i(ptr inalloca(ptr) %argmem)
198c49b01aSArthur Eubanks  ret i32 %call3
208c49b01aSArthur Eubanks}
218c49b01aSArthur Eubanks
228c49b01aSArthur Eubanksdefine internal i32 @i(ptr inalloca(ptr) %a, ...) {
238c49b01aSArthur Eubanks; CHECK-LABEL: define {{[^@]+}}@i
248c49b01aSArthur Eubanks; CHECK-SAME: (ptr inalloca(ptr) [[A:%.*]], ...) unnamed_addr {
258c49b01aSArthur Eubanks; CHECK-NEXT:    [[AP:%.*]] = alloca ptr, align 4
26*ab7dba23SAlex Voicu; CHECK-NEXT:    call void @llvm.va_start.p0(ptr [[AP]])
278c49b01aSArthur Eubanks; CHECK-NEXT:    [[ARGP_CUR:%.*]] = load ptr, ptr [[AP]], align 4
288c49b01aSArthur Eubanks; CHECK-NEXT:    [[L:%.*]] = load i32, ptr [[ARGP_CUR]], align 4
298c49b01aSArthur Eubanks; CHECK-NEXT:    ret i32 [[L]]
308c49b01aSArthur Eubanks;
318c49b01aSArthur Eubanks  %ap = alloca ptr, align 4
328c49b01aSArthur Eubanks  call void @llvm.va_start(ptr %ap)
338c49b01aSArthur Eubanks  %argp.cur = load ptr, ptr %ap, align 4
348c49b01aSArthur Eubanks  %l = load i32, ptr %argp.cur, align 4
358c49b01aSArthur Eubanks  ret i32 %l
368c49b01aSArthur Eubanks}
378c49b01aSArthur Eubanks
388c49b01aSArthur Eubanksdeclare void @llvm.va_start(ptr)
39