99 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -max-registers-for-gc-values=256 -verify-machineinstrs < %s | FileCheck %s3 4target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-pc-win64"6 7declare void @foo()8declare void @bar(i64)9 10define void @test(ptr addrspace(1) %b) gc "statepoint-example" {11; CHECK-LABEL: test:12; CHECK: # %bb.0: # %entry13; CHECK-NEXT: pushq %rbp14; CHECK-NEXT: .cfi_def_cfa_offset 1615; CHECK-NEXT: pushq %r1516; CHECK-NEXT: .cfi_def_cfa_offset 2417; CHECK-NEXT: pushq %r1418; CHECK-NEXT: .cfi_def_cfa_offset 3219; CHECK-NEXT: pushq %r1320; CHECK-NEXT: .cfi_def_cfa_offset 4021; CHECK-NEXT: pushq %r1222; CHECK-NEXT: .cfi_def_cfa_offset 4823; CHECK-NEXT: pushq %rbx24; CHECK-NEXT: .cfi_def_cfa_offset 5625; CHECK-NEXT: subq $24, %rsp26; CHECK-NEXT: .cfi_def_cfa_offset 8027; CHECK-NEXT: .cfi_offset %rbx, -5628; CHECK-NEXT: .cfi_offset %r12, -4829; CHECK-NEXT: .cfi_offset %r13, -4030; CHECK-NEXT: .cfi_offset %r14, -3231; CHECK-NEXT: .cfi_offset %r15, -2432; CHECK-NEXT: .cfi_offset %rbp, -1633; CHECK-NEXT: movq (%rdi), %rbx34; CHECK-NEXT: movq 8(%rdi), %rax35; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill36; CHECK-NEXT: movq 16(%rdi), %r1437; CHECK-NEXT: movq 24(%rdi), %r1538; CHECK-NEXT: movq 32(%rdi), %r1239; CHECK-NEXT: movq 40(%rdi), %r1340; CHECK-NEXT: movq 48(%rdi), %rbp41; CHECK-NEXT: movq %rbx, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill42; CHECK-NEXT: callq foo@PLT # 8-byte Folded Reload43; CHECK-NEXT: .Ltmp0:44; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rbx # 8-byte Reload45; CHECK-NEXT: movq %rbp, %rdi46; CHECK-NEXT: callq bar@PLT47; CHECK-NEXT: movq %r13, %rdi48; CHECK-NEXT: callq bar@PLT49; CHECK-NEXT: movq %r12, %rdi50; CHECK-NEXT: callq bar@PLT51; CHECK-NEXT: movq %r15, %rdi52; CHECK-NEXT: callq bar@PLT53; CHECK-NEXT: movq %r14, %rdi54; CHECK-NEXT: callq bar@PLT55; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rdi # 8-byte Reload56; CHECK-NEXT: callq bar@PLT57; CHECK-NEXT: addq $24, %rsp58; CHECK-NEXT: .cfi_def_cfa_offset 5659; CHECK-NEXT: popq %rbx60; CHECK-NEXT: .cfi_def_cfa_offset 4861; CHECK-NEXT: popq %r1262; CHECK-NEXT: .cfi_def_cfa_offset 4063; CHECK-NEXT: popq %r1364; CHECK-NEXT: .cfi_def_cfa_offset 3265; CHECK-NEXT: popq %r1466; CHECK-NEXT: .cfi_def_cfa_offset 2467; CHECK-NEXT: popq %r1568; CHECK-NEXT: .cfi_def_cfa_offset 1669; CHECK-NEXT: popq %rbp70; CHECK-NEXT: .cfi_def_cfa_offset 871; CHECK-NEXT: retq72entry:73 %p = load ptr addrspace(1), ptr addrspace(1) %b74 %a6.ptr = getelementptr i64, ptr addrspace(1) %b, i64 175 %a6 = load i64, ptr addrspace(1) %a6.ptr76 %a5.ptr = getelementptr i64, ptr addrspace(1) %b, i64 277 %a5 = load i64, ptr addrspace(1) %a5.ptr78 %a4.ptr = getelementptr i64, ptr addrspace(1) %b, i64 379 %a4 = load i64, ptr addrspace(1) %a4.ptr80 %a3.ptr = getelementptr i64, ptr addrspace(1) %b, i64 481 %a3 = load i64, ptr addrspace(1) %a3.ptr82 %a2.ptr = getelementptr i64, ptr addrspace(1) %b, i64 583 %a2 = load i64, ptr addrspace(1) %a2.ptr84 %a1.ptr = getelementptr i64, ptr addrspace(1) %b, i64 685 %a1 = load i64, ptr addrspace(1) %a1.ptr86 %token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @foo, i32 0, i32 0, i32 0, i32 0) ["deopt" (ptr addrspace(1) %p)]87 call void @bar(i64 %a1)88 call void @bar(i64 %a2)89 call void @bar(i64 %a3)90 call void @bar(i64 %a4)91 call void @bar(i64 %a5)92 call void @bar(i64 %a6)93 ret void94}95 96declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)97declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)98 99