From 4763eaf0663757b3f7fa963b13bcb7d7a2a70119 Mon Sep 17 00:00:00 2001 From: The Miri Cronjob Bot Date: Fri, 24 May 2024 05:05:00 +0000 Subject: [PATCH] fmt --- src/tools/miri/src/shims/x86/mod.rs | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/src/shims/x86/mod.rs b/src/tools/miri/src/shims/x86/mod.rs index 74c2b0c61af83..04ad979cf5d57 100644 --- a/src/tools/miri/src/shims/x86/mod.rs +++ b/src/tools/miri/src/shims/x86/mod.rs @@ -79,9 +79,14 @@ pub(super) trait EvalContextExt<'mir, 'tcx: 'mir>: let a = this.read_immediate(a)?; let b = this.read_immediate(b)?; - let (sub, overflow1) = this.binary_op(mir::BinOp::SubWithOverflow, &a, &b)?.to_pair(this); + let (sub, overflow1) = + this.binary_op(mir::BinOp::SubWithOverflow, &a, &b)?.to_pair(this); let (sub, overflow2) = this - .binary_op(mir::BinOp::SubWithOverflow, &sub, &ImmTy::from_uint(b_in, a.layout))? + .binary_op( + mir::BinOp::SubWithOverflow, + &sub, + &ImmTy::from_uint(b_in, a.layout), + )? .to_pair(this); let b_out = overflow1.to_scalar().to_bool()? | overflow2.to_scalar().to_bool()?;