clang/test/Sema/riscv-rvv-lax-vector-conversions.c

   1 // RUN: %clang_cc1 -triple riscv64-none-linux-gnu -target-feature +f -target-feature +d -target-feature +zve64d -mvscale-min=8 -mvscale-max=8 -flax-vector-conversions=none -ffreestanding -fsyntax-only -verify=lax-vector-none %s
   2 // RUN: %clang_cc1 -triple riscv64-none-linux-gnu -target-feature +f -target-feature +d -target-feature +zve64d -mvscale-min=8 -mvscale-max=8 -flax-vector-conversions=integer -ffreestanding -fsyntax-only -verify=lax-vector-integer %s
   3 // RUN: %clang_cc1 -triple riscv64-none-linux-gnu -target-feature +f -target-feature +d -target-feature +zve64d -mvscale-min=8 -mvscale-max=8 -flax-vector-conversions=all -ffreestanding -fsyntax-only -verify=lax-vector-all %s
   4
   5 // REQUIRES: riscv-registered-target
   6
   7 #define RVV_FIXED_ATTR __attribute__((riscv_rvv_vector_bits(__riscv_v_fixed_vlen)))
   8 #define GNU_FIXED_ATTR __attribute__((vector_size(__riscv_v_fixed_vlen / 8)))
   9
  10 typedef __rvv_int8m1_t vint8m1_t;
  11 typedef __rvv_uint8m1_t vuint8m1_t;
  12 typedef __rvv_int16m1_t vint16m1_t;
  13 typedef __rvv_uint16m1_t vuint16m1_t;
  14 typedef __rvv_int32m1_t vint32m1_t;
  15 typedef __rvv_uint32m1_t vuint32m1_t;
  16 typedef __rvv_int64m1_t vint64m1_t;
  17 typedef __rvv_uint64m1_t vuint64m1_t;
  18 typedef __rvv_float32m1_t vfloat32m1_t;
  19 typedef __rvv_float64m1_t vfloat64m1_t;
  20
  21 typedef __rvv_int64m2_t vint64m2_t;
  22
  23 typedef vfloat32m1_t rvv_fixed_float32m1_t RVV_FIXED_ATTR;
  24 typedef vint32m1_t rvv_fixed_int32m1_t RVV_FIXED_ATTR;
  25 typedef float gnu_fixed_float32m1_t GNU_FIXED_ATTR;
  26 typedef int gnu_fixed_int32m1_t GNU_FIXED_ATTR;
  27
  28 void rvv_allowed_with_integer_lax_conversions() {
  29   rvv_fixed_int32m1_t fi32;
  30   vint64m1_t si64;
  31
  32   // The implicit cast here should fail if -flax-vector-conversions=none, but pass if
  33   // -flax-vector-conversions={integer,all}.
  34   fi32 = si64;
  35   // lax-vector-none-error@-1 {{assigning to 'rvv_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  36   // lax-vector-integer-error@-2 {{assigning to 'rvv_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  37   // lax-vector-all-error@-3 {{assigning to 'rvv_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  38   si64 = fi32;
  39   // lax-vector-none-error@-1 {{assigning to 'vint64m1_t' (aka '__rvv_int64m1_t') from incompatible type}}
  40   // lax-vector-integer-error@-2 {{assigning to 'vint64m1_t' (aka '__rvv_int64m1_t') from incompatible type}}
  41   // lax-vector-all-error@-3 {{assigning to 'vint64m1_t' (aka '__rvv_int64m1_t') from incompatible type}}
  42 }
  43
  44 void rvv_allowed_with_all_lax_conversions() {
  45   rvv_fixed_float32m1_t ff32;
  46   vfloat64m1_t sf64;
  47
  48   // The implicit cast here should fail if -flax-vector-conversions={none,integer}, but pass if
  49   // -flax-vector-conversions=all.
  50   ff32 = sf64;
  51   // lax-vector-none-error@-1 {{assigning to 'rvv_fixed_float32m1_t' (vector of 16 'float' values) from incompatible type}}
  52   // lax-vector-integer-error@-2 {{assigning to 'rvv_fixed_float32m1_t' (vector of 16 'float' values) from incompatible type}}
  53   // lax-vector-all-error@-3 {{assigning to 'rvv_fixed_float32m1_t' (vector of 16 'float' values) from incompatible type}}
  54   sf64 = ff32;
  55   // lax-vector-none-error@-1 {{assigning to 'vfloat64m1_t' (aka '__rvv_float64m1_t') from incompatible type}}
  56   // lax-vector-integer-error@-2 {{assigning to 'vfloat64m1_t' (aka '__rvv_float64m1_t') from incompatible type}}
  57   // lax-vector-all-error@-3 {{assigning to 'vfloat64m1_t' (aka '__rvv_float64m1_t') from incompatible type}}
  58 }
  59
  60 void gnu_allowed_with_integer_lax_conversions() {
  61   gnu_fixed_int32m1_t fi32;
  62   vint64m1_t si64;
  63
  64   // The implicit cast here should fail if -flax-vector-conversions=none, but pass if
  65   // -flax-vector-conversions={integer,all}.
  66   fi32 = si64;
  67   // lax-vector-none-error@-1 {{assigning to 'gnu_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  68   si64 = fi32;
  69   // lax-vector-none-error@-1 {{assigning to 'vint64m1_t' (aka '__rvv_int64m1_t') from incompatible type}}
  70 }
  71
  72 void gnu_allowed_with_all_lax_conversions() {
  73   gnu_fixed_float32m1_t ff32;
  74   vfloat64m1_t sf64;
  75
  76   // The implicit cast here should fail if -flax-vector-conversions={none,integer}, but pass if
  77   // -flax-vector-conversions=all.
  78   ff32 = sf64;
  79   // lax-vector-none-error@-1 {{assigning to 'gnu_fixed_float32m1_t' (vector of 16 'float' values) from incompatible type}}
  80   // lax-vector-integer-error@-2 {{assigning to 'gnu_fixed_float32m1_t' (vector of 16 'float' values) from incompatible type}}
  81   sf64 = ff32;
  82   // lax-vector-none-error@-1 {{assigning to 'vfloat64m1_t' (aka '__rvv_float64m1_t') from incompatible type}}
  83   // lax-vector-integer-error@-2 {{assigning to 'vfloat64m1_t' (aka '__rvv_float64m1_t') from incompatible type}}
  84 }
  85
  86 void not_allowed() {
  87   rvv_fixed_int32m1_t fi32m1;
  88   vint64m2_t si64m2;
  89
  90   fi32m1 = si64m2;
  91   // lax-vector-none-error@-1 {{assigning to 'rvv_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  92   // lax-vector-integer-error@-2 {{assigning to 'rvv_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  93   // lax-vector-all-error@-3 {{assigning to 'rvv_fixed_int32m1_t' (vector of 16 'int' values) from incompatible type}}
  94   si64m2 = fi32m1;
  95   // lax-vector-none-error@-1 {{assigning to 'vint64m2_t' (aka '__rvv_int64m2_t') from incompatible type}}
  96   // lax-vector-integer-error@-2 {{assigning to 'vint64m2_t' (aka '__rvv_int64m2_t') from incompatible type}}
  97   // lax-vector-all-error@-3 {{assigning to 'vint64m2_t' (aka '__rvv_int64m2_t') from incompatible type}}
  98 }