Merge pull request #1075 from 0xMiden/mooori/lower-const-pointer

feat: add lowering for `hir::ConstantPointer`

Author: mooori

codegen/masm/src/lib.rs

@@ -152,6 +152,7 @@ fn lower_hir_ops(info: &mut midenc_hir::DialectInfo) {
     info.register_operation_trait::<hir::Cast, dyn HirLowering>();
     info.register_operation_trait::<hir::Bitcast, dyn HirLowering>();
     //info.register_operation_trait::<hir::ConstantBytes, dyn HirLowering>();
+    info.register_operation_trait::<hir::ConstantPointer, dyn HirLowering>();
     info.register_operation_trait::<hir::Exec, dyn HirLowering>();
     info.register_operation_trait::<hir::Call, dyn HirLowering>();
     info.register_operation_trait::<hir::Store, dyn HirLowering>();

codegen/masm/src/lower/lowering.rs

@@ -441,6 +441,14 @@ impl HirLowering for hir::AssertEq {
     }
 }
 
+impl HirLowering for hir::ConstantPointer {
+    fn emit(&self, emitter: &mut BlockEmitter<'_>) -> Result<(), Report> {
+        let addr = self.get_value().addr();
+        emitter.inst_emitter(self.as_operation()).literal(addr, self.span());
+        Ok(())
+    }
+}
+
 impl HirLowering for ub::Unreachable {
     fn emit(&self, emitter: &mut BlockEmitter<'_>) -> Result<(), Report> {
         // This instruction, if reached, must cause the VM to trap, so we emit an assertion that