From 22b6299199da4efd3944cdaabca1d095d19ff901 Mon Sep 17 00:00:00 2001
From: Richard Sandiford <richard.sandiford@arm.com>
Date: Wed, 18 Sep 2019 09:43:42 +0000
Subject: [PATCH] Don't treat variable-length vectors as VLAs during
gimplification
Source-level SVE vectors should be gimplified in the same way
as normal fixed-length vectors rather than as VLAs.
This is tested by later SVE patches.
2019-09-18 Richard Sandiford <richard.sandiford@arm.com>
gcc/
* gimplify.c (gimplify_decl_expr): Use poly_int_tree_p instead
of checking specifically for INTEGER_CST.
From-SVN: r275870
---
gcc/ChangeLog | 5 +++++
gcc/gimplify.c | 7 ++++---
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3afdb09f0726..2842a7f4cfc7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2019-09-18 Richard Sandiford <richard.sandiford@arm.com>
+
+ * gimplify.c (gimplify_decl_expr): Use poly_int_tree_p instead
+ of checking specifically for INTEGER_CST.
+
2019-09-18 Richard Sandiford <richard.sandiford@arm.com>
* stor-layout.c (compute_record_mode): Operate on poly_uint64
diff --git a/gcc/gimplify.c b/gcc/gimplify.c
index daa0b71c191e..623cdbfed7c7 100644
--- a/gcc/gimplify.c
+++ b/gcc/gimplify.c
@@ -1754,11 +1754,12 @@ gimplify_decl_expr (tree *stmt_p, gimple_seq *seq_p)
tree init = DECL_INITIAL (decl);
bool is_vla = false;
- if (TREE_CODE (DECL_SIZE_UNIT (decl)) != INTEGER_CST
+ poly_uint64 size;
+ if (!poly_int_tree_p (DECL_SIZE_UNIT (decl), &size)
|| (!TREE_STATIC (decl)
&& flag_stack_check == GENERIC_STACK_CHECK
- && compare_tree_int (DECL_SIZE_UNIT (decl),
- STACK_CHECK_MAX_VAR_SIZE) > 0))
+ && maybe_gt (size,
+ (unsigned HOST_WIDE_INT) STACK_CHECK_MAX_VAR_SIZE)))
{
gimplify_vla_decl (decl, seq_p);
is_vla = true;
--
GitLab