[xray] Add XRay support for Mach-O in CodeGen
Currently, XRay only supports emitting the XRay table (xray_instr_map) on ELF binaries. Let's add Mach-O support.
Differential Revision: https://reviews.llvm.org/D26983
llvm-svn: 287734
diff --git a/llvm/test/CodeGen/ARM/xray-armv6-attribute-instrumentation.ll b/llvm/test/CodeGen/ARM/xray-armv6-attribute-instrumentation.ll
index c89c21e..8a8c667 100644
--- a/llvm/test/CodeGen/ARM/xray-armv6-attribute-instrumentation.ll
+++ b/llvm/test/CodeGen/ARM/xray-armv6-attribute-instrumentation.ll
@@ -1,4 +1,5 @@
; RUN: llc -filetype=asm -o - -mtriple=armv6-unknown-linux-gnu < %s | FileCheck %s
+; RUN: llc -filetype=asm -o - -mtriple=armv6-apple-ios6.0.0 < %s | FileCheck %s
define i32 @foo() nounwind noinline uwtable "function-instrument"="xray-always" {
; CHECK-LABEL: Lxray_sled_0:
diff --git a/llvm/test/CodeGen/ARM/xray-armv7-attribute-instrumentation.ll b/llvm/test/CodeGen/ARM/xray-armv7-attribute-instrumentation.ll
index 842d9bc..07852cd 100644
--- a/llvm/test/CodeGen/ARM/xray-armv7-attribute-instrumentation.ll
+++ b/llvm/test/CodeGen/ARM/xray-armv7-attribute-instrumentation.ll
@@ -1,4 +1,5 @@
; RUN: llc -filetype=asm -o - -mtriple=armv7-unknown-linux-gnu < %s | FileCheck %s
+; RUN: llc -filetype=asm -o - -mtriple=armv7-apple-ios6.0.0 < %s | FileCheck %s
define i32 @foo() nounwind noinline uwtable "function-instrument"="xray-always" {
; CHECK-LABEL: Lxray_sled_0:
diff --git a/llvm/test/CodeGen/ARM/xray-tail-call-sled.ll b/llvm/test/CodeGen/ARM/xray-tail-call-sled.ll
index d62a3b7..f6769c0 100644
--- a/llvm/test/CodeGen/ARM/xray-tail-call-sled.ll
+++ b/llvm/test/CodeGen/ARM/xray-tail-call-sled.ll
@@ -1,4 +1,5 @@
; RUN: llc -filetype=asm -o - -mtriple=armv7-unknown-linux-gnu < %s | FileCheck %s
+; RUN: llc -filetype=asm -o - -mtriple=armv7-apple-ios6.0.0 < %s | FileCheck %s
define i32 @callee() nounwind noinline uwtable "function-instrument"="xray-always" {
; CHECK: .p2align 2
@@ -48,6 +49,6 @@
; CHECK-NEXT: nop
; CHECK-LABEL: Ltmp3:
%retval = tail call i32 @callee()
-; CHECK: b callee
+; CHECK: b {{.*}}callee
ret i32 %retval
}
diff --git a/llvm/test/CodeGen/X86/xray-attribute-instrumentation.ll b/llvm/test/CodeGen/X86/xray-attribute-instrumentation.ll
index 7dfab65..c52ccf9 100644
--- a/llvm/test/CodeGen/X86/xray-attribute-instrumentation.ll
+++ b/llvm/test/CodeGen/X86/xray-attribute-instrumentation.ll
@@ -1,4 +1,5 @@
; RUN: llc -filetype=asm -o - -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
+; RUN: llc -filetype=asm -o - -mtriple=x86_64-darwin-unknown < %s | FileCheck %s
define i32 @foo() nounwind noinline uwtable "function-instrument"="xray-always" {
; CHECK: .p2align 1, 0x90
@@ -13,11 +14,11 @@
; CHECK-NEXT: nopw %cs:512(%rax,%rax)
}
; CHECK: .p2align 4, 0x90
-; CHECK-NEXT: .quad .Lxray_synthetic_0
-; CHECK-NEXT: .section xray_instr_map,{{.*}}
+; CHECK-NEXT: .quad {{.*}}xray_synthetic_0
+; CHECK-NEXT: .section {{.*}}xray_instr_map
; CHECK-LABEL: Lxray_synthetic_0:
-; CHECK: .quad .Lxray_sled_0
-; CHECK: .quad .Lxray_sled_1
+; CHECK: .quad {{.*}}xray_sled_0
+; CHECK: .quad {{.*}}xray_sled_1
; We test multiple returns in a single function to make sure we're getting all
; of them with XRay instrumentation.
@@ -44,9 +45,9 @@
; CHECK-NEXT: nopw %cs:512(%rax,%rax)
}
; CHECK: .p2align 4, 0x90
-; CHECK-NEXT: .quad .Lxray_synthetic_1
-; CHECK-NEXT: .section xray_instr_map,{{.*}}
+; CHECK-NEXT: .quad {{.*}}xray_synthetic_1
+; CHECK-NEXT: .section {{.*}}xray_instr_map
; CHECK-LABEL: Lxray_synthetic_1:
-; CHECK: .quad .Lxray_sled_2
-; CHECK: .quad .Lxray_sled_3
-; CHECK: .quad .Lxray_sled_4
+; CHECK: .quad {{.*}}xray_sled_2
+; CHECK: .quad {{.*}}xray_sled_3
+; CHECK: .quad {{.*}}xray_sled_4
diff --git a/llvm/test/CodeGen/X86/xray-tail-call-sled.ll b/llvm/test/CodeGen/X86/xray-tail-call-sled.ll
index 451993c..ece786a 100644
--- a/llvm/test/CodeGen/X86/xray-tail-call-sled.ll
+++ b/llvm/test/CodeGen/X86/xray-tail-call-sled.ll
@@ -1,4 +1,5 @@
; RUN: llc -filetype=asm -o - -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
+; RUN: llc -filetype=asm -o - -mtriple=x86_64-darwin-unknown < %s | FileCheck %s
define i32 @callee() nounwind noinline uwtable "function-instrument"="xray-always" {
; CHECK: .p2align 1, 0x90
@@ -13,11 +14,11 @@
; CHECK-NEXT: nopw %cs:512(%rax,%rax)
}
; CHECK: .p2align 4, 0x90
-; CHECK-NEXT: .quad .Lxray_synthetic_0
-; CHECK-NEXT: .section xray_instr_map,{{.*}}
+; CHECK-NEXT: .quad {{.*}}xray_synthetic_0
+; CHECK-NEXT: .section {{.*}}xray_instr_map
; CHECK-LABEL: Lxray_synthetic_0:
-; CHECK: .quad .Lxray_sled_0
-; CHECK: .quad .Lxray_sled_1
+; CHECK: .quad {{.*}}xray_sled_0
+; CHECK: .quad {{.*}}xray_sled_1
define i32 @caller() nounwind noinline uwtable "function-instrument"="xray-always" {
; CHECK: .p2align 1, 0x90
@@ -31,11 +32,11 @@
; CHECK-NEXT: nopw 512(%rax,%rax)
; CHECK-LABEL: Ltmp2:
%retval = tail call i32 @callee()
-; CHECK: jmp callee # TAILCALL
+; CHECK: jmp {{.*}}callee {{.*}}# TAILCALL
ret i32 %retval
}
; CHECK: .p2align 4, 0x90
-; CHECK-NEXT: .quad .Lxray_synthetic_1
+; CHECK-NEXT: .quad {{.*}}xray_synthetic_1
; CHECK-LABEL: Lxray_synthetic_1:
-; CHECK: .quad .Lxray_sled_2
-; CHECK: .quad .Lxray_sled_3
+; CHECK: .quad {{.*}}xray_sled_2
+; CHECK: .quad {{.*}}xray_sled_3