Merge pull request #193 from 0xPolygonMiden/greenhat/i160-get-inputs-…

…abi-test [1/x] `tx_kernel::get_inputs` MASM compilation test
0xPolygonMiden · Jun 5, 2024 · f2cb2b7 · f2cb2b7
2 parents 032c572 + d8d4bd0
commit f2cb2b7
Show file tree

Hide file tree

Showing 6 changed files with 1,565 additions and 0 deletions.
diff --git a/hir/src/dataflow.rs b/hir/src/dataflow.rs
@@ -578,6 +578,10 @@ impl DataFlowGraph {
     pub fn create_block_after(&mut self, block: Block) -> Block {
         let id = self.blocks.create();
         let data = BlockData::new(id);
+        assert!(
+            self.blocks.get(block).is_some(),
+            "cannot insert a new block after {block}, it is not linked"
+        );
         self.blocks.insert_after(id, block, data);
         id
     }