From a671c3e5325981ca82addae8353b180fc488bae2 Mon Sep 17 00:00:00 2001
From: Robert-M-Lucas <robert-m-lucas@example.com>
Date: Mon, 17 Jun 2024 16:03:51 +0100
Subject: [PATCH] Added exit functions

---
 .idea/workspace.xml                        |  57 +++++++++++++--------
 build/out.asm                              |  38 ++++++++++----
 build/out.o                                | Bin 1024 -> 1088 bytes
 build/out.out                              | Bin 16744 -> 16744 bytes
 main.why                                   |   9 ++--
 src/root/builtin/functions/exit.rs         |  51 ++++++++++++++++++
 src/root/builtin/functions/mod.rs          |   9 ++++
 src/root/builtin/mod.rs                    |   2 +
 src/root/builtin/types/int/printi.rs       |   2 +-
 src/root/compiler/compile_function.rs      |   6 +--
 src/root/compiler/compile_function_call.rs |   2 +-
 types.toml                                 |  10 ++++
 12 files changed, 147 insertions(+), 39 deletions(-)
 create mode 100644 src/root/builtin/functions/exit.rs

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 5a58bfb..3433c62 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -8,8 +8,18 @@
   </component>
   <component name="ChangeListManager">
     <list default="true" id="6ca282eb-dc8c-4af0-945c-cd77d70c6194" name="Changes" comment="Testing">
+      <change afterPath="$PROJECT_DIR$/src/root/builtin/functions/exit.rs" afterDir="false" />
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/todo.txt" beforeDir="false" afterPath="$PROJECT_DIR$/todo.txt" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/build/out.asm" beforeDir="false" afterPath="$PROJECT_DIR$/build/out.asm" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/build/out.o" beforeDir="false" afterPath="$PROJECT_DIR$/build/out.o" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/build/out.out" beforeDir="false" afterPath="$PROJECT_DIR$/build/out.out" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/main.why" beforeDir="false" afterPath="$PROJECT_DIR$/main.why" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/root/builtin/functions/mod.rs" beforeDir="false" afterPath="$PROJECT_DIR$/src/root/builtin/functions/mod.rs" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/root/builtin/mod.rs" beforeDir="false" afterPath="$PROJECT_DIR$/src/root/builtin/mod.rs" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/root/builtin/types/int/printi.rs" beforeDir="false" afterPath="$PROJECT_DIR$/src/root/builtin/types/int/printi.rs" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/root/compiler/compile_function.rs" beforeDir="false" afterPath="$PROJECT_DIR$/src/root/compiler/compile_function.rs" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/src/root/compiler/compile_function_call.rs" beforeDir="false" afterPath="$PROJECT_DIR$/src/root/compiler/compile_function_call.rs" afterDir="false" />
+      <change beforePath="$PROJECT_DIR$/types.toml" beforeDir="false" afterPath="$PROJECT_DIR$/types.toml" afterDir="false" />
     </list>
     <option name="SHOW_DIALOG" value="false" />
     <option name="HIGHLIGHT_CONFLICTS" value="true" />
@@ -56,27 +66,27 @@
     <option name="hideEmptyMiddlePackages" value="true" />
     <option name="showLibraryContents" value="true" />
   </component>
