https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104930
Bug ID: 104930 Summary: built-in function requires "-flax-vector-conversions" to get better warning Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: linkw at gcc dot gnu.org Target Milestone: --- ----- Test case ----- $cat new_test.c typedef vector unsigned int v4u; extern v4u vg; v4u testXXPERMDI(void) { return __builtin_vsx_xxpermdi(vg, vg); } ----- Option ----- -mcpu=power9 === GCC emits: new_test.c: In function ‘testXXPERMDI’: new_test.c:5:1: note: use ‘-flax-vector-conversions’ to permit conversions between vectors with differing element types or numbers of subparts 5 | v4u testXXPERMDI(void) { return __builtin_vsx_xxpermdi(vg, vg); } | ^~~ new_test.c:5:56: error: incompatible type for argument 1 of ‘__builtin_vsx_xxpermdi’ 5 | v4u testXXPERMDI(void) { return __builtin_vsx_xxpermdi(vg, vg); } | ^~ | | | v4u {aka __vector(4) unsigned int} new_test.c:5:56: note: expected ‘__vector signed char’ {aka ‘__vector(16) signed cha ’} but argument is of type ‘v4u’ {aka ‘__vector(4) unsigned int’} new_test.c:5:60: error: incompatible type for argument 2 of ‘__builtin_vsx_xxpermdi’ 5 | v4u testXXPERMDI(void) { return __builtin_vsx_xxpermdi(vg, vg); } | ^~ | | | v4u {aka __vector(4) unsigned int} new_test.c:5:60: note: expected ‘__vector signed char’ {aka ‘__vector(16) signed cha ’} but argument is of type ‘v4u’ {aka ‘__vector(4) unsigned int’} new_test.c:5:33: error: too few arguments to function ‘__builtin_vsx_xxpermdi’ 5 | v4u testXXPERMDI(void) { return __builtin_vsx_xxpermdi(vg, vg); } | ^~~~~~~~~~~~~~~~~~~~~~ But with r12-5751-gc9dd01314d8467, it only has: new_test.c: In function ‘testXXPERMDI’: new_test.c:5:33: error: too few arguments to function ‘__builtin_vsx_xxpermdi’ 5 | v4u testXXPERMDI(void) { return __builtin_vsx_xxpermdi(vg, vg); } | ^~~~~~~~~~~~~~~~~~~~~~