Skip to content

Commit 3d08696

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent bca4136 commit 3d08696

File tree

3 files changed

+3
-8
lines changed

3 files changed

+3
-8
lines changed

src/tools/miri/src/shims/foreign_items.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -800,10 +800,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
800800

801801
// Target-specific shims
802802
name if name.starts_with("llvm.x86.")
803-
&& matches!(
804-
this.tcx.sess.target.arch,
805-
Arch::X86 | Arch::X86_64
806-
) =>
803+
&& matches!(this.tcx.sess.target.arch, Arch::X86 | Arch::X86_64) =>
807804
{
808805
return shims::x86::EvalContextExt::emulate_x86_intrinsic(
809806
this, link_name, abi, args, dest,

src/tools/miri/src/shims/x86/mod.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -42,9 +42,7 @@ pub(super) trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
4242
// https://www.intel.com/content/www/us/en/docs/cpp-compiler/developer-guide-reference/2021-8/addcarry-u32-addcarry-u64.html
4343
// https://www.intel.com/content/www/us/en/docs/cpp-compiler/developer-guide-reference/2021-8/subborrow-u32-subborrow-u64.html
4444
"addcarry.32" | "addcarry.64" | "subborrow.32" | "subborrow.64" => {
45-
if unprefixed_name.ends_with("64")
46-
&& this.tcx.sess.target.arch != Arch::X86_64
47-
{
45+
if unprefixed_name.ends_with("64") && this.tcx.sess.target.arch != Arch::X86_64 {
4846
return interp_ok(EmulateItemResult::NotSupported);
4947
}
5048

src/tools/miri/tests/fail/intrinsics/simd_masked_load_element_misaligned.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ use std::simd::*;
66
fn main() {
77
unsafe {
88
let buf = [0u32; 5];
9-
//~v ERROR: accessing memory with alignment
9+
//~v ERROR: accessing memory with alignment
1010
simd_masked_load::<_, _, _, { SimdAlign::Element }>(
1111
i32x4::splat(-1),
1212
// This is not i32-aligned

0 commit comments

Comments
 (0)