From 198eca678c14a276a79b1531cc3c8b4c15dba544 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 5 Aug 2017 10:15:40 -0600 Subject: [PATCH] tweak codegen --- src/prolog/codegen.rs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs index acd9407e..abe274e0 100644 --- a/src/prolog/codegen.rs +++ b/src/prolog/codegen.rs @@ -256,17 +256,19 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker> body: &mut Code) -> usize { - let perm_vars = vs.vars_above_threshold(0) + deep_cuts as usize; - if num_clauses > 0 { + let perm_vars = vs.vars_above_threshold(0) + deep_cuts as usize; + body.push(Line::Control(ControlInstruction::Allocate(perm_vars))); if deep_cuts { body.push(Line::Cut(CutInstruction::GetLevel)); } + + return perm_vars; } - perm_vars + 0 } fn compile_neck_cut_or(&mut self, -- 2.54.0