APX: Don't use red-zone with 32 GPRs and no caller-saved registers

Don't use red-zone when there are no caller-saved registers with 32 GPRs
since 128-byte red-zone is too small for 31 GPRs.

gcc/

	PR target/119784
	* config/i386/i386.cc (ix86_using_red_zone): Don't use red-zone
	with 32 GPRs and no caller-saved registers.

gcc/testsuite/

	PR target/119784
	* gcc.target/i386/pr119784a.c: New test.
	* gcc.target/i386/pr119784b.c: Likewise.

Signed-off-by: H.J. Lu <hjl.tools@gmail.com>

diff --git a/gcc/config/i386/i386.cc b/gcc/config/i386/i386.cc
index 4f8380c4a58bcfc1d16d44d14087c32286c19d7e..b172f716c6839abc6312a424ae062c572e6d4704 100644 (file)
--- a/gcc/config/i386/i386.cc
+++ b/gcc/config/i386/i386.cc
@@ -458,6 +458,9 @@ int ix86_arch_specified;
    indirect thunk pushes the return address onto stack, destroying
    red-zone.
 
+   NB: Don't use red-zone for functions with no_caller_saved_registers
+   and 32 GPRs since 128-byte red-zone is too small for 31 GPRs.
+
    TODO: If we can reserve the first 2 WORDs, for PUSH and, another
    for CALL, in red-zone, we can allow local indirect jumps with
    indirect thunk.  */
@@ -467,6 +470,9 @@ ix86_using_red_zone (void)
 {
   return (TARGET_RED_ZONE
          && !TARGET_64BIT_MS_ABI
+         && (!TARGET_APX_EGPR
+             || (cfun->machine->call_saved_registers
+                 != TYPE_NO_CALLER_SAVED_REGISTERS))
          && (!cfun->machine->has_local_indirect_jump
              || cfun->machine->indirect_branch_type == indirect_branch_keep));
 }

diff --git a/gcc/testsuite/gcc.target/i386/pr119784a.c b/gcc/testsuite/gcc.target/i386/pr119784a.c
new file mode 100644 (file)
index 0000000..8a119d4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr119784a.c
@@ -0,0 +1,96 @@
+/* { dg-do compile { target { *-*-linux* && lp64 } } } */
+/* { dg-options "-O2 -fno-pic -mtune=generic -mgeneral-regs-only -mapxf -mtune-ctrl=prologue_using_move,epilogue_using_move" } */
+/* Keep labels and directives ('.cfi_startproc', '.cfi_endproc').  */
+/* { dg-final { check-function-bodies "**" "" "" { target "*-*-*" } {^\t?\.}  } } */
+
+/* start must save and restore all caller saved registers.  */
+
+/*
+**start:
+**.LFB[0-9]+:
+**     .cfi_startproc
+**     subq    \$248, %rsp
+**...
+**     movq    %rax, \(%rsp\)
+**     movq    %rdx, 8\(%rsp\)
+**     movq    %rcx, 16\(%rsp\)
+**     movq    %rbx, 24\(%rsp\)
+**     movq    %rsi, 32\(%rsp\)
+**     movq    %rdi, 40\(%rsp\)
+**...
+**     movq    %rbp, 48\(%rsp\)
+**     movq    %r8, 56\(%rsp\)
+**     movq    %r9, 64\(%rsp\)
+**     movq    %r10, 72\(%rsp\)
+**     movq    %r11, 80\(%rsp\)
+**     movq    %r12, 88\(%rsp\)
+**     movq    %r13, 96\(%rsp\)
+**     movq    %r14, 104\(%rsp\)
+**     movq    %r15, 112\(%rsp\)
+**     movq    %r16, 120\(%rsp\)
+**     movq    %r17, 128\(%rsp\)
+**     movq    %r18, 136\(%rsp\)
+**     movq    %r19, 144\(%rsp\)
+**     movq    %r20, 152\(%rsp\)
+**     movq    %r21, 160\(%rsp\)
+**     movq    %r22, 168\(%rsp\)
+**     movq    %r23, 176\(%rsp\)
+**     movq    %r24, 184\(%rsp\)
+**     movq    %r25, 192\(%rsp\)
+**     movq    %r26, 200\(%rsp\)
+**     movq    %r27, 208\(%rsp\)
+**     movq    %r28, 216\(%rsp\)
+**     movq    %r29, 224\(%rsp\)
+**     movq    %r30, 232\(%rsp\)
+**     movq    %r31, 240\(%rsp\)
+**...
+**     call    \*code\(%rip\)
+**     movq    \(%rsp\), %rax
+**     movq    8\(%rsp\), %rdx
+**     movq    16\(%rsp\), %rcx
+**     movq    24\(%rsp\), %rbx
+**     movq    32\(%rsp\), %rsi
+**     movq    40\(%rsp\), %rdi
+**     movq    48\(%rsp\), %rbp
+**     movq    56\(%rsp\), %r8
+**     movq    64\(%rsp\), %r9
+**     movq    72\(%rsp\), %r10
+**     movq    80\(%rsp\), %r11
+**     movq    88\(%rsp\), %r12
+**     movq    96\(%rsp\), %r13
+**     movq    104\(%rsp\), %r14
+**     movq    112\(%rsp\), %r15
+**     movq    120\(%rsp\), %r16
+**     movq    128\(%rsp\), %r17
+**     movq    136\(%rsp\), %r18
+**     movq    144\(%rsp\), %r19
+**     movq    152\(%rsp\), %r20
+**     movq    160\(%rsp\), %r21
+**     movq    168\(%rsp\), %r22
+**     movq    176\(%rsp\), %r23
+**     movq    184\(%rsp\), %r24
+**     movq    192\(%rsp\), %r25
+**     movq    200\(%rsp\), %r26
+**     movq    208\(%rsp\), %r27
+**     movq    216\(%rsp\), %r28
+**     movq    224\(%rsp\), %r29
+**     movq    232\(%rsp\), %r30
+**     movq    240\(%rsp\), %r31
+**     addq    \$248, %rsp
+**...
+**     ret
+**     .cfi_endproc
+**...
+*/
+
+#define DONT_SAVE_REGS __attribute__((no_callee_saved_registers))
+#define SAVE_REGS __attribute__((no_caller_saved_registers))
+
+typedef DONT_SAVE_REGS void (*op_t)(void); 
+
+extern op_t code[];
+
+SAVE_REGS void start()
+{
+  code[0]();
+}

