22 lines · plain
1; RUN: llc -verify-machineinstrs -o - %s | FileCheck %s2target triple = "x86_64--"3 4; This function gets a AL live-in and at same time saves+restores RAX. We must5; not add a kill flag to the "PUSHQ %rax" or the machine verifier will complain.6; CHECK-LABEL: test:7; CHECK: pushq %rax8; CHECK: testb %al, %al9; CHECK: je .LBB10define void @test(i64 %a, ptr %b, ...) {11entry:12 %bar = alloca i813 call void @llvm.va_start(ptr %bar)14 call void @llvm.eh.unwind.init()15 call void @llvm.eh.return.i64(i64 %a, ptr %b)16 unreachable17}18 19declare void @llvm.eh.return.i64(i64, ptr)20declare void @llvm.eh.unwind.init()21declare void @llvm.va_start(ptr)22