mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

refactor(tvix/eval): avoid unnecessary pop/push in OpForce

Browse source 
Change-Id: Ic7559eaa43aa0dcc97babb7669770c0f7f959f1b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7754
Autosubmit: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Reviewed-by: sterni <sternenseemann@systemli.org>
This commit is contained in:
Vincent Ambo 2023-01-04 18:41:44 +03:00 committed by clbot
parent 9b8ba915c8
commit 0c17718dd1
1 changed files with 1 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
tvix/eval/src/vm.rs
View file

@ -1003,14 +1003,9 @@ impl<'o> VM<'o> {
}
OpCode::OpForce => {
let value = self.pop();
if let Value::Thunk(thunk) = value {
self.push(Value::Thunk(thunk));
if let Some(Value::Thunk(_)) = self.stack.last() {
let trampoline = fallible!(self, Thunk::force_trampoline(self));
return Ok(trampoline);
} else {
self.push(value);
}
}