| ; 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*) |
