Viewing file:  pr100270_1.c (3.48 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-options "-msve-vector-bits=256" } */
#include <arm_sve.h>
typedef svint32_t vls_svint32_t __attribute__((arm_sve_vector_bits(256)));
typedef svuint32_t vls_svuint32_t __attribute__((arm_sve_vector_bits(256)));
typedef int32_t gnu_svint32_t __attribute__((vector_size(32)));
typedef uint32_t gnu_svuint32_t __attribute__((vector_size(32)));
#define X_gnu_svint32_t 1
#define X_gnu_svuint32_t 2
#define X_vls_svint32_t 3
#define X_vls_svuint32_t 4
#define CHECK(T) T: X_##T
#define CHECK_TYPE(EXPR, TYPE) \
do { \
int x[_Generic (EXPR, \
CHECK (gnu_svint32_t), \
CHECK (gnu_svuint32_t), \
CHECK (vls_svint32_t), \
CHECK (vls_svuint32_t), \
default : 0) == X_##TYPE ? 1 : -1]; \
} while (0)
void
f (gnu_svint32_t sg, gnu_svuint32_t ug, vls_svint32_t sn, vls_svuint32_t un, int c)
{
CHECK_TYPE (sg, gnu_svint32_t);
CHECK_TYPE (ug, gnu_svuint32_t);
CHECK_TYPE (sn, vls_svint32_t);
CHECK_TYPE (un, vls_svuint32_t);
CHECK_TYPE (sg + 1, gnu_svint32_t);
CHECK_TYPE (ug + 1, gnu_svuint32_t);
CHECK_TYPE (sn + 1, vls_svint32_t);
CHECK_TYPE (un + 1, vls_svuint32_t);
CHECK_TYPE (1 + sg, gnu_svint32_t);
CHECK_TYPE (1 + ug, gnu_svuint32_t);
CHECK_TYPE (1 + sn, vls_svint32_t);
CHECK_TYPE (1 + un, vls_svuint32_t);
CHECK_TYPE (sg + sg, gnu_svint32_t);
CHECK_TYPE (ug + ug, gnu_svuint32_t);
CHECK_TYPE (sn + sn, vls_svint32_t);
CHECK_TYPE (un + un, vls_svuint32_t);
/* Traditional behavior for mixed signs is to pick the signedness of the
first operand. We don't have any Arm-specific reason for preferring that
behavior. */
CHECK_TYPE (sg + ug, gnu_svint32_t);
CHECK_TYPE (ug + sg, gnu_svuint32_t);
CHECK_TYPE (sn + un, vls_svint32_t);
CHECK_TYPE (un + sn, vls_svuint32_t);
CHECK_TYPE (c ? sg + sg : sg, gnu_svint32_t);
CHECK_TYPE (c ? ug + ug : ug, gnu_svuint32_t);
CHECK_TYPE (c ? sn + sn : sn, vls_svint32_t);
CHECK_TYPE (c ? un + un : un, vls_svuint32_t);
CHECK_TYPE (c ? sg + 1 : sg, gnu_svint32_t);
CHECK_TYPE (c ? ug + 1 : ug, gnu_svuint32_t);
CHECK_TYPE (c ? sn + 1 : sn, vls_svint32_t);
CHECK_TYPE (c ? un + 1 : un, vls_svuint32_t);
CHECK_TYPE (c ? 1 + sg : sg, gnu_svint32_t);
CHECK_TYPE (c ? 1 + ug : ug, gnu_svuint32_t);
CHECK_TYPE (c ? 1 + sn : sn, vls_svint32_t);
CHECK_TYPE (c ? 1 + un : un, vls_svuint32_t);
CHECK_TYPE (c ? sg : sg + sg, gnu_svint32_t);
CHECK_TYPE (c ? ug : ug + ug, gnu_svuint32_t);
CHECK_TYPE (c ? sn : sn + sn, vls_svint32_t);
CHECK_TYPE (c ? un : un + un, vls_svuint32_t);
CHECK_TYPE (c ? sg : sg + 1, gnu_svint32_t);
CHECK_TYPE (c ? ug : ug + 1, gnu_svuint32_t);
CHECK_TYPE (c ? sn : sn + 1, vls_svint32_t);
CHECK_TYPE (c ? un : un + 1, vls_svuint32_t);
CHECK_TYPE (c ? sg : 1 + sg, gnu_svint32_t);
CHECK_TYPE (c ? ug : 1 + ug, gnu_svuint32_t);
CHECK_TYPE (c ? sn : 1 + sn, vls_svint32_t);
CHECK_TYPE (c ? un : 1 + un, vls_svuint32_t);
CHECK_TYPE (c ? sg + sg : sg + sg, gnu_svint32_t);
CHECK_TYPE (c ? ug + ug : ug + ug, gnu_svuint32_t);
CHECK_TYPE (c ? sn + sn : sn + sn, vls_svint32_t);
CHECK_TYPE (c ? un + un : un + un, vls_svuint32_t);
CHECK_TYPE (c ? sg + sg : sg + 1, gnu_svint32_t);
CHECK_TYPE (c ? ug + ug : ug + 1, gnu_svuint32_t);
CHECK_TYPE (c ? sn + sn : sn + 1, vls_svint32_t);
CHECK_TYPE (c ? un + un : un + 1, vls_svuint32_t);
CHECK_TYPE (c ? 1 + sg : sg + sg, gnu_svint32_t);
CHECK_TYPE (c ? 1 + ug : ug + ug, gnu_svuint32_t);
CHECK_TYPE (c ? 1 + sn : sn + sn, vls_svint32_t);
CHECK_TYPE (c ? 1 + un : un + un, vls_svuint32_t);
}
|
