llvm/test/CodeGen/X86/xray-partial-instrumentation-skip-entry.ll

   1 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
   2 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -relocation-model=pic < %s | FileCheck %s
   3 ; RUN: llc -mtriple=x86_64-darwin-unknown    < %s | FileCheck %s
   4
   5 define i32 @foo() nounwind noinline uwtable "function-instrument"="xray-always" "xray-skip-entry" {
   6 ; CHECK-NOT: Lxray_sled_0:
   7   ret i32 0
   8 ; CHECK:       .p2align 1, 0x90
   9 ; CHECK-LABEL: Lxray_sled_0:
  10 ; CHECK:       retq
  11 ; CHECK-NEXT:  nopw %cs:512(%rax,%rax)
  12 }
  13 ; CHECK-LABEL: xray_instr_map
  14 ; CHECK-LABEL: Lxray_sleds_start0:
  15 ; CHECK:       .quad {{.*}}xray_sled_0
  16 ; CHECK-LABEL: Lxray_sleds_end0:
  17 ; CHECK-LABEL: xray_fn_idx
  18 ; CHECK:       .quad {{.*}}xray_sleds_start0
  19 ; CHECK-NEXT:  .quad {{.*}}xray_sleds_end0
  20
  21
  22 ; We test multiple returns in a single function to make sure we're getting all
  23 ; of them with XRay instrumentation.
  24 define i32 @bar(i32 %i) nounwind noinline uwtable "function-instrument"="xray-always" "xray-skip-entry" {
  25 ; CHECK-NOT: Lxray_sled_1:
  26 Test:
  27   %cond = icmp eq i32 %i, 0
  28   br i1 %cond, label %IsEqual, label %NotEqual
  29 IsEqual:
  30   ret i32 0
  31 ; CHECK:       .p2align 1, 0x90
  32 ; CHECK-LABEL: Lxray_sled_1:
  33 ; CHECK:       retq
  34 ; CHECK-NEXT:  nopw %cs:512(%rax,%rax)
  35 NotEqual:
  36   ret i32 1
  37 ; CHECK:       .p2align 1, 0x90
  38 ; CHECK-LABEL: Lxray_sled_2:
  39 ; CHECK:       retq
  40 ; CHECK-NEXT:  nopw %cs:512(%rax,%rax)
  41 }
  42 ; CHECK-LABEL: xray_instr_map
  43 ; CHECK-LABEL: Lxray_sleds_start1:
  44 ; CHECK:       .quad {{.*}}xray_sled_1
  45 ; CHECK:       .quad {{.*}}xray_sled_2
  46 ; CHECK-LABEL: Lxray_sleds_end1:
  47 ; CHECK-LABEL: xray_fn_idx
  48 ; CHECK:       .quad {{.*}}xray_sleds_start1
  49 ; CHECK-NEXT:  .quad {{.*}}xray_sleds_end1