From 0c4d93f01f77b2179f93fa8ea57fb7bbc7badb2b Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 10 Jan 2023 18:24:38 -0700
Subject: [PATCH] remove add_term_to_free_list from AddToList (#1684)

---
 src/codegen.rs          | 12 ------------
 src/debray_allocator.rs |  6 ++----
 2 files changed, 2 insertions(+), 16 deletions(-)

diff --git a/src/codegen.rs b/src/codegen.rs
index dc03a19a..79574005 100644
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -243,22 +243,14 @@ fn trim_structure_by_last_arg(instr: &mut Instruction, last_arg: &Term) {
 }
 
 trait AddToFreeList<'a, Target: CompilationTarget<'a>> {
-    fn add_term_to_free_list(&mut self, r: RegType);
     fn add_subterm_to_free_list(&mut self, term: &Term);
 }
 
 impl<'a, 'b> AddToFreeList<'a, FactInstruction> for CodeGenerator<'b> {
-    #[inline(always)]
-    fn add_term_to_free_list(&mut self, r: RegType) {
-        self.marker.add_to_free_list(r);
-    }
-
     fn add_subterm_to_free_list(&mut self, _term: &Term) {}
 }
 
 impl<'a, 'b> AddToFreeList<'a, QueryInstruction> for CodeGenerator<'b> {
-    fn add_term_to_free_list(&mut self, _r: RegType) {}
-
     #[inline(always)]
     fn add_subterm_to_free_list(&mut self, term: &Term) {
         if let Some(cell) = structure_cell(term) {
@@ -382,8 +374,6 @@ impl<'b> CodeGenerator<'b> {
                     self.marker.mark_non_var::<Target>(lvl, term_loc, cell, &mut target);
                     target.push(Target::to_structure(name, terms.len(), cell.get()));
 
-                    <CodeGenerator<'b> as AddToFreeList<'a, Target>>::add_term_to_free_list(self, cell.get());
-
                     if let Some(instr) = target.last_mut() {
                         if let Some(term) = terms.last() {
                             trim_structure_by_last_arg(instr, term);
@@ -402,8 +392,6 @@ impl<'b> CodeGenerator<'b> {
                     self.marker.mark_non_var::<Target>(lvl, term_loc, cell, &mut target);
                     target.push(Target::to_list(lvl, cell.get()));
 
-                    <CodeGenerator<'b> as AddToFreeList<'a, Target>>::add_term_to_free_list(self, cell.get());
-
                     self.subterm_to_instr::<Target>(head, term_loc, &mut target);
                     self.subterm_to_instr::<Target>(tail, term_loc, &mut target);
 
diff --git a/src/debray_allocator.rs b/src/debray_allocator.rs
index 98c1bd6e..51ac8f70 100644
--- a/src/debray_allocator.rs
+++ b/src/debray_allocator.rs
@@ -214,10 +214,8 @@ impl DebrayAllocator {
 
     pub fn add_to_free_list(&mut self, r: RegType) {
         if let RegType::Temp(r) = r {
-            if r > self.arity {
-                self.in_use.remove(&r);
-                self.free_list.push(r);
-            }
+            self.in_use.remove(&r);
+            self.free_list.push(r);
         }
     }
 }
-- 
2.54.0