feat: implement erlang:garbage_collect/{0,1,2}

The /2 variant of this function depends on the implementation of system tasks and internal RPC. This commit does not yet implement tests for that infrastructure, which will come later. Closes #152
GetFirefly · Mar 13, 2023 · 9cab8a2 · 9cab8a2
1 parent 2163583
commit 9cab8a2
Show file tree

Hide file tree

Showing 17 changed files with 824 additions and 171 deletions.
diff --git a/compiler/driver/src/compiler/passes/bytecode/lower_ssa.rs b/compiler/driver/src/compiler/passes/bytecode/lower_ssa.rs
@@ -1227,6 +1227,12 @@ impl<'a> BytecodeBuilder<'a> {
                 let yielded = builder.build_bool(true, loc);
                 self.values.insert(result, yielded);
             }
+            Opcode::GarbageCollect => {
+                builder.build_garbage_collect(loc);
+                let result = dfg.first_result(inst);
+                let success = builder.build_bool(true, loc);
+                self.values.insert(result, success);
+            }
             other => unimplemented!("unrecognized primop: {}", other),
         }