feat: Add LLVM emission for prelude.noop

Author: mark-koch

hugr-llvm/src/extension/prelude.rs

@@ -309,6 +309,9 @@ pub fn add_prelude_extensions<'a, H: HugrView<Node = Node> + 'a>(
             Ok(err)
         }
     })
+    .extension_op(prelude::PRELUDE_ID, prelude::NOOP_OP_ID, |context, args| {
+        args.outputs.finish(context.builder(), args.inputs)
+    })
     .simple_extension_op::<TupleOpDef>(|context, args, op| match op {
         TupleOpDef::UnpackTuple => {
             let unpack_tuple = UnpackTuple::from_extension_op(args.node().as_ref())?;
@@ -399,7 +402,7 @@ pub fn add_prelude_extensions<'a, H: HugrView<Node = Node> + 'a>(
 #[cfg(test)]
 mod test {
     use hugr_core::builder::{Dataflow, DataflowSubContainer};
-    use hugr_core::extension::prelude::EXIT_OP_ID;
+    use hugr_core::extension::prelude::{Noop, EXIT_OP_ID};
     use hugr_core::extension::PRELUDE;
     use hugr_core::types::{Type, TypeArg};
     use hugr_core::{type_row, Hugr};
@@ -500,6 +503,23 @@ mod test {
         check_emission!(hugr, prelude_llvm_ctx);
     }
 
+    #[rstest]
+    fn prelude_noop(prelude_llvm_ctx: TestContext) {
+        let hugr = SimpleHugrConfig::new()
+            .with_ins(usize_t())
+            .with_outs(usize_t())
+            .with_extensions(prelude::PRELUDE_REGISTRY.to_owned())
+            .finish(|mut builder| {
+                let in_wires = builder.input_wires();
+                let r = builder
+                    .add_dataflow_op(Noop::new(usize_t()), in_wires)
+                    .unwrap()
+                    .outputs();
+                builder.finish_with_outputs(r).unwrap()
+            });
+        check_emission!(hugr, prelude_llvm_ctx);
+    }
+
     #[rstest]
     fn prelude_make_tuple(prelude_llvm_ctx: TestContext) {
         let hugr = SimpleHugrConfig::new()

hugr-llvm/src/extension/snapshots/[email protected]

@@ -0,0 +1,14 @@
+---
+source: hugr-llvm/src/extension/prelude.rs
+expression: mod_str
+---
+; ModuleID = 'test_context'
+source_filename = "test_context"
+
+define i64 @_hl.main.1(i64 %0) {
+alloca_block:
+  br label %entry_block
+
+entry_block:                                      ; preds = %alloca_block
+  ret i64 %0
+}

hugr-llvm/src/extension/snapshots/hugr_llvm__extension__prelude__test__prelude_noop@[email protected]

@@ -0,0 +1,23 @@
+---
+source: hugr-llvm/src/extension/prelude.rs
+expression: mod_str
+---
+; ModuleID = 'test_context'
+source_filename = "test_context"
+
+define i64 @_hl.main.1(i64 %0) {
+alloca_block:
+  %"0" = alloca i64, align 8
+  %"2_0" = alloca i64, align 8
+  %"4_0" = alloca i64, align 8
+  br label %entry_block
+
+entry_block:                                      ; preds = %alloca_block
+  store i64 %0, i64* %"2_0", align 4
+  %"2_01" = load i64, i64* %"2_0", align 4
+  store i64 %"2_01", i64* %"4_0", align 4
+  %"4_02" = load i64, i64* %"4_0", align 4
+  store i64 %"4_02", i64* %"0", align 4
+  %"03" = load i64, i64* %"0", align 4
+  ret i64 %"03"
+}