133 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -code-model=large -verify-machineinstrs -O3 -restrict-statepoint-remat=true < %s | FileCheck %s3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-apple-macosx10.11.0"5 6declare void @bar() #07 8; This stresses our rematerialization handling.9; Target of statepoint is able to be re-materialized.10define 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 moment12; CHECK-LABEL: test:13; CHECK: ## %bb.0:14; CHECK-NEXT: pushq %rbp15; CHECK-NEXT: .cfi_def_cfa_offset 1616; CHECK-NEXT: pushq %r1517; CHECK-NEXT: .cfi_def_cfa_offset 2418; CHECK-NEXT: pushq %r1419; CHECK-NEXT: .cfi_def_cfa_offset 3220; CHECK-NEXT: pushq %r1321; CHECK-NEXT: .cfi_def_cfa_offset 4022; CHECK-NEXT: pushq %r1223; CHECK-NEXT: .cfi_def_cfa_offset 4824; CHECK-NEXT: pushq %rbx25; CHECK-NEXT: .cfi_def_cfa_offset 5626; CHECK-NEXT: subq $104, %rsp27; CHECK-NEXT: .cfi_def_cfa_offset 16028; CHECK-NEXT: .cfi_offset %rbx, -5629; CHECK-NEXT: .cfi_offset %r12, -4830; CHECK-NEXT: .cfi_offset %r13, -4031; CHECK-NEXT: .cfi_offset %r14, -3232; CHECK-NEXT: .cfi_offset %r15, -2433; CHECK-NEXT: .cfi_offset %rbp, -1634; CHECK-NEXT: movl %r9d, %ebx35; CHECK-NEXT: movl %r8d, %ebp36; CHECK-NEXT: movl %ecx, %r14d37; CHECK-NEXT: movl %edx, %r15d38; CHECK-NEXT: movl %esi, %r12d39; CHECK-NEXT: movl %edi, %r13d40; CHECK-NEXT: movabsq $_bar, %rax41; CHECK-NEXT: callq *%rax42; CHECK-NEXT: movl %r13d, %eax43; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill44; CHECK-NEXT: movl %r12d, %eax45; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill46; CHECK-NEXT: movl %r15d, %eax47; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill48; CHECK-NEXT: movl %r14d, %eax49; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill50; CHECK-NEXT: movl %ebp, %eax51; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill52; CHECK-NEXT: movl %ebx, %eax53; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill54; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax55; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill56; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax57; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill58; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax59; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill60; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax61; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill62; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax63; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill64; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax65; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) ## 8-byte Spill66; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r12d67; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r13d68; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %ebp69; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r14d70; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %ebx71; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r11d72; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r10d73; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r9d74; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %r8d75; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %edi76; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %esi77; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %edx78; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %ecx79; CHECK-NEXT: movl {{[0-9]+}}(%rsp), %eax80; CHECK-NEXT: movabsq $_bar, %r1581; CHECK-NEXT: callq *%r15 ## 96-byte Folded Reload82; CHECK-NEXT: Ltmp0:83; CHECK-NEXT: addq $104, %rsp84; CHECK-NEXT: popq %rbx85; CHECK-NEXT: popq %r1286; CHECK-NEXT: popq %r1387; CHECK-NEXT: popq %r1488; CHECK-NEXT: popq %r1589; CHECK-NEXT: popq %rbp90; CHECK-NEXT: retq91 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 %entry98 99entry:100 %a64 = zext i32 %a to i64101 %b64 = zext i32 %b to i64102 %c64 = zext i32 %c to i64103 %d64 = zext i32 %d to i64104 %e64 = zext i32 %e to i64105 %f64 = zext i32 %f to i64106 %g64 = zext i32 %g to i64107 %h64 = zext i32 %h to i64108 %i64 = zext i32 %i to i64109 %j64 = zext i32 %j to i64110 %k64 = zext i32 %k to i64111 %l64 = zext i32 %l to i64112 %m64 = zext i32 %m to i64113 %n64 = zext i32 %n to i64114 %o64 = zext i32 %o to i64115 %p64 = zext i32 %p to i64116 %q64 = zext i32 %q to i64117 %r64 = zext i32 %r to i64118 %s64 = zext i32 %s to i64119 %t64 = zext i32 %t to i64120 %u64 = zext i32 %u to i64121 %v64 = zext i32 %v to i64122 %w64 = zext i32 %w to i64123 %x64 = zext i32 %x to i64124 %y64 = zext i32 %y to i64125 %z64 = zext i32 %z to i64126 %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 void128}129 130declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)131 132attributes #0 = { "deopt-lowering"="live-in" }133