[PATCH] D29959: x86 interrupt calling convention: only save xmm registers if the target supports SSE

[Philipp Oppermann via Phabricator via llvm-commits]

phil-opp updated this revision to Diff 88536.
phil-opp added a comment.

I added a regression test.

(By the way, it seems like the `test_isr_clobbers` clobbers test of `x86-64-intrcc.ll` is broken, since the `CHECK-SSE-NEXT` commands are invalid.)


https://reviews.llvm.org/D29959

Files:
  lib/Target/X86/X86CallingConv.td
  lib/Target/X86/X86RegisterInfo.cpp
  test/CodeGen/X86/x86-64-intrcc-nosse.ll


Index: test/CodeGen/X86/x86-64-intrcc-nosse.ll
===================================================================
--- /dev/null
+++ test/CodeGen/X86/x86-64-intrcc-nosse.ll
@@ -0,0 +1,18 @@
+; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=-sse < %s | FileCheck %s
+; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=-sse -O0 < %s | FileCheck %s -check-prefix=CHECK0
+
+%struct.interrupt_frame = type { i64, i64, i64, i64, i64 }
+
+ at llvm.used = appending global [1 x i8*] [i8* bitcast (void (%struct.interrupt_frame*, i64)* @test_isr_sse_clobbers to i8*)], section "llvm.metadata"
+
+; Clobbered SSE must not be saved when the target doesn't support SSE
+define x86_intrcc void @test_isr_sse_clobbers(%struct.interrupt_frame* %frame, i64 %ecode) {
+  call void asm sideeffect "", "~{xmm0},~{xmm6}"()
+  ; CHECK-LABEL: test_isr_sse_clobbers
+  ; CHECK-NOT: %xmm
+  ; CHECK: iretq
+  ; CHECK0-LABEL: test_isr_sse_clobbers
+  ; CHECK0-NOT: %xmm
+  ; CHECK0: iretq
+  ret void
+}
Index: lib/Target/X86/X86RegisterInfo.cpp
===================================================================
--- lib/Target/X86/X86RegisterInfo.cpp
+++ lib/Target/X86/X86RegisterInfo.cpp
@@ -337,7 +337,9 @@
         return CSR_64_AllRegs_AVX512_SaveList;
       if (HasAVX)
         return CSR_64_AllRegs_AVX_SaveList;
-      return CSR_64_AllRegs_SaveList;
+      if (HasSSE)
+        return CSR_64_AllRegs_SaveList;
+      return CSR_64_AllRegs_NoSSE_SaveList;
     } else {
       if (HasAVX512)
         return CSR_32_AllRegs_AVX512_SaveList;
@@ -447,7 +449,9 @@
         return CSR_64_AllRegs_AVX512_RegMask;
       if (HasAVX)
         return CSR_64_AllRegs_AVX_RegMask;
-      return CSR_64_AllRegs_RegMask;
+      if (HasSSE)
+        return CSR_64_AllRegs_RegMask;
+      return CSR_64_AllRegs_NoSSE_RegMask;
     } else {
       if (HasAVX512)
         return CSR_32_AllRegs_AVX512_RegMask;
Index: lib/Target/X86/X86CallingConv.td
===================================================================
--- lib/Target/X86/X86CallingConv.td
+++ lib/Target/X86/X86CallingConv.td
@@ -1074,6 +1074,8 @@
                                                  (sequence "K%u", 0, 7))>;
 
 def CSR_64_AllRegs     : CalleeSavedRegs<(add CSR_64_MostRegs, RAX)>;
+def CSR_64_AllRegs_NoSSE : CalleeSavedRegs<(add RAX, RBX, RCX, RDX, RSI, RDI, R8, R9,
+                                                R10, R11, R12, R13, R14, R15, RBP)>;
 def CSR_64_AllRegs_AVX : CalleeSavedRegs<(sub (add CSR_64_MostRegs, RAX,
                                                    (sequence "YMM%u", 0, 15)),
                                               (sequence "XMM%u", 0, 15))>;


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29959.88536.patch
Type: text/x-patch
Size: 2634 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170215/3ee63fe5/attachment.bin>