llvm/test/CodeGen/X86/statepoint-spill-slot-size-promotion.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -verify-machineinstrs < %s | FileCheck %s --check-prefixes=CHECK
   3 ;
   4 ; Test different type sizes of deop bundle operands.
   5 ;
   6 target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
   7 target triple = "x86_64-pc-win64"
   8
   9 define i1 @test_spill_slot_size(i1 %a1, i2 %a2, i7 %a7, i8 %a8, i9 %a9, i15 %a15, i16 %a16, i32 %a32, i64 %a64, i128 %a128, ptr addrspace(1) %obj1) gc "statepoint-example" {
  10 ; CHECK-LABEL: test_spill_slot_size:
  11 ; CHECK:       # %bb.0: # %entry
  12 ; CHECK-NEXT:    pushq %rbx
  13 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  14 ; CHECK-NEXT:    subq $32, %rsp
  15 ; CHECK-NEXT:    .cfi_def_cfa_offset 48
  16 ; CHECK-NEXT:    .cfi_offset %rbx, -16
  17 ; CHECK-NEXT:    movl %edi, %ebx
  18 ; CHECK-NEXT:    movq {{[0-9]+}}(%rsp), %rax
  19 ; CHECK-NEXT:    movq {{[0-9]+}}(%rsp), %rdi
  20 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r10d
  21 ; CHECK-NEXT:    movzwl {{[0-9]+}}(%rsp), %r11d
  22 ; CHECK-NEXT:    movw %r11w, {{[0-9]+}}(%rsp)
  23 ; CHECK-NEXT:    movl %r10d, {{[0-9]+}}(%rsp)
  24 ; CHECK-NEXT:    movq %rdi, {{[0-9]+}}(%rsp)
  25 ; CHECK-NEXT:    movq %rax, {{[0-9]+}}(%rsp)
  26 ; CHECK-NEXT:    movb %cl, {{[0-9]+}}(%rsp)
  27 ; CHECK-NEXT:    andb $3, %sil
  28 ; CHECK-NEXT:    movb %sil, {{[0-9]+}}(%rsp)
  29 ; CHECK-NEXT:    movl %ebx, %eax
  30 ; CHECK-NEXT:    andl $1, %eax
  31 ; CHECK-NEXT:    movb %al, {{[0-9]+}}(%rsp)
  32 ; CHECK-NEXT:    andb $127, %dl
  33 ; CHECK-NEXT:    movb %dl, {{[0-9]+}}(%rsp)
  34 ; CHECK-NEXT:    andl $511, %r8d # imm = 0x1FF
  35 ; CHECK-NEXT:    movw %r8w, {{[0-9]+}}(%rsp)
  36 ; CHECK-NEXT:    andl $32767, %r9d # imm = 0x7FFF
  37 ; CHECK-NEXT:    movw %r9w, {{[0-9]+}}(%rsp)
  38 ; CHECK-NEXT:    movabsq $140727162896504, %rax # imm = 0x7FFD988E0078
  39 ; CHECK-NEXT:    callq *%rax
  40 ; CHECK-NEXT:  .Ltmp0:
  41 ; CHECK-NEXT:    movl %ebx, %eax
  42 ; CHECK-NEXT:    addq $32, %rsp
  43 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  44 ; CHECK-NEXT:    popq %rbx
  45 ; CHECK-NEXT:    .cfi_def_cfa_offset 8
  46 ; CHECK-NEXT:    retq
  47
  48 entry:
  49   %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) inttoptr (i64 140727162896504 to ptr), i32 0, i32 0, i32 0, i32 0)
  50       [ "deopt"(i1 %a1, i2 %a2, i7 %a7, i8 %a8, i9 %a9, i15 %a15, i16 %a16, i32 %a32, i64 %a64, i128 %a128, ptr addrspace(1) %obj1) ]
  51   ret i1 %a1
  52 }
  53
  54 declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)