clang/test/Sema/aarch64-sve-vector-shift-ops.c

   1 // RUN: %clang_cc1 -verify -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only %s
   2
   3 // REQUIRES: aarch64-registered-target
   4
   5 #include <arm_sve.h>
   6
   7 void lshift(svint8_t i8, svint16_t i16, svint32_t i32, svint64_t i64,
   8             svuint8_t u8, svuint16_t u16, svuint32_t u32, svuint64_t u64,
   9             svfloat16_t f16, svfloat32_t f32, svfloat64_t f64,
  10             svbool_t b) {
  11   (void)(b << b); // expected-error{{invalid operands to binary expression}}
  12
  13   (void)(i8 << b);   // expected-error{{invalid operands to binary expression}}
  14   (void)(i8 << i16); // expected-error{{invalid operands to binary expression}}
  15   (void)(i8 << i32); // expected-error{{invalid operands to binary expression}}
  16   (void)(i8 << i64); // expected-error{{invalid operands to binary expression}}
  17   (void)(i8 << u16); // expected-error{{invalid operands to binary expression}}
  18   (void)(i8 << u32); // expected-error{{invalid operands to binary expression}}
  19   (void)(i8 << u64); // expected-error{{invalid operands to binary expression}}
  20   (void)(i8 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  21   (void)(i8 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
  22   (void)(i8 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
  23   (void)(i8 << 0.f); // expected-error{{used type 'float' where integer is required}}
  24   (void)(i8 << 0.);  // expected-error{{used type 'double' where integer is required}}
  25
  26   (void)(u8 << b);   // expected-error{{invalid operands to binary expression}}
  27   (void)(u8 << i16); // expected-error{{invalid operands to binary expression}}
  28   (void)(u8 << i32); // expected-error{{invalid operands to binary expression}}
  29   (void)(u8 << i64); // expected-error{{invalid operands to binary expression}}
  30   (void)(u8 << u16); // expected-error{{invalid operands to binary expression}}
  31   (void)(u8 << u32); // expected-error{{invalid operands to binary expression}}
  32   (void)(u8 << u64); // expected-error{{invalid operands to binary expression}}
  33   (void)(u8 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  34   (void)(u8 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
  35   (void)(u8 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
  36   (void)(u8 << 0.f); // expected-error{{used type 'float' where integer is required}}
  37   (void)(u8 << 0.);  // expected-error{{used type 'double' where integer is required}}
  38
  39   (void)(i16 << b);   // expected-error{{invalid operands to binary expression}}
  40   (void)(i16 << i8);  // expected-error{{invalid operands to binary expression}}
  41   (void)(i16 << i32); // expected-error{{invalid operands to binary expression}}
  42   (void)(i16 << i64); // expected-error{{invalid operands to binary expression}}
  43   (void)(i16 << u8);  // expected-error{{invalid operands to binary expression}}
  44   (void)(i16 << u32); // expected-error{{invalid operands to binary expression}}
  45   (void)(i16 << u64); // expected-error{{invalid operands to binary expression}}
  46   (void)(i16 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  47   (void)(i16 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
  48   (void)(i16 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
  49   (void)(i16 << 0.f); // expected-error{{used type 'float' where integer is required}}
  50   (void)(i16 << 0.);  // expected-error{{used type 'double' where integer is required}}
  51
  52   (void)(u16 << b);   // expected-error{{invalid operands to binary expression}}
  53   (void)(u16 << i8);  // expected-error{{invalid operands to binary expression}}
  54   (void)(u16 << i32); // expected-error{{invalid operands to binary expression}}
  55   (void)(u16 << i64); // expected-error{{invalid operands to binary expression}}
  56   (void)(u16 << u8);  // expected-error{{invalid operands to binary expression}}
  57   (void)(u16 << u32); // expected-error{{invalid operands to binary expression}}
  58   (void)(u16 << u64); // expected-error{{invalid operands to binary expression}}
  59   (void)(u16 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  60   (void)(u16 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
  61   (void)(u16 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
  62   (void)(u16 << 0.f); // expected-error{{used type 'float' where integer is required}}
  63   (void)(u16 << 0.);  // expected-error{{used type 'double' where integer is required}}
  64
  65   (void)(i32 << b);   // expected-error{{invalid operands to binary expression}}
  66   (void)(i32 << i8);  // expected-error{{invalid operands to binary expression}}
  67   (void)(i32 << i16); // expected-error{{invalid operands to binary expression}}
  68   (void)(i32 << i64); // expected-error{{invalid operands to binary expression}}
  69   (void)(i32 << u8);  // expected-error{{invalid operands to binary expression}}
  70   (void)(i32 << u16); // expected-error{{invalid operands to binary expression}}
  71   (void)(i32 << u64); // expected-error{{invalid operands to binary expression}}
  72   (void)(i32 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  73   (void)(i32 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
  74   (void)(i32 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
  75   (void)(i32 << 0.f); // expected-error{{used type 'float' where integer is required}}
  76   (void)(i32 << 0.);  // expected-error{{used type 'double' where integer is required}}
  77
  78   (void)(u32 << b);   // expected-error{{invalid operands to binary expression}}
  79   (void)(u32 << i8);  // expected-error{{invalid operands to binary expression}}
  80   (void)(u32 << i16); // expected-error{{invalid operands to binary expression}}
  81   (void)(u32 << i64); // expected-error{{invalid operands to binary expression}}
  82   (void)(u32 << u8);  // expected-error{{invalid operands to binary expression}}
  83   (void)(u32 << u16); // expected-error{{invalid operands to binary expression}}
  84   (void)(u32 << u64); // expected-error{{invalid operands to binary expression}}
  85   (void)(u32 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  86   (void)(u32 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
  87   (void)(u32 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
  88   (void)(u32 << 0.f); // expected-error{{used type 'float' where integer is required}}
  89   (void)(u32 << 0.);  // expected-error{{used type 'double' where integer is required}}
  90
  91   (void)(i64 << b);   // expected-error{{invalid operands to binary expression}}
  92   (void)(i64 << i8);  // expected-error{{invalid operands to binary expression}}
  93   (void)(i64 << i16); // expected-error{{invalid operands to binary expression}}
  94   (void)(i64 << i32); // expected-error{{invalid operands to binary expression}}
  95   (void)(i64 << u8);  // expected-error{{invalid operands to binary expression}}
  96   (void)(i64 << u16); // expected-error{{invalid operands to binary expression}}
  97   (void)(i64 << u32); // expected-error{{invalid operands to binary expression}}
  98   (void)(i64 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
  99   (void)(i64 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 100   (void)(i64 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 101   (void)(i64 << 0.f); // expected-error{{used type 'float' where integer is required}}
 102   (void)(i64 << 0.);  // expected-error{{used type 'double' where integer is required}}
 103
 104   (void)(u64 << b);   // expected-error{{invalid operands to binary expression}}
 105   (void)(u64 << i8);  // expected-error{{invalid operands to binary expression}}
 106   (void)(u64 << i16); // expected-error{{invalid operands to binary expression}}
 107   (void)(u64 << i32); // expected-error{{invalid operands to binary expression}}
 108   (void)(u64 << u8);  // expected-error{{invalid operands to binary expression}}
 109   (void)(u64 << u16); // expected-error{{invalid operands to binary expression}}
 110   (void)(u64 << u32); // expected-error{{invalid operands to binary expression}}
 111   (void)(u64 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 112   (void)(u64 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 113   (void)(u64 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 114   (void)(u64 << 0.f); // expected-error{{used type 'float' where integer is required}}
 115   (void)(u64 << 0.);  // expected-error{{used type 'double' where integer is required}}
 116
 117   (void)(f16 << b);   // expected-error{{invalid operands to binary expression}}
 118   (void)(f16 << i8);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 119   (void)(f16 << i16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 120   (void)(f16 << i32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 121   (void)(f16 << i64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 122   (void)(f16 << u8);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 123   (void)(f16 << u32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 124   (void)(f16 << u64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 125   (void)(f16 << f32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 126   (void)(f16 << f64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 127   (void)(f16 << 0.f); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 128   (void)(f16 << 0.);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 129
 130   (void)(f32 << b);   // expected-error{{invalid operands to binary expression}}
 131   (void)(f32 << i8);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 132   (void)(f32 << i16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 133   (void)(f32 << i32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 134   (void)(f32 << i64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 135   (void)(f32 << u8);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 136   (void)(f32 << u16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 137   (void)(f32 << u64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 138   (void)(f32 << f16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 139   (void)(f32 << f64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 140   (void)(f32 << 0.);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 141
 142   (void)(f64 << b);   // expected-error{{invalid operands to binary expression}}
 143   (void)(f64 << i8);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 144   (void)(f64 << i16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 145   (void)(f64 << i32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 146   (void)(f64 << i64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 147   (void)(f64 << u8);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 148   (void)(f64 << u16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 149   (void)(f64 << u32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 150   (void)(f64 << f16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 151   (void)(f64 << f32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 152   (void)(f64 << 0.f); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 153
 154   (void)(b << i8);   // expected-error{{invalid operands to binary expression}}
 155   (void)(i16 << i8); // expected-error{{invalid operands to binary expression}}
 156   (void)(i32 << i8); // expected-error{{invalid operands to binary expression}}
 157   (void)(i64 << i8); // expected-error{{invalid operands to binary expression}}
 158   (void)(u16 << i8); // expected-error{{invalid operands to binary expression}}
 159   (void)(u32 << i8); // expected-error{{invalid operands to binary expression}}
 160   (void)(u64 << i8); // expected-error{{invalid operands to binary expression}}
 161   (void)(f16 << i8); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 162   (void)(f32 << i8); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 163   (void)(f64 << i8); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 164   (void)(0.f << i8); // expected-error{{used type 'float' where integer is required}}
 165   (void)(0. << i8);  // expected-error{{used type 'double' where integer is required}}
 166
 167   (void)(b << u8);   // expected-error{{invalid operands to binary expression}}
 168   (void)(i16 << u8); // expected-error{{invalid operands to binary expression}}
 169   (void)(i32 << u8); // expected-error{{invalid operands to binary expression}}
 170   (void)(i64 << u8); // expected-error{{invalid operands to binary expression}}
 171   (void)(u16 << u8); // expected-error{{invalid operands to binary expression}}
 172   (void)(u32 << u8); // expected-error{{invalid operands to binary expression}}
 173   (void)(u64 << u8); // expected-error{{invalid operands to binary expression}}
 174   (void)(f16 << u8); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 175   (void)(f32 << u8); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 176   (void)(f64 << u8); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 177   (void)(0.f << u8); // expected-error{{used type 'float' where integer is required}}
 178   (void)(0. << u8);  // expected-error{{used type 'double' where integer is required}}
 179
 180   (void)(b << i16);   // expected-error{{invalid operands to binary expression}}
 181   (void)(i8 << i16);  // expected-error{{invalid operands to binary expression}}
 182   (void)(i32 << i16); // expected-error{{invalid operands to binary expression}}
 183   (void)(i64 << i16); // expected-error{{invalid operands to binary expression}}
 184   (void)(u8 << i16);  // expected-error{{invalid operands to binary expression}}
 185   (void)(u32 << i16); // expected-error{{invalid operands to binary expression}}
 186   (void)(u64 << i16); // expected-error{{invalid operands to binary expression}}
 187   (void)(f16 << i16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 188   (void)(f32 << i16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 189   (void)(f64 << i16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 190   (void)(0.f << i16); // expected-error{{used type 'float' where integer is required}}
 191   (void)(0. << i16);  // expected-error{{used type 'double' where integer is required}}
 192
 193   (void)(b << u16);   // expected-error{{invalid operands to binary expression}}
 194   (void)(i8 << u16);  // expected-error{{invalid operands to binary expression}}
 195   (void)(i32 << u16); // expected-error{{invalid operands to binary expression}}
 196   (void)(i64 << u16); // expected-error{{invalid operands to binary expression}}
 197   (void)(u8 << u16);  // expected-error{{invalid operands to binary expression}}
 198   (void)(u32 << u16); // expected-error{{invalid operands to binary expression}}
 199   (void)(u64 << u16); // expected-error{{invalid operands to binary expression}}
 200   (void)(f16 << u16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 201   (void)(f32 << u16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 202   (void)(f64 << u16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 203   (void)(0.f << u16); // expected-error{{used type 'float' where integer is required}}
 204   (void)(0. << u16);  // expected-error{{used type 'double' where integer is required}}
 205
 206   (void)(b << i32);   // expected-error{{invalid operands to binary expression}}
 207   (void)(i8 << i32);  // expected-error{{invalid operands to binary expression}}
 208   (void)(i16 << i32); // expected-error{{invalid operands to binary expression}}
 209   (void)(i64 << i32); // expected-error{{invalid operands to binary expression}}
 210   (void)(u8 << i32);  // expected-error{{invalid operands to binary expression}}
 211   (void)(u16 << i32); // expected-error{{invalid operands to binary expression}}
 212   (void)(u64 << i32); // expected-error{{invalid operands to binary expression}}
 213   (void)(f16 << i32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 214   (void)(f32 << i32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 215   (void)(f64 << i32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 216   (void)(0.f << i32); // expected-error{{used type 'float' where integer is required}}
 217   (void)(0. << i32);  // expected-error{{used type 'double' where integer is required}}
 218
 219   (void)(b << u32);   // expected-error{{invalid operands to binary expression}}
 220   (void)(i8 << u32);  // expected-error{{invalid operands to binary expression}}
 221   (void)(i16 << u32); // expected-error{{invalid operands to binary expression}}
 222   (void)(i64 << u32); // expected-error{{invalid operands to binary expression}}
 223   (void)(u8 << u32);  // expected-error{{invalid operands to binary expression}}
 224   (void)(u16 << u32); // expected-error{{invalid operands to binary expression}}
 225   (void)(u64 << u32); // expected-error{{invalid operands to binary expression}}
 226   (void)(f16 << u32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 227   (void)(f32 << u32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 228   (void)(f64 << u32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 229   (void)(0.f << u32); // expected-error{{used type 'float' where integer is required}}
 230   (void)(0. << u32);  // expected-error{{used type 'double' where integer is required}}
 231
 232   (void)(b << i64);   // expected-error{{invalid operands to binary expression}}
 233   (void)(i8 << i64);  // expected-error{{invalid operands to binary expression}}
 234   (void)(i16 << i64); // expected-error{{invalid operands to binary expression}}
 235   (void)(i32 << i64); // expected-error{{invalid operands to binary expression}}
 236   (void)(u8 << i64);  // expected-error{{invalid operands to binary expression}}
 237   (void)(u16 << i64); // expected-error{{invalid operands to binary expression}}
 238   (void)(u32 << i64); // expected-error{{invalid operands to binary expression}}
 239   (void)(f16 << i64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 240   (void)(f32 << i64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 241   (void)(f64 << i64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 242   (void)(0.f << i64); // expected-error{{used type 'float' where integer is required}}
 243   (void)(0. << i64);  // expected-error{{used type 'double' where integer is required}}
 244
 245   (void)(b << u64);   // expected-error{{invalid operands to binary expression}}
 246   (void)(i8 << u64);  // expected-error{{invalid operands to binary expression}}
 247   (void)(i16 << u64); // expected-error{{invalid operands to binary expression}}
 248   (void)(i32 << u64); // expected-error{{invalid operands to binary expression}}
 249   (void)(u8 << u64);  // expected-error{{invalid operands to binary expression}}
 250   (void)(u16 << u64); // expected-error{{invalid operands to binary expression}}
 251   (void)(u32 << u64); // expected-error{{invalid operands to binary expression}}
 252   (void)(f16 << u64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 253   (void)(f32 << u64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 254   (void)(f64 << u64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 255   (void)(0.f << u64); // expected-error{{used type 'float' where integer is required}}
 256   (void)(0. << u64);  // expected-error{{used type 'double' where integer is required}}
 257
 258   (void)(b << f16);   // expected-error{{invalid operands to binary expression}}
 259   (void)(i8 << f16);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 260   (void)(i16 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 261   (void)(i32 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 262   (void)(i64 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 263   (void)(u8 << f16);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 264   (void)(u32 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 265   (void)(u64 << f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 266   (void)(f32 << f16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 267   (void)(f64 << f16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 268   (void)(0.f << f16); // expected-error{{used type 'float' where integer is required}}
 269   (void)(0. << f16);  // expected-error{{used type 'double' where integer is required}}
 270
 271   (void)(b << f32);   // expected-error{{invalid operands to binary expression}}
 272   (void)(i8 << f32);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 273   (void)(i16 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 274   (void)(i32 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 275   (void)(i64 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 276   (void)(u8 << f32);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 277   (void)(u16 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 278   (void)(u64 << f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 279   (void)(f16 << f32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 280   (void)(f64 << f32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 281   (void)(0. << f32);  // expected-error{{used type 'double' where integer is required}}
 282
 283   (void)(b << f64);   // expected-error{{invalid operands to binary expression}}
 284   (void)(i8 << f64);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 285   (void)(i16 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 286   (void)(i32 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 287   (void)(i64 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 288   (void)(u8 << f64);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 289   (void)(u16 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 290   (void)(u32 << f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 291   (void)(f16 << f64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 292   (void)(f32 << f64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 293   (void)(0.f << f64); // expected-error{{used type 'float' where integer is required}}
 294 }
 295
 296 void rshift(svint8_t i8, svint16_t i16, svint32_t i32, svint64_t i64,
 297             svuint8_t u8, svuint16_t u16, svuint32_t u32, svuint64_t u64,
 298             svfloat16_t f16, svfloat32_t f32, svfloat64_t f64,
 299             svbool_t b) {
 300   (void)(b >> b); // expected-error{{invalid operands to binary expression}}
 301
 302   (void)(i8 >> b);   // expected-error{{invalid operands to binary expression}}
 303   (void)(i8 >> i16); // expected-error{{invalid operands to binary expression}}
 304   (void)(i8 >> i32); // expected-error{{invalid operands to binary expression}}
 305   (void)(i8 >> i64); // expected-error{{invalid operands to binary expression}}
 306   (void)(i8 >> u16); // expected-error{{invalid operands to binary expression}}
 307   (void)(i8 >> u32); // expected-error{{invalid operands to binary expression}}
 308   (void)(i8 >> u64); // expected-error{{invalid operands to binary expression}}
 309   (void)(i8 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 310   (void)(i8 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 311   (void)(i8 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 312   (void)(i8 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 313   (void)(i8 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 314
 315   (void)(u8 >> b);   // expected-error{{invalid operands to binary expression}}
 316   (void)(u8 >> i16); // expected-error{{invalid operands to binary expression}}
 317   (void)(u8 >> i32); // expected-error{{invalid operands to binary expression}}
 318   (void)(u8 >> i64); // expected-error{{invalid operands to binary expression}}
 319   (void)(u8 >> u16); // expected-error{{invalid operands to binary expression}}
 320   (void)(u8 >> u32); // expected-error{{invalid operands to binary expression}}
 321   (void)(u8 >> u64); // expected-error{{invalid operands to binary expression}}
 322   (void)(u8 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 323   (void)(u8 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 324   (void)(u8 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 325   (void)(u8 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 326   (void)(u8 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 327
 328   (void)(i16 >> b);   // expected-error{{invalid operands to binary expression}}
 329   (void)(i16 >> i8);  // expected-error{{invalid operands to binary expression}}
 330   (void)(i16 >> i32); // expected-error{{invalid operands to binary expression}}
 331   (void)(i16 >> i64); // expected-error{{invalid operands to binary expression}}
 332   (void)(i16 >> u8);  // expected-error{{invalid operands to binary expression}}
 333   (void)(i16 >> u32); // expected-error{{invalid operands to binary expression}}
 334   (void)(i16 >> u64); // expected-error{{invalid operands to binary expression}}
 335   (void)(i16 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 336   (void)(i16 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 337   (void)(i16 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 338   (void)(i16 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 339   (void)(i16 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 340
 341   (void)(u16 >> b);   // expected-error{{invalid operands to binary expression}}
 342   (void)(u16 >> i8);  // expected-error{{invalid operands to binary expression}}
 343   (void)(u16 >> i32); // expected-error{{invalid operands to binary expression}}
 344   (void)(u16 >> i64); // expected-error{{invalid operands to binary expression}}
 345   (void)(u16 >> u8);  // expected-error{{invalid operands to binary expression}}
 346   (void)(u16 >> u32); // expected-error{{invalid operands to binary expression}}
 347   (void)(u16 >> u64); // expected-error{{invalid operands to binary expression}}
 348   (void)(u16 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 349   (void)(u16 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 350   (void)(u16 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 351   (void)(u16 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 352   (void)(u16 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 353
 354   (void)(i32 >> b);   // expected-error{{invalid operands to binary expression}}
 355   (void)(i32 >> i8);  // expected-error{{invalid operands to binary expression}}
 356   (void)(i32 >> i16); // expected-error{{invalid operands to binary expression}}
 357   (void)(i32 >> i64); // expected-error{{invalid operands to binary expression}}
 358   (void)(i32 >> u8);  // expected-error{{invalid operands to binary expression}}
 359   (void)(i32 >> u16); // expected-error{{invalid operands to binary expression}}
 360   (void)(i32 >> u64); // expected-error{{invalid operands to binary expression}}
 361   (void)(i32 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 362   (void)(i32 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 363   (void)(i32 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 364   (void)(i32 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 365   (void)(i32 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 366
 367   (void)(u32 >> b);   // expected-error{{invalid operands to binary expression}}
 368   (void)(u32 >> i8);  // expected-error{{invalid operands to binary expression}}
 369   (void)(u32 >> i16); // expected-error{{invalid operands to binary expression}}
 370   (void)(u32 >> i64); // expected-error{{invalid operands to binary expression}}
 371   (void)(u32 >> u8);  // expected-error{{invalid operands to binary expression}}
 372   (void)(u32 >> u16); // expected-error{{invalid operands to binary expression}}
 373   (void)(u32 >> u64); // expected-error{{invalid operands to binary expression}}
 374   (void)(u32 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 375   (void)(u32 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 376   (void)(u32 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 377   (void)(u32 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 378   (void)(u32 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 379
 380   (void)(i64 >> b);   // expected-error{{invalid operands to binary expression}}
 381   (void)(i64 >> i8);  // expected-error{{invalid operands to binary expression}}
 382   (void)(i64 >> i16); // expected-error{{invalid operands to binary expression}}
 383   (void)(i64 >> i32); // expected-error{{invalid operands to binary expression}}
 384   (void)(i64 >> u8);  // expected-error{{invalid operands to binary expression}}
 385   (void)(i64 >> u16); // expected-error{{invalid operands to binary expression}}
 386   (void)(i64 >> u32); // expected-error{{invalid operands to binary expression}}
 387   (void)(i64 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 388   (void)(i64 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 389   (void)(i64 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 390   (void)(i64 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 391   (void)(i64 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 392
 393   (void)(u64 >> b);   // expected-error{{invalid operands to binary expression}}
 394   (void)(u64 >> i8);  // expected-error{{invalid operands to binary expression}}
 395   (void)(u64 >> i16); // expected-error{{invalid operands to binary expression}}
 396   (void)(u64 >> i32); // expected-error{{invalid operands to binary expression}}
 397   (void)(u64 >> u8);  // expected-error{{invalid operands to binary expression}}
 398   (void)(u64 >> u16); // expected-error{{invalid operands to binary expression}}
 399   (void)(u64 >> u32); // expected-error{{invalid operands to binary expression}}
 400   (void)(u64 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 401   (void)(u64 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 402   (void)(u64 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 403   (void)(u64 >> 0.f); // expected-error{{used type 'float' where integer is required}}
 404   (void)(u64 >> 0.);  // expected-error{{used type 'double' where integer is required}}
 405
 406   (void)(f16 >> b);   // expected-error{{invalid operands to binary expression}}
 407   (void)(f16 >> i8);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 408   (void)(f16 >> i16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 409   (void)(f16 >> i32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 410   (void)(f16 >> i64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 411   (void)(f16 >> u8);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 412   (void)(f16 >> u32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 413   (void)(f16 >> u64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 414   (void)(f16 >> f32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 415   (void)(f16 >> f64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 416   (void)(f16 >> 0.f); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 417   (void)(f16 >> 0.);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 418
 419   (void)(f32 >> b);   // expected-error{{invalid operands to binary expression}}
 420   (void)(f32 >> i8);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 421   (void)(f32 >> i16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 422   (void)(f32 >> i32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 423   (void)(f32 >> i64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 424   (void)(f32 >> u8);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 425   (void)(f32 >> u16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 426   (void)(f32 >> u64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 427   (void)(f32 >> f16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 428   (void)(f32 >> f64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 429   (void)(f32 >> 0.);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 430
 431   (void)(f64 >> b);   // expected-error{{invalid operands to binary expression}}
 432   (void)(f64 >> i8);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 433   (void)(f64 >> i16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 434   (void)(f64 >> i32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 435   (void)(f64 >> i64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 436   (void)(f64 >> u8);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 437   (void)(f64 >> u16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 438   (void)(f64 >> u32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 439   (void)(f64 >> f16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 440   (void)(f64 >> f32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 441   (void)(f64 >> 0.f); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 442
 443   (void)(b >> i8);   // expected-error{{invalid operands to binary expression}}
 444   (void)(i16 >> i8); // expected-error{{invalid operands to binary expression}}
 445   (void)(i32 >> i8); // expected-error{{invalid operands to binary expression}}
 446   (void)(i64 >> i8); // expected-error{{invalid operands to binary expression}}
 447   (void)(u16 >> i8); // expected-error{{invalid operands to binary expression}}
 448   (void)(u32 >> i8); // expected-error{{invalid operands to binary expression}}
 449   (void)(u64 >> i8); // expected-error{{invalid operands to binary expression}}
 450   (void)(f16 >> i8); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 451   (void)(f32 >> i8); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 452   (void)(f64 >> i8); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 453   (void)(0.f >> i8); // expected-error{{used type 'float' where integer is required}}
 454   (void)(0. >> i8);  // expected-error{{used type 'double' where integer is required}}
 455
 456   (void)(b >> u8);   // expected-error{{invalid operands to binary expression}}
 457   (void)(i16 >> u8); // expected-error{{invalid operands to binary expression}}
 458   (void)(i32 >> u8); // expected-error{{invalid operands to binary expression}}
 459   (void)(i64 >> u8); // expected-error{{invalid operands to binary expression}}
 460   (void)(u16 >> u8); // expected-error{{invalid operands to binary expression}}
 461   (void)(u32 >> u8); // expected-error{{invalid operands to binary expression}}
 462   (void)(u64 >> u8); // expected-error{{invalid operands to binary expression}}
 463   (void)(f16 >> u8); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 464   (void)(f32 >> u8); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 465   (void)(f64 >> u8); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 466   (void)(0.f >> u8); // expected-error{{used type 'float' where integer is required}}
 467   (void)(0. >> u8);  // expected-error{{used type 'double' where integer is required}}
 468
 469   (void)(b >> i16);   // expected-error{{invalid operands to binary expression}}
 470   (void)(i8 >> i16);  // expected-error{{invalid operands to binary expression}}
 471   (void)(i32 >> i16); // expected-error{{invalid operands to binary expression}}
 472   (void)(i64 >> i16); // expected-error{{invalid operands to binary expression}}
 473   (void)(u8 >> i16);  // expected-error{{invalid operands to binary expression}}
 474   (void)(u32 >> i16); // expected-error{{invalid operands to binary expression}}
 475   (void)(u64 >> i16); // expected-error{{invalid operands to binary expression}}
 476   (void)(f16 >> i16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 477   (void)(f32 >> i16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 478   (void)(f64 >> i16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 479   (void)(0.f >> i16); // expected-error{{used type 'float' where integer is required}}
 480   (void)(0. >> i16);  // expected-error{{used type 'double' where integer is required}}
 481
 482   (void)(b >> u16);   // expected-error{{invalid operands to binary expression}}
 483   (void)(i8 >> u16);  // expected-error{{invalid operands to binary expression}}
 484   (void)(i32 >> u16); // expected-error{{invalid operands to binary expression}}
 485   (void)(i64 >> u16); // expected-error{{invalid operands to binary expression}}
 486   (void)(u8 >> u16);  // expected-error{{invalid operands to binary expression}}
 487   (void)(u32 >> u16); // expected-error{{invalid operands to binary expression}}
 488   (void)(u64 >> u16); // expected-error{{invalid operands to binary expression}}
 489   (void)(f16 >> u16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 490   (void)(f32 >> u16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 491   (void)(f64 >> u16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 492   (void)(0.f >> u16); // expected-error{{used type 'float' where integer is required}}
 493   (void)(0. >> u16);  // expected-error{{used type 'double' where integer is required}}
 494
 495   (void)(b >> i32);   // expected-error{{invalid operands to binary expression}}
 496   (void)(i8 >> i32);  // expected-error{{invalid operands to binary expression}}
 497   (void)(i16 >> i32); // expected-error{{invalid operands to binary expression}}
 498   (void)(i64 >> i32); // expected-error{{invalid operands to binary expression}}
 499   (void)(u8 >> i32);  // expected-error{{invalid operands to binary expression}}
 500   (void)(u16 >> i32); // expected-error{{invalid operands to binary expression}}
 501   (void)(u64 >> i32); // expected-error{{invalid operands to binary expression}}
 502   (void)(f16 >> i32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 503   (void)(f32 >> i32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 504   (void)(f64 >> i32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 505   (void)(0.f >> i32); // expected-error{{used type 'float' where integer is required}}
 506   (void)(0. >> i32);  // expected-error{{used type 'double' where integer is required}}
 507
 508   (void)(b >> u32);   // expected-error{{invalid operands to binary expression}}
 509   (void)(i8 >> u32);  // expected-error{{invalid operands to binary expression}}
 510   (void)(i16 >> u32); // expected-error{{invalid operands to binary expression}}
 511   (void)(i64 >> u32); // expected-error{{invalid operands to binary expression}}
 512   (void)(u8 >> u32);  // expected-error{{invalid operands to binary expression}}
 513   (void)(u16 >> u32); // expected-error{{invalid operands to binary expression}}
 514   (void)(u64 >> u32); // expected-error{{invalid operands to binary expression}}
 515   (void)(f16 >> u32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 516   (void)(f32 >> u32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 517   (void)(f64 >> u32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 518   (void)(0.f >> u32); // expected-error{{used type 'float' where integer is required}}
 519   (void)(0. >> u32);  // expected-error{{used type 'double' where integer is required}}
 520
 521   (void)(b >> i64);   // expected-error{{invalid operands to binary expression}}
 522   (void)(i8 >> i64);  // expected-error{{invalid operands to binary expression}}
 523   (void)(i16 >> i64); // expected-error{{invalid operands to binary expression}}
 524   (void)(i32 >> i64); // expected-error{{invalid operands to binary expression}}
 525   (void)(u8 >> i64);  // expected-error{{invalid operands to binary expression}}
 526   (void)(u16 >> i64); // expected-error{{invalid operands to binary expression}}
 527   (void)(u32 >> i64); // expected-error{{invalid operands to binary expression}}
 528   (void)(f16 >> i64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 529   (void)(f32 >> i64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 530   (void)(f64 >> i64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 531   (void)(0.f >> i64); // expected-error{{used type 'float' where integer is required}}
 532   (void)(0. >> i64);  // expected-error{{used type 'double' where integer is required}}
 533
 534   (void)(b >> u64);   // expected-error{{invalid operands to binary expression}}
 535   (void)(i8 >> u64);  // expected-error{{invalid operands to binary expression}}
 536   (void)(i16 >> u64); // expected-error{{invalid operands to binary expression}}
 537   (void)(i32 >> u64); // expected-error{{invalid operands to binary expression}}
 538   (void)(u8 >> u64);  // expected-error{{invalid operands to binary expression}}
 539   (void)(u16 >> u64); // expected-error{{invalid operands to binary expression}}
 540   (void)(u32 >> u64); // expected-error{{invalid operands to binary expression}}
 541   (void)(f16 >> u64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 542   (void)(f32 >> u64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 543   (void)(f64 >> u64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 544   (void)(0.f >> u64); // expected-error{{used type 'float' where integer is required}}
 545   (void)(0. >> u64);  // expected-error{{used type 'double' where integer is required}}
 546
 547   (void)(b >> f16);   // expected-error{{invalid operands to binary expression}}
 548   (void)(i8 >> f16);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 549   (void)(i16 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 550   (void)(i32 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 551   (void)(i64 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 552   (void)(u8 >> f16);  // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 553   (void)(u32 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 554   (void)(u64 >> f16); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 555   (void)(f32 >> f16); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 556   (void)(f64 >> f16); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 557   (void)(0.f >> f16); // expected-error{{used type 'float' where integer is required}}
 558   (void)(0. >> f16);  // expected-error{{used type 'double' where integer is required}}
 559
 560   (void)(b >> f32);   // expected-error{{invalid operands to binary expression}}
 561   (void)(i8 >> f32);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 562   (void)(i16 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 563   (void)(i32 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 564   (void)(i64 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 565   (void)(u8 >> f32);  // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 566   (void)(u16 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 567   (void)(u64 >> f32); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 568   (void)(f16 >> f32); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 569   (void)(f64 >> f32); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 570   (void)(0. >> f32);  // expected-error{{used type 'double' where integer is required}}
 571
 572   (void)(b >> f64);   // expected-error{{invalid operands to binary expression}}
 573   (void)(i8 >> f64);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 574   (void)(i16 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 575   (void)(i32 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 576   (void)(i64 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 577   (void)(u8 >> f64);  // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 578   (void)(u16 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 579   (void)(u32 >> f64); // expected-error{{used type 'svfloat64_t' (aka '__SVFloat64_t') where integer is required}}
 580   (void)(f16 >> f64); // expected-error{{used type 'svfloat16_t' (aka '__SVFloat16_t') where integer is required}}
 581   (void)(f32 >> f64); // expected-error{{used type 'svfloat32_t' (aka '__SVFloat32_t') where integer is required}}
 582   (void)(0.f >> f64); // expected-error{{used type 'float' where integer is required}}
 583 }