diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
| commit | 01095a5d43bbfde13731688ddcf6048ebb8b7721 (patch) | |
| tree | 4def12e759965de927d963ac65840d663ef9d1ea /test/CodeGen/X86/no-prolog-kill.ll | |
| parent | f0f4822ed4b66e3579e92a89f368f8fb860e218e (diff) | |
Diffstat (limited to 'test/CodeGen/X86/no-prolog-kill.ll')
| -rw-r--r-- | test/CodeGen/X86/no-prolog-kill.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/CodeGen/X86/no-prolog-kill.ll b/test/CodeGen/X86/no-prolog-kill.ll new file mode 100644 index 0000000000000..f625f315bb7cc --- /dev/null +++ b/test/CodeGen/X86/no-prolog-kill.ll @@ -0,0 +1,21 @@ +; RUN: llc -verify-machineinstrs -o - %s | FileCheck %s +target triple = "x86_64--" + +; This function gets a AL live-in and at same time saves+restores RAX. We must +; not add a kill flag to the "PUSHQ %rax" or the machine verifier will complain. +; CHECK-LABEL: test: +; CHECK: pushq %rax +; CHECK: testb %al, %al +; CHECK: je .LBB +define void @test(i64 %a, i8* %b, ...) { +entry: + %bar = alloca i8 + call void @llvm.va_start(i8* %bar) + call void @llvm.eh.unwind.init() + call void @llvm.eh.return.i64(i64 %a, i8* %b) + unreachable +} + +declare void @llvm.eh.return.i64(i64, i8*) +declare void @llvm.eh.unwind.init() +declare void @llvm.va_start(i8*) |