temp

fix-codegen/src/disassembler.rs

@@ -280,7 +280,10 @@ impl<'a, Ctx: DisassemblerContext> Disassembler<'a, Ctx> {
                 ("MakePatternClosure", arg_str)
             }
 
-            Op::Call => ("Call", String::new()),
+            Op::Call => {
+                self.read_operand_data();
+                ("Call", "arg=?".into())
+            },
             Op::DispatchPrimOp => {
                 todo!();
             }

fix-codegen/src/lib.rs

@@ -164,7 +164,7 @@ impl<'a, Ctx: BytecodeContext> BytecodeEmitter<'a, Ctx> {
     }
 
     #[must_use]
-    fn inline_maybe_thunk(&mut self, val: MaybeThunk) -> InlineOperand {
+    fn inline_maybe_thunk(&self, val: MaybeThunk) -> InlineOperand {
         use MaybeThunk::*;
         match val {
             Int(x) => {
@@ -812,14 +812,11 @@ impl<'a, Ctx: BytecodeContext> BytecodeEmitter<'a, Ctx> {
             let span_id = self.ctx.register_span(span);
             self.emit_u32(span_id);
         }
-        for &(_key, _val, _span) in dyns.iter() {
-            todo!("redesign dynamic attr key");
-            // self.emit_u8(AttrKeyType::Dynamic as u8);
-            // self.emit_maybe_thunk(key);
-            // let val_operand = self.inline_maybe_thunk(val);
-            // self.emit_maybe_thunk(val);
-            // let span_id = self.ctx.register_span(span);
-            // self.emit_u32(span_id);
+        for &(_key, val, span) in dyns.iter() {
+            self.emit_u8(AttrKeyType::Dynamic as u8);
+            self.emit_maybe_thunk(val);
+            let span_id = self.ctx.register_span(span);
+            self.emit_u32(span_id);
         }
     }