-  <component name="PropertiesComponent">{
-  &quot;keyToString&quot;: {
-    &quot;Cargo.Run whython-8.executor&quot;: &quot;Run&quot;,
-    &quot;RunOnceActivity.OpenProjectViewOnStart&quot;: &quot;true&quot;,
-    &quot;RunOnceActivity.ShowReadmeOnStart&quot;: &quot;true&quot;,
-    &quot;RunOnceActivity.rust.reset.selective.auto.import&quot;: &quot;true&quot;,
-    &quot;git-widget-placeholder&quot;: &quot;master&quot;,
-    &quot;ignore.virus.scanning.warn.message&quot;: &quot;true&quot;,
-    &quot;last_opened_file_path&quot;: &quot;/home/robertlucas/RustroverProjects/whython-8/src/root/builtin/int&quot;,
-    &quot;node.js.detected.package.eslint&quot;: &quot;true&quot;,
-    &quot;node.js.detected.package.tslint&quot;: &quot;true&quot;,
-    &quot;node.js.selected.package.eslint&quot;: &quot;(autodetect)&quot;,
-    &quot;node.js.selected.package.tslint&quot;: &quot;(autodetect)&quot;,
-    &quot;nodejs_package_manager_path&quot;: &quot;npm&quot;,
-    &quot;org.rust.cargo.project.model.PROJECT_DISCOVERY&quot;: &quot;true&quot;,
-    &quot;org.rust.cargo.project.model.impl.CargoExternalSystemProjectAware.subscribe.first.balloon&quot;: &quot;&quot;,
-    &quot;org.rust.first.attach.projects&quot;: &quot;true&quot;,
-    &quot;settings.editor.selected.configurable&quot;: &quot;preferences.pluginManager&quot;,
-    &quot;vue.rearranger.settings.migration&quot;: &quot;true&quot;
+  <component name="PropertiesComponent"><![CDATA[{
+  "keyToString": {
+    "Cargo.Run whython-8.executor": "Run",
+    "RunOnceActivity.OpenProjectViewOnStart": "true",
+    "RunOnceActivity.ShowReadmeOnStart": "true",
+    "RunOnceActivity.rust.reset.selective.auto.import": "true",
+    "git-widget-placeholder": "master",
+    "ignore.virus.scanning.warn.message": "true",
+    "last_opened_file_path": "/home/robertlucas/RustroverProjects/whython-8/src/root/builtin/int",
+    "node.js.detected.package.eslint": "true",
+    "node.js.detected.package.tslint": "true",
+    "node.js.selected.package.eslint": "(autodetect)",
+    "node.js.selected.package.tslint": "(autodetect)",
+    "nodejs_package_manager_path": "npm",
+    "org.rust.cargo.project.model.PROJECT_DISCOVERY": "true",
+    "org.rust.cargo.project.model.impl.CargoExternalSystemProjectAware.subscribe.first.balloon": "",
+    "org.rust.first.attach.projects": "true",
+    "settings.editor.selected.configurable": "terminal",
+    "vue.rearranger.settings.migration": "true"
   }
-}</component>
+}]]></component>
   <component name="RecentsManager">
     <key name="CopyFile.RECENT_KEYS">
       <recent name="$PROJECT_DIR$/src/root/builtin/int" />
@@ -169,6 +179,7 @@
       <workItem from="1717823384677" duration="3880000" />
       <workItem from="1717830463295" duration="1441000" />
       <workItem from="1718550169655" duration="8186000" />
+      <workItem from="1718634915504" duration="1659000" />
     </task>
     <task id="LOCAL-00001" summary="Changes">
       <option name="closed" value="true" />
@@ -432,4 +443,8 @@
     <MESSAGE value="Testing" />
     <option name="LAST_COMMIT_MESSAGE" value="Testing" />
   </component>
+  <component name="XSLT-Support.FileAssociations.UIState">
+    <expand />
+    <select />
+  </component>
 </project>
\ No newline at end of file
diff --git a/build/out.asm b/build/out.asm
index c6df377..2740025 100644
--- a/build/out.asm
+++ b/build/out.asm
@@ -6,14 +6,17 @@ main:
     push rbp
     mov rbp, rsp
     
-    mov qword [rbp-8], 1
+    mov qword [rbp-8], 0
+    mov qword [rbp-16], 1
+    mov rax, qword [rbp-16]
+    mov qword [rbp-40], rax
     mov rax, qword [rbp-8]
-    mov qword [rbp-16], rax
-    sub rsp, 16
+    mov qword [rbp-48], rax
+    sub rsp, 48
     call _1
-    add rsp, 16
-    mov qword [rbp-16], 255
-	mov rax, qword [rbp-16]
+    add rsp, 48
+    mov qword [rbp-40], 255
+	mov rax, qword [rbp-40]
 	leave
 	ret
 
@@ -34,15 +37,30 @@ _1:
     
     mov rax, qword [rbp+16]
     mov qword [rbp-24], rax
-    mov qword [rbp-32], 1
+    mov rax, qword [rbp+24]
+    mov qword [rbp-32], rax
     mov rax, qword [rbp-24]
     add rax, qword [rbp-32]
     mov qword [rbp-16], rax
-    mov rax, qword [rbp-16]
+    mov rax, qword [rbp+24]
     mov qword [rbp-40], rax
-    sub rsp, 40
+    mov qword [rbp-48], 12
+    mov rax, 60
+    mov rdi, [rbp-48]
+    syscall
+    mov rax, qword [rbp-40]
+    mov qword [rbp-56], rax
+    mov rax, qword [rbp-16]
+    mov qword [rbp-64], rax
+    mov rax, qword [rbp-64]
+    mov qword [rbp-88], rax
+    mov rax, qword [rbp-56]
+    mov qword [rbp-96], rax
+    sub rsp, 96
     call _1
-    add rsp, 40
+    add rsp, 96
+	leave
+	ret
 
 section .data
     __10_fstr db `Integer: %d\n`,0
\ No newline at end of file
diff --git a/build/out.o b/build/out.o
index 77c790b4252fbc3f5c7b324708dff527ae87c3e3..120e41fe7ec4523a96d096b23ab1526fb687b1ee 100644
GIT binary patch
delta 235
zcmZqRIKVMs0pq!e3(XlXOuT8&_+YXmqdk)X^W-Q-J0NE!kR!k{`4*#|DFYCA9C!V|
z2%@`PKX`Py-T=}+fb<2A<~If}gg_F_M+|_9Zv2NRx-nUo$t1ShRRXB!0Z{P^4`v|U
z3DgV`y8%>tfd{B|hYeUm?FD{TpwtbZk`q80WXAy@eE>+W0MaLb^a7w=2`|e3|NjrP
oE8*nf$$d<_80{x}GPg7OPQJ)2E|CB<2?Uscm>r1!0F{CO050NN82|tP

delta 171
zcmX@W(ZDfb0b}RHh31SCCf>AXTrgRZ(Vpo6)8r^dJ0NE!kaK}~@-0R^RYnE|29Ivn
zA0C~qA3U1h2)qyi2{a!O@Hp=J;Xg$3!(>|~6W!yk51@))crd#@0Bh(5YU*^o0o17R
xV%7iu|A87cfO;4hCZA*4#i&2IlewMIcCsLgxI_S0n1O)_NV5a+AE0Uw007LJKDPh>

diff --git a/build/out.out b/build/out.out
index fc791b0c6f710818388e95b04e01eeba6aa1707c..2bcb0cfe1bbfa7cf6f02968ddf7fe32df0978f80 100755
GIT binary patch
delta 399
zcmaFS#Q36#aRUb<7cUb781OP}7Gexz5^+}hve0%;_2m4v&ZD25)DN$n-}z;84f7se
zQ;;%`<E|eVL3Fq42aitI8$kL8kiOv2{Knvg5J;l=hyhU1jsFluHzvmlD%a2X_y0do
zf&-{p0I2!}kd^?_4}kOw4`v|U2{a8Nb_1yS0uNC04jZruwHNqVfl@bsN=^W2kfjHJ
z^Z_8f0!W_#(hGo=C%h>C54I!W<Y5Me&-`+~fPx$#JAvHIrv*RqZc;GdV`326Y^3*}
zQN+kdK_e(NMZqJnM8VKR&rr`$*JQG*K^T*f(d4-XvOsF{9)k`>E(Re7peq;{ID{tq
z8QF3E6NGU8O)fN&M&(VuVx+>&0aeZ`<S=<7lk8>%V*y6S{LO|Y?2I6*txV6cGwz$r
PX{!%67%1vwtHuHVfhL8d

delta 320
zcmaFS#Q36#aRUb<*GWbOFgVG$S%@)=NyNA&#adWaGLhMFfAZ%EcRIY)pL1-kVcx^5
z3R39N?fS!`)AfT#^BaK|LLh<WBLW`BT|fMXNPd`{E2wO>=HLJSKnV_@Y5}0?7eECM
zpt@gpFuOhgo6rq3rPK8W&?Jo)tNw#EXfSO4C&<J%iPdG3f&m}X9>L8<djA<k49pcY
zf>KiyJQ7P33{CV5^$c|lC%YPiF&UUoo@*crq&Dv{=wRgBBj^Bh1p~v8$%RJJlQWD|
zICnxtc7jAud6Tagsc;{G%AXW;n7olmcC&)903&1kW<wKpMv(1RrsvohD<^Z>>T|)&
L28ue_s<8k7vKMCH

diff --git a/main.why b/main.why
index dd34695..770974e 100644
--- a/main.why
+++ b/main.why
@@ -1,9 +1,12 @@
-fn r(a: int) {
+fn fib(a: int, b: int) {
     printi(a);
-    r(a + 1);
+    let d: int = a + b;
+    let c: int = b;
+    exit(12);
+    fib(c, d);
 }
 
 fn main() -> int {
-    r(1);
+    fib(0, 1);
     return 255;
 }
diff --git a/src/root/builtin/functions/exit.rs b/src/root/builtin/functions/exit.rs
new file mode 100644
index 0000000..a0ceae5
--- /dev/null
+++ b/src/root/builtin/functions/exit.rs
@@ -0,0 +1,51 @@
+use unique_type_id::UniqueTypeId;
+use crate::root::builtin::{BuiltinInlineFunction, f_id, InlineFunctionGenerator};
+use crate::root::builtin::types::int::IntType;
+use crate::root::errors::WErr;
+use crate::root::name_resolver::name_resolvers::NameResult::Function;
+use crate::root::name_resolver::resolve_function_signatures::FunctionSignature;
+
+use crate::root::shared::common::{FunctionID, Indirection, LocalAddress, TypeID, TypeRef};
+
+#[derive(UniqueTypeId)]
+#[UniqueTypeIdType = "u16"]
+pub struct ExitFunction;
+
+impl ExitFunction {
+    pub const fn id() -> FunctionID {
+        f_id(ExitFunction::unique_type_id().0)
+    }
+}
+
+impl BuiltinInlineFunction for ExitFunction {
+    fn id(&self) -> FunctionID {
+        Self::id()
+    }
+
+    fn name(&self) -> &'static str {
+        "exit"
+    }
+
+    fn signature(&self) -> FunctionSignature {
+        FunctionSignature::new_inline_builtin(
+            false,
+            &[("lhs", IntType::id().immediate())],
+            None
+        )
+    }
+
+    fn inline(&self) -> InlineFunctionGenerator {
+        |args: &[LocalAddress], _, gt, sz| -> String {
+            let lhs = &args[0];
+
+            // 0 us exit syscall
+            format!("    mov rax, 60
+    mov rdi, {lhs}
+    syscall")
+        }
+    }
+
+    fn parent_type(&self) -> Option<TypeID> {
+        None
+    }
+}
diff --git a/src/root/builtin/functions/mod.rs b/src/root/builtin/functions/mod.rs
index e69de29..cd3646e 100644
--- a/src/root/builtin/functions/mod.rs
+++ b/src/root/builtin/functions/mod.rs
@@ -0,0 +1,9 @@
+mod exit;
+
+use b_box::b;
+use crate::root::builtin::functions::exit::ExitFunction;
+use crate::root::name_resolver::name_resolvers::GlobalDefinitionTable;
+
+pub fn register_functions(global_table: &mut GlobalDefinitionTable) {
+    global_table.register_inline_function(&ExitFunction);
+}
\ No newline at end of file
diff --git a/src/root/builtin/mod.rs b/src/root/builtin/mod.rs
index 85566dc..d278c39 100644
--- a/src/root/builtin/mod.rs
+++ b/src/root/builtin/mod.rs
@@ -1,6 +1,7 @@
 pub mod types;
 pub mod functions;
 
+use crate::root::builtin::functions::register_functions;
 use crate::root::builtin::types::int::register_int;
 use crate::root::compiler::global_tracker::GlobalTracker;
 use crate::root::errors::WErr;
@@ -10,6 +11,7 @@ use crate::root::shared::common::{ByteSize, FunctionID, LocalAddress, TypeID};
 use crate::root::shared::types::Type;
 
 pub fn register_builtin(global_table: &mut GlobalDefinitionTable) {
+    register_functions(global_table);
     register_int(global_table);
 }
 
diff --git a/src/root/builtin/types/int/printi.rs b/src/root/builtin/types/int/printi.rs
index da2d331..3b6b02d 100644
--- a/src/root/builtin/types/int/printi.rs
+++ b/src/root/builtin/types/int/printi.rs
@@ -28,7 +28,7 @@ impl BuiltinInlineFunction for PrintI {
 
     fn signature(&self) -> FunctionSignature {
         FunctionSignature::new_inline_builtin(
-            true,
+            false,
             &[("lhs", IntType::id().immediate())],
             None
         )
diff --git a/src/root/compiler/compile_function.rs b/src/root/compiler/compile_function.rs
index 2e20c96..79e3ad3 100644
--- a/src/root/compiler/compile_function.rs
+++ b/src/root/compiler/compile_function.rs
@@ -56,9 +56,9 @@ pub fn compile_function(fid: FunctionID, function: FunctionToken, global_table:
         full_contents
     );
 
-    if fid.is_main() {
-        final_contents += "\n\tleave\n\tret"
-    }
+    // if fid.is_main() {
+        final_contents += "\n\tleave\n\tret";
+    // }
 
     Ok(final_contents)
 }
diff --git a/src/root/compiler/compile_function_call.rs b/src/root/compiler/compile_function_call.rs
index 56f2180..682b5b7 100644
--- a/src/root/compiler/compile_function_call.rs
+++ b/src/root/compiler/compile_function_call.rs
@@ -129,7 +129,7 @@ pub fn call_function(
         local_variables.enter_block();
 
         // ? Arguments
-        for arg in args {
+        for arg in args.iter().rev() {
             let into = global_table.add_local_variable_unnamed_base(arg.type_ref().clone(), local_variables);
             code += "\n";
             code += &copy(*arg.local_address(), *into.local_address(), global_table.get_size(into.type_ref()));
diff --git a/types.toml b/types.toml
index 38b4c7c..684024f 100644
--- a/types.toml
+++ b/types.toml
@@ -8,3 +8,13 @@ Pri=6
 Prin=7
 Print=8
 PrintI=9
+E=10
+Ex=11
+Exi=12
+Exit=13
+ExitF=14
+ExitFu=15
+ExitFun=16
+ExitFunctio=17
+ExitFunction=18
+ExitFunctions=19