From 6c653d509920aadc2abfaa88c5a2149676a85c23 Mon Sep 17 00:00:00 2001
From: sje <sje@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 19 Feb 2004 18:03:45 +0000
Subject: [PATCH] * config/ia64/ia64.h (HARD_REGNO_CALLER_SAVE_MODE):
New macro. * testsuite/gcc.dg/20040219-1.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@78113 138bc75d-0d04-0410-961f-82ee72b054a4
---
gcc/ChangeLog | 5 +++
gcc/config/ia64/ia64.h | 7 +++
gcc/testsuite/gcc.dg/20040219-1.c | 74 +++++++++++++++++++++++++++++++
3 files changed, 86 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/20040219-1.c
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1dcefa5ab74e..2015efae34c6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-02-19 Steve Ellcey <sje@cup.hp.com>
+
+ * config/ia64/ia64.h (HARD_REGNO_CALLER_SAVE_MODE): New macro.
+ * testsuite/gcc.dg/20040219-1.c: New test.
+
2004-02-19 Ulrich Weigand <uweigand@de.ibm.com>
* config/s390/s390.md ("*subdf3_cc", "*subdf3_cconly", "*subsf3_cc",
diff --git a/gcc/config/ia64/ia64.h b/gcc/config/ia64/ia64.h
index ddcb89ac89a9..754b05cab695 100644
--- a/gcc/config/ia64/ia64.h
+++ b/gcc/config/ia64/ia64.h
@@ -831,6 +831,13 @@ while (0)
(GET_MODE_CLASS (MODE1) == GET_MODE_CLASS (MODE2) \
&& (((MODE1) == XFmode) == ((MODE2) == XFmode)) \
&& (((MODE1) == BImode) == ((MODE2) == BImode)))
+
+/* Specify the modes required to caller save a given hard regno.
+ We need to ensure floating pt regs are not saved as DImode. */
+
+#define HARD_REGNO_CALLER_SAVE_MODE(REGNO, NREGS, MODE) \
+ ((FR_REGNO_P (REGNO) && (NREGS) == 1) ? XFmode \
+ : choose_hard_reg_mode ((REGNO), (NREGS), false))
/* Handling Leaf Functions */
diff --git a/gcc/testsuite/gcc.dg/20040219-1.c b/gcc/testsuite/gcc.dg/20040219-1.c
new file mode 100644
index 000000000000..1a277d6960b9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20040219-1.c
@@ -0,0 +1,74 @@
+/* Testing save/restore of floating point caller-save registers, on ia64
+ this resulted in bad code. Not all targets will use caller-save regs. */
+
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+/* { dg-options "-O2 -minline-float-divide-max-throughput" { target ia64-*-* } } */
+
+/* Testing save/restore of floating point caller-save registers on ia64. */
+
+extern void abort (void);
+
+double foo(double a, double b, double c)
+{
+ return (a+b+c);
+}
+
+main ()
+{
+ double f1, f2, f3, f4, f5, f6, f7, f8, f9,f10;
+ double f11,f12,f13,f14,f15,f16,f17,f18,f19,f20;
+ double f21,f22,f23,f24,f25,f26,f27,f28,f29,f30;
+ double x;
+ int i,j,k;
+
+ f1 = 0.1; f2 = 0.2; f3 = 0.3; f4 = 0.4; f5 = 0.5;
+ f6 = 0.6; f7 = 0.7; f8 = 0.8; f9 = 0.9; f10 = 1.0;
+ f11 = 1.1; f12 = 1.2; f13 = 1.3; f14 = 1.4; f15 = 1.5;
+ f16 = 1.6; f17 = 1.7; f18 = 1.8; f19 = 1.9; f20 = 2.0;
+ f21 = 2.1; f22 = 2.2; f23 = 2.3; f24 = 2.4; f25 = 2.5;
+ f26 = 2.6; f27 = 2.7; f28 = 2.8; f29 = 2.9; f30 = 3.0;
+
+ i = (int) foo(1.0,1.0,1.0);
+ while (i > 0) {
+ f1 = f2 / f3 * f30;
+ f2 = f3 / f4 * f30;
+ f3 = f4 / f5 * f30;
+ f4 = f5 / f6 * f30;
+ f5 = f6 / f7 * f30;
+ f6 = f7 / f8 * f30;
+ f7 = f8 / f9 * f30;
+ f8 = f9 / f10 * f30;
+ f9 = f10 / f11 * f30;
+ f10 = f11 / f12 * f30;
+ f11 = f12 / f13 * f30;
+ f12 = f13 / f14 * f25;
+ f13 = f14 / f15 * f30;
+ f14 = f15 / f16 * f30;
+ f15 = f16 / f17 * f30;
+ f16 = f17 / f18 * f30;
+ f17 = f18 / f19 * f30;
+ f18 = f19 / f20 * f30;
+ f19 = f20 / f21 * f30;
+ f20 = f21 / f22 * f20;
+ f21 = f22 / f23 * f30;
+ f22 = f23 / f24 * f30;
+ f23 = f24 / f25 * f30;
+ f24 = f25 / f26 * f30;
+ f25 = f26 / f27 * f30;
+ f26 = f27 / f28 * f30;
+ f27 = f28 / f29 * f30;
+ f28 = f29 / f30 * f30;
+ f29 = f30 / f1 * f30;
+ f30 = f1 / f2 * f30;
+ x = foo(f1,f2,f3);
+ i = i - 1;
+ }
+ x = (f1+f2+f3+f4+f5+f6+f7+f8+f9+f10) *
+ (f11+f12+f13+f14+f15+f16+f17+f18+f19+f20) *
+ (f21+f22+f23+f24+f25+f26+f27+f28+f29+f30);
+
+ /* Exact value is not needed, on IA64 it is massively off. */
+ if (x < 19503.0 || x > 19504.0) abort();
+ return 0;
+}
--
GitLab