about summary refs log tree commit diff
path: root/tests/codegen/addr-of-mutate.rs
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2025-07-21 14:34:12 +0200
committerGuillaume Gomez <guillaume1.gomez@gmail.com>2025-07-22 14:28:48 +0200
commita27f3e3fd1e4d16160f8885b6b06665b5319f56c (patch)
treeb033935392cbadf6f85d2dbddf433a88e323aeeb /tests/codegen/addr-of-mutate.rs
parented93c1783b404d728d4809973a0550eb33cd293f (diff)
downloadrust-a27f3e3fd1e4d16160f8885b6b06665b5319f56c.tar.gz
rust-a27f3e3fd1e4d16160f8885b6b06665b5319f56c.zip
Rename `tests/codegen` into `tests/codegen-llvm`
Diffstat (limited to 'tests/codegen/addr-of-mutate.rs')
-rw-r--r--tests/codegen/addr-of-mutate.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/tests/codegen/addr-of-mutate.rs b/tests/codegen/addr-of-mutate.rs
deleted file mode 100644
index 14bc4b8ab28..00000000000
--- a/tests/codegen/addr-of-mutate.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-//@ compile-flags: -C opt-level=3 -C no-prepopulate-passes
-
-#![crate_type = "lib"]
-
-// Test for the absence of `readonly` on the argument when it is mutated via `&raw const`.
-// See <https://github.com/rust-lang/rust/issues/111502>.
-
-// CHECK: i8 @foo(ptr noalias{{( nocapture)?}} noundef align 1{{( captures\(none\))?}} dereferenceable(128) %x)
-#[no_mangle]
-pub fn foo(x: [u8; 128]) -> u8 {
-    let ptr = core::ptr::addr_of!(x).cast_mut();
-    unsafe {
-        (*ptr)[0] = 1;
-    }
-    x[0]
-}
-
-// CHECK: i1 @second(ptr noalias{{( nocapture)?}} noundef align {{[0-9]+}}{{( captures\(none\))?}} dereferenceable({{[0-9]+}}) %a_ptr_and_b)
-#[no_mangle]
-pub unsafe fn second(a_ptr_and_b: (*mut (i32, bool), (i64, bool))) -> bool {
-    let b_bool_ptr = core::ptr::addr_of!(a_ptr_and_b.1.1).cast_mut();
-    (*b_bool_ptr) = true;
-    a_ptr_and_b.1.1
-}
-
-// If going through a deref (and there are no other mutating accesses), then `readonly` is fine.
-// CHECK: i1 @third(ptr noalias{{( nocapture)?}} noundef readonly align {{[0-9]+}}{{( captures\(none\))?}} dereferenceable({{[0-9]+}}) %a_ptr_and_b)
-#[no_mangle]
-pub unsafe fn third(a_ptr_and_b: (*mut (i32, bool), (i64, bool))) -> bool {
-    let b_bool_ptr = core::ptr::addr_of!((*a_ptr_and_b.0).1).cast_mut();
-    (*b_bool_ptr) = true;
-    a_ptr_and_b.1.1
-}