mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 23:04:33 +00:00
Rollup merge of #114230 - workingjubilee:codegen-tests-that-nest, r=Mark-Simulacrum
Nest other codegen test topics This PR is like rust-lang/rust#114229 in that it mostly pushes codegen tests around, shoving them into their own directories, but because all of the changes are very simple cleanups I pulled them into a separate PR. The other PR might involve actually evaluating the correctness of the test after changes, but here it is mostly a matter of taste. The only "functional" change is deleting a few tests that... hinge on a version of LLVM that we don't support (as of rust-lang/rust#114148 anyways). I considered a few different ways to group other topics but I feel the question of whether `tests/codegen/{vec,array,slice}` should exist is more subtle than these choices, as it might be better to group such related tests by other topics like bounds check elision, thus I avoided making it.
This commit is contained in:
commit
fe1c3a1a5e
@ -1,34 +0,0 @@
|
||||
// compile-flags: -O
|
||||
|
||||
// Once we're done with llvm 14 and earlier, this test can be deleted.
|
||||
|
||||
#![crate_type = "lib"]
|
||||
|
||||
use std::mem::MaybeUninit;
|
||||
|
||||
// Boxing a `MaybeUninit` value should not copy junk from the stack
|
||||
#[no_mangle]
|
||||
pub fn box_uninitialized() -> Box<MaybeUninit<usize>> {
|
||||
// CHECK-LABEL: @box_uninitialized
|
||||
// CHECK-NOT: store
|
||||
// CHECK-NOT: alloca
|
||||
// CHECK-NOT: memcpy
|
||||
// CHECK-NOT: memset
|
||||
Box::new(MaybeUninit::uninit())
|
||||
}
|
||||
|
||||
// https://github.com/rust-lang/rust/issues/58201
|
||||
#[no_mangle]
|
||||
pub fn box_uninitialized2() -> Box<MaybeUninit<[usize; 1024 * 1024]>> {
|
||||
// CHECK-LABEL: @box_uninitialized2
|
||||
// CHECK-NOT: store
|
||||
// CHECK-NOT: alloca
|
||||
// CHECK-NOT: memcpy
|
||||
// CHECK-NOT: memset
|
||||
Box::new(MaybeUninit::uninit())
|
||||
}
|
||||
|
||||
// Hide the LLVM 15+ `allocalign` attribute in the declaration of __rust_alloc
|
||||
// from the CHECK-NOT above. We don't check the attributes here because we can't rely
|
||||
// on all of them being set until LLVM 15.
|
||||
// CHECK: declare {{(dso_local )?}}noalias{{.*}} @__rust_alloc(i{{[0-9]+}} noundef, i{{[0-9]+.*}} noundef)
|
@ -1,144 +0,0 @@
|
||||
// compile-flags: -O
|
||||
// only-x86_64
|
||||
// ignore-debug
|
||||
|
||||
#![crate_type = "lib"]
|
||||
|
||||
// CHECK-LABEL: @vec_zero_bytes
|
||||
#[no_mangle]
|
||||
pub fn vec_zero_bytes(n: usize) -> Vec<u8> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
// CHECK-NOT: call {{.*}}llvm.memset
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
// CHECK-NOT: call {{.*}}llvm.memset
|
||||
|
||||
// CHECK: ret void
|
||||
vec![0; n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_one_bytes
|
||||
#[no_mangle]
|
||||
pub fn vec_one_bytes(n: usize) -> Vec<u8> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc(
|
||||
// CHECK: call {{.*}}llvm.memset
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![1; n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_zero_scalar
|
||||
#[no_mangle]
|
||||
pub fn vec_zero_scalar(n: usize) -> Vec<i32> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![0; n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_one_scalar
|
||||
#[no_mangle]
|
||||
pub fn vec_one_scalar(n: usize) -> Vec<i32> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![1; n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_zero_rgb48
|
||||
#[no_mangle]
|
||||
pub fn vec_zero_rgb48(n: usize) -> Vec<[u16; 3]> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![[0, 0, 0]; n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_zero_array_16
|
||||
#[no_mangle]
|
||||
pub fn vec_zero_array_16(n: usize) -> Vec<[i64; 16]> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![[0_i64; 16]; n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_zero_tuple
|
||||
#[no_mangle]
|
||||
pub fn vec_zero_tuple(n: usize) -> Vec<(i16, u8, char)> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![(0, 0, '\0'); n]
|
||||
}
|
||||
|
||||
// CHECK-LABEL: @vec_non_zero_tuple
|
||||
#[no_mangle]
|
||||
pub fn vec_non_zero_tuple(n: usize) -> Vec<(i16, u8, char)> {
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK: call {{.*}}__rust_alloc(
|
||||
|
||||
// CHECK-NOT: call {{.*}}alloc::vec::from_elem
|
||||
// CHECK-NOT: call {{.*}}reserve
|
||||
// CHECK-NOT: call {{.*}}__rust_alloc_zeroed(
|
||||
|
||||
// CHECK: ret void
|
||||
vec![(0, 0, 'A'); n]
|
||||
}
|
Loading…
Reference in New Issue
Block a user