aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/X86/x32-va_start.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/X86/x32-va_start.ll')
-rw-r--r--test/CodeGen/X86/x32-va_start.ll99
1 files changed, 0 insertions, 99 deletions
diff --git a/test/CodeGen/X86/x32-va_start.ll b/test/CodeGen/X86/x32-va_start.ll
deleted file mode 100644
index 7202a3fb4cdc..000000000000
--- a/test/CodeGen/X86/x32-va_start.ll
+++ /dev/null
@@ -1,99 +0,0 @@
-; RUN: llc < %s -mtriple=x86_64-linux-gnux32 | FileCheck %s -check-prefix=CHECK -check-prefix=SSE
-; RUN: llc < %s -mtriple=x86_64-linux-gnux32 -mattr=-sse | FileCheck %s -check-prefix=CHECK -check-prefix=NOSSE
-;
-; Verifies that x32 va_start lowering is sane. To regenerate this test, use
-; cat <<EOF |
-; #include <stdarg.h>
-;
-; int foo(float a, const char* fmt, ...) {
-; va_list ap;
-; va_start(ap, fmt);
-; int value = va_arg(ap, int);
-; va_end(ap);
-; return value;
-; }
-; EOF
-; build/bin/clang -mx32 -O3 -o- -S -emit-llvm -xc -
-;
-target datalayout = "e-m:e-p:32:32-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnux32"
-
-%struct.__va_list_tag = type { i32, i32, i8*, i8* }
-
-define i32 @foo(float %a, i8* nocapture readnone %fmt, ...) nounwind {
-entry:
- %ap = alloca [1 x %struct.__va_list_tag], align 16
- %0 = bitcast [1 x %struct.__va_list_tag]* %ap to i8*
- call void @llvm.lifetime.start.p0i8(i64 16, i8* %0) #2
- call void @llvm.va_start(i8* %0)
-; SSE: subl $72, %esp
-; SSE: testb %al, %al
-; SSE: je .[[NOFP:.*]]
-; SSE-DAG: movaps %xmm1
-; SSE-DAG: movaps %xmm2
-; SSE-DAG: movaps %xmm3
-; SSE-DAG: movaps %xmm4
-; SSE-DAG: movaps %xmm5
-; SSE-DAG: movaps %xmm6
-; SSE-DAG: movaps %xmm7
-; NOSSE-NOT: xmm
-; SSE: .[[NOFP]]:
-; CHECK-DAG: movq %r9
-; CHECK-DAG: movq %r8
-; CHECK-DAG: movq %rcx
-; CHECK-DAG: movq %rdx
-; CHECK-DAG: movq %rsi
- %gp_offset_p = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %ap, i32 0, i32 0, i32 0
- %gp_offset = load i32, i32* %gp_offset_p, align 16
- %fits_in_gp = icmp ult i32 %gp_offset, 41
- br i1 %fits_in_gp, label %vaarg.in_reg, label %vaarg.in_mem
-; CHECK: cmpl $40, [[COUNT:.*]]
-; CHECK: ja .[[IN_MEM:.*]]
-
-vaarg.in_reg: ; preds = %entry
- %1 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %ap, i32 0, i32 0, i32 3
- %reg_save_area = load i8*, i8** %1, align 4
- %2 = getelementptr i8, i8* %reg_save_area, i32 %gp_offset
- %3 = add i32 %gp_offset, 8
- store i32 %3, i32* %gp_offset_p, align 16
- br label %vaarg.end
-; CHECK: movl {{[^,]*}}, [[ADDR:.*]]
-; CHECK: addl [[COUNT]], [[ADDR]]
-; SSE: jmp .[[END:.*]]
-; NOSSE: movl ([[ADDR]]), %eax
-; NOSSE: retq
-; CHECK: .[[IN_MEM]]:
-vaarg.in_mem: ; preds = %entry
- %overflow_arg_area_p = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %ap, i32 0, i32 0, i32 2
- %overflow_arg_area = load i8*, i8** %overflow_arg_area_p, align 8
- %overflow_arg_area.next = getelementptr i8, i8* %overflow_arg_area, i32 8
- store i8* %overflow_arg_area.next, i8** %overflow_arg_area_p, align 8
- br label %vaarg.end
-; CHECK: movl {{[^,]*}}, [[ADDR]]
-; NOSSE: movl ([[ADDR]]), %eax
-; NOSSE: retq
-; SSE: .[[END]]:
-
-vaarg.end: ; preds = %vaarg.in_mem, %vaarg.in_reg
- %vaarg.addr.in = phi i8* [ %2, %vaarg.in_reg ], [ %overflow_arg_area, %vaarg.in_mem ]
- %vaarg.addr = bitcast i8* %vaarg.addr.in to i32*
- %4 = load i32, i32* %vaarg.addr, align 4
- call void @llvm.va_end(i8* %0)
- call void @llvm.lifetime.end.p0i8(i64 16, i8* %0) #2
- ret i32 %4
-; SSE: movl ([[ADDR]]), %eax
-; SSE: retq
-}
-
-; Function Attrs: nounwind argmemonly
-declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) nounwind
-
-; Function Attrs: nounwind
-declare void @llvm.va_start(i8*) nounwind
-
-; Function Attrs: nounwind
-declare void @llvm.va_end(i8*) nounwind
-
-; Function Attrs: nounwind argmemonly
-declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) nounwind
-