1; RUN: opt < %s -deadargelim -S | FileCheck %s 2 3declare void @llvm.va_start(i8*) 4 5define internal i32 @va_func(i32 %a, i32 %b, ...) { 6 %valist = alloca i8 7 call void @llvm.va_start(i8* %valist) 8 9 ret i32 %b 10} 11 12; Function derived from AArch64 ABI, where 8 integer arguments go in 13; registers but the 9th goes on the stack. We really don't want to put 14; just 7 args in registers and then start on the stack since any 15; va_arg implementation already present in va_func won't be expecting 16; it. 17define i32 @call_va(i32 %in) { 18 %stacked = alloca i32 19 store i32 42, i32* %stacked 20 %res = call i32(i32, i32, ...) @va_func(i32 %in, i32 %in, [6 x i32] undef, i32* byval %stacked) 21 ret i32 %res 22; CHECK: call i32 (i32, i32, ...) @va_func(i32 undef, i32 %in, [6 x i32] undef, i32* byval %stacked) 23} 24 25define internal i32 @va_deadret_func(i32 %a, i32 %b, ...) { 26 %valist = alloca i8 27 call void @llvm.va_start(i8* %valist) 28 29 ret i32 %a 30} 31 32define void @call_deadret(i32 %in) { 33 %stacked = alloca i32 34 store i32 42, i32* %stacked 35 call i32 (i32, i32, ...) @va_deadret_func(i32 undef, i32 %in, [6 x i32] undef, i32* byval %stacked) 36 ret void 37; CHECK: call void (i32, i32, ...) @va_deadret_func(i32 undef, i32 undef, [6 x i32] undef, i32* byval %stacked) 38} 39