tests/assembly: make typed-swap test much less fragile

This commit is contained in:
Jubilee Young 2025-02-08 19:00:27 -08:00
parent 5932b2fe9c
commit b3464fa65f
1 changed files with 20 additions and 20 deletions

View File

@ -3,7 +3,7 @@
//@ [LIN] only-linux
//@ only-x86_64
//@ assembly-output: emit-asm
//@ compile-flags: --crate-type=lib -O
//@ compile-flags: --crate-type=lib -Copt-level=3
use std::arch::x86_64::__m128;
use std::mem::swap;
@ -12,42 +12,42 @@ use std::mem::swap;
#[no_mangle]
pub fn swap_i32(x: &mut i32, y: &mut i32) {
// CHECK: movl (%[[ARG1:.+]]), %[[T1:.+]]
// CHECK: movl (%[[ARG2:.+]]), %[[T2:.+]]
// CHECK: movl %[[T2]], (%[[ARG1]])
// CHECK: movl %[[T1]], (%[[ARG2]])
// CHECK: retq
// CHECK-NEXT: movl (%[[ARG2:.+]]), %[[T2:.+]]
// CHECK-DAG: movl %[[T2]], (%[[ARG1]])
// CHECK-DAG: movl %[[T1]], (%[[ARG2]])
// CHECK-NEXT: retq
swap(x, y)
}
// CHECK-LABEL: swap_pair:
#[no_mangle]
pub fn swap_pair(x: &mut (i32, u32), y: &mut (i32, u32)) {
// CHECK: movq (%[[ARG1]]), %[[T1:.+]]
// CHECK: movq (%[[ARG2]]), %[[T2:.+]]
// CHECK: movq %[[T2]], (%[[ARG1]])
// CHECK: movq %[[T1]], (%[[ARG2]])
// CHECK: retq
// CHECK: movq (%[[ARG1:r..?]]), %[[T1:.+]]
// CHECK-NEXT: movq (%[[ARG2:r..?]]), %[[T2:.+]]
// CHECK-DAG: movq %[[T2]], (%[[ARG1]])
// CHECK-DAG: movq %[[T1]], (%[[ARG2]])
// CHECK-NEXT: retq
swap(x, y)
}
// CHECK-LABEL: swap_str:
#[no_mangle]
pub fn swap_str<'a>(x: &mut &'a str, y: &mut &'a str) {
// CHECK: movups (%[[ARG1]]), %[[T1:xmm.]]
// CHECK: movups (%[[ARG2]]), %[[T2:xmm.]]
// CHECK: movups %[[T2]], (%[[ARG1]])
// CHECK: movups %[[T1]], (%[[ARG2]])
// CHECK: retq
// CHECK: movups (%[[ARG1:r..?]]), %[[T1:xmm.]]
// CHECK-NEXT: movups (%[[ARG2:r..?]]), %[[T2:xmm.]]
// CHECK-DAG: movups %[[T2]], (%[[ARG1]])
// CHECK-DAG: movups %[[T1]], (%[[ARG2]])
// CHECK-NEXT: retq
swap(x, y)
}
// CHECK-LABEL: swap_simd:
#[no_mangle]
pub fn swap_simd(x: &mut __m128, y: &mut __m128) {
// CHECK: movaps (%[[ARG1]]), %[[T1:xmm.]]
// CHECK: movaps (%[[ARG2]]), %[[T2:xmm.]]
// CHECK: movaps %[[T2]], (%[[ARG1]])
// CHECK: movaps %[[T1]], (%[[ARG2]])
// CHECK: retq
// CHECK: movaps (%[[ARG1:r..?]]), %[[T1:xmm.]]
// CHECK-NEXT: movaps (%[[ARG2:r..?]]), %[[T2:xmm.]]
// CHECK-DAG: movaps %[[T2]], (%[[ARG1]])
// CHECK-DAG: movaps %[[T1]], (%[[ARG2]])
// CHECK-NEXT: retq
swap(x, y)
}