From: Andrew Pinski <[email protected]>
The problem here is we try to an initialized value
from a scalar constant. For vectors we need to do
a vect_dup instead. This fixes that issue and we
get the correct code even and it does not crash.
OK? Bootstrapped and tested on aarch64-linux-gnu with no regressions.
gcc/ChangeLog:
PR tree-optimize/10153
* tree-tailcall.c (create_tailcall_accumulator):
For vector types create a duplicated VECTOR_CST
before calling fold_convert.
gcc/testsuite/ChangeLog:
PR tree-optimize/10153
* gcc.c-torture/compile/pr10153-1.c: New test.
* gcc.c-torture/compile/pr10153-2.c: New test.
---
gcc/testsuite/gcc.c-torture/compile/pr10153-1.c | 7 +++++++
gcc/testsuite/gcc.c-torture/compile/pr10153-2.c | 9 +++++++++
gcc/tree-tailcall.c | 3 +++
3 files changed, 19 insertions(+)
create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr10153-1.c
create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr10153-2.c
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr10153-1.c
b/gcc/testsuite/gcc.c-torture/compile/pr10153-1.c
new file mode 100644
index 00000000000..3f2040f32a1
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr10153-1.c
@@ -0,0 +1,7 @@
+typedef int V __attribute__ ((vector_size (2 * sizeof (int))));
+V
+foo (void)
+{
+ V v = { };
+ return v - foo();
+}
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr10153-2.c
b/gcc/testsuite/gcc.c-torture/compile/pr10153-2.c
new file mode 100644
index 00000000000..1af4c8e2a36
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr10153-2.c
@@ -0,0 +1,9 @@
+typedef int V __attribute__ ((vector_size (2 * sizeof (int))));
+V
+foo (int t)
+{
+ if (t < 10)
+ return (V){1, 1};
+ V v = { };
+ return v - foo(t - 1);
+}
diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c
index a4d31c90c49..9d1a98b1cfd 100644
--- a/gcc/tree-tailcall.c
+++ b/gcc/tree-tailcall.c
@@ -1080,6 +1080,9 @@ create_tailcall_accumulator (const char *label,
basic_block bb, tree init)
phi = create_phi_node (tmp, bb);
/* RET_TYPE can be a float when -ffast-maths is enabled. */
+ /* For vectors create a dup. */
+ if (VECTOR_TYPE_P (ret_type))
+ init = build_vector_from_val (ret_type, fold_convert (TREE_TYPE
(ret_type), init));
add_phi_arg (phi, fold_convert (ret_type, init), single_pred_edge (bb),
UNKNOWN_LOCATION);
return PHI_RESULT (phi);
--
2.27.0
