about summary refs log tree commit diff
path: root/tests/ui/codegen
diff options
context:
space:
mode:
authorKivooeo <Kivooeo123@gmail.com>2025-07-01 02:45:14 +0500
committerKivooeo <Kivooeo123@gmail.com>2025-07-01 02:45:14 +0500
commit9a7db566d7b7bb534c5dc3bcfbd2ddd51d99a8d5 (patch)
tree41a15423391873b07894d2abb4c9ae994bfd0340 /tests/ui/codegen
parent5ca574e85b67cec0a6fc3fddfe398cbe676c9c69 (diff)
downloadrust-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.rs68
-rw-r--r--tests/ui/codegen/remark-flag-functionality.rs28
-rw-r--r--tests/ui/codegen/shift-right-operand-mutation.rs12
-rw-r--r--tests/ui/codegen/sret-aliasing-rules.rs23
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);
+}