llvm/test/CodeGen/X86/statepoint-live-in-remat.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -code-model=large -verify-machineinstrs -O3 -restrict-statepoint-remat=true < %s | FileCheck %s
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.11.0"
   5
   6 declare void @bar() #0
   7
   8 ; This stresses our rematerialization handling.
   9 ; Target of statepoint is able to be re-materialized.
  10 define void @test(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, i32 %h, i32 %i, i32 %j, i32 %k, i32 %l, i32 %m, i32 %n, i32 %o, i32 %p, i32 %q, i32 %r, i32 %s, i32 %t, i32 %u, i32 %v, i32 %w, i32 %x, i32 %y, i32 %z) gc "statepoint-example" {
  11 ; The code for this is terrible, check simply for correctness for the moment
  12 ; CHECK-LABEL: test:
  13 ; CHECK:       ## %bb.0:
  14 ; CHECK-NEXT:    pushq %rbp
  15 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  16 ; CHECK-NEXT:    pushq %r15
  17 ; CHECK-NEXT:    .cfi_def_cfa_offset 24
  18 ; CHECK-NEXT:    pushq %r14
  19 ; CHECK-NEXT:    .cfi_def_cfa_offset 32
  20 ; CHECK-NEXT:    pushq %r13
  21 ; CHECK-NEXT:    .cfi_def_cfa_offset 40
  22 ; CHECK-NEXT:    pushq %r12
  23 ; CHECK-NEXT:    .cfi_def_cfa_offset 48
  24 ; CHECK-NEXT:    pushq %rbx
  25 ; CHECK-NEXT:    .cfi_def_cfa_offset 56
  26 ; CHECK-NEXT:    subq $104, %rsp
  27 ; CHECK-NEXT:    .cfi_def_cfa_offset 160
  28 ; CHECK-NEXT:    .cfi_offset %rbx, -56
  29 ; CHECK-NEXT:    .cfi_offset %r12, -48
  30 ; CHECK-NEXT:    .cfi_offset %r13, -40
  31 ; CHECK-NEXT:    .cfi_offset %r14, -32
  32 ; CHECK-NEXT:    .cfi_offset %r15, -24
  33 ; CHECK-NEXT:    .cfi_offset %rbp, -16
  34 ; CHECK-NEXT:    movl %r9d, %ebx
  35 ; CHECK-NEXT:    movl %r8d, %ebp
  36 ; CHECK-NEXT:    movl %ecx, %r14d
  37 ; CHECK-NEXT:    movl %edx, %r15d
  38 ; CHECK-NEXT:    movl %esi, %r12d
  39 ; CHECK-NEXT:    movl %edi, %r13d
  40 ; CHECK-NEXT:    movabsq $_bar, %rax
  41 ; CHECK-NEXT:    callq *%rax
  42 ; CHECK-NEXT:    movl %r13d, %eax
  43 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  44 ; CHECK-NEXT:    movl %r12d, %eax
  45 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  46 ; CHECK-NEXT:    movl %r15d, %eax
  47 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  48 ; CHECK-NEXT:    movl %r14d, %eax
  49 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  50 ; CHECK-NEXT:    movl %ebp, %eax
  51 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  52 ; CHECK-NEXT:    movl %ebx, %eax
  53 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  54 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  55 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  56 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  57 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  58 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  59 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  60 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  61 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  62 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  63 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  64 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  65 ; CHECK-NEXT:    movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill
  66 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r12d
  67 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r13d
  68 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %ebp
  69 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r14d
  70 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %ebx
  71 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r11d
  72 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r10d
  73 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r9d
  74 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %r8d
  75 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %edi
  76 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %esi
  77 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %edx
  78 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %ecx
  79 ; CHECK-NEXT:    movl {{[0-9]+}}(%rsp), %eax
  80 ; CHECK-NEXT:    movabsq $_bar, %r15
  81 ; CHECK-NEXT:    callq *%r15 ## 96-byte Folded Reload
  82 ; CHECK-NEXT:  Ltmp0:
  83 ; CHECK-NEXT:    addq $104, %rsp
  84 ; CHECK-NEXT:    popq %rbx
  85 ; CHECK-NEXT:    popq %r12
  86 ; CHECK-NEXT:    popq %r13
  87 ; CHECK-NEXT:    popq %r14
  88 ; CHECK-NEXT:    popq %r15
  89 ; CHECK-NEXT:    popq %rbp
  90 ; CHECK-NEXT:    retq
  91
  92 ; Re-materialization happened.
  93
  94
  95 ; This is a call to hoist the loading of the target of the call for statepoint.
  96   call void @bar()
  97   br label %entry
  98
  99 entry:
 100   %a64 = zext i32 %a to i64
 101   %b64 = zext i32 %b to i64
 102   %c64 = zext i32 %c to i64
 103   %d64 = zext i32 %d to i64
 104   %e64 = zext i32 %e to i64
 105   %f64 = zext i32 %f to i64
 106   %g64 = zext i32 %g to i64
 107   %h64 = zext i32 %h to i64
 108   %i64 = zext i32 %i to i64
 109   %j64 = zext i32 %j to i64
 110   %k64 = zext i32 %k to i64
 111   %l64 = zext i32 %l to i64
 112   %m64 = zext i32 %m to i64
 113   %n64 = zext i32 %n to i64
 114   %o64 = zext i32 %o to i64
 115   %p64 = zext i32 %p to i64
 116   %q64 = zext i32 %q to i64
 117   %r64 = zext i32 %r to i64
 118   %s64 = zext i32 %s to i64
 119   %t64 = zext i32 %t to i64
 120   %u64 = zext i32 %u to i64
 121   %v64 = zext i32 %v to i64
 122   %w64 = zext i32 %w to i64
 123   %x64 = zext i32 %x to i64
 124   %y64 = zext i32 %y to i64
 125   %z64 = zext i32 %z to i64
 126   %statepoint_token1 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 2882400000, i32 0, ptr elementtype(void ()) @bar, i32 0, i32 2, i32 0, i32 0) ["deopt" (i64 %a64, i64 %b64, i64 %c64, i64 %d64, i64 %e64, i64 %f64, i64 %g64, i64 %h64, i64 %i64, i64 %j64, i64 %k64, i64 %l64, i64 %m64, i64 %n64, i64 %o64, i64 %p64, i64 %q64, i64 %r64, i64 %s64, i64 %t64, i64 %u64, i64 %v64, i64 %w64, i64 %x64, i64 %y64, i64 %z64)]
 127   ret void
 128 }
 129
 130 declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)
 131
 132 attributes #0 = { "deopt-lowering"="live-in" }