Skip to content

Commit

Permalink
fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
The Miri Cronjob Bot committed Oct 22, 2024
1 parent 865acc2 commit cd8c123
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 8 deletions.
11 changes: 4 additions & 7 deletions src/tools/miri/src/intrinsics/simd.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
use either::Either;
use rustc_apfloat::{Float, Round};
use rustc_middle::ty::FloatTy;
use rustc_middle::ty::layout::LayoutOf;
use rustc_middle::{mir, ty, ty::FloatTy};
use rustc_middle::{mir, ty};
use rustc_span::{Symbol, sym};
use rustc_target::abi::{Endian, HasDataLayout};

Expand Down Expand Up @@ -630,12 +631,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
let (right, right_len) = this.project_to_simd(right)?;
let (dest, dest_len) = this.project_to_simd(dest)?;

let index = generic_args[2]
.expect_const()
.try_to_valtree()
.unwrap()
.0
.unwrap_branch();
let index =
generic_args[2].expect_const().try_to_valtree().unwrap().0.unwrap_branch();
let index_len = index.len();

assert_eq!(left_len, right_len);
Expand Down
1 change: 0 additions & 1 deletion src/tools/miri/tests/fail/provenance/ptr_invalid.rs
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@

// Ensure that a `ptr::without_provenance` ptr is truly invalid.
fn main() {
let x = 42;
Expand Down

0 comments on commit cd8c123

Please sign in to comment.