public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/94683] New: ICE in forwprop when folding to a VEC_PERM_EXPR
@ 2020-04-21 9:03 rsandifo at gcc dot gnu.org
2020-04-21 9:03 ` [Bug tree-optimization/94683] " rsandifo at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: rsandifo at gcc dot gnu.org @ 2020-04-21 9:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94683
Bug ID: 94683
Summary: ICE in forwprop when folding to a VEC_PERM_EXPR
Product: gcc
Version: 10.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: rsandifo at gcc dot gnu.org
Target Milestone: ---
Compiling this with -march=armv8.2-a+sve -msve-vector-bits=256 -O3:
#include <arm_sve.h>
typedef float v8sf __attribute__((vector_size(32)));
svfloat32_t
f (svbool_t pg, svfloat32_t x, svfloat32_t y)
{
v8sf a = svadd_x (pg, x, 1);
v8sf b = { a[0], a[0], a[2], a[2], a[4], a[4], a[6], a[6] };
return svdiv_x (pg, b, y);
}
gives:
foo.c: In function ‘f’:
foo.c:16:1: error: non-trivial conversion in ‘ssa_name’
16 | }
| ^
v8sf
__SVFloat32_t
b_17 = _16;
during GIMPLE pass: forwprop
dump file: foo.031t.forwprop1
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/94683] ICE in forwprop when folding to a VEC_PERM_EXPR
2020-04-21 9:03 [Bug tree-optimization/94683] New: ICE in forwprop when folding to a VEC_PERM_EXPR rsandifo at gcc dot gnu.org
@ 2020-04-21 9:03 ` rsandifo at gcc dot gnu.org
2020-04-21 15:11 ` cvs-commit at gcc dot gnu.org
2020-04-21 16:05 ` rsandifo at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rsandifo at gcc dot gnu.org @ 2020-04-21 9:03 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94683
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2020-04-21
Status|UNCONFIRMED |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |rsandifo at gcc dot gnu.org
--- Comment #1 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Testing a patch.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/94683] ICE in forwprop when folding to a VEC_PERM_EXPR
2020-04-21 9:03 [Bug tree-optimization/94683] New: ICE in forwprop when folding to a VEC_PERM_EXPR rsandifo at gcc dot gnu.org
2020-04-21 9:03 ` [Bug tree-optimization/94683] " rsandifo at gcc dot gnu.org
@ 2020-04-21 15:11 ` cvs-commit at gcc dot gnu.org
2020-04-21 16:05 ` rsandifo at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2020-04-21 15:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94683
--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Sandiford <rsandifo@gcc.gnu.org>:
https://gcc.gnu.org/g:85353e24ca90282e1d3620682841f524de20475c
commit r10-7851-g85353e24ca90282e1d3620682841f524de20475c
Author: Richard Sandiford <richard.sandiford@arm.com>
Date: Tue Apr 21 16:11:07 2020 +0100
forwprop: Fix ICE when building a VEC_PERM_EXPR [PR94683]
The type compatibility handling in simplify_vector_constructor is
based on the number of elements and on element type compatibility,
but that's no longer enough to ensure that two vector types are
compatible. This patch uses a VIEW_CONVERT_EXPR if the permutation
type and result type are distinct.
2020-04-21 Richard Sandiford <richard.sandiford@arm.com>
gcc/
PR tree-optimization/94683
* tree-ssa-forwprop.c (simplify_vector_constructor): Use a
VIEW_CONVERT_EXPR to handle mixtures of similarly-structured
but distinct vector types.
gcc/testsuite/
PR tree-optimization/94683
* gcc.target/aarch64/sve/acle/general/pr94683.c: New test.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/94683] ICE in forwprop when folding to a VEC_PERM_EXPR
2020-04-21 9:03 [Bug tree-optimization/94683] New: ICE in forwprop when folding to a VEC_PERM_EXPR rsandifo at gcc dot gnu.org
2020-04-21 9:03 ` [Bug tree-optimization/94683] " rsandifo at gcc dot gnu.org
2020-04-21 15:11 ` cvs-commit at gcc dot gnu.org
@ 2020-04-21 16:05 ` rsandifo at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rsandifo at gcc dot gnu.org @ 2020-04-21 16:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94683
rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Fixed on master.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-04-21 16:05 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-21 9:03 [Bug tree-optimization/94683] New: ICE in forwprop when folding to a VEC_PERM_EXPR rsandifo at gcc dot gnu.org
2020-04-21 9:03 ` [Bug tree-optimization/94683] " rsandifo at gcc dot gnu.org
2020-04-21 15:11 ` cvs-commit at gcc dot gnu.org
2020-04-21 16:05 ` rsandifo at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).