test

Author: mark-koch

hugr-llvm/src/extension/collections/borrow_array.rs

@@ -719,6 +719,9 @@ pub fn build_none_borrowed_check<'c, H: HugrView<Node = Node>>(
     offset: IntValue<'c>,
     size: u64,
 ) -> Result<()> {
+    if size == 0 {
+        return Ok(())
+    }
     // Wrap the check into a function instead of inlining
     const FUNC_NAME: &str = "__barray_check_none_borrowed";
     let usize_t = usize_ty(&ctx.typing_session());
@@ -764,6 +767,9 @@ pub fn build_all_borrowed_check<'c, H: HugrView<Node = Node>>(
     offset: IntValue<'c>,
     size: u64,
 ) -> Result<()> {
+    if size == 0 {
+        return Ok(())
+    }
     // Wrap the check into a function instead of inlining
     const FUNC_NAME: &str = "__barray_check_all_borrowed";
     let usize_t = usize_ty(&ctx.typing_session());
@@ -1486,7 +1492,6 @@ pub fn emit_barray_unsafe_op<'c, H: HugrView<Node = Node>>(
 
 #[cfg(test)]
 mod test {
-    use hugr_core::Wire;
     use hugr_core::builder::{DataflowHugr, HugrBuilder};
     use hugr_core::extension::prelude::either_type;
     use hugr_core::ops::Tag;
@@ -1496,6 +1501,7 @@ mod test {
         self, BArrayOpBuilder, BArrayRepeat, BArrayScan, borrow_array_type,
     };
     use hugr_core::types::Type;
+    use hugr_core::{Wire};
     use hugr_core::{
         builder::{Dataflow, DataflowSubContainer, SubContainer},
         extension::{