test/CodeGen/X86/statepoint-invoke.ll

   1 ; RUN: llc < %s 2>&1 | FileCheck %s
   2
   3 target triple = "x86_64-pc-linux-gnu"
   4
   5 declare void @"some_call"(i64 addrspace(1)*)
   6 declare i64 addrspace(1)* @"some_other_call"(i64 addrspace(1)*)
   7
   8 declare i32 @"personality_function"()
   9
  10 define i64 addrspace(1)* @test_basic(i64 addrspace(1)* %obj,
  11                                      i64 addrspace(1)* %obj1)
  12 gc "statepoint-example" {
  13 entry:
  14   ; CHECK: Ltmp{{[0-9]+}}:
  15   ; CHECK: callq some_call
  16   ; CHECK: Ltmp{{[0-9]+}}:
  17   %0 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
  18           to label %invoke_safepoint_normal_dest unwind label %exceptional_return
  19
  20 invoke_safepoint_normal_dest:
  21   ; CHECK: movq
  22   %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %0, i32 13, i32 13)
  23   %obj1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %0, i32 14, i32 14)
  24   br label %normal_return
  25
  26 normal_return:
  27   ; CHECK: retq
  28   ret i64 addrspace(1)* %obj.relocated
  29
  30 exceptional_return:
  31   ; CHECK: Ltmp{{[0-9]+}}:
  32   ; CHECK: movq
  33   ; CHECK: retq
  34   %landing_pad = landingpad { i8*, i32 } personality i32 ()* @"personality_function"
  35           cleanup
  36   %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
  37   %obj.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
  38   %obj1.relocated1 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 14, i32 14)
  39   ret i64 addrspace(1)* %obj1.relocated1
  40 }
  41 ; CHECK-LABEL: GCC_except_table{{[0-9]+}}:
  42 ; CHECK: .long  .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}}
  43 ; CHECK: .long  .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}}
  44 ; CHECK: .byte  0
  45 ; CHECK: .align 4
  46
  47 define i64 addrspace(1)* @test_result(i64 addrspace(1)* %obj,
  48                                       i64 addrspace(1)* %obj1)
  49   gc "statepoint-example" {
  50 entry:
  51   ; CHECK: .Ltmp{{[0-9]+}}:
  52   ; CHECK: callq some_other_call
  53   ; CHECK: .Ltmp{{[0-9]+}}:
  54   %0 = invoke i32 (i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64 0, i32 0, i64 addrspace(1)* (i64 addrspace(1)*)* @some_other_call, i32 1, i32 0, i64 addrspace(1)* %obj, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %obj, i64 addrspace(1)* %obj1)
  55           to label %normal_return unwind label %exceptional_return
  56
  57 normal_return:
  58   ; CHECK: popq
  59   ; CHECK: retq
  60   %ret_val = call i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(i32 %0)
  61   ret i64 addrspace(1)* %ret_val
  62
  63 exceptional_return:
  64   ; CHECK: .Ltmp{{[0-9]+}}:
  65   ; CHECK: movq
  66   %landing_pad = landingpad { i8*, i32 } personality i32 ()* @personality_function
  67           cleanup
  68   %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
  69   %obj.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
  70   ret i64 addrspace(1)* %obj.relocated
  71 }
  72 ; CHECK-LABEL: GCC_except_table{{[0-9]+}}:
  73 ; CHECK: .long .Ltmp{{[0-9]+}}-.Ltmp{{[0-9]+}}
  74 ; CHECK: .long .Ltmp{{[0-9]+}}-.Lfunc_begin{{[0-9]+}}
  75 ; CHECK: .byte 0
  76 ; CHECK: .align 4
  77
  78 define i64 addrspace(1)* @test_same_val(i1 %cond, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3)
  79   gc "statepoint-example" {
  80 entry:
  81   br i1 %cond, label %left, label %right
  82
  83 left:
  84   ; CHECK-LABEL: %left
  85   ; CHECK: movq %rdx, 8(%rsp)
  86   ; CHECK: movq
  87   ; CHECK: callq some_call
  88   %sp1 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %val1, i64 addrspace(1)* %val2)
  89            to label %left.relocs unwind label %exceptional_return.left
  90
  91 left.relocs:
  92   ; CHECK: movq (%rsp),
  93   ; CHECK: movq 8(%rsp), [[REGVAL2:%[a-z]+]]
  94   %val1.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 13, i32 13)
  95   %val2.relocated_left = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 14, i32 14)
  96   br label %normal_return
  97
  98 right:
  99   ; CHECK-LABEL: %right
 100   ; CHECK: movq
 101   ; CHECK: movq %rdx, (%rsp)
 102   ; CHECK: callq some_call
 103   %sp2 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* %val2, i64 addrspace(1)* %val3)
 104            to label %right.relocs unwind label %exceptional_return.right
 105
 106 right.relocs:
 107   ; CHECK: movq (%rsp), [[REGVAL2]]
 108   ; CHECK: movq
 109   %val2.relocated_right = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp2, i32 13, i32 13)
 110   %val3.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp2, i32 14, i32 14)
 111   br label %normal_return
 112
 113 normal_return:
 114   ; CHECK-LABEL: %normal_return
 115   ; CHECK: cmoveq {{.*}}[[REGVAL2]]{{.*}}
 116   ; CHECK retq
 117   %a1 = phi i64 addrspace(1)* [%val1.relocated, %left.relocs], [%val3.relocated, %right.relocs]
 118   %a2 = phi i64 addrspace(1)* [%val2.relocated_left, %left.relocs], [%val2.relocated_right, %right.relocs]
 119   %ret = select i1 %cond, i64 addrspace(1)* %a1, i64 addrspace(1)* %a2
 120   ret i64 addrspace(1)* %ret
 121
 122 exceptional_return.left:
 123   %landing_pad = landingpad { i8*, i32 } personality i32 ()* @"personality_function"
 124           cleanup
 125   %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
 126   %val.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
 127   ret i64 addrspace(1)* %val.relocated2
 128
 129 exceptional_return.right:
 130   %landing_pad1 = landingpad { i8*, i32 } personality i32 ()* @"personality_function"
 131           cleanup
 132   %relocate_token1 = extractvalue { i8*, i32 } %landing_pad1, 1
 133   %val.relocated3 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token1, i32 13, i32 13)
 134   ret i64 addrspace(1)* %val.relocated3
 135 }
 136
 137 define i64 addrspace(1)* @test_null_undef(i64 addrspace(1)* %val1)
 138        gc "statepoint-example" {
 139 ; CHECK-LABEL: test_null_undef:
 140 entry:
 141   ; CHECK: callq some_call
 142   %sp1 = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i64 addrspace(1)* null, i64 addrspace(1)* undef)
 143            to label %normal_return unwind label %exceptional_return
 144
 145 normal_return:
 146   ; CHECK-LABEL: %normal_return
 147   ; CHECK: xorl %eax, %eax
 148   ; CHECK-NEXT: popq
 149   ; CHECK-NEXT: retq
 150   %null.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 13, i32 13)
 151   %undef.relocated = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %sp1, i32 14, i32 14)
 152   ret i64 addrspace(1)* %null.relocated
 153
 154 exceptional_return:
 155   %landing_pad = landingpad { i8*, i32 } personality i32 ()* @"personality_function"
 156           cleanup
 157   %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
 158   %null.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 13, i32 13)
 159   %undef.relocated2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 14, i32 14)
 160   ret i64 addrspace(1)* %null.relocated2
 161 }
 162
 163 define i64 addrspace(1)* @test_alloca_and_const(i64 addrspace(1)* %val1)
 164        gc "statepoint-example" {
 165 ; CHECK-LABEL: test_alloca_and_const:
 166 entry:
 167   %a = alloca i32
 168   %aa = addrspacecast i32* %a to i32 addrspace(1)*
 169   %c = inttoptr i64 15 to i64 addrspace(1)*
 170   ; CHECK: callq
 171   %sp = invoke i32 (i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64 0, i32 0, void (i64 addrspace(1)*)* @some_call, i32 1, i32 0, i64 addrspace(1)* %val1, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, i32 addrspace(1)* %aa, i64 addrspace(1)* %c)
 172            to label %normal_return unwind label %exceptional_return
 173
 174 normal_return:
 175   ; CHECK: leaq
 176   ; CHECK-NEXT: popq
 177   ; CHECK-NEXT: retq
 178   %aa.rel = call coldcc i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32 %sp, i32 13, i32 13)
 179   %aa.converted = bitcast i32 addrspace(1)* %aa.rel to i64 addrspace(1)*
 180   ret i64 addrspace(1)* %aa.converted
 181
 182 exceptional_return:
 183   ; CHECK: movl $15
 184   ; CHECK-NEXT: popq
 185   ; CHECK-NEXT: retq
 186   %landing_pad = landingpad { i8*, i32 } personality i32 ()* @"personality_function"
 187           cleanup
 188   %relocate_token = extractvalue { i8*, i32 } %landing_pad, 1
 189   %aa.rel2 = call coldcc i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %relocate_token, i32 14, i32 14)
 190   ret i64 addrspace(1)* %aa.rel2
 191 }
 192
 193 declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidp1i64f(i64, i32, void (i64 addrspace(1)*)*, i32, i32, ...)
 194 declare i32 @llvm.experimental.gc.statepoint.p0f_p1i64p1i64f(i64, i32, i64 addrspace(1)* (i64 addrspace(1)*)*, i32, i32, ...)
 195
 196 declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32, i32, i32)
 197 declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(i32, i32, i32)
 198 declare i64 addrspace(1)* @llvm.experimental.gc.result.p1i64(i32)