42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=x86_64-linux-generic < %s | FileCheck %s3 4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5 6; We can't create a select of two TargetFrameIndices since the rest7; of the backend doesn't know how to handle such a construct.8define ptr addrspace(1) @test(ptr addrspace(1) %a, ptr addrspace(1) %b, i1 %which) gc "statepoint-example" {9; CHECK-LABEL: test:10; CHECK: # %bb.0: # %entry11; CHECK-NEXT: pushq %rbx12; CHECK-NEXT: .cfi_def_cfa_offset 1613; CHECK-NEXT: subq $16, %rsp14; CHECK-NEXT: .cfi_def_cfa_offset 3215; CHECK-NEXT: .cfi_offset %rbx, -1616; CHECK-NEXT: movl %edx, %ebx17; CHECK-NEXT: movq %rdi, (%rsp)18; CHECK-NEXT: movq %rsi, {{[0-9]+}}(%rsp)19; CHECK-NEXT: callq f@PLT20; CHECK-NEXT: .Ltmp0:21; CHECK-NEXT: testb $1, %bl22; CHECK-NEXT: movq %rsp, %rax23; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rcx24; CHECK-NEXT: cmovneq %rax, %rcx25; CHECK-NEXT: movq (%rcx), %rax26; CHECK-NEXT: addq $16, %rsp27; CHECK-NEXT: .cfi_def_cfa_offset 1628; CHECK-NEXT: popq %rbx29; CHECK-NEXT: .cfi_def_cfa_offset 830; CHECK-NEXT: retq31entry:32 %tok = tail call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @f, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %a, ptr addrspace(1) %b)]33 %a.r = tail call coldcc ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tok, i32 0, i32 0) ; (%a, %a)34 %b.r = tail call coldcc ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tok, i32 1, i32 1) ; (%b, %b)35 %cond.v = select i1 %which, ptr addrspace(1) %a.r, ptr addrspace(1) %b.r36 ret ptr addrspace(1) %cond.v37}38 39declare void @f()40declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)41declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)42