[Bug tree-optimization/119196] Missed folding of vector comparisons

2025-04-04 Thread victorldn at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119196 --- Comment #3 from Victor Do Nascimento --- The s/INTEGRAL_TYPE_P/ANY_INTEGRAL_TYPE_P/ change gets us part of the way there. We also need to make sure that in our call to `generic_simplify' we're passing in the original vector comparisons (e.

[Bug tree-optimization/119196] Missed folding of vector comparisons

2025-03-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119196 --- Comment #1 from Andrew Pinski --- Confirmed. In fre we have: _3 = _1 < _2; _7 = _1 == _2; _26 = _3 | _7; Note the T definition is enough for this is just: typedef int T1; typedef __attribute__((vector_size(sizeof(T1 T1 T;

[Bug tree-optimization/119196] Missed folding of vector comparisons

2025-03-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119196 Andrew Pinski changed: What|Removed |Added CC||pinskia at gcc dot gnu.org Se

[Bug tree-optimization/119196] Missed folding of vector comparisons

2025-03-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119196 --- Comment #2 from Andrew Pinski --- The scalar is handled by match: (for code1 (eq ne) (for code2 (eq ne lt gt le ge) (simplify (bit_ior:c (code1:c@3 @0 @1) (code2:c@4 (convert?@c0 @0) @2)) (if ((TREE_CODE (@1) == INTEGER_CST

[Bug tree-optimization/119196] Missed folding of vector comparisons

2025-03-10 Thread rearnsha at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119196 Richard Earnshaw changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|