llvm/test/CodeGen/X86/patchpoint.ll

   1 ; RUN: llc -mtriple=x86_64-apple-darwin -mcpu=corei7                             < %s | FileCheck %s
   2 ; RUN: llc -mtriple=x86_64-apple-darwin -mcpu=corei7 -fast-isel -fast-isel-abort=1 < %s | FileCheck %s
   3
   4 ; Trivial patchpoint codegen
   5 ;
   6 define i64 @trivial_patchpoint_codegen(i64 %p1, i64 %p2, i64 %p3, i64 %p4) {
   7 entry:
   8 ; CHECK-LABEL: trivial_patchpoint_codegen:
   9 ; CHECK:      movabsq $-559038736, %r11
  10 ; CHECK-NEXT: callq *%r11
  11 ; CHECK-NEXT: xchgw %ax, %ax
  12 ; CHECK:      movq %rax, %[[REG:r.+]]
  13 ; CHECK:      callq *%r11
  14 ; CHECK-NEXT: xchgw %ax, %ax
  15 ; CHECK:      movq %[[REG]], %rax
  16 ; CHECK:      ret
  17   %resolveCall2 = inttoptr i64 -559038736 to ptr
  18   %result = tail call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 2, i32 15, ptr %resolveCall2, i32 4, i64 %p1, i64 %p2, i64 %p3, i64 %p4)
  19   %resolveCall3 = inttoptr i64 -559038737 to ptr
  20   tail call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 3, i32 15, ptr %resolveCall3, i32 2, i64 %p1, i64 %result)
  21   ret i64 %result
  22 }
  23
  24 ; Trivial symbolic patchpoint codegen.
  25 ;
  26
  27 declare i64 @foo(i64 %p1, i64 %p2)
  28 define i64 @trivial_symbolic_patchpoint_codegen(i64 %p1, i64 %p2) {
  29 entry:
  30 ; CHECK-LABEL: trivial_symbolic_patchpoint_codegen:
  31 ; CHECK:       movabsq $_foo, %r11
  32 ; CHECK-NEXT:  callq   *%r11
  33 ; CHECK-NEXT:  xchgw   %ax, %ax
  34 ; CHECK:       retq
  35   %result = tail call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 9, i32 15, ptr @foo, i32 2, i64 %p1, i64 %p2)
  36   ret i64 %result
  37 }
  38
  39
  40 ; Caller frame metadata with stackmaps. This should not be optimized
  41 ; as a leaf function.
  42 ;
  43 ; CHECK-LABEL: caller_meta_leaf
  44 ; CHECK: subq $32, %rsp
  45 ; CHECK: Ltmp
  46 ; CHECK: addq $32, %rsp
  47 ; CHECK: ret
  48 define void @caller_meta_leaf() {
  49 entry:
  50   %metadata = alloca i64, i32 3, align 8
  51   store i64 11, ptr %metadata
  52   store i64 12, ptr %metadata
  53   store i64 13, ptr %metadata
  54   call void (i64, i32, ...) @llvm.experimental.stackmap(i64 4, i32 0, ptr %metadata)
  55   ret void
  56 }
  57
  58 ; Test patchpoints reusing the same TargetConstant.
  59 ; <rdar:15390785> Assertion failed: (CI.getNumArgOperands() >= NumArgs + 4)
  60 ; There is no way to verify this, since it depends on memory allocation.
  61 ; But I think it's useful to include as a working example.
  62 define i64 @testLowerConstant(i64 %arg, i64 %tmp2, i64 %tmp10, ptr %tmp33, i64 %tmp79) {
  63 entry:
  64   %tmp80 = add i64 %tmp79, -16
  65   %tmp81 = inttoptr i64 %tmp80 to ptr
  66   %tmp82 = load i64, ptr %tmp81, align 8
  67   tail call void (i64, i32, ...) @llvm.experimental.stackmap(i64 14, i32 5, i64 %arg, i64 %tmp2, i64 %tmp10, i64 %tmp82)
  68   tail call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 15, i32 30, ptr null, i32 3, i64 %arg, i64 %tmp10, i64 %tmp82)
  69   %tmp83 = load i64, ptr %tmp33, align 8
  70   %tmp84 = add i64 %tmp83, -24
  71   %tmp85 = inttoptr i64 %tmp84 to ptr
  72   %tmp86 = load i64, ptr %tmp85, align 8
  73   tail call void (i64, i32, ...) @llvm.experimental.stackmap(i64 17, i32 5, i64 %arg, i64 %tmp10, i64 %tmp86)
  74   tail call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 18, i32 30, ptr null, i32 3, i64 %arg, i64 %tmp10, i64 %tmp86)
  75   ret i64 10
  76 }
  77
  78 ; Test small patchpoints that don't emit calls.
  79 define void @small_patchpoint_codegen(i64 %p1, i64 %p2, i64 %p3, i64 %p4) {
  80 entry:
  81 ; CHECK-LABEL: small_patchpoint_codegen:
  82 ; CHECK:      Ltmp
  83 ; CHECK:      nopl 8(%rax,%rax)
  84 ; CHECK-NEXT: popq
  85 ; CHECK-NEXT: ret
  86   %result = tail call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 5, i32 5, ptr null, i32 2, i64 %p1, i64 %p2)
  87   ret void
  88 }
  89
  90 ; Test large target address.
  91 define i64 @large_target_address_patchpoint_codegen() {
  92 entry:
  93 ; CHECK-LABEL: large_target_address_patchpoint_codegen:
  94 ; CHECK:      movabsq $6153737369414576827, %r11
  95 ; CHECK-NEXT: callq *%r11
  96   %resolveCall2 = inttoptr i64 6153737369414576827 to ptr
  97   %result = tail call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 2, i32 15, ptr %resolveCall2, i32 0)
  98   ret i64 %result
  99 }
 100
 101 declare i64 @consume_attributes(i64, ptr nest, i64)
 102 define i64 @test_patchpoint_with_attributes() {
 103 entry:
 104 ; CHECK-LABEL: test_patchpoint_with_attributes:
 105 ; CHECK: movl $42, %edi
 106 ; CHECK: movl $17, %esi
 107 ; CHECK: xorl %r10d, %r10d
 108 ; CHECK: movabsq $_consume_attributes, %r11
 109 ; CHECK-NEXT: callq *%r11
 110 ; CHECK-NEXT: xchgw %ax, %ax
 111 ; CHECK: retq
 112   %result = tail call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 21, i32 15, ptr @consume_attributes, i32 3, i64 42, ptr nest null, i64 17)
 113   ret i64 %result
 114 }
 115
 116 declare void @llvm.experimental.stackmap(i64, i32, ...)
 117 declare void @llvm.experimental.patchpoint.void(i64, i32, ptr, i32, ...)
 118 declare i64 @llvm.experimental.patchpoint.i64(i64, i32, ptr, i32, ...)