[Bug target/104930] New: built-in function requires "-flax-vector-conversions" to get better warning

[linkw at gcc dot gnu.org]

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); }
      |                                 ^~~~~~~~~~~~~~~~~~~~~~