diff options
| author | Josh Stone <jistone@redhat.com> | 2024-10-11 14:41:02 -0700 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2024-10-11 16:22:43 -0700 |
| commit | 5365b3f7be079008d7cac03b821f7c65563ee5ed (patch) | |
| tree | b797d50e60b0c4feeabf72027a0a7d25c78839ce /tests/codegen/issues | |
| parent | f4966590d8edd5f493a1aab04016b94a75494329 (diff) | |
| download | rust-5365b3f7be079008d7cac03b821f7c65563ee5ed.tar.gz rust-5365b3f7be079008d7cac03b821f7c65563ee5ed.zip | |
Avoid superfluous UB checks in `IndexRange`
`IndexRange::len` is justified as an overall invariant, and `take_prefix` and `take_suffix` are justified by local branch conditions. A few more UB-checked calls remain in cases that are only supported locally by `debug_assert!`, which won't do anything in distributed builds, so those UB checks may still be useful. We generally expect core's `#![rustc_preserve_ub_checks]` to optimize away in user's release builds, but the mere presence of that extra code can sometimes inhibit optimization, as seen in #131563.
Diffstat (limited to 'tests/codegen/issues')
| -rw-r--r-- | tests/codegen/issues/issue-101082.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/codegen/issues/issue-101082.rs b/tests/codegen/issues/issue-101082.rs index 550d267a98f..4be1b6cb168 100644 --- a/tests/codegen/issues/issue-101082.rs +++ b/tests/codegen/issues/issue-101082.rs @@ -1,4 +1,9 @@ //@ compile-flags: -O +//@ revisions: host x86-64-v3 + +// This particular CPU regressed in #131563 +//@[x86-64-v3] only-x86_64 +//@[x86-64-v3] compile-flags: -Ctarget-cpu=x86-64-v3 #![crate_type = "lib"] |