diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2019-09-18 09:43:42 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2019-09-18 09:43:42 +0000 |
| commit | 22b6299199da4efd3944cdaabca1d095d19ff901 (patch) | |
| tree | be09027d406b673a7001ca5a5b1fcb4513dabf01 /gcc | |
| parent | defc6f266c1dd625cc64ad1ecfbd1eacbcd66e4f (diff) | |
| download | gcc-22b6299199da4efd3944cdaabca1d095d19ff901.zip gcc-22b6299199da4efd3944cdaabca1d095d19ff901.tar.gz gcc-22b6299199da4efd3944cdaabca1d095d19ff901.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gimplify.c | 7 |
2 files changed, 9 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3afdb09..2842a7f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 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 sizes instead of uhwi sizes. diff --git a/gcc/gimplify.c b/gcc/gimplify.c index daa0b71..623cdbf 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; |