about summary refs log tree commit diff
diff options
context:
space:
mode:
authorScott McMurray <scottmcm@users.noreply.github.com>2022-09-17 18:54:00 -0700
committerScott McMurray <scottmcm@users.noreply.github.com>2022-09-17 18:54:00 -0700
commit335690200ef72899cd675f1ebb65d5d7a17dc29b (patch)
treeebf2cbe2155466c5a95e328e1c2839c497f45823
parentc773c134c949661874d76313280e76cc3dd60975 (diff)
downloadrust-335690200ef72899cd675f1ebb65d5d7a17dc29b.tar.gz
rust-335690200ef72899cd675f1ebb65d5d7a17dc29b.zip
Add a codegen test for slice::from_ptr_range
-rw-r--r--src/test/codegen/slice_as_from_ptr_range.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/codegen/slice_as_from_ptr_range.rs b/src/test/codegen/slice_as_from_ptr_range.rs
new file mode 100644
index 00000000000..0e3fefd9728
--- /dev/null
+++ b/src/test/codegen/slice_as_from_ptr_range.rs
@@ -0,0 +1,23 @@
+// compile-flags: -O
+// only-64bit (because we're using [ui]size)
+// ignore-debug (because the assertions get in the way)
+// min-llvm-version: 15.0 (because this is a relatively new instcombine)
+
+#![crate_type = "lib"]
+#![feature(slice_from_ptr_range)]
+
+// This is intentionally using a non-power-of-two array length,
+// as that's where the optimization differences show up
+
+// CHECK-LABEL: @flatten_via_ptr_range
+#[no_mangle]
+pub fn flatten_via_ptr_range(slice_of_arrays: &[[i32; 13]]) -> &[i32] {
+    // CHECK-NOT: lshr
+    // CHECK-NOT: udiv
+    // CHECK: mul nuw nsw i64 %{{.+}}, 13
+    // CHECK-NOT: lshr
+    // CHECK-NOT: udiv
+    let r = slice_of_arrays.as_ptr_range();
+    let r = r.start.cast()..r.end.cast();
+    unsafe { core::slice::from_ptr_range(r) }
+}