about summary refs log tree commit diff
path: root/tvix/eval/src/vm.rs
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-27T17·41+0300
committertazjin <tazjin@tvl.su>2022-09-06T07·29+0000
commit3089e46eb12b0648a8c564836a660b87c5200a65 (patch)
tree081b30189e1f868a5032cbbe8a670cde9bbbe48a /tvix/eval/src/vm.rs
parente646d5170c7c1b651449966a53d0a955779d3f98 (diff)
refactor(tvix/eval): encapsulate internal mutability within Closure r/4651
This is required to efficiently construct the upvalue array at
runtime, as there are situations where during Closure construction
multiple things already have a reference to the closure (e.g. a
self-reference).

Change-Id: I35263b845fdc695dc873de489f5168d39b370f6a
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6312
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/vm.rs')
-rw-r--r--tvix/eval/src/vm.rs32
1 files changed, 16 insertions, 16 deletions
diff --git a/tvix/eval/src/vm.rs b/tvix/eval/src/vm.rs
index 707d2f4b26..527f58ddc8 100644
--- a/tvix/eval/src/vm.rs
+++ b/tvix/eval/src/vm.rs
@@ -1,12 +1,12 @@
 //! This module implements the virtual (or abstract) machine that runs
 //! Tvix bytecode.
 
-use std::rc::Rc;
+use std::{cell::Ref, rc::Rc};
 
 use crate::{
     chunk::Chunk,
     errors::{ErrorKind, EvalResult},
-    opcode::{Count, JumpOffset, OpCode, StackIdx, UpvalueIdx},
+    opcode::{Count, JumpOffset, OpCode, StackIdx},
     value::{Closure, Lambda, NixAttrs, NixList, Value},
 };
 
@@ -85,8 +85,8 @@ impl VM {
         &self.frames[self.frames.len() - 1]
     }
 
-    fn chunk(&self) -> &Chunk {
-        &self.frame().closure.lambda.chunk
+    fn chunk(&self) -> Ref<'_, Chunk> {
+        self.frame().closure.chunk()
     }
 
     fn frame_mut(&mut self) -> &mut CallFrame {
@@ -353,35 +353,35 @@ impl VM {
                     };
                 }
 
-                OpCode::OpGetUpvalue(UpvalueIdx(upv_idx)) => {
-                    let value = self.frame().closure.upvalues[upv_idx].clone();
+                OpCode::OpGetUpvalue(upv_idx) => {
+                    let value = self.frame().closure.upvalue(upv_idx).clone();
                     self.push(value);
                 }
 
                 OpCode::OpClosure(idx) => {
-                    let mut closure = self.chunk().constant(idx).clone().to_closure()?;
+                    let closure = self.chunk().constant(idx).clone().to_closure()?;
 
                     debug_assert!(
-                        closure.lambda.upvalue_count > 0,
+                        closure.upvalue_count() > 0,
                         "OpClosure should not be called for plain lambdas"
                     );
 
-                    for _ in 0..closure.lambda.upvalue_count {
+                    for _ in 0..closure.upvalue_count() {
                         match self.inc_ip() {
                             OpCode::DataLocalIdx(StackIdx(local_idx)) => {
                                 let idx = self.frame().stack_offset + local_idx;
-                                closure.upvalues.push(self.stack[idx].clone());
+                                closure.push_upvalue(self.stack[idx].clone());
                             }
 
-                            OpCode::DataUpvalueIdx(UpvalueIdx(upv_idx)) => {
-                                closure
-                                    .upvalues
-                                    .push(self.frame().closure.upvalues[upv_idx].clone());
+                            OpCode::DataUpvalueIdx(upv_idx) => {
+                                closure.push_upvalue(self.frame().closure.upvalue(upv_idx).clone());
                             }
 
                             OpCode::DataDynamicIdx(ident_idx) => {
-                                let ident = self.chunk().constant(ident_idx).as_str()?;
-                                closure.upvalues.push(self.resolve_with(ident)?);
+                                let chunk = self.chunk();
+                                let ident = chunk.constant(ident_idx).as_str()?.to_string();
+                                drop(chunk); // some lifetime trickery due to cell::Ref
+                                closure.push_upvalue(self.resolve_with(&ident)?);
                             }
 
                             _ => panic!("compiler error: missing closure operand"),