Skip to content

Commit 088e0cc

Browse files
borsbors
committed
Auto merge of #136758 - workingjubilee:specify-opt-level-for-tests, r=<try>
tests: `-Copt-level=3` instead of `-O` in assembly tests An effective blocker for #135439 r? `@ghost` try-job: test-various try-job: aarch64-gnu try-job: aarch64-gnu-debug try-job: i686-gnu-1 try-job: i686-gnu-2 try-job: i686-mingw try-job: i686-msvc-1 try-job: i686-msvc-2 try-job: x86_64-msvc-1 try-job: x86_64-msvc-2
2 parents 43ca9d1 + a7c7f39 commit 088e0cc

27 files changed

+82
-67
lines changed

‎tests/assembly/asm/aarch64-modifiers.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ add-core-stubs
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: -O -C panic=abort
3+
//@ compile-flags: -Copt-level=3 -C panic=abort
44
//@ compile-flags: --target aarch64-unknown-linux-gnu
55
//@ compile-flags: -Zmerge-functions=disabled
66
//@ needs-llvm-components: aarch64
@@ -15,7 +15,7 @@ use minicore::*;
1515

1616
macro_rules! check {
1717
($func:ident $reg:ident $code:literal) => {
18-
// -O and extern "C" guarantee that the selected register is always r0/s0/d0/q0
18+
// -Copt-level=3 and extern "C" guarantee that the selected register is always r0/s0/d0/q0
1919
#[no_mangle]
2020
pub unsafe extern "C" fn $func() -> i32 {
2121
let y;

‎tests/assembly/asm/aarch64-outline-atomics.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@ assembly-output: emit-asm
2-
//@ compile-flags: -O
2+
//@ compile-flags: -Copt-level=3
33
//@ compile-flags: --target aarch64-unknown-linux-gnu
44
//@ needs-llvm-components: aarch64
55
//@ only-aarch64

‎tests/assembly/asm/arm-modifiers.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ add-core-stubs
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: -O -C panic=abort
3+
//@ compile-flags: -Copt-level=3 -C panic=abort
44
//@ compile-flags: --target armv7-unknown-linux-gnueabihf
55
//@ compile-flags: -C target-feature=+neon
66
//@ compile-flags: -Zmerge-functions=disabled
@@ -21,7 +21,7 @@ impl Copy for f32x4 {}
2121

2222
macro_rules! check {
2323
($func:ident $modifier:literal $reg:ident $ty:ident $mov:literal) => {
24-
// -O and extern "C" guarantee that the selected register is always r0/s0/d0/q0
24+
// -Copt-level=3 and extern "C" guarantee that the selected register is always r0/s0/d0/q0
2525
#[no_mangle]
2626
pub unsafe extern "C" fn $func() -> $ty {
2727
let y;

‎tests/assembly/asm/x86-modifiers.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
//@ add-core-stubs
22
//@ revisions: x86_64 i686
33
//@ assembly-output: emit-asm
4-
//@ compile-flags: -O -C panic=abort
4+
//@ compile-flags: -Copt-level=3 -C panic=abort
55
//@[x86_64] compile-flags: --target x86_64-unknown-linux-gnu
66
//@[x86_64] needs-llvm-components: x86
77
//@[i686] compile-flags: --target i686-unknown-linux-gnu
@@ -20,7 +20,7 @@ use minicore::*;
2020

2121
macro_rules! check {
2222
($func:ident $modifier:literal $reg:ident $mov:literal) => {
23-
// -O and extern "C" guarantee that the selected register is always ax/xmm0
23+
// -Copt-level=3 and extern "C" guarantee that the selected register is always ax/xmm0
2424
#[no_mangle]
2525
pub unsafe extern "C" fn $func() -> i32 {
2626
let y;

‎tests/assembly/libs/issue-115339-zip-arrays.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ assembly-output: emit-asm
22
// # zen3 previously exhibited odd vectorization
3-
//@ compile-flags: --crate-type=lib -Ctarget-cpu=znver3 -O
3+
//@ compile-flags: --crate-type=lib -Ctarget-cpu=znver3 -Copt-level=3
44
//@ only-x86_64
55
//@ ignore-sgx
66

‎tests/assembly/manual-eq-efficient.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// Regression test for #106269
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: --crate-type=lib -O -C llvm-args=-x86-asm-syntax=intel
3+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C llvm-args=-x86-asm-syntax=intel
44
//@ only-x86_64
55
//@ ignore-sgx
66

‎tests/assembly/panic-no-unwind-no-uwtable.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ assembly-output: emit-asm
22
//@ only-x86_64-unknown-linux-gnu
3-
//@ compile-flags: -C panic=unwind -C force-unwind-tables=n -O
3+
//@ compile-flags: -C panic=unwind -C force-unwind-tables=n -Copt-level=3
44

55
#![crate_type = "lib"]
66

‎tests/assembly/powerpc64-struct-abi.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ revisions: elfv1-be elfv2-be elfv2-le aix
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: -O
3+
//@ compile-flags: -Copt-level=3
44
//@[elfv1-be] compile-flags: --target powerpc64-unknown-linux-gnu
55
//@[elfv1-be] needs-llvm-components: powerpc
66
//@[elfv2-be] compile-flags: --target powerpc64-unknown-linux-musl

‎tests/assembly/s390x-backchain-toggle.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ revisions: enable-backchain disable-backchain
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: -O --crate-type=lib --target=s390x-unknown-linux-gnu
3+
//@ compile-flags: -Copt-level=3 --crate-type=lib --target=s390x-unknown-linux-gnu
44
//@ needs-llvm-components: systemz
55
//@[enable-backchain] compile-flags: -Ctarget-feature=+backchain
66
//@[disable-backchain] compile-flags: -Ctarget-feature=-backchain

‎tests/assembly/s390x-vector-abi.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
//@ revisions: z10 z10_vector z13 z13_no_vector
22
// ignore-tidy-linelength
33
//@ assembly-output: emit-asm
4-
//@ compile-flags: -O -Z merge-functions=disabled
4+
//@ compile-flags: -Copt-level=3 -Z merge-functions=disabled
55
//@[z10] compile-flags: --target s390x-unknown-linux-gnu --cfg no_vector
66
//@[z10] needs-llvm-components: systemz
77
//@[z10_vector] compile-flags: --target s390x-unknown-linux-gnu -C target-feature=+vector

‎tests/assembly/simd-bitmask.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
//@ [aarch64] compile-flags: --target=aarch64-unknown-linux-gnu
1111
//@ [aarch64] needs-llvm-components: aarch64
1212
//@ assembly-output: emit-asm
13-
//@ compile-flags: --crate-type=lib -O -C panic=abort
13+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
1414

1515
#![feature(no_core, lang_items, repr_simd, intrinsics)]
1616
#![no_core]

‎tests/assembly/simd-intrinsic-gather.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
//@ [x86-avx512] compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bw,+avx512dq
44
//@ [x86-avx512] needs-llvm-components: x86
55
//@ assembly-output: emit-asm
6-
//@ compile-flags: --crate-type=lib -O -C panic=abort
6+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
77

88
#![feature(no_core, lang_items, repr_simd, intrinsics)]
99
#![no_core]

‎tests/assembly/simd-intrinsic-mask-load.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
//@ [x86-avx512] compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bw,+avx512dq
77
//@ [x86-avx512] needs-llvm-components: x86
88
//@ assembly-output: emit-asm
9-
//@ compile-flags: --crate-type=lib -O -C panic=abort
9+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
1010

1111
#![feature(no_core, lang_items, repr_simd, intrinsics)]
1212
#![no_core]

‎tests/assembly/simd-intrinsic-mask-reduce.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
//@ [aarch64] compile-flags: --target=aarch64-unknown-linux-gnu
88
//@ [aarch64] needs-llvm-components: aarch64
99
//@ assembly-output: emit-asm
10-
//@ compile-flags: --crate-type=lib -O -C panic=abort
10+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
1111

1212
#![feature(no_core, lang_items, repr_simd, intrinsics)]
1313
#![no_core]

‎tests/assembly/simd-intrinsic-mask-store.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
//@ [x86-avx512] compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bw,+avx512dq
77
//@ [x86-avx512] needs-llvm-components: x86
88
//@ assembly-output: emit-asm
9-
//@ compile-flags: --crate-type=lib -O -C panic=abort
9+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
1010

1111
#![feature(no_core, lang_items, repr_simd, intrinsics)]
1212
#![no_core]

‎tests/assembly/simd-intrinsic-scatter.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
//@ [x86-avx512] compile-flags: -C target-feature=+avx512f,+avx512vl,+avx512bw,+avx512dq
44
//@ [x86-avx512] needs-llvm-components: x86
55
//@ assembly-output: emit-asm
6-
//@ compile-flags: --crate-type=lib -O -C panic=abort
6+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
77

88
#![feature(no_core, lang_items, repr_simd, intrinsics)]
99
#![no_core]

‎tests/assembly/simd-intrinsic-select.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
//@ [aarch64] compile-flags: --target=aarch64-unknown-linux-gnu
99
//@ [aarch64] needs-llvm-components: aarch64
1010
//@ assembly-output: emit-asm
11-
//@ compile-flags: --crate-type=lib -O -C panic=abort
11+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C panic=abort
1212

1313
#![feature(no_core, lang_items, repr_simd, intrinsics)]
1414
#![no_core]

‎tests/assembly/simd/reduce-fadd-unordered.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
//@ revisions: x86_64 aarch64
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: --crate-type=lib -O
3+
//@ compile-flags: --crate-type=lib -Copt-level=3
4+
45
//@[aarch64] only-aarch64
56
//@[x86_64] only-x86_64
67
//@[x86_64] compile-flags: -Ctarget-feature=+sse3

‎tests/assembly/slice-is_ascii.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
//@ [WIN] only-windows
33
//@ [LIN] only-linux
44
//@ assembly-output: emit-asm
5-
//@ compile-flags: --crate-type=lib -O -C llvm-args=-x86-asm-syntax=intel
5+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C llvm-args=-x86-asm-syntax=intel
66
//@ only-x86_64
77
//@ ignore-sgx
88

‎tests/assembly/x86-return-float.rs

Lines changed: 25 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,27 @@
11
//@ assembly-output: emit-asm
2-
//@ only-x86
32
// FIXME(#114479): LLVM miscompiles loading and storing `f32` and `f64` when SSE is disabled.
43
// There's no compiletest directive to ignore a test on i586 only, so just always explicitly enable
54
// SSE2.
65
// Use the same target CPU as `i686` so that LLVM orders the instructions in the same order.
76
//@ compile-flags: -Ctarget-feature=+sse2 -Ctarget-cpu=pentium4
87
// Force frame pointers to make ASM more consistent between targets
9-
//@ compile-flags: -O -C force-frame-pointers
8+
//@ compile-flags: -C force-frame-pointers
9+
// At opt-level=3, LLVM can merge two movss into one movsd, and we aren't testing for that.
10+
//@ compile-flags: -Copt-level=2
1011
//@ filecheck-flags: --implicit-check-not fld --implicit-check-not fst
11-
//@ revisions: normal win
12-
//@[normal] ignore-windows
13-
//@[win] only-windows
12+
//@ revisions: linux win
13+
//@ add-core-stubs
14+
//@ needs-llvm-components: x86
15+
//@[linux] compile-flags: --target i686-unknown-linux-gnu
16+
//@[win] compile-flags: --target i686-pc-windows-msvc
1417

1518
#![crate_type = "lib"]
1619
#![feature(f16, f128)]
20+
#![feature(no_core)]
21+
#![no_core]
22+
23+
extern crate minicore;
24+
use minicore::*;
1725

1826
// Tests that returning `f32` and `f64` with the "Rust" ABI on 32-bit x86 doesn't use the x87
1927
// floating point stack, as loading and storing `f32`s and `f64`s to and from the x87 stack quietens
@@ -190,8 +198,8 @@ pub unsafe fn call_f64_f64(x: &mut (f64, f64)) {
190198
}
191199
// CHECK: movl {{.*}}(%ebp), %[[PTR:.*]]
192200
// CHECK: calll {{()|_}}get_f64_f64
193-
// normal: movsd [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
194-
// normal-NEXT: movsd [[#%d,OFFSET+8]](%ebp), %[[VAL2:.*]]
201+
// linux: movsd [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
202+
// linux-NEXT: movsd [[#%d,OFFSET+8]](%ebp), %[[VAL2:.*]]
195203
// win: movsd (%esp), %[[VAL1:.*]]
196204
// win-NEXT: movsd 8(%esp), %[[VAL2:.*]]
197205
// CHECK-NEXT: movsd %[[VAL1]], (%[[PTR]])
@@ -207,12 +215,12 @@ pub unsafe fn call_f32_f64(x: &mut (f32, f64)) {
207215
}
208216
// CHECK: movl {{.*}}(%ebp), %[[PTR:.*]]
209217
// CHECK: calll {{()|_}}get_f32_f64
210-
// normal: movss [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
211-
// normal-NEXT: movsd [[#%d,OFFSET+4]](%ebp), %[[VAL2:.*]]
218+
// linux: movss [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
219+
// linux-NEXT: movsd [[#%d,OFFSET+4]](%ebp), %[[VAL2:.*]]
212220
// win: movss (%esp), %[[VAL1:.*]]
213221
// win-NEXT: movsd 8(%esp), %[[VAL2:.*]]
214222
// CHECK-NEXT: movss %[[VAL1]], (%[[PTR]])
215-
// normal-NEXT: movsd %[[VAL2]], 4(%[[PTR]])
223+
// linux-NEXT: movsd %[[VAL2]], 4(%[[PTR]])
216224
// win-NEXT: movsd %[[VAL2]], 8(%[[PTR]])
217225
*x = get_f32_f64();
218226
}
@@ -225,8 +233,8 @@ pub unsafe fn call_f64_f32(x: &mut (f64, f32)) {
225233
}
226234
// CHECK: movl {{.*}}(%ebp), %[[PTR:.*]]
227235
// CHECK: calll {{()|_}}get_f64_f32
228-
// normal: movsd [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
229-
// normal-NEXT: movss [[#%d,OFFSET+8]](%ebp), %[[VAL2:.*]]
236+
// linux: movsd [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
237+
// linux-NEXT: movss [[#%d,OFFSET+8]](%ebp), %[[VAL2:.*]]
230238
// win: movsd (%esp), %[[VAL1:.*]]
231239
// win-NEXT: movss 8(%esp), %[[VAL2:.*]]
232240
// CHECK-NEXT: movsd %[[VAL1]], (%[[PTR]])
@@ -257,8 +265,8 @@ pub unsafe fn call_f64_other(x: &mut (f64, usize)) {
257265
}
258266
// CHECK: movl {{.*}}(%ebp), %[[PTR:.*]]
259267
// CHECK: calll {{()|_}}get_f64_other
260-
// normal: movsd [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
261-
// normal-NEXT: movl [[#%d,OFFSET+8]](%ebp), %[[VAL2:.*]]
268+
// linux: movsd [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
269+
// linux-NEXT: movl [[#%d,OFFSET+8]](%ebp), %[[VAL2:.*]]
262270
// win: movsd (%esp), %[[VAL1:.*]]
263271
// win-NEXT: movl 8(%esp), %[[VAL2:.*]]
264272
// CHECK-NEXT: movsd %[[VAL1]], (%[[PTR]])
@@ -289,12 +297,12 @@ pub unsafe fn call_other_f64(x: &mut (usize, f64)) {
289297
}
290298
// CHECK: movl {{.*}}(%ebp), %[[PTR:.*]]
291299
// CHECK: calll {{()|_}}get_other_f64
292-
// normal: movl [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
293-
// normal-NEXT: movsd [[#%d,OFFSET+4]](%ebp), %[[VAL2:.*]]
300+
// linux: movl [[#%d,OFFSET:]](%ebp), %[[VAL1:.*]]
301+
// linux-NEXT: movsd [[#%d,OFFSET+4]](%ebp), %[[VAL2:.*]]
294302
// win: movl (%esp), %[[VAL1:.*]]
295303
// win-NEXT: movsd 8(%esp), %[[VAL2:.*]]
296304
// CHECK-NEXT: movl %[[VAL1]], (%[[PTR]])
297-
// normal-NEXT: movsd %[[VAL2]], 4(%[[PTR]])
305+
// linux-NEXT: movsd %[[VAL2]], 4(%[[PTR]])
298306
// win-NEXT: movsd %[[VAL2]], 8(%[[PTR]])
299307
*x = get_other_f64();
300308
}

‎tests/assembly/x86_64-array-pair-load-store-merge.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
//@ assembly-output: emit-asm
2-
//@ compile-flags: --crate-type=lib -O -C llvm-args=-x86-asm-syntax=intel
2+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C llvm-args=-x86-asm-syntax=intel
33
//@ only-x86_64
44
//@ ignore-sgx
55
//@ ignore-apple (manipulates rsp too)

‎tests/assembly/x86_64-bigint-helpers.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
//@ only-x86_64
22
//@ assembly-output: emit-asm
3-
//@ compile-flags: --crate-type=lib -O -C target-cpu=x86-64-v4
3+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C target-cpu=x86-64-v4
44
//@ compile-flags: -C llvm-args=-x86-asm-syntax=intel
55
//@ revisions: llvm-pre-20 llvm-20
66
//@ [llvm-20] min-llvm-version: 20

‎tests/assembly/x86_64-floating-point-clamp.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
//@ assembly-output: emit-asm
55
// Set the base cpu explicitly, in case the default has been changed.
6-
//@ compile-flags: --crate-type=lib -O -C llvm-args=-x86-asm-syntax=intel -C target-cpu=x86-64
6+
//@ compile-flags: --crate-type=lib -Copt-level=3 -C llvm-args=-x86-asm-syntax=intel -C target-cpu=x86-64
77
//@ only-x86_64
88
//@ ignore-sgx
99

‎tests/assembly/x86_64-function-return.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
//@ revisions: unset keep thunk-extern keep-thunk-extern thunk-extern-keep
55
//@ assembly-output: emit-asm
6-
//@ compile-flags: -O
6+
//@ compile-flags: -Copt-level=3
77
//@ [keep] compile-flags: -Zfunction-return=keep
88
//@ [thunk-extern] compile-flags: -Zfunction-return=thunk-extern
99
//@ [keep-thunk-extern] compile-flags: -Zfunction-return=keep -Zfunction-return=thunk-extern

‎tests/assembly/x86_64-no-jump-tables.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
//@ revisions: unset set
55
//@ assembly-output: emit-asm
6-
//@ compile-flags: -O
6+
//@ compile-flags: -Copt-level=3
77
//@ [set] compile-flags: -Zno-jump-tables
88
//@ only-x86_64
99
//@ ignore-sgx

‎tests/assembly/x86_64-typed-swap.rs

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
//@ [LIN] only-linux
44
//@ only-x86_64
55
//@ assembly-output: emit-asm
6-
//@ compile-flags: --crate-type=lib -O
6+
//@ compile-flags: --crate-type=lib -Copt-level=3
77

88
use std::arch::x86_64::__m128;
99
use std::mem::swap;
@@ -12,42 +12,42 @@ use std::mem::swap;
1212
#[no_mangle]
1313
pub fn swap_i32(x: &mut i32, y: &mut i32) {
1414
// CHECK: movl (%[[ARG1:.+]]), %[[T1:.+]]
15-
// CHECK: movl (%[[ARG2:.+]]), %[[T2:.+]]
16-
// CHECK: movl %[[T2]], (%[[ARG1]])
17-
// CHECK: movl %[[T1]], (%[[ARG2]])
18-
// CHECK: retq
15+
// CHECK-NEXT: movl (%[[ARG2:.+]]), %[[T2:.+]]
16+
// CHECK-DAG: movl %[[T2]], (%[[ARG1]])
17+
// CHECK-DAG: movl %[[T1]], (%[[ARG2]])
18+
// CHECK-NEXT: retq
1919
swap(x, y)
2020
}
2121

2222
// CHECK-LABEL: swap_pair:
2323
#[no_mangle]
2424
pub fn swap_pair(x: &mut (i32, u32), y: &mut (i32, u32)) {
25-
// CHECK: movq (%[[ARG1]]), %[[T1:.+]]
26-
// CHECK: movq (%[[ARG2]]), %[[T2:.+]]
27-
// CHECK: movq %[[T2]], (%[[ARG1]])
28-
// CHECK: movq %[[T1]], (%[[ARG2]])
29-
// CHECK: retq
25+
// CHECK: movq (%[[ARG1:r..?]]), %[[T1:.+]]
26+
// CHECK-NEXT: movq (%[[ARG2:r..?]]), %[[T2:.+]]
27+
// CHECK-DAG: movq %[[T2]], (%[[ARG1]])
28+
// CHECK-DAG: movq %[[T1]], (%[[ARG2]])
29+
// CHECK-NEXT: retq
3030
swap(x, y)
3131
}
3232

3333
// CHECK-LABEL: swap_str:
3434
#[no_mangle]
3535
pub fn swap_str<'a>(x: &mut &'a str, y: &mut &'a str) {
36-
// CHECK: movups (%[[ARG1]]), %[[T1:xmm.]]
37-
// CHECK: movups (%[[ARG2]]), %[[T2:xmm.]]
38-
// CHECK: movups %[[T2]], (%[[ARG1]])
39-
// CHECK: movups %[[T1]], (%[[ARG2]])
40-
// CHECK: retq
36+
// CHECK: movups (%[[ARG1:r..?]]), %[[T1:xmm.]]
37+
// CHECK-NEXT: movups (%[[ARG2:r..?]]), %[[T2:xmm.]]
38+
// CHECK-DAG: movups %[[T2]], (%[[ARG1]])
39+
// CHECK-DAG: movups %[[T1]], (%[[ARG2]])
40+
// CHECK-NEXT: retq
4141
swap(x, y)
4242
}
4343

4444
// CHECK-LABEL: swap_simd:
4545
#[no_mangle]
4646
pub fn swap_simd(x: &mut __m128, y: &mut __m128) {
47-
// CHECK: movaps (%[[ARG1]]), %[[T1:xmm.]]
48-
// CHECK: movaps (%[[ARG2]]), %[[T2:xmm.]]
49-
// CHECK: movaps %[[T2]], (%[[ARG1]])
50-
// CHECK: movaps %[[T1]], (%[[ARG2]])
51-
// CHECK: retq
47+
// CHECK: movaps (%[[ARG1:r..?]]), %[[T1:xmm.]]
48+
// CHECK-NEXT: movaps (%[[ARG2:r..?]]), %[[T2:xmm.]]
49+
// CHECK-DAG: movaps %[[T2]], (%[[ARG1]])
50+
// CHECK-DAG: movaps %[[T1]], (%[[ARG2]])
51+
// CHECK-NEXT: retq
5252
swap(x, y)
5353
}

0 commit comments

Comments
 (0)