test/CodeGen/X86/statepoint-call-lowering.ll

   1 ; RUN: llc < %s | FileCheck %s
   2 ; This file contains a collection of basic tests to ensure we didn't
   3 ; screw up normal call lowering when there are no deopt or gc arguments.
   4
   5 target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-pc-linux-gnu"
   7
   8 declare zeroext i1 @return_i1()
   9 declare zeroext i32 @return_i32()
  10 declare i32* @return_i32ptr()
  11 declare float @return_float()
  12
  13 define i1 @test_i1_return() gc "statepoint-example" {
  14 ; CHECK-LABEL: test_i1_return
  15 ; This is just checking that a i1 gets lowered normally when there's no extra
  16 ; state arguments to the statepoint
  17 ; CHECK: pushq %rax
  18 ; CHECK: callq return_i1
  19 ; CHECK: popq %rdx
  20 ; CHECK: retq
  21 entry:
  22   %safepoint_token = tail call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0)
  23   %call1 = call zeroext i1 @llvm.experimental.gc.result.int.i1(i32 %safepoint_token)
  24   ret i1 %call1
  25 }
  26
  27 define i32 @test_i32_return() gc "statepoint-example" {
  28 ; CHECK-LABEL: test_i32_return
  29 ; CHECK: pushq %rax
  30 ; CHECK: callq return_i32
  31 ; CHECK: popq %rdx
  32 ; CHECK: retq
  33 entry:
  34   %safepoint_token = tail call i32 (i32 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i32f(i32 ()* @return_i32, i32 0, i32 0, i32 0)
  35   %call1 = call zeroext i32 @llvm.experimental.gc.result.int.i32(i32 %safepoint_token)
  36   ret i32 %call1
  37 }
  38
  39 define i32* @test_i32ptr_return() gc "statepoint-example" {
  40 ; CHECK-LABEL: test_i32ptr_return
  41 ; CHECK: pushq %rax
  42 ; CHECK: callq return_i32ptr
  43 ; CHECK: popq %rdx
  44 ; CHECK: retq
  45 entry:
  46   %safepoint_token = tail call i32 (i32* ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_p0i32f(i32* ()* @return_i32ptr, i32 0, i32 0, i32 0)
  47   %call1 = call i32* @llvm.experimental.gc.result.ptr.p0i32(i32 %safepoint_token)
  48   ret i32* %call1
  49 }
  50
  51 define float @test_float_return() gc "statepoint-example" {
  52 ; CHECK-LABEL: test_float_return
  53 ; CHECK: pushq %rax
  54 ; CHECK: callq return_float
  55 ; CHECK: popq %rax
  56 ; CHECK: retq
  57 entry:
  58   %safepoint_token = tail call i32 (float ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_f32f(float ()* @return_float, i32 0, i32 0, i32 0)
  59   %call1 = call float @llvm.experimental.gc.result.float.f32(i32 %safepoint_token)
  60   ret float %call1
  61 }
  62
  63 define i1 @test_relocate(i32 addrspace(1)* %a) gc "statepoint-example" {
  64 ; CHECK-LABEL: test_relocate
  65 ; Check that an ununsed relocate has no code-generation impact
  66 ; CHECK: pushq %rax
  67 ; CHECK: callq return_i1
  68 ; CHECK-NEXT: .Ltmp13:
  69 ; CHECK-NEXT: popq %rdx
  70 ; CHECK-NEXT: retq
  71 entry:
  72   %safepoint_token = tail call i32 (i1 ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 addrspace(1)* %a)
  73   %call1 = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %safepoint_token, i32 4, i32 4)
  74   %call2 = call zeroext i1 @llvm.experimental.gc.result.int.i1(i32 %safepoint_token)
  75   ret i1 %call2
  76 }
  77
  78 declare i32 @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()*, i32, i32, ...)
  79 declare i1 @llvm.experimental.gc.result.int.i1(i32)
  80
  81 declare i32 @llvm.experimental.gc.statepoint.p0f_i32f(i32 ()*, i32, i32, ...)
  82 declare i32 @llvm.experimental.gc.result.int.i32(i32)
  83
  84 declare i32 @llvm.experimental.gc.statepoint.p0f_p0i32f(i32* ()*, i32, i32, ...)
  85 declare i32* @llvm.experimental.gc.result.ptr.p0i32(i32)
  86
  87 declare i32 @llvm.experimental.gc.statepoint.p0f_f32f(float ()*, i32, i32, ...)
  88 declare float @llvm.experimental.gc.result.float.f32(i32)
  89
  90 declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32, i32, i32)