summaryrefslogtreecommitdiff
path: root/tnslc
diff options
context:
space:
mode:
authorKyle Gunger <kgunger12@gmail.com>2023-03-03 00:52:37 -0500
committerKyle Gunger <kgunger12@gmail.com>2023-03-03 00:52:37 -0500
commit7a2fe9afac30082137dd72a072d9a8afbbc45236 (patch)
tree415af2f5e8a90e288d4e2e6fa798049f77847547 /tnslc
parente53a018ffe378af678fa0e7b3c0bc7d098d83ac9 (diff)
Refactor Variable struct
Diffstat (limited to 'tnslc')
-rw-r--r--tnslc/run.ps18
-rw-r--r--tnslc/tnslc.tnsl249
2 files changed, 95 insertions, 162 deletions
diff --git a/tnslc/run.ps1 b/tnslc/run.ps1
new file mode 100644
index 0000000..15b78f3
--- /dev/null
+++ b/tnslc/run.ps1
@@ -0,0 +1,8 @@
+if ($args.Length -gt 0) {
+ ..\tint.exe -flags """$args""" -in tnslc.tnsl
+ nasm -f win64 -o "$($args[0]).obj" "$($args[0]).asm"
+ gcc -o "$($args[0]).exe" "$($args[0]).obj"
+} else {
+ Write-Host "Usage: run [file to compile]";
+ Write-Host "";
+} \ No newline at end of file
diff --git a/tnslc/tnslc.tnsl b/tnslc/tnslc.tnsl
index 760f4cd..2677cb3 100644
--- a/tnslc/tnslc.tnsl
+++ b/tnslc/tnslc.tnsl
@@ -500,209 +500,133 @@
;return self.data_type.s
;/
;/
-
- /; norm_op ({}uint8 op, {}{}uint8 args) [{}uint8]
- ;return string_join(
- {
- "\t", op, " ",
- string_join(args, ", "), "\n"
- },
- ""
- )
+
+ # TODO: Match a type to another type if possible
+ # this is the type inference engine
+ /; match_types (Variable to_match, ~CompData data) [Variable]
+ ;return to_match
;/
- # functions that do work on this variable
- /; add (Variable v, ~CompData dat)
+ /; norm_op ({}uint8 op, int sz, Variable v, ~CompData data)
/; if (self.loc_type == LOCATION.LITERAL)
- /; if (v.loc_type !== LOCATION.LITERAL)
- ;v.add(self, dat)
- ;; else
- ;self.location = self.location + v.location
- ;/
- ;; else if (self.loc_type == LOCATION.REGISTER)
- ;dat`.csec = string_add(dat`.csec, self.norm_op("add", { self.norm_loc(self.norm_size()), v.norm_loc(self.norm_size()) }))
+ ;v.norm_op(op, sz, self, data)
;; else
- /; if (v.location == LOCATION.REGISTER)
+ ;v = match_types(v, data)
+ /; if (self.loc_type == LOCATION.REGISTER || v.loc_type == LOCATION.REGISTER)
;dat`.csec = string_join( {
dat`.csec,
- "\tadd ", self.norm_loc(self.norm_size()), ", ", v.norm_loc(self.norm_size()), "\n"
+ "\t", op, " ", self.norm_loc(sz), v.norm_loc(sz), "\n"
}, "")
;; else
;dat`.csec = string_join( {
dat`.csec,
- "\tmov ", get_reg(0, self.norm_size()), ", ", v.norm_loc(self.norm_size()), "\n",
- "\tadd ", self.norm_loc(self.norm_size()), ", ", get_reg(0, self.norm_size()), "\n"
+ "\tmov ", get_reg(0, sz), ", ", v.norm_loc(sz), "\n",
+ "\t", op, " ", self.norm_loc(sz), ", ", get_reg(0, sz), "\n"
}, "")
;/
;/
;/
-
- /; sub (Variable v, ~CompData dat)
- /; if (self.loc_type == LOCATION.LITERAL)
- /; if (v.loc_type !== LOCATION.LITERAL)
- ;v.add(self, dat)
- ;; else
- ;self.location = self.location + v.location
- ;/
- ;; else if (self.loc_type == LOCATION.REGISTER)
- ;dat`.csec = string_add(dat`.csec, self.norm_op("sub", { self.norm_loc(self.norm_size()), v.norm_loc(self.norm_size()) }))
+
+ # functions that do work on this variable
+ /; add (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location + v.location
;; else
- /; if (v.location == LOCATION.REGISTER)
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tsub ", self.norm_loc(self.norm_size()), ", ", v.norm_loc(self.norm_size()), "\n"
- }, "")
- ;; else
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(0, self.norm_size()), ", ", v.norm_loc(self.norm_size()), "\n",
- "\tsub ", self.norm_loc(self.norm_size()), ", ", get_reg(0, self.norm_size()), "\n"
- }, "")
- ;/
+ ;self.norm_op("add", self.norm_size(), v, data)
;/
;/
- /; ax_compute
- ;{}uint8 s_ext = "", op = "idiv"
- /; if (v.loc_type == LOCATION.LITERAL || v.loc_type == LOCATION.REGISTER)
- ;s_ext = mov_by_size(sz)
- ;; if (self.data_type.name{0} == 'u')
- ;op{0} = ' '
+ /; sub (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location - v.location
+ ;; else
+ ;self.norm_op("sub", self.norm_size(), v, data)
;/
-
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(0, sz), ", ", self.norm_loc(sz), "\n"
- }, "")
+ ;/
- /; if (v.loc_type == LOCATION.LITERAL)
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(3, sz), ", ", v.norm_loc(sz), "\n",
- "\t", op, " ", s_ext, get_reg(3, sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(3, sz), "\n"
- }, "")
+ /; or (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location | v.location
;; else
- ;dat`.csec = string_join( {
- dat`.csec,
- "\t", op, " ", s_ext, v.norm_loc(sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(3, sz), "\n"
- }, "")
+ ;self.norm_op("or", self.norm_size(), v, data)
;/
+ ;/
+ /; and (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location & v.location
+ ;; else
+ ;self.norm_op("and", self.norm_size(), v, data)
+ ;/
;/
- /; div (Variable v, ~CompData dat)
- ;int sz = self.norm_size()
- /; if (self.loc_type == LOCATION.LITERAL)
- /; if (v.loc_type !== LOCATION.LITERAL)
- ;v.mul(self)
- ;; else
- ;self.location = self.location * v.location
- ;/
+ /; xor (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location ^ v.location
;; else
- ;{}uint8 s_ext = "", op = "idiv"
- /; if (v.loc_type == LOCATION.LITERAL || v.loc_type == LOCATION.REGISTER)
- ;s_ext = mov_by_size(sz)
- ;; if (self.data_type.name{0} == 'u')
- ;op{0} = ' '
- ;/
-
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(0, sz), ", ", self.norm_loc(sz), "\n"
- }, "")
+ ;self.norm_op("xor", self.norm_size(), v, data)
+ ;/
+ ;/
- /; if (v.loc_type == LOCATION.LITERAL)
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(3, sz), ", ", v.norm_loc(sz), "\n",
- "\t", op, " ", s_ext, get_reg(3, sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(0, sz), "\n"
- }, "")
+ /; cmp (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ /; if (self.location == v.location)
+ ;self.location = 1
;; else
- ;dat`.csec = string_join( {
- dat`.csec,
- "\t", op, " ", s_ext, v.norm_loc(sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(0, sz), "\n"
- }, "")
+ ;self.location = 0
;/
+ ;; else
+ ;self.norm_op("add", self.norm_size(), v, data)
;/
;/
- /; mod (Variable v, ~CompData dat)
- ;int sz = self.norm_size()
+ /; ax_compute ({}uint8 op, int sz, Variable v, ~CompData data, int keep)
/; if (self.loc_type == LOCATION.LITERAL)
- /; if (v.loc_type !== LOCATION.LITERAL)
- ;v.mul(self)
- ;; else
- ;self.location = self.location * v.location
- ;/
+ ;v.ax_compute(op, sz, self, data)
;; else
- ;{}uint8 s_ext = "", op = "idiv"
- /; if (v.loc_type == LOCATION.LITERAL || v.loc_type == LOCATION.REGISTER)
- ;s_ext = mov_by_size(sz)
- ;; if (self.data_type.name{0} == 'u')
- ;op{0} = ' '
+ ;v = match_types(v, data)
+
+ /; if (self.data_type.name{0} == 'i')
+ ;op = string_add("i", op)
;/
-
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(0, sz), ", ", self.norm_loc(sz), "\n"
- }, "")
- /; if (v.loc_type == LOCATION.LITERAL)
+ /; if (self.loc_type !== LOCATION.REGISTER && v.loc_type !== LOCATION.REGISTER)
;dat`.csec = string_join( {
dat`.csec,
- "\tmov ", get_reg(3, sz), ", ", v.norm_loc(sz), "\n",
- "\t", op, " ", s_ext, get_reg(3, sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(3, sz), "\n"
+ "\t", op, " ", self.norm_loc(sz), v.norm_loc(sz), "\n"
}, "")
;; else
;dat`.csec = string_join( {
dat`.csec,
- "\t", op, " ", s_ext, v.norm_loc(sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(3, sz), "\n"
+ "\tmov ", get_reg(0, sz), ", ", v.norm_loc(sz), "\n",
+ "\t", op, " ", mov_by_size(sz), self.norm_loc(sz), "\n",
+ "\tmov ", self.norm_loc(sz), ", ", get_reg(keep, sz), "\n",
}, "")
;/
;/
;/
- /; mul (Variable v, ~CompData dat)
- ;int sz = self.norm_size()
- /; if (self.loc_type == LOCATION.LITERAL)
- /; if (v.loc_type !== LOCATION.LITERAL)
- ;v.mul(self)
- ;; else
- ;self.location = self.location * v.location
- ;/
+ /; div (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location / v.location
;; else
- ;{}uint8 s_ext = "", op = "imul"
- /; if (v.loc_type == LOCATION.LITERAL || v.loc_type == LOCATION.REGISTER)
- ;s_ext = mov_by_size(sz)
- ;; if (self.data_type.name{0} == 'u')
- ;op{0} = ' '
- ;/
-
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(0, sz), ", ", self.norm_loc(sz), "\n"
- }, "")
+ ;self.ax_compute("div", self.norm_size(), v, data, 0)
+ ;/
+ ;/
- /; if (v.loc_type == LOCATION.LITERAL)
- ;dat`.csec = string_join( {
- dat`.csec,
- "\tmov ", get_reg(3, sz), ", ", v.norm_loc(sz), "\n",
- "\t", op, " ", s_ext, get_reg(3, sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(0, sz), "\n"
- }, "")
- ;; else
- ;dat`.csec = string_join( {
- dat`.csec,
- "\t", op, " ", s_ext, v.norm_loc(sz), "\n",
- "\tmov ", self.norm_loc(sz), ", ", get_reg(0, sz), "\n"
- }, "")
- ;/
+ /; mod (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location % v.location
+ ;; else
+ ;self.ax_compute("div", self.norm_size(), v, data, 3)
+ ;/
+ ;/
+
+ /; mul (Variable v, ~CompData data)
+ /; if (self.loc_type == LOCATION.LITERAL && v.loc_type == LOCATION.LITERAL)
+ ;self.location = self.location * v.location
+ ;; else
+ ;self.ax_compute("mul", self.norm_size(), v, data, 0)
;/
;/
@@ -853,13 +777,13 @@
/; begin_scope (~CompData out)
;int reg = 8
- ;{}uint8 intro = "\tpush r8\n\tpush r9\n\tpush r10\n\tpush r11\n\tpush r12\n\tpush r13\n\tpush r14\n\tpush r15\n"
+ ;{}uint8 intro = "\tpush rbp\n\tlea rbp, [rsp + 8]\tpush r8\n\tpush r9\n\tpush r10\n\tpush r11\n\tpush r12\n\tpush r13\n\tpush r14\n\tpush r15\n"
;out`.csec = string_add(out`.csec, intro)
;/
/; end_scope (~CompData out)
- ;{}uint8 outro = "\tpop r15\n\tpop r14\n\tpop r13\n\tpop r12\n\tpop r11\n\tpop r10\n\tpop r9\n\tpop r8\n"
+ ;{}uint8 outro = "\tlea rsp, [rbp - 72]\tpop r15\n\tpop r14\n\tpop r13\n\tpop r12\n\tpop r11\n\tpop r10\n\tpop r9\n\tpop r8\n\tpop rbp\n"
;out`.csec = string_add(out`.csec, outro)
;/
@@ -941,10 +865,6 @@
;/
/; find_var ({}{}uint8 artifact, ~Module current) [Variable]
- /; if (len artifact > 1)
- ;return current`.find_def(artifact)
- ;/
-
/; loop (int i = 0; i < len (self.vars)) [i++]
/; if (string_equate(self.vars{i}.name, artifact{0}))
;return self.vars{i}
@@ -1316,7 +1236,7 @@
;/
/; decompose_empty (~Module current, Type t) [{}uint8]
- /; if (len t.ptr_chain > 0)
+ /; if (len (t.ptr_chain) > 0)
;return "\tdq 0\n"
;/
;{}uint8 out = "\tdb 0"
@@ -1671,7 +1591,12 @@
/; _eval_value(~{}Token tok, int start, max, ~CompData out, ~Module current, ~Scope scope, Type t, bool alt) [Variable]
/; if (start == max - 1)
/; if (tok`{start}.type_is(TOKEN.LITERAL))
- ;{}uint8 l = string_add(current`.full_path(), ".")
+ ;{}uint8 l = current`.full_path()
+
+ /; if (len l > 0)
+ ;l.append('.')
+ ;/
+
;l = string_add(l, scope`.next_const())
;return literal_variable(tok`{start}.data, l, out)
;/