[llvm] 2aba2f1 - [RegAlloc] Add a test with use in statepoint expected to be on stack.

[Serguei Katkov via llvm-commits]

Author: Serguei Katkov
Date: 2021-03-30T17:14:12+07:00
New Revision: 2aba2f18890926431c9eb4bdb08b2f092861c25d

URL: https://github.com/llvm/llvm-project/commit/2aba2f18890926431c9eb4bdb08b2f092861c25d
DIFF: https://github.com/llvm/llvm-project/commit/2aba2f18890926431c9eb4bdb08b2f092861c25d.diff

LOG: [RegAlloc] Add a test with use in statepoint expected to be on stack.

The test shows that RA computes the spill weight independent on the
fact that statepoint instruction for var operands is ok to accept
this operand on stack. As a result the corresponding virtual register
evicts the other register which requires register for use.
It causes redundant fill operation.

Added: 
    llvm/test/CodeGen/X86/statepoint-ra-no-ls.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/X86/statepoint-ra-no-ls.ll b/llvm/test/CodeGen/X86/statepoint-ra-no-ls.ll
new file mode 100644
index 000000000000..ec459ad0be3f
--- /dev/null
+++ b/llvm/test/CodeGen/X86/statepoint-ra-no-ls.ll
@@ -0,0 +1,100 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -max-registers-for-gc-values=256 -verify-machineinstrs < %s | FileCheck %s
+
+target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-pc-win64"
+
+declare void @foo()
+declare void @bar(i64)
+
+define void @test(i8 addrspace(1)* %b) gc "statepoint-example" {
+; CHECK-LABEL: test:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    pushq %rbp
+; CHECK-NEXT:    .cfi_def_cfa_offset 16
+; CHECK-NEXT:    pushq %r15
+; CHECK-NEXT:    .cfi_def_cfa_offset 24
+; CHECK-NEXT:    pushq %r14
+; CHECK-NEXT:    .cfi_def_cfa_offset 32
+; CHECK-NEXT:    pushq %r13
+; CHECK-NEXT:    .cfi_def_cfa_offset 40
+; CHECK-NEXT:    pushq %r12
+; CHECK-NEXT:    .cfi_def_cfa_offset 48
+; CHECK-NEXT:    pushq %rbx
+; CHECK-NEXT:    .cfi_def_cfa_offset 56
+; CHECK-NEXT:    subq $24, %rsp
+; CHECK-NEXT:    .cfi_def_cfa_offset 80
+; CHECK-NEXT:    .cfi_offset %rbx, -56
+; CHECK-NEXT:    .cfi_offset %r12, -48
+; CHECK-NEXT:    .cfi_offset %r13, -40
+; CHECK-NEXT:    .cfi_offset %r14, -32
+; CHECK-NEXT:    .cfi_offset %r15, -24
+; CHECK-NEXT:    .cfi_offset %rbp, -16
+; CHECK-NEXT:    movq (%rdi), %r14
+; CHECK-NEXT:    movq 8(%rdi), %rax
+; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT:    movq 16(%rdi), %r15
+; CHECK-NEXT:    movq 24(%rdi), %r12
+; CHECK-NEXT:    movq 32(%rdi), %r13
+; CHECK-NEXT:    movq 40(%rdi), %rbx
+; CHECK-NEXT:    movq 48(%rdi), %rbp
+; CHECK-NEXT:    movq %r14, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill
+; CHECK-NEXT:    callq foo at PLT # 8-byte Folded Reload
+; CHECK-NEXT:  .Ltmp0:
+; CHECK-NEXT:    movq {{[-0-9]+}}(%r{{[sb]}}p), %r14 # 8-byte Reload
+; CHECK-NEXT:    movq %rbp, %rdi
+; CHECK-NEXT:    callq bar at PLT
+; CHECK-NEXT:    movq %rbx, %rdi
+; CHECK-NEXT:    callq bar at PLT
+; CHECK-NEXT:    movq %r13, %rdi
+; CHECK-NEXT:    callq bar at PLT
+; CHECK-NEXT:    movq %r12, %rdi
+; CHECK-NEXT:    callq bar at PLT
+; CHECK-NEXT:    movq %r15, %rdi
+; CHECK-NEXT:    callq bar at PLT
+; CHECK-NEXT:    movq {{[-0-9]+}}(%r{{[sb]}}p), %rdi # 8-byte Reload
+; CHECK-NEXT:    callq bar at PLT
+; CHECK-NEXT:    addq $24, %rsp
+; CHECK-NEXT:    .cfi_def_cfa_offset 56
+; CHECK-NEXT:    popq %rbx
+; CHECK-NEXT:    .cfi_def_cfa_offset 48
+; CHECK-NEXT:    popq %r12
+; CHECK-NEXT:    .cfi_def_cfa_offset 40
+; CHECK-NEXT:    popq %r13
+; CHECK-NEXT:    .cfi_def_cfa_offset 32
+; CHECK-NEXT:    popq %r14
+; CHECK-NEXT:    .cfi_def_cfa_offset 24
+; CHECK-NEXT:    popq %r15
+; CHECK-NEXT:    .cfi_def_cfa_offset 16
+; CHECK-NEXT:    popq %rbp
+; CHECK-NEXT:    .cfi_def_cfa_offset 8
+; CHECK-NEXT:    retq
+entry:
+  %p.64.p = bitcast i8 addrspace(1)* %b to i8 addrspace(1)* addrspace(1)*
+  %p = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(1)* %p.64.p
+  %p.64 = bitcast i8 addrspace(1)* %b to i64 addrspace(1)*
+  %a6.ptr = getelementptr i64, i64 addrspace(1)* %p.64, i64 1
+  %a6 = load i64, i64 addrspace(1)* %a6.ptr
+  %a5.ptr = getelementptr i64, i64 addrspace(1)* %p.64, i64 2
+  %a5 = load i64, i64 addrspace(1)* %a5.ptr
+  %a4.ptr = getelementptr i64, i64 addrspace(1)* %p.64, i64 3
+  %a4 = load i64, i64 addrspace(1)* %a4.ptr
+  %a3.ptr = getelementptr i64, i64 addrspace(1)* %p.64, i64 4
+  %a3 = load i64, i64 addrspace(1)* %a3.ptr
+  %a2.ptr = getelementptr i64, i64 addrspace(1)* %p.64, i64 5
+  %a2 = load i64, i64 addrspace(1)* %a2.ptr
+  %a1.ptr = getelementptr i64, i64 addrspace(1)* %p.64, i64 6
+  %a1 = load i64, i64 addrspace(1)* %a1.ptr
+  %token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 0) ["deopt" (i8 addrspace(1)* %p)]
+  call void @bar(i64 %a1)
+  call void @bar(i64 %a2)
+  call void @bar(i64 %a3)
+  call void @bar(i64 %a4)
+  call void @bar(i64 %a5)
+  call void @bar(i64 %a6)
+  ret void
+}
+
+declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
+declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token, i32, i32)
+