[clang] 80f7ce8 - [X86] Support __SSC_MARK(const int id)

[Xiang1 Zhang via cfe-commits]

Author: Xiang1 Zhang
Date: 2021-08-30T09:55:35+08:00
New Revision: 80f7ce89938874fb6b40ca5bafa1f5c4eca4746d

URL: https://github.com/llvm/llvm-project/commit/80f7ce89938874fb6b40ca5bafa1f5c4eca4746d
DIFF: https://github.com/llvm/llvm-project/commit/80f7ce89938874fb6b40ca5bafa1f5c4eca4746d.diff

LOG: [X86] Support __SSC_MARK(const int id)

Differential Revision: https://reviews.llvm.org/D108682

Added: 
    clang/test/CodeGen/X86/x86-ssc-mark.c

Modified: 
    clang/lib/Headers/x86gprintrin.h

Removed: 
    


################################################################################
diff  --git a/clang/lib/Headers/x86gprintrin.h b/clang/lib/Headers/x86gprintrin.h
index 1fc6cab4b28fc..327ccb724be80 100644
--- a/clang/lib/Headers/x86gprintrin.h
+++ b/clang/lib/Headers/x86gprintrin.h
@@ -20,4 +20,9 @@
 #include <uintrintrin.h>
 #endif
 
+#define __SSC_MARK(Tag)                                                        \
+  __asm__ __volatile__("movl %%ebx, %%eax; movl %0, %%ebx; .byte 0x64, 0x67, " \
+                       "0x90; movl %%eax, %%ebx;" ::"i"(Tag)                   \
+                       : "%eax");
+
 #endif /* __X86GPRINTRIN_H */

diff  --git a/clang/test/CodeGen/X86/x86-ssc-mark.c b/clang/test/CodeGen/X86/x86-ssc-mark.c
new file mode 100644
index 0000000000000..a2a57a13d7d44
--- /dev/null
+++ b/clang/test/CodeGen/X86/x86-ssc-mark.c
@@ -0,0 +1,20 @@
+// REQUIRES: x86-registered-target
+// RUN: %clang_cc1 %s -triple=x86_64-unknown-unknown -S -ffreestanding -o - | FileCheck %s
+// RUN: %clang_cc1 %s -triple=i386-unknown-unknown -S -ffreestanding -o - | FileCheck %s
+
+#include <immintrin.h>
+
+// The ebx may be use for base pointer, we need to restore it in time.
+void ssc_mark() {
+// CHECK-LABEL: ssc_mark
+// CHECK: #APP
+// CHECK: movl    %ebx, %eax
+// CHECK: movl    $0, %ebx
+// CHECK: .byte   100
+// CHECK: .byte   103
+// CHECK: .byte   144
+// CHECK: movl    %eax, %ebx
+// CHECK: #NO_APP
+
+  __SSC_MARK(0x0);
+}