src/test/assembly/asm/aarch64-types.rs

   1 // no-system-llvm
   2 // assembly-output: emit-asm
   3 // compile-flags: --target aarch64-unknown-linux-gnu
   4 // needs-llvm-components: aarch64
   5
   6 #![feature(no_core, lang_items, rustc_attrs, repr_simd)]
   7 #![crate_type = "rlib"]
   8 #![no_core]
   9 #![allow(asm_sub_register, non_camel_case_types)]
  10
  11 #[rustc_builtin_macro]
  12 macro_rules! asm {
  13     () => {};
  14 }
  15 #[rustc_builtin_macro]
  16 macro_rules! concat {
  17     () => {};
  18 }
  19 #[rustc_builtin_macro]
  20 macro_rules! stringify {
  21     () => {};
  22 }
  23
  24 #[lang = "sized"]
  25 trait Sized {}
  26 #[lang = "copy"]
  27 trait Copy {}
  28
  29 type ptr = *mut u8;
  30
  31 #[repr(simd)]
  32 pub struct i8x8(i8, i8, i8, i8, i8, i8, i8, i8);
  33 #[repr(simd)]
  34 pub struct i16x4(i16, i16, i16, i16);
  35 #[repr(simd)]
  36 pub struct i32x2(i32, i32);
  37 #[repr(simd)]
  38 pub struct i64x1(i64);
  39 #[repr(simd)]
  40 pub struct f32x2(f32, f32);
  41 #[repr(simd)]
  42 pub struct f64x1(f64);
  43 #[repr(simd)]
  44 pub struct i8x16(i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8, i8);
  45 #[repr(simd)]
  46 pub struct i16x8(i16, i16, i16, i16, i16, i16, i16, i16);
  47 #[repr(simd)]
  48 pub struct i32x4(i32, i32, i32, i32);
  49 #[repr(simd)]
  50 pub struct i64x2(i64, i64);
  51 #[repr(simd)]
  52 pub struct f32x4(f32, f32, f32, f32);
  53 #[repr(simd)]
  54 pub struct f64x2(f64, f64);
  55
  56 impl Copy for i8 {}
  57 impl Copy for i16 {}
  58 impl Copy for i32 {}
  59 impl Copy for f32 {}
  60 impl Copy for i64 {}
  61 impl Copy for f64 {}
  62 impl Copy for ptr {}
  63 impl Copy for i8x8 {}
  64 impl Copy for i16x4 {}
  65 impl Copy for i32x2 {}
  66 impl Copy for i64x1 {}
  67 impl Copy for f32x2 {}
  68 impl Copy for f64x1 {}
  69 impl Copy for i8x16 {}
  70 impl Copy for i16x8 {}
  71 impl Copy for i32x4 {}
  72 impl Copy for i64x2 {}
  73 impl Copy for f32x4 {}
  74 impl Copy for f64x2 {}
  75
  76 extern "C" {
  77     fn extern_func();
  78     static extern_static: u8;
  79 }
  80
  81 // CHECK-LABEL: sym_fn:
  82 // CHECK: //APP
  83 // CHECK: bl extern_func
  84 // CHECK: //NO_APP
  85 #[no_mangle]
  86 pub unsafe fn sym_fn() {
  87     asm!("bl {}", sym extern_func);
  88 }
  89
  90 // CHECK-LABEL: sym_static:
  91 // CHECK: //APP
  92 // CHECK: adr x0, extern_static
  93 // CHECK: //NO_APP
  94 #[no_mangle]
  95 pub unsafe fn sym_static() {
  96     asm!("adr x0, {}", sym extern_static);
  97 }
  98
  99 macro_rules! check {
 100     ($func:ident $ty:ident $class:ident $mov:literal $modifier:literal) => {
 101         #[no_mangle]
 102         pub unsafe fn $func(x: $ty) -> $ty {
 103             // Hack to avoid function merging
 104             extern "Rust" {
 105                 fn dont_merge(s: &str);
 106             }
 107             dont_merge(stringify!($func));
 108
 109             let y;
 110             asm!(
 111                 concat!($mov, " {:", $modifier, "}, {:", $modifier, "}"),
 112                 out($class) y,
 113                 in($class) x
 114             );
 115             y
 116         }
 117     };
 118 }
 119
 120 macro_rules! check_reg {
 121     ($func:ident $ty:ident $reg:tt $mov:literal) => {
 122         #[no_mangle]
 123         pub unsafe fn $func(x: $ty) -> $ty {
 124             // Hack to avoid function merging
 125             extern "Rust" {
 126                 fn dont_merge(s: &str);
 127             }
 128             dont_merge(stringify!($func));
 129
 130             let y;
 131             asm!(concat!($mov, " ", $reg, ", ", $reg), lateout($reg) y, in($reg) x);
 132             y
 133         }
 134     };
 135 }
 136
 137 // CHECK-LABEL: reg_i8:
 138 // CHECK: //APP
 139 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 140 // CHECK: //NO_APP
 141 check!(reg_i8 i8 reg "mov" "");
 142
 143 // CHECK-LABEL: reg_i16:
 144 // CHECK: //APP
 145 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 146 // CHECK: //NO_APP
 147 check!(reg_i16 i16 reg "mov" "");
 148
 149 // CHECK-LABEL: reg_i32:
 150 // CHECK: //APP
 151 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 152 // CHECK: //NO_APP
 153 check!(reg_i32 i32 reg "mov" "");
 154
 155 // CHECK-LABEL: reg_f32:
 156 // CHECK: //APP
 157 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 158 // CHECK: //NO_APP
 159 check!(reg_f32 f32 reg "mov" "");
 160
 161 // CHECK-LABEL: reg_i64:
 162 // CHECK: //APP
 163 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 164 // CHECK: //NO_APP
 165 check!(reg_i64 i64 reg "mov" "");
 166
 167 // CHECK-LABEL: reg_f64:
 168 // CHECK: //APP
 169 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 170 // CHECK: //NO_APP
 171 check!(reg_f64 f64 reg "mov" "");
 172
 173 // CHECK-LABEL: reg_ptr:
 174 // CHECK: //APP
 175 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 176 // CHECK: //NO_APP
 177 check!(reg_ptr ptr reg "mov" "");
 178
 179 // CHECK-LABEL: vreg_i8:
 180 // CHECK: //APP
 181 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 182 // CHECK: //NO_APP
 183 check!(vreg_i8 i8 vreg "fmov" "s");
 184
 185 // CHECK-LABEL: vreg_i16:
 186 // CHECK: //APP
 187 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 188 // CHECK: //NO_APP
 189 check!(vreg_i16 i16 vreg "fmov" "s");
 190
 191 // CHECK-LABEL: vreg_i32:
 192 // CHECK: //APP
 193 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 194 // CHECK: //NO_APP
 195 check!(vreg_i32 i32 vreg "fmov" "s");
 196
 197 // CHECK-LABEL: vreg_f32:
 198 // CHECK: //APP
 199 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 200 // CHECK: //NO_APP
 201 check!(vreg_f32 f32 vreg "fmov" "s");
 202
 203 // CHECK-LABEL: vreg_i64:
 204 // CHECK: //APP
 205 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 206 // CHECK: //NO_APP
 207 check!(vreg_i64 i64 vreg "fmov" "s");
 208
 209 // CHECK-LABEL: vreg_f64:
 210 // CHECK: //APP
 211 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 212 // CHECK: //NO_APP
 213 check!(vreg_f64 f64 vreg "fmov" "s");
 214
 215 // CHECK-LABEL: vreg_ptr:
 216 // CHECK: //APP
 217 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 218 // CHECK: //NO_APP
 219 check!(vreg_ptr ptr vreg "fmov" "s");
 220
 221 // CHECK-LABEL: vreg_i8x8:
 222 // CHECK: //APP
 223 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 224 // CHECK: //NO_APP
 225 check!(vreg_i8x8 i8x8 vreg "fmov" "s");
 226
 227 // CHECK-LABEL: vreg_i16x4:
 228 // CHECK: //APP
 229 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 230 // CHECK: //NO_APP
 231 check!(vreg_i16x4 i16x4 vreg "fmov" "s");
 232
 233 // CHECK-LABEL: vreg_i32x2:
 234 // CHECK: //APP
 235 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 236 // CHECK: //NO_APP
 237 check!(vreg_i32x2 i32x2 vreg "fmov" "s");
 238
 239 // CHECK-LABEL: vreg_i64x1:
 240 // CHECK: //APP
 241 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 242 // CHECK: //NO_APP
 243 check!(vreg_i64x1 i64x1 vreg "fmov" "s");
 244
 245 // CHECK-LABEL: vreg_f32x2:
 246 // CHECK: //APP
 247 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 248 // CHECK: //NO_APP
 249 check!(vreg_f32x2 f32x2 vreg "fmov" "s");
 250
 251 // CHECK-LABEL: vreg_f64x1:
 252 // CHECK: //APP
 253 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 254 // CHECK: //NO_APP
 255 check!(vreg_f64x1 f64x1 vreg "fmov" "s");
 256
 257 // CHECK-LABEL: vreg_i8x16:
 258 // CHECK: //APP
 259 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 260 // CHECK: //NO_APP
 261 check!(vreg_i8x16 i8x16 vreg "fmov" "s");
 262
 263 // CHECK-LABEL: vreg_i16x8:
 264 // CHECK: //APP
 265 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 266 // CHECK: //NO_APP
 267 check!(vreg_i16x8 i16x8 vreg "fmov" "s");
 268
 269 // CHECK-LABEL: vreg_i32x4:
 270 // CHECK: //APP
 271 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 272 // CHECK: //NO_APP
 273 check!(vreg_i32x4 i32x4 vreg "fmov" "s");
 274
 275 // CHECK-LABEL: vreg_i64x2:
 276 // CHECK: //APP
 277 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 278 // CHECK: //NO_APP
 279 check!(vreg_i64x2 i64x2 vreg "fmov" "s");
 280
 281 // CHECK-LABEL: vreg_f32x4:
 282 // CHECK: //APP
 283 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 284 // CHECK: //NO_APP
 285 check!(vreg_f32x4 f32x4 vreg "fmov" "s");
 286
 287 // CHECK-LABEL: vreg_f64x2:
 288 // CHECK: //APP
 289 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 290 // CHECK: //NO_APP
 291 check!(vreg_f64x2 f64x2 vreg "fmov" "s");
 292
 293 // CHECK-LABEL: vreg_low16_i8:
 294 // CHECK: //APP
 295 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 296 // CHECK: //NO_APP
 297 check!(vreg_low16_i8 i8 vreg_low16 "fmov" "s");
 298
 299 // CHECK-LABEL: vreg_low16_i16:
 300 // CHECK: //APP
 301 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 302 // CHECK: //NO_APP
 303 check!(vreg_low16_i16 i16 vreg_low16 "fmov" "s");
 304
 305 // CHECK-LABEL: vreg_low16_f32:
 306 // CHECK: //APP
 307 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 308 // CHECK: //NO_APP
 309 check!(vreg_low16_f32 f32 vreg_low16 "fmov" "s");
 310
 311 // CHECK-LABEL: vreg_low16_i64:
 312 // CHECK: //APP
 313 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 314 // CHECK: //NO_APP
 315 check!(vreg_low16_i64 i64 vreg_low16 "fmov" "s");
 316
 317 // CHECK-LABEL: vreg_low16_f64:
 318 // CHECK: //APP
 319 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 320 // CHECK: //NO_APP
 321 check!(vreg_low16_f64 f64 vreg_low16 "fmov" "s");
 322
 323 // CHECK-LABEL: vreg_low16_ptr:
 324 // CHECK: //APP
 325 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 326 // CHECK: //NO_APP
 327 check!(vreg_low16_ptr ptr vreg_low16 "fmov" "s");
 328
 329 // CHECK-LABEL: vreg_low16_i8x8:
 330 // CHECK: //APP
 331 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 332 // CHECK: //NO_APP
 333 check!(vreg_low16_i8x8 i8x8 vreg_low16 "fmov" "s");
 334
 335 // CHECK-LABEL: vreg_low16_i16x4:
 336 // CHECK: //APP
 337 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 338 // CHECK: //NO_APP
 339 check!(vreg_low16_i16x4 i16x4 vreg_low16 "fmov" "s");
 340
 341 // CHECK-LABEL: vreg_low16_i32x2:
 342 // CHECK: //APP
 343 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 344 // CHECK: //NO_APP
 345 check!(vreg_low16_i32x2 i32x2 vreg_low16 "fmov" "s");
 346
 347 // CHECK-LABEL: vreg_low16_i64x1:
 348 // CHECK: //APP
 349 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 350 // CHECK: //NO_APP
 351 check!(vreg_low16_i64x1 i64x1 vreg_low16 "fmov" "s");
 352
 353 // CHECK-LABEL: vreg_low16_f32x2:
 354 // CHECK: //APP
 355 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 356 // CHECK: //NO_APP
 357 check!(vreg_low16_f32x2 f32x2 vreg_low16 "fmov" "s");
 358
 359 // CHECK-LABEL: vreg_low16_f64x1:
 360 // CHECK: //APP
 361 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 362 // CHECK: //NO_APP
 363 check!(vreg_low16_f64x1 f64x1 vreg_low16 "fmov" "s");
 364
 365 // CHECK-LABEL: vreg_low16_i8x16:
 366 // CHECK: //APP
 367 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 368 // CHECK: //NO_APP
 369 check!(vreg_low16_i8x16 i8x16 vreg_low16 "fmov" "s");
 370
 371 // CHECK-LABEL: vreg_low16_i16x8:
 372 // CHECK: //APP
 373 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 374 // CHECK: //NO_APP
 375 check!(vreg_low16_i16x8 i16x8 vreg_low16 "fmov" "s");
 376
 377 // CHECK-LABEL: vreg_low16_i32x4:
 378 // CHECK: //APP
 379 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 380 // CHECK: //NO_APP
 381 check!(vreg_low16_i32x4 i32x4 vreg_low16 "fmov" "s");
 382
 383 // CHECK-LABEL: vreg_low16_i64x2:
 384 // CHECK: //APP
 385 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 386 // CHECK: //NO_APP
 387 check!(vreg_low16_i64x2 i64x2 vreg_low16 "fmov" "s");
 388
 389 // CHECK-LABEL: vreg_low16_f32x4:
 390 // CHECK: //APP
 391 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 392 // CHECK: //NO_APP
 393 check!(vreg_low16_f32x4 f32x4 vreg_low16 "fmov" "s");
 394
 395 // CHECK-LABEL: vreg_low16_f64x2:
 396 // CHECK: //APP
 397 // CHECK: fmov s{{[0-9]+}}, s{{[0-9]+}}
 398 // CHECK: //NO_APP
 399 check!(vreg_low16_f64x2 f64x2 vreg_low16 "fmov" "s");
 400
 401 // CHECK-LABEL: x0_i8:
 402 // CHECK: //APP
 403 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 404 // CHECK: //NO_APP
 405 check_reg!(x0_i8 i8 "x0" "mov");
 406
 407 // CHECK-LABEL: x0_i16:
 408 // CHECK: //APP
 409 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 410 // CHECK: //NO_APP
 411 check_reg!(x0_i16 i16 "x0" "mov");
 412
 413 // CHECK-LABEL: x0_i32:
 414 // CHECK: //APP
 415 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 416 // CHECK: //NO_APP
 417 check_reg!(x0_i32 i32 "x0" "mov");
 418
 419 // CHECK-LABEL: x0_f32:
 420 // CHECK: //APP
 421 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 422 // CHECK: //NO_APP
 423 check_reg!(x0_f32 f32 "x0" "mov");
 424
 425 // CHECK-LABEL: x0_i64:
 426 // CHECK: //APP
 427 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 428 // CHECK: //NO_APP
 429 check_reg!(x0_i64 i64 "x0" "mov");
 430
 431 // CHECK-LABEL: x0_f64:
 432 // CHECK: //APP
 433 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 434 // CHECK: //NO_APP
 435 check_reg!(x0_f64 f64 "x0" "mov");
 436
 437 // CHECK-LABEL: x0_ptr:
 438 // CHECK: //APP
 439 // CHECK: mov x{{[0-9]+}}, x{{[0-9]+}}
 440 // CHECK: //NO_APP
 441 check_reg!(x0_ptr ptr "x0" "mov");
 442
 443 // CHECK-LABEL: v0_i8:
 444 // CHECK: //APP
 445 // CHECK: fmov s0, s0
 446 // CHECK: //NO_APP
 447 check_reg!(v0_i8 i8 "s0" "fmov");
 448
 449 // CHECK-LABEL: v0_i16:
 450 // CHECK: //APP
 451 // CHECK: fmov s0, s0
 452 // CHECK: //NO_APP
 453 check_reg!(v0_i16 i16 "s0" "fmov");
 454
 455 // CHECK-LABEL: v0_i32:
 456 // CHECK: //APP
 457 // CHECK: fmov s0, s0
 458 // CHECK: //NO_APP
 459 check_reg!(v0_i32 i32 "s0" "fmov");
 460
 461 // CHECK-LABEL: v0_f32:
 462 // CHECK: //APP
 463 // CHECK: fmov s0, s0
 464 // CHECK: //NO_APP
 465 check_reg!(v0_f32 f32 "s0" "fmov");
 466
 467 // CHECK-LABEL: v0_i64:
 468 // CHECK: //APP
 469 // CHECK: fmov s0, s0
 470 // CHECK: //NO_APP
 471 check_reg!(v0_i64 i64 "s0" "fmov");
 472
 473 // CHECK-LABEL: v0_f64:
 474 // CHECK: //APP
 475 // CHECK: fmov s0, s0
 476 // CHECK: //NO_APP
 477 check_reg!(v0_f64 f64 "s0" "fmov");
 478
 479 // CHECK-LABEL: v0_ptr:
 480 // CHECK: //APP
 481 // CHECK: fmov s0, s0
 482 // CHECK: //NO_APP
 483 check_reg!(v0_ptr ptr "s0" "fmov");
 484
 485 // CHECK-LABEL: v0_i8x8:
 486 // CHECK: //APP
 487 // CHECK: fmov s0, s0
 488 // CHECK: //NO_APP
 489 check_reg!(v0_i8x8 i8x8 "s0" "fmov");
 490
 491 // CHECK-LABEL: v0_i16x4:
 492 // CHECK: //APP
 493 // CHECK: fmov s0, s0
 494 // CHECK: //NO_APP
 495 check_reg!(v0_i16x4 i16x4 "s0" "fmov");
 496
 497 // CHECK-LABEL: v0_i32x2:
 498 // CHECK: //APP
 499 // CHECK: fmov s0, s0
 500 // CHECK: //NO_APP
 501 check_reg!(v0_i32x2 i32x2 "s0" "fmov");
 502
 503 // CHECK-LABEL: v0_i64x1:
 504 // CHECK: //APP
 505 // CHECK: fmov s0, s0
 506 // CHECK: //NO_APP
 507 check_reg!(v0_i64x1 i64x1 "s0" "fmov");
 508
 509 // CHECK-LABEL: v0_f32x2:
 510 // CHECK: //APP
 511 // CHECK: fmov s0, s0
 512 // CHECK: //NO_APP
 513 check_reg!(v0_f32x2 f32x2 "s0" "fmov");
 514
 515 // CHECK-LABEL: v0_f64x1:
 516 // CHECK: //APP
 517 // CHECK: fmov s0, s0
 518 // CHECK: //NO_APP
 519 check_reg!(v0_f64x1 f64x1 "s0" "fmov");
 520
 521 // CHECK-LABEL: v0_i8x16:
 522 // CHECK: //APP
 523 // CHECK: fmov s0, s0
 524 // CHECK: //NO_APP
 525 check_reg!(v0_i8x16 i8x16 "s0" "fmov");
 526
 527 // CHECK-LABEL: v0_i16x8:
 528 // CHECK: //APP
 529 // CHECK: fmov s0, s0
 530 // CHECK: //NO_APP
 531 check_reg!(v0_i16x8 i16x8 "s0" "fmov");
 532
 533 // CHECK-LABEL: v0_i32x4:
 534 // CHECK: //APP
 535 // CHECK: fmov s0, s0
 536 // CHECK: //NO_APP
 537 check_reg!(v0_i32x4 i32x4 "s0" "fmov");
 538
 539 // CHECK-LABEL: v0_i64x2:
 540 // CHECK: //APP
 541 // CHECK: fmov s0, s0
 542 // CHECK: //NO_APP
 543 check_reg!(v0_i64x2 i64x2 "s0" "fmov");
 544
 545 // CHECK-LABEL: v0_f32x4:
 546 // CHECK: //APP
 547 // CHECK: fmov s0, s0
 548 // CHECK: //NO_APP
 549 check_reg!(v0_f32x4 f32x4 "s0" "fmov");
 550
 551 // CHECK-LABEL: v0_f64x2:
 552 // CHECK: //APP
 553 // CHECK: fmov s0, s0
 554 // CHECK: //NO_APP
 555 check_reg!(v0_f64x2 f64x2 "s0" "fmov");