312 lines · c
1// RUN: %clang_cc1 -triple thumbv8.1m.main-none-none-eabi -target-feature +mve.fp -verify -fsyntax-only %s2 3// REQUIRES: aarch64-registered-target || arm-registered-target4 5#include <arm_mve.h>6 7void test_load_offsets(uint32x4_t addr32, uint64x2_t addr64)8{9 // Offsets that should be a multiple of 8 times 0,1,...,12710 vldrdq_gather_base_s64(addr64, 0);11 vldrdq_gather_base_s64(addr64, 8);12 vldrdq_gather_base_s64(addr64, 2*8);13 vldrdq_gather_base_s64(addr64, 125*8);14 vldrdq_gather_base_s64(addr64, 126*8);15 vldrdq_gather_base_s64(addr64, 127*8);16 vldrdq_gather_base_s64(addr64, -125*8);17 vldrdq_gather_base_s64(addr64, -126*8);18 vldrdq_gather_base_s64(addr64, -127*8);19 vldrdq_gather_base_s64(addr64, 128*8); // expected-error {{argument value 1024 is outside the valid range [-1016, 1016]}}20 vldrdq_gather_base_s64(addr64, -128*8); // expected-error {{argument value -1024 is outside the valid range [-1016, 1016]}}21 vldrdq_gather_base_s64(addr64, 4); // expected-error {{argument should be a multiple of 8}}22 vldrdq_gather_base_s64(addr64, 1); // expected-error {{argument should be a multiple of 8}}23 24 // Offsets that should be a multiple of 4 times 0,1,...,12725 vldrwq_gather_base_s32(addr32, 0);26 vldrwq_gather_base_s32(addr32, 4);27 vldrwq_gather_base_s32(addr32, 2*4);28 vldrwq_gather_base_s32(addr32, 125*4);29 vldrwq_gather_base_s32(addr32, 126*4);30 vldrwq_gather_base_s32(addr32, 127*4);31 vldrwq_gather_base_s32(addr32, -125*4);32 vldrwq_gather_base_s32(addr32, -126*4);33 vldrwq_gather_base_s32(addr32, -127*4);34 vldrwq_gather_base_s32(addr32, 128*4); // expected-error {{argument value 512 is outside the valid range [-508, 508]}}35 vldrwq_gather_base_s32(addr32, -128*4); // expected-error {{argument value -512 is outside the valid range [-508, 508]}}36 vldrwq_gather_base_s32(addr32, 2); // expected-error {{argument should be a multiple of 4}}37 vldrwq_gather_base_s32(addr32, 1); // expected-error {{argument should be a multiple of 4}}38 39 // Show that the polymorphic store intrinsics get the right set of40 // error checks after overload resolution. These ones expand to the41 // 8-byte granular versions...42 vstrdq_scatter_base(addr64, 0, addr64);43 vstrdq_scatter_base(addr64, 8, addr64);44 vstrdq_scatter_base(addr64, 2*8, addr64);45 vstrdq_scatter_base(addr64, 125*8, addr64);46 vstrdq_scatter_base(addr64, 126*8, addr64);47 vstrdq_scatter_base(addr64, 127*8, addr64);48 vstrdq_scatter_base(addr64, -125*8, addr64);49 vstrdq_scatter_base(addr64, -126*8, addr64);50 vstrdq_scatter_base(addr64, -127*8, addr64);51 vstrdq_scatter_base(addr64, 128*8, addr64); // expected-error {{argument value 1024 is outside the valid range [-1016, 1016]}}52 vstrdq_scatter_base(addr64, -128*8, addr64); // expected-error {{argument value -1024 is outside the valid range [-1016, 1016]}}53 vstrdq_scatter_base(addr64, 4, addr64); // expected-error {{argument should be a multiple of 8}}54 vstrdq_scatter_base(addr64, 1, addr64); // expected-error {{argument should be a multiple of 8}}55 56 /// ... and these ones to the 4-byte.57 vstrwq_scatter_base(addr32, 0, addr32);58 vstrwq_scatter_base(addr32, 4, addr32);59 vstrwq_scatter_base(addr32, 2*4, addr32);60 vstrwq_scatter_base(addr32, 125*4, addr32);61 vstrwq_scatter_base(addr32, 126*4, addr32);62 vstrwq_scatter_base(addr32, 127*4, addr32);63 vstrwq_scatter_base(addr32, -125*4, addr32);64 vstrwq_scatter_base(addr32, -126*4, addr32);65 vstrwq_scatter_base(addr32, -127*4, addr32);66 vstrwq_scatter_base(addr32, 128*4, addr32); // expected-error {{argument value 512 is outside the valid range [-508, 508]}}67 vstrwq_scatter_base(addr32, -128*4, addr32); // expected-error {{argument value -512 is outside the valid range [-508, 508]}}68 vstrwq_scatter_base(addr32, 2, addr32); // expected-error {{argument should be a multiple of 4}}69 vstrwq_scatter_base(addr32, 1, addr32); // expected-error {{argument should be a multiple of 4}}70}71 72void test_lane_indices(uint8x16_t v16, uint16x8_t v8,73 uint32x4_t v4, uint64x2_t v2)74{75 vgetq_lane_u8(v16, -1); // expected-error {{argument value -1 is outside the valid range [0, 15]}}76 vgetq_lane_u8(v16, 0);77 vgetq_lane_u8(v16, 15);78 vgetq_lane_u8(v16, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}79 80 vgetq_lane_u16(v8, -1); // expected-error {{argument value -1 is outside the valid range [0, 7]}}81 vgetq_lane_u16(v8, 0);82 vgetq_lane_u16(v8, 7);83 vgetq_lane_u16(v8, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}84 85 vgetq_lane_u32(v4, -1); // expected-error {{argument value -1 is outside the valid range [0, 3]}}86 vgetq_lane_u32(v4, 0);87 vgetq_lane_u32(v4, 3);88 vgetq_lane_u32(v4, 4); // expected-error {{argument value 4 is outside the valid range [0, 3]}}89 90 vgetq_lane_u64(v2, -1); // expected-error {{argument value -1 is outside the valid range [0, 1]}}91 vgetq_lane_u64(v2, 0);92 vgetq_lane_u64(v2, 1);93 vgetq_lane_u64(v2, 2); // expected-error {{argument value 2 is outside the valid range [0, 1]}}94 95 vsetq_lane_u8(23, v16, -1); // expected-error {{argument value -1 is outside the valid range [0, 15]}}96 vsetq_lane_u8(23, v16, 0);97 vsetq_lane_u8(23, v16, 15);98 vsetq_lane_u8(23, v16, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}99 100 vsetq_lane_u16(23, v8, -1); // expected-error {{argument value -1 is outside the valid range [0, 7]}}101 vsetq_lane_u16(23, v8, 0);102 vsetq_lane_u16(23, v8, 7);103 vsetq_lane_u16(23, v8, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}104 105 vsetq_lane_u32(23, v4, -1); // expected-error {{argument value -1 is outside the valid range [0, 3]}}106 vsetq_lane_u32(23, v4, 0);107 vsetq_lane_u32(23, v4, 3);108 vsetq_lane_u32(23, v4, 4); // expected-error {{argument value 4 is outside the valid range [0, 3]}}109 110 vsetq_lane_u64(23, v2, -1); // expected-error {{argument value -1 is outside the valid range [0, 1]}}111 vsetq_lane_u64(23, v2, 0);112 vsetq_lane_u64(23, v2, 1);113 vsetq_lane_u64(23, v2, 2); // expected-error {{argument value 2 is outside the valid range [0, 1]}}114}115 116void test_immediate_shifts(uint8x16_t vb, uint16x8_t vh, uint32x4_t vw)117{118 vshlq_n(vb, 0);119 vshlq_n(vb, 7);120 vshlq_n(vh, 0);121 vshlq_n(vh, 15);122 vshlq_n(vw, 0);123 vshlq_n(vw, 31);124 125 vshlq_n(vb, -1); // expected-error {{argument value -1 is outside the valid range [0, 7]}}126 vshlq_n(vb, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}127 vshlq_n(vh, -1); // expected-error {{argument value -1 is outside the valid range [0, 15]}}128 vshlq_n(vh, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}129 vshlq_n(vw, -1); // expected-error {{argument value -1 is outside the valid range [0, 31]}}130 vshlq_n(vw, 32); // expected-error {{argument value 32 is outside the valid range [0, 31]}}131 132 vqshlq_n(vb, 0);133 vqshlq_n(vb, 7);134 vqshlq_n(vh, 0);135 vqshlq_n(vh, 15);136 vqshlq_n(vw, 0);137 vqshlq_n(vw, 31);138 139 vqshlq_n(vb, -1); // expected-error {{argument value -1 is outside the valid range [0, 7]}}140 vqshlq_n(vb, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}141 vqshlq_n(vh, -1); // expected-error {{argument value -1 is outside the valid range [0, 15]}}142 vqshlq_n(vh, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}143 vqshlq_n(vw, -1); // expected-error {{argument value -1 is outside the valid range [0, 31]}}144 vqshlq_n(vw, 32); // expected-error {{argument value 32 is outside the valid range [0, 31]}}145 146 vsliq(vb, vb, 0);147 vsliq(vb, vb, 7);148 vsliq(vh, vh, 0);149 vsliq(vh, vh, 15);150 vsliq(vw, vw, 0);151 vsliq(vw, vw, 31);152 153 vsliq(vb, vb, -1); // expected-error {{argument value -1 is outside the valid range [0, 7]}}154 vsliq(vb, vb, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}155 vsliq(vh, vh, -1); // expected-error {{argument value -1 is outside the valid range [0, 15]}}156 vsliq(vh, vh, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}157 vsliq(vw, vw, -1); // expected-error {{argument value -1 is outside the valid range [0, 31]}}158 vsliq(vw, vw, 32); // expected-error {{argument value 32 is outside the valid range [0, 31]}}159 160 vshllbq(vb, 1);161 vshllbq(vb, 8);162 vshllbq(vh, 1);163 vshllbq(vh, 16);164 165 vshllbq(vb, 0); // expected-error {{argument value 0 is outside the valid range [1, 8]}}166 vshllbq(vb, 9); // expected-error {{argument value 9 is outside the valid range [1, 8]}}167 vshllbq(vh, 0); // expected-error {{argument value 0 is outside the valid range [1, 16]}}168 vshllbq(vh, 17); // expected-error {{argument value 17 is outside the valid range [1, 16]}}169 170 vshrq(vb, 1);171 vshrq(vb, 8);172 vshrq(vh, 1);173 vshrq(vh, 16);174 vshrq(vw, 1);175 vshrq(vw, 32);176 177 vshrq(vb, 0); // expected-error {{argument value 0 is outside the valid range [1, 8]}}178 vshrq(vb, 9); // expected-error {{argument value 9 is outside the valid range [1, 8]}}179 vshrq(vh, 0); // expected-error {{argument value 0 is outside the valid range [1, 16]}}180 vshrq(vh, 17); // expected-error {{argument value 17 is outside the valid range [1, 16]}}181 vshrq(vw, 0); // expected-error {{argument value 0 is outside the valid range [1, 32]}}182 vshrq(vw, 33); // expected-error {{argument value 33 is outside the valid range [1, 32]}}183 184 vshrntq(vb, vh, 1);185 vshrntq(vb, vh, 8);186 vshrntq(vh, vw, 1);187 vshrntq(vh, vw, 16);188 189 vshrntq(vb, vh, 0); // expected-error {{argument value 0 is outside the valid range [1, 8]}}190 vshrntq(vb, vh, 9); // expected-error {{argument value 9 is outside the valid range [1, 8]}}191 vshrntq(vh, vw, 0); // expected-error {{argument value 0 is outside the valid range [1, 16]}}192 vshrntq(vh, vw, 17); // expected-error {{argument value 17 is outside the valid range [1, 16]}}193 194 vsriq(vb, vb, 1);195 vsriq(vb, vb, 8);196 vsriq(vh, vh, 1);197 vsriq(vh, vh, 16);198 vsriq(vw, vw, 1);199 vsriq(vw, vw, 32);200 201 vsriq(vb, vb, 0); // expected-error {{argument value 0 is outside the valid range [1, 8]}}202 vsriq(vb, vb, 9); // expected-error {{argument value 9 is outside the valid range [1, 8]}}203 vsriq(vh, vh, 0); // expected-error {{argument value 0 is outside the valid range [1, 16]}}204 vsriq(vh, vh, 17); // expected-error {{argument value 17 is outside the valid range [1, 16]}}205 vsriq(vw, vw, 0); // expected-error {{argument value 0 is outside the valid range [1, 32]}}206 vsriq(vw, vw, 33); // expected-error {{argument value 33 is outside the valid range [1, 32]}}207}208 209void test_simd_bic_orr(int16x8_t h, int32x4_t w)210{211 h = vbicq(h, 0x0000);212 h = vbicq(h, 0x0001);213 h = vbicq(h, 0x00FF);214 h = vbicq(h, 0x0100);215 h = vbicq(h, 0x0101); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}216 h = vbicq(h, 0x01FF); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}217 h = vbicq(h, 0xFF00);218 219 w = vbicq(w, 0x00000000);220 w = vbicq(w, 0x00000001);221 w = vbicq(w, 0x000000FF);222 w = vbicq(w, 0x00000100);223 w = vbicq(w, 0x0000FF00);224 w = vbicq(w, 0x00010000);225 w = vbicq(w, 0x00FF0000);226 w = vbicq(w, 0x01000000);227 w = vbicq(w, 0xFF000000);228 w = vbicq(w, 0x01000001); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}229 w = vbicq(w, 0x01FFFFFF); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}230 231 h = vorrq(h, 0x0000);232 h = vorrq(h, 0x0001);233 h = vorrq(h, 0x00FF);234 h = vorrq(h, 0x0100);235 h = vorrq(h, 0x0101); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}236 h = vorrq(h, 0x01FF); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}237 h = vorrq(h, 0xFF00);238 239 w = vorrq(w, 0x00000000);240 w = vorrq(w, 0x00000001);241 w = vorrq(w, 0x000000FF);242 w = vorrq(w, 0x00000100);243 w = vorrq(w, 0x0000FF00);244 w = vorrq(w, 0x00010000);245 w = vorrq(w, 0x00FF0000);246 w = vorrq(w, 0x01000000);247 w = vorrq(w, 0xFF000000);248 w = vorrq(w, 0x01000001); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}249 w = vorrq(w, 0x01FFFFFF); // expected-error-re {{argument should be an 8-bit value shifted by a multiple of 8 bits{{$}}}}250}251 252void test_simd_vmvn(void)253{254 uint16x8_t h;255 h = vmvnq_n_u16(0x0000);256 h = vmvnq_n_u16(0x0001);257 h = vmvnq_n_u16(0x00FF);258 h = vmvnq_n_u16(0x0100);259 h = vmvnq_n_u16(0x0101); // expected-error {{argument should be an 8-bit value shifted by a multiple of 8 bits, or in the form 0x??FF}}260 h = vmvnq_n_u16(0x01FF);261 h = vmvnq_n_u16(0xFF00);262 263 uint32x4_t w;264 w = vmvnq_n_u32(0x00000000);265 w = vmvnq_n_u32(0x00000001);266 w = vmvnq_n_u32(0x000000FF);267 w = vmvnq_n_u32(0x00000100);268 w = vmvnq_n_u32(0x0000FF00);269 w = vmvnq_n_u32(0x00010000);270 w = vmvnq_n_u32(0x00FF0000);271 w = vmvnq_n_u32(0x01000000);272 w = vmvnq_n_u32(0xFF000000);273 w = vmvnq_n_u32(0x01000001); // expected-error {{argument should be an 8-bit value shifted by a multiple of 8 bits, or in the form 0x??FF}}274 w = vmvnq_n_u32(0x01FFFFFF); // expected-error {{argument should be an 8-bit value shifted by a multiple of 8 bits, or in the form 0x??FF}}275 w = vmvnq_n_u32(0x0001FFFF); // expected-error {{argument should be an 8-bit value shifted by a multiple of 8 bits, or in the form 0x??FF}}276 w = vmvnq_n_u32(0x000001FF);277}278 279void test_vidup(void)280{281 vidupq_n_u16(0x12345678, 1);282 vidupq_n_u16(0x12345678, 2);283 vidupq_n_u16(0x12345678, 4);284 vidupq_n_u16(0x12345678, 8);285 286 vidupq_n_u16(0x12345678, 0); // expected-error {{argument value 0 is outside the valid range [1, 8]}}287 vidupq_n_u16(0x12345678, 16); // expected-error {{argument value 16 is outside the valid range [1, 8]}}288 vidupq_n_u16(0x12345678, -1); // expected-error {{argument value -1 is outside the valid range [1, 8]}}289 vidupq_n_u16(0x12345678, -2); // expected-error {{argument value -2 is outside the valid range [1, 8]}}290 vidupq_n_u16(0x12345678, -4); // expected-error {{argument value -4 is outside the valid range [1, 8]}}291 vidupq_n_u16(0x12345678, -8); // expected-error {{argument value -8 is outside the valid range [1, 8]}}292 vidupq_n_u16(0x12345678, 3); // expected-error {{argument should be a power of 2}}293 vidupq_n_u16(0x12345678, 7); // expected-error {{argument should be a power of 2}}294}295 296void test_vcvtq(void)297{298 uint16x8_t vec_u16;299 float16x8_t vec_f16;300 vcvtq_n_f16_u16(vec_u16, 0); // expected-error {{argument value 0 is outside the valid range [1, 16]}}301 vcvtq_n_f16_u16(vec_u16, 1);302 vcvtq_n_f16_u16(vec_u16, 16);303 vcvtq_n_f16_u16(vec_u16, 17); // expected-error {{argument value 17 is outside the valid range [1, 16]}}304 305 int32x4_t vec_s32;306 float32x4_t vec_f32;307 vcvtq_n_s32_f32(vec_s32, -1); // expected-error {{argument value -1 is outside the valid range [1, 32]}}308 vcvtq_n_s32_f32(vec_s32, 1);309 vcvtq_n_s32_f32(vec_s32, 32);310 vcvtq_n_s32_f32(vec_s32, 33); // expected-error {{argument value 33 is outside the valid range [1, 32]}}311}312