move debug_asserts into copy_span_{asc,des}

Author: Robbepop

crates/wasmi/src/engine/executor/handler/exec.rs

@@ -92,7 +92,6 @@ pub fn copy_span_asc(
             len,
         },
     ) = unsafe { decode_op(ip) };
-    debug_assert!(results.head() <= values.head());
     exec_copy_span_asc(sp, results, values, len);
     dispatch!(state, ip, sp, mem0, mem0_len, instance)
 }
@@ -113,7 +112,6 @@ pub fn copy_span_des(
             len,
         },
     ) = unsafe { decode_op(ip) };
-    debug_assert!(results.head() >= values.head());
     exec_copy_span_des(sp, results, values, len);
     dispatch!(state, ip, sp, mem0, mem0_len, instance)
 }

crates/wasmi/src/engine/executor/handler/utils.rs

@@ -143,6 +143,7 @@ macro_rules! exec_return {
 }
 
 pub fn exec_copy_span_asc(sp: Sp, dst: SlotSpan, src: SlotSpan, len: u16) {
+    debug_assert!(dst.head() <= src.head());
     let dst = dst.iter(len);
     let src = src.iter(len);
     for (dst, src) in dst.into_iter().zip(src.into_iter()) {
@@ -152,6 +153,7 @@ pub fn exec_copy_span_asc(sp: Sp, dst: SlotSpan, src: SlotSpan, len: u16) {
 }
 
 pub fn exec_copy_span_des(sp: Sp, dst: SlotSpan, src: SlotSpan, len: u16) {
+    debug_assert!(dst.head() >= src.head());
     let dst = dst.iter(len);
     let src = src.iter(len);
     for (dst, src) in dst.into_iter().zip(src.into_iter()).rev() {