[Bug target/101614] New: [s390] vec_signed requires z15, docs say z13

[Bug target/101614] New: [s390] vec_signed requires z15, docs say z13

[evan@coeus-group.com]

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

            Bug ID: 101614
           Summary: [s390] vec_signed requires z15, docs say z13
           Product: gcc
           Version: 11.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: evan@coeus-group.com
  Target Milestone: ---

Documentation:
https://www.ibm.com/docs/en/zos/2.4.0?topic=conversion-vec-signed-vector-convert-floating-point-signed

Quick test case:


$ cat signed.c
#include <vecintrin.h>

__vector signed int
foo(__vector float a) {
  #if __ARCH__ >= 11 /* 11 = z13 */
    return vec_signed(a);
  #else
    return __builtin_convertvector(a, __vector signed int);
  #endif
}
$ s390x-linux-gnu-gcc -march=z13 -mzvector -c -o signed.o signed.c
In file included from signed.c:1:
signed.c: In function ‘foo’:
signed.c:6:12: error: Builtin ‘__builtin_s390_vcfeb’ requires z15 or higher.
    6 |     return vec_signed(a);
      |

[Bug target/101614] [s390] vec_signed requires z15, docs say z13

[evan@coeus-group.com]

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

Evan Nemerson <evan@coeus-group.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from Evan Nemerson <evan@coeus-group.com> ---
Never mind; the ARCH in the documentation refers to the same value as __ARCH__,
not -march=zN