[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #12 from Richard Biener --- Author: rguenth Date: Thu Dec 5 09:45:46 2019 New Revision: 278991 URL: https://gcc.gnu.org/viewcvs?rev=278991=gcc=rev Log: 2019-12-05 Richard Biener PR tree-optimization/92803 *

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-05 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #10 from Jakub Jelinek --- Another testcase to consider (-O2 -mavx2): typedef double v4df __attribute__((vector_size (32))); typedef double v2df __attribute__((vector_size (16))); typedef short v16hi __attribute__((vector_size

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-05 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #9 from Richard Biener --- Created attachment 47425 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47425=edit my patch testing this, the testcases optimization check likely requires some other prerequestite from my tree.

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #8 from Richard Biener --- (In reply to Jakub Jelinek from comment #4) > Though, there is another issue, for the nelts 2 vectors > simplify_vector_constructor created code is actually larger than old code. > And, it might be

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 Richard Biener changed: What|Removed |Added Assignee|jakub at gcc dot gnu.org |rguenth at gcc dot gnu.org ---

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #6 from Richard Biener --- Hmm, I don't think it is fully correct. Let me dig in a bit.

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #4 from Jakub Jelinek --- Untested fix: --- gcc/tree-ssa-forwprop.c.jj 2019-12-03 20:21:30.554464396 +0100 +++ gcc/tree-ssa-forwprop.c 2019-12-04 17:48:36.351450274 +0100 @@ -2283,11 +2283,11 @@ simplify_vector_constructor

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #3 from Jakub Jelinek --- Reduced testcase with -O2 -mavx: typedef double v4df __attribute__((vector_size (32))); typedef double v2df __attribute__((vector_size (16))); v2df foo (v4df x, double *p, v2df y) { return (v2df) { x[3],

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 Martin Liška changed: What|Removed |Added Priority|P3 |P1 Status|UNCONFIRMED

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #2 from Martin Liška --- Created attachment 47421 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47421=edit test-case

[Bug tree-optimization/92803] [10 Regression] error: type mismatch in 'vec_perm_expr' since r278764

2019-12-04 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92803 --- Comment #1 from Martin Liška --- Created attachment 47420 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47420=edit test-case