[Bug middle-end/101876] New: [290x] vector builtin vec_permi fails to resolve with #pragma GCC target

[mhillen at linux dot ibm.com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101876

            Bug ID: 101876
           Summary: [290x] vector builtin vec_permi fails to resolve with
                    #pragma GCC target
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mhillen at linux dot ibm.com
  Target Milestone: ---

When using #pragma GCC target("arch=z13,vx") to enable vectorization extensions
on s390x, __builtin_s390_vec_permi fails to resolve.


Example code:
#pragma GCC target("arch=z13,vx")

#include <vecintrin.h>

typedef unsigned long long v2di __attribute__((vector_size(16)));

v2di foo(char *ptr) {
    v2di v = *(v2di *)ptr;
    v = vec_permi(v, v, 0);
    return v;
}

Fails when compiled with gcc -c -march=zEC12, but compiles as expected with gcc
-march=z13