diff --git a/gcc/testsuite/gcc.target/i386/pr119784b.c b/gcc/testsuite/gcc.target/i386/pr119784b.c
new file mode 100644 (file)
index 0000000..c676197
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr119784b.c
@@ -0,0 +1,87 @@
+/* { dg-do compile { target { *-*-linux* && x32 } } } */
+/* { dg-options "-O2 -fno-pic -mtune=generic -mgeneral-regs-only -mapxf -mtune-ctrl=prologue_using_move,epilogue_using_move" } */
+/* Keep labels and directives ('.cfi_startproc', '.cfi_endproc').  */
+/* { dg-final { check-function-bodies "**" "" "" { target "*-*-*" } {^\t?\.}  } } */
+
+/* start must save and restore all caller saved registers.  */
+
+/*
+**start:
+**.LFB[0-9]+:
+**     .cfi_startproc
+**     subl    \$248, %esp
+**...
+**     movq    %rax, \(%rsp\)
+**     movq    %rdx, 8\(%rsp\)
+**     movq    %rcx, 16\(%rsp\)
+**     movq    %rbx, 24\(%rsp\)
+**     movq    %rsi, 32\(%rsp\)
+**     movq    %rdi, 40\(%rsp\)
+**...
+**     movq    %rbp, 48\(%rsp\)
+**     movq    %r8, 56\(%rsp\)
+**     movq    %r9, 64\(%rsp\)
+**     movq    %r10, 72\(%rsp\)
+**     movq    %r11, 80\(%rsp\)
+**     movq    %r12, 88\(%rsp\)
+**     movq    %r13, 96\(%rsp\)
+**     movq    %r14, 104\(%rsp\)
+**     movq    %r15, 112\(%rsp\)
+**     movq    %r16, 120\(%rsp\)
+**     movq    %r17, 128\(%rsp\)
+**     movq    %r18, 136\(%rsp\)
+**     movq    %r19, 144\(%rsp\)
+**     movq    %r20, 152\(%rsp\)
+**     movq    %r21, 160\(%rsp\)
+**     movq    %r22, 168\(%rsp\)
+**     movq    %r23, 176\(%rsp\)
+**     movq    %r24, 184\(%rsp\)
+**     movq    %r25, 192\(%rsp\)
+**     movq    %r26, 200\(%rsp\)
+**     movq    %r27, 208\(%rsp\)
+**     movq    %r28, 216\(%rsp\)
+**     movq    %r29, 224\(%rsp\)
+**     movq    %r30, 232\(%rsp\)
+**     movq    %r31, 240\(%rsp\)
+**...
+**     movl    code\(%rip\), %ebp
+**     call    \*%rbp
+**     movq    \(%rsp\), %rax
+**     movq    8\(%rsp\), %rdx
+**     movq    16\(%rsp\), %rcx
+**     movq    24\(%rsp\), %rbx
+**     movq    32\(%rsp\), %rsi
+**     movq    40\(%rsp\), %rdi
+**     movq    48\(%rsp\), %rbp
+**     movq    56\(%rsp\), %r8
+**     movq    64\(%rsp\), %r9
+**     movq    72\(%rsp\), %r10
+**     movq    80\(%rsp\), %r11
+**     movq    88\(%rsp\), %r12
+**     movq    96\(%rsp\), %r13
+**     movq    104\(%rsp\), %r14
+**     movq    112\(%rsp\), %r15
+**     movq    120\(%rsp\), %r16
+**     movq    128\(%rsp\), %r17
+**     movq    136\(%rsp\), %r18
+**     movq    144\(%rsp\), %r19
+**     movq    152\(%rsp\), %r20
+**     movq    160\(%rsp\), %r21
+**     movq    168\(%rsp\), %r22
+**     movq    176\(%rsp\), %r23
+**     movq    184\(%rsp\), %r24
+**     movq    192\(%rsp\), %r25
+**     movq    200\(%rsp\), %r26
+**     movq    208\(%rsp\), %r27
+**     movq    216\(%rsp\), %r28
+**     movq    224\(%rsp\), %r29
+**     movq    232\(%rsp\), %r30
+**     movq    240\(%rsp\), %r31
+**     addl    \$248, %esp
+**...
+**     ret
+**     .cfi_endproc
+**...
+*/
+
+#include "pr119784a.c"