mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 14:55:26 +00:00
3554036280
An `assume` would definitely not be worth it, but since the flag is almost free we might as well tell LLVM this, especially on `_unchecked` calls where there's no obvious way for it to deduce it. (Today neither safe nor unsafe indexing gets it: <https://rust.godbolt.org/z/G1jYT548s>)
36 lines
884 B
Rust
36 lines
884 B
Rust
// compile-flags: -O
|
|
// only-64bit (because the LLVM type of i64 for usize shows up)
|
|
// ignore-debug: the debug assertions get in the way
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
use std::ops::Range;
|
|
|
|
// CHECK-LABEL: @index_by_range(
|
|
#[no_mangle]
|
|
pub fn index_by_range(x: &[u16], r: Range<usize>) -> &[u16] {
|
|
// CHECK: sub nuw i64
|
|
&x[r]
|
|
}
|
|
|
|
// CHECK-LABEL: @get_unchecked_by_range(
|
|
#[no_mangle]
|
|
pub unsafe fn get_unchecked_by_range(x: &[u16], r: Range<usize>) -> &[u16] {
|
|
// CHECK: sub nuw i64
|
|
x.get_unchecked(r)
|
|
}
|
|
|
|
// CHECK-LABEL: @index_mut_by_range(
|
|
#[no_mangle]
|
|
pub fn index_mut_by_range(x: &mut [i32], r: Range<usize>) -> &mut [i32] {
|
|
// CHECK: sub nuw i64
|
|
&mut x[r]
|
|
}
|
|
|
|
// CHECK-LABEL: @get_unchecked_mut_by_range(
|
|
#[no_mangle]
|
|
pub unsafe fn get_unchecked_mut_by_range(x: &mut [i32], r: Range<usize>) -> &mut [i32] {
|
|
// CHECK: sub nuw i64
|
|
x.get_unchecked_mut(r)
|
|
}
|