28 lines · plain
1; RUN: llc -stack-symbol-ordering=0 < %s -mtriple=x86_64-linux | FileCheck %s2 3%struct.__va_list_tag = type { i32, i32, ptr, ptr }4 5define void @foo(i32 %x, ...) nounwind {6entry:7 %ap = alloca [1 x %struct.__va_list_tag], align 8; <ptr> [#uses=2]8 call void @llvm.va_start(ptr %ap)9; CHECK: testb %al, %al10 11; These test for specific offsets, which is very fragile. Still, the test needs12; to ensure that va_list has the correct element types.13;14; CHECK-DAG: movq {{.*}}, 192(%rsp)15; CHECK-DAG: movq {{.*}}, 184(%rsp)16; CHECK-DAG: movq {{.*}}, 176(%rsp)17 %ap3 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %ap, i64 0, i64 0; <ptr> [#uses=1]18 call void @bar(ptr %ap3) nounwind19 call void @llvm.va_end(ptr %ap)20 ret void21}22 23declare void @llvm.va_start(ptr) nounwind24 25declare void @bar(ptr)26 27declare void @llvm.va_end(ptr) nounwind28