re PR tree-optimization/89278 (ICE in gimplify_modify_expr, at gimplify.c:5821)
PR tree-optimization/89278 * tree-loop-distribution.c: Include tree-eh.h. (generate_memset_builtin, generate_memcpy_builtin): Call rewrite_to_non_trapping_overflow on builtin->size before passing it to force_gimple_operand_gsi. * gcc.dg/pr89278.c: New test. Co-Authored-By: Jakub Jelinek <jakub@redhat.com> From-SVN: r268927
This commit is contained in:
parent
5f88ba10e0
commit
4c9ed22ae0
@ -1,3 +1,12 @@
|
||||
2019-02-15 Richard Biener <rguenther@suse.de>
|
||||
Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/89278
|
||||
* tree-loop-distribution.c: Include tree-eh.h.
|
||||
(generate_memset_builtin, generate_memcpy_builtin): Call
|
||||
rewrite_to_non_trapping_overflow on builtin->size before passing it
|
||||
to force_gimple_operand_gsi.
|
||||
|
||||
2019-02-15 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR other/89342
|
||||
|
@ -1,3 +1,9 @@
|
||||
2019-02-15 Richard Biener <rguenther@suse.de>
|
||||
Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/89278
|
||||
* gcc.dg/pr89278.c: New test.
|
||||
|
||||
2019-02-15 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR c/89340
|
||||
|
23
gcc/testsuite/gcc.dg/pr89278.c
Normal file
23
gcc/testsuite/gcc.dg/pr89278.c
Normal file
@ -0,0 +1,23 @@
|
||||
/* PR tree-optimization/89278 */
|
||||
/* { dg-do compile } */
|
||||
/* { dg-options "-O1 -ftrapv -ftree-loop-distribute-patterns --param max-loop-header-insns=2" } */
|
||||
|
||||
void
|
||||
foo (int *w, int x, int y, int z)
|
||||
{
|
||||
while (x < y + z)
|
||||
{
|
||||
w[x] = 0;
|
||||
++x;
|
||||
}
|
||||
}
|
||||
|
||||
void
|
||||
bar (int *__restrict u, int *__restrict w, int x, int y, int z)
|
||||
{
|
||||
while (x < y + z)
|
||||
{
|
||||
w[x] = u[x];
|
||||
++x;
|
||||
}
|
||||
}
|
@ -114,6 +114,7 @@ along with GCC; see the file COPYING3. If not see
|
||||
#include "tree-scalar-evolution.h"
|
||||
#include "params.h"
|
||||
#include "tree-vectorizer.h"
|
||||
#include "tree-eh.h"
|
||||
|
||||
|
||||
#define MAX_DATAREFS_NUM \
|
||||
@ -996,7 +997,7 @@ generate_memset_builtin (struct loop *loop, partition *partition)
|
||||
/* The new statements will be placed before LOOP. */
|
||||
gsi = gsi_last_bb (loop_preheader_edge (loop)->src);
|
||||
|
||||
nb_bytes = builtin->size;
|
||||
nb_bytes = rewrite_to_non_trapping_overflow (builtin->size);
|
||||
nb_bytes = force_gimple_operand_gsi (&gsi, nb_bytes, true, NULL_TREE,
|
||||
false, GSI_CONTINUE_LINKING);
|
||||
mem = builtin->dst_base;
|
||||
@ -1048,7 +1049,7 @@ generate_memcpy_builtin (struct loop *loop, partition *partition)
|
||||
/* The new statements will be placed before LOOP. */
|
||||
gsi = gsi_last_bb (loop_preheader_edge (loop)->src);
|
||||
|
||||
nb_bytes = builtin->size;
|
||||
nb_bytes = rewrite_to_non_trapping_overflow (builtin->size);
|
||||
nb_bytes = force_gimple_operand_gsi (&gsi, nb_bytes, true, NULL_TREE,
|
||||
false, GSI_CONTINUE_LINKING);
|
||||
dest = builtin->dst_base;
|
||||
|
Loading…
x
Reference in New Issue
Block a user