llvm/test/CodeGen/X86/xray-attribute-instrumentation.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" {
   6 ; CHECK:       .p2align 1, 0x90
   7 ; CHECK-LABEL: Lxray_sled_0:
   8 ; CHECK:       .ascii "\353\t"
   9 ; CHECK-NEXT:  nopw 512(%rax,%rax)
  10   ret i32 0
  11 ; CHECK:       .p2align 1, 0x90
  12 ; CHECK-LABEL: Lxray_sled_1:
  13 ; CHECK:       retq
  14 ; CHECK-NEXT:  nopw %cs:512(%rax,%rax)
  15 }
  16 ; CHECK-LABEL: xray_instr_map
  17 ; CHECK-LABEL: Lxray_sleds_start0:
  18 ; CHECK:       .quad {{.*}}xray_sled_0
  19 ; CHECK:       .quad {{.*}}xray_sled_1
  20 ; CHECK-LABEL: Lxray_sleds_end0:
  21 ; CHECK-LABEL: xray_fn_idx
  22 ; CHECK:       .quad {{.*}}xray_sleds_start0
  23 ; CHECK-NEXT:  .quad {{.*}}xray_sleds_end0
  24
  25
  26 ; We test multiple returns in a single function to make sure we're getting all
  27 ; of them with XRay instrumentation.
  28 define i32 @bar(i32 %i) nounwind noinline uwtable "function-instrument"="xray-always" {
  29 ; CHECK:       .p2align 1, 0x90
  30 ; CHECK-LABEL: Lxray_sled_2:
  31 ; CHECK:       .ascii "\353\t"
  32 ; CHECK-NEXT:  nopw 512(%rax,%rax)
  33 Test:
  34   %cond = icmp eq i32 %i, 0
  35   br i1 %cond, label %IsEqual, label %NotEqual
  36 IsEqual:
  37   ret i32 0
  38 ; CHECK:       .p2align 1, 0x90
  39 ; CHECK-LABEL: Lxray_sled_3:
  40 ; CHECK:       retq
  41 ; CHECK-NEXT:  nopw %cs:512(%rax,%rax)
  42 NotEqual:
  43   ret i32 1
  44 ; CHECK:       .p2align 1, 0x90
  45 ; CHECK-LABEL: Lxray_sled_4:
  46 ; CHECK:       retq
  47 ; CHECK-NEXT:  nopw %cs:512(%rax,%rax)
  48 }
  49 ; CHECK-LABEL: xray_instr_map
  50 ; CHECK-LABEL: Lxray_sleds_start1:
  51 ; CHECK:       Ltmp2:
  52 ; CHECK-NEXT:   .quad {{.*}}xray_sled_2-{{\.?}}Ltmp2
  53 ; CHECK:       Ltmp3:
  54 ; CHECK-NEXT:   .quad {{.*}}xray_sled_3-{{\.?}}Ltmp3
  55 ; CHECK:       Ltmp4:
  56 ; CHECK-NEXT:   .quad {{.*}}xray_sled_4-{{\.?}}Ltmp4
  57 ; CHECK-LABEL: Lxray_sleds_end1:
  58 ; CHECK-LABEL: xray_fn_idx
  59 ; CHECK:       .quad {{.*}}xray_sleds_start1
  60 ; CHECK-NEXT:  .quad {{.*}}xray_sleds_end1