diff --git a/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs b/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs index 592d4beea..769063907 100644 --- a/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs +++ b/ykrt/src/compile/jitc_yk/codegen/x64/deopt.rs @@ -267,8 +267,7 @@ pub(crate) extern "C" fn __yk_deopt( unsafe { rbp.offset(isize::from(*extra)) } }; match size { - // FIXME: Check that 16-byte writes are for float registers only. - 16 | 8 => unsafe { ptr::write::(temp as *mut u64, jitval) }, + 8 => unsafe { ptr::write::(temp as *mut u64, jitval) }, 4 => unsafe { ptr::write::(temp as *mut u32, jitval as u32) }, 2 => unsafe { ptr::write::(temp as *mut u16, jitval as u16) }, _ => todo!("{}", size),