[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 Alex Coplan changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #6 from Alex Coplan --- Fixed by Andre's r11-7135-g40c92180df970143249f3cd5056f8fb48a4d9333: commit 40c92180df970143249f3cd5056f8fb48a4d9333 Author: Andre Vieira Date: Mon Feb 8 16:04:18 2021 + middle-end/98974 - fixup after STMT_VINFO_VEC_STMTS rework This fixes up the nvectors parameter passed to vect_get_loop_mask in vectorizable_condition after the STMT_VINFO_VEC_STMTS rework. so closing as fixed.
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 --- Comment #5 from Alex Coplan --- I have a bisect in progress.
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 Richard Biener changed: What|Removed |Added CC||marxin at gcc dot gnu.org, ||rsandifo at gcc dot gnu.org Keywords||needs-bisection --- Comment #4 from Richard Biener --- Also gone latent (or fixed) now. I also know nothing about the loop masks code. Extracting a GIMPLE testcase from one of the broken revs maybe carries this over. We're vectorizing the last testcase with SVE now and not ICEing. So maybe it was really fixed, who knows (but I don't see any live stmts). Can somebody bisect what fixed this?
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104
--- Comment #3 from Alex Coplan ---
Seems to have gone latent for the previous testcases, but still ICEs for:
extern int a[];
extern long b[];
char c;
long d;
void e(_Bool f[], long g[]) {
for (int h; h; h += 1) {
a[h] = c < f[0];
b[h] = d ? d : g[h];
}
}
with -O1 -ftree-vectorize -march=armv8.2-a+sve.
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 akrl at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever confirmed|0 |1
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104
--- Comment #2 from Alex Coplan ---
For the related testcase:
int a, c, d, e;
long b;
void f() {
short g = a;
for (; c; c++) {
b &= a == 0 ? 1 : g / a;
d |= e;
}
}
with the same options on AArch64, we ICE with a similar (but not identical)
backtrace:
during GIMPLE pass: vect
test.c: In function 'f':
test.c:3:6: internal compiler error: in vect_get_loop_mask, at
tree-vect-loop.c:8868
3 | void f() {
| ^
0x10a45cc vect_get_loop_mask(gimple_stmt_iterator*, auto_vec*, unsigned int, tree_node*, unsigned int)
/home/alecop01/toolchain/src/gcc/gcc/tree-vect-loop.c:8867
0x1085843 vectorizable_condition
/home/alecop01/toolchain/src/gcc/gcc/tree-vect-stmts.c:10195
0x109b040 vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
/home/alecop01/toolchain/src/gcc/gcc/tree-vect-stmts.c:10831
0x10a1eb3 vect_transform_loop_stmt
/home/alecop01/toolchain/src/gcc/gcc/tree-vect-loop.c:9053
0x10bee28 vect_transform_loop(_loop_vec_info*, gimple*)
/home/alecop01/toolchain/src/gcc/gcc/tree-vect-loop.c:9475
0x10eb324 try_vectorize_loop_1
/home/alecop01/toolchain/src/gcc/gcc/tree-vectorizer.c:1091
0x10eba51 try_vectorize_loop
/home/alecop01/toolchain/src/gcc/gcc/tree-vectorizer.c:1148
0x10ebe2b vectorize_loops()
/home/alecop01/toolchain/src/gcc/gcc/tree-vectorizer.c:1229
0xf7843d execute
/home/alecop01/toolchain/src/gcc/gcc/tree-ssa-loop.c:414
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 Richard Biener changed: What|Removed |Added Priority|P3 |P1
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 --- Comment #1 from Richard Biener --- possibly latent if you turn the live operation into one stored to a loop variant and vectorized location - the loop wasn't vectorized before the cited rev.
[Bug tree-optimization/97104] [11 Regression] aarch64, SVE: ICE in vect_get_loop_mask since r11-3070-g783dc66f9cc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97104 Alex Coplan changed: What|Removed |Added Keywords||ice-on-valid-code Target||aarch64 Target Milestone|--- |11.0 Known to fail||11.0
