diff options
| author | Kivooeo <Kivooeo123@gmail.com> | 2025-07-01 02:45:14 +0500 |
|---|---|---|
| committer | Kivooeo <Kivooeo123@gmail.com> | 2025-07-01 02:45:14 +0500 |
| commit | 9a7db566d7b7bb534c5dc3bcfbd2ddd51d99a8d5 (patch) | |
| tree | 41a15423391873b07894d2abb4c9ae994bfd0340 /tests/ui/codegen | |
| parent | 5ca574e85b67cec0a6fc3fddfe398cbe676c9c69 (diff) | |
| download | rust-9a7db566d7b7bb534c5dc3bcfbd2ddd51d99a8d5.tar.gz rust-9a7db566d7b7bb534c5dc3bcfbd2ddd51d99a8d5.zip | |
moved tests
Diffstat (limited to 'tests/ui/codegen')
| -rw-r--r-- | tests/ui/codegen/output-slot-init-vs-noninit.rs | 68 | ||||
| -rw-r--r-- | tests/ui/codegen/remark-flag-functionality.rs | 28 | ||||
| -rw-r--r-- | tests/ui/codegen/shift-right-operand-mutation.rs | 12 | ||||
| -rw-r--r-- | tests/ui/codegen/sret-aliasing-rules.rs | 23 |
4 files changed, 131 insertions, 0 deletions
diff --git a/tests/ui/codegen/output-slot-init-vs-noninit.rs b/tests/ui/codegen/output-slot-init-vs-noninit.rs new file mode 100644 index 00000000000..97757e74fc4 --- /dev/null +++ b/tests/ui/codegen/output-slot-init-vs-noninit.rs @@ -0,0 +1,68 @@ +//@ run-pass + +#![allow(dead_code)] +#![allow(unused_assignments)] +#![allow(unknown_lints)] + +#![allow(dead_assignment)] +#![allow(unused_variables)] + +struct A { a: isize, b: isize } +struct Abox { a: Box<isize>, b: Box<isize> } + +fn ret_int_i() -> isize { 10 } + +fn ret_ext_i() -> Box<isize> { Box::new(10) } + +fn ret_int_rec() -> A { A {a: 10, b: 10} } + +fn ret_ext_rec() -> Box<A> { Box::new(A {a: 10, b: 10}) } + +fn ret_ext_mem() -> Abox { Abox {a: Box::new(10), b: Box::new(10) } } + +fn ret_ext_ext_mem() -> Box<Abox> { Box::new(Abox{a: Box::new(10), b: Box::new(10) }) } + +pub fn main() { + let mut int_i: isize; + let mut ext_i: Box<isize>; + let mut int_rec: A; + let mut ext_rec: Box<A>; + let mut ext_mem: Abox; + let mut ext_ext_mem: Box<Abox>; + int_i = ret_int_i(); // initializing + + int_i = ret_int_i(); // non-initializing + + int_i = ret_int_i(); // non-initializing + + ext_i = ret_ext_i(); // initializing + + ext_i = ret_ext_i(); // non-initializing + + ext_i = ret_ext_i(); // non-initializing + + int_rec = ret_int_rec(); // initializing + + int_rec = ret_int_rec(); // non-initializing + + int_rec = ret_int_rec(); // non-initializing + + ext_rec = ret_ext_rec(); // initializing + + ext_rec = ret_ext_rec(); // non-initializing + + ext_rec = ret_ext_rec(); // non-initializing + + ext_mem = ret_ext_mem(); // initializing + + ext_mem = ret_ext_mem(); // non-initializing + + ext_mem = ret_ext_mem(); // non-initializing + + ext_ext_mem = ret_ext_ext_mem(); // initializing + + ext_ext_mem = ret_ext_ext_mem(); // non-initializing + + ext_ext_mem = ret_ext_ext_mem(); // non-initializing + +} diff --git a/tests/ui/codegen/remark-flag-functionality.rs b/tests/ui/codegen/remark-flag-functionality.rs new file mode 100644 index 00000000000..165fc63c007 --- /dev/null +++ b/tests/ui/codegen/remark-flag-functionality.rs @@ -0,0 +1,28 @@ +//@ build-pass +//@ ignore-pass +//@ revisions: all inline merge1 merge2 +//@ compile-flags: --crate-type=lib -Cdebuginfo=1 -Copt-level=2 +// +// Check that remarks can be enabled individually or with "all": +// +//@ [all] compile-flags: -Cremark=all +//@ [inline] compile-flags: -Cremark=inline +// +// Check that values of -Cremark flag are accumulated: +// +//@ [merge1] compile-flags: -Cremark=all -Cremark=giraffe +//@ [merge2] compile-flags: -Cremark=inline -Cremark=giraffe +//@ dont-check-compiler-stderr +//@ dont-require-annotations: NOTE + +#[no_mangle] +#[inline(never)] +pub fn f() { +} + +#[no_mangle] +pub fn g() { + f(); +} + +//~? NOTE inline (missed): 'f' not inlined into 'g' diff --git a/tests/ui/codegen/shift-right-operand-mutation.rs b/tests/ui/codegen/shift-right-operand-mutation.rs new file mode 100644 index 00000000000..016a667e937 --- /dev/null +++ b/tests/ui/codegen/shift-right-operand-mutation.rs @@ -0,0 +1,12 @@ +//@ run-pass + +#![allow(unused_must_use)] +// Regression test for issue #152. +pub fn main() { + let mut b: usize = 1_usize; + while b < std::mem::size_of::<usize>() { + 0_usize << b; + b <<= 1_usize; + println!("{}", b); + } +} diff --git a/tests/ui/codegen/sret-aliasing-rules.rs b/tests/ui/codegen/sret-aliasing-rules.rs new file mode 100644 index 00000000000..0dfaa19fadb --- /dev/null +++ b/tests/ui/codegen/sret-aliasing-rules.rs @@ -0,0 +1,23 @@ +//@ run-pass + +#[derive(Copy, Clone)] +pub struct Foo { + f1: isize, + _f2: isize, +} + +#[inline(never)] +pub fn foo(f: &mut Foo) -> Foo { + let ret = *f; + f.f1 = 0; + ret +} + +pub fn main() { + let mut f = Foo { + f1: 8, + _f2: 9, + }; + f = foo(&mut f); + assert_eq!(f.f1, 8); +} |
