https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110795
Bug ID: 110795
Summary: Bad code gen for vector compare booleans
Product: gcc
Version: 13.1.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c
Assignee: unassigned at gcc dot gnu.org
Reporter: munroesj at gcc dot gnu.org
Target Milestone: ---
Created attachment 55626
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55626&action=edit
Test examples for vector code combinining vector compare combined with logical
or,
Combining a vec_cmplt and vec_cmpge with vector logical OR misscompiles.
For example:
// Capture the carry t as a bool using signed compare
t = vec_cmplt ((vi32_t) x, zeros);
ge = vec_cmpge (x, z);
// Combine t with (x >= z) for 33-bit compare
t = vec_or (ge, t);
This seems to work for the minimized example above but fails when used in the
more complex loop of the example vec_divduw_V1. At -O3 the compiler elides any
code generated for vec_cmplt.
With this bug the function vec_divduw_V1 (Vector_Divide double (words by)
unsigned word) fails the unit test.
