subject:"\[Bug tree\-optimization\/115629\] Inefficient if\-convert of masked conditionals"

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-07-03 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #9 from Richard Biener --- I think we sort-of agreed to have .MASK_LOAD to have inactive lanes zeroed but we never got around to formalizing that. Note AVX512 supports zero-masking for .MASK_STORE IIRC, not just merge. Same for .MA

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-07-02 Thread rsandifo at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 Richard Sandiford changed: What|Removed |Added CC||rsandifo at gcc dot gnu.org --- Com

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-07-02 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #7 from Richard Biener --- (In reply to Tamar Christina from comment #6) > (In reply to rguent...@suse.de from comment #5) > > > In this case, the second load is conditional on the first load mask, > > > which > > > means it's alre

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-07-01 Thread tnfchris at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #6 from Tamar Christina --- (In reply to rguent...@suse.de from comment #5) > > In this case, the second load is conditional on the first load mask, which > > means it's already done an AND. > > And crucially inverting it means you

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-07-01 Thread rguenther at suse dot de via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #5 from rguenther at suse dot de --- > Am 01.07.2024 um 12:10 schrieb tnfchris at gcc dot gnu.org > : > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 > > --- Comment #4 from Tamar Christina --- > (In reply to Richard Bie

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-07-01 Thread tnfchris at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #4 from Tamar Christina --- (In reply to Richard Biener from comment #3) > So we now tail-merge the two b[i] loading blocks. Can you check SVE > code-gen with this? If that fixes the PR consider adding a SVE testcase. Thanks, the

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-06-26 Thread rguenth at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #3 from Richard Biener --- So we now tail-merge the two b[i] loading blocks. Can you check SVE code-gen with this? If that fixes the PR consider adding a SVE testcase.

[Bug tree-optimization/115629] Inefficient if-convert of masked conditionals

2024-06-26 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115629 --- Comment #2 from GCC Commits --- The master branch has been updated by Richard Biener : https://gcc.gnu.org/g:629257bcb81434117f1e9c68479032563176dc0c commit r15-1662-g629257bcb81434117f1e9c68479032563176dc0c Author: Richard Biener Date: