summaryrefslogtreecommitdiff
path: root/tnslc/compile
diff options
context:
space:
mode:
Diffstat (limited to 'tnslc/compile')
-rw-r--r--tnslc/compile/compile.tnsl127
1 files changed, 77 insertions, 50 deletions
diff --git a/tnslc/compile/compile.tnsl b/tnslc/compile/compile.tnsl
index c884cca..921e6cd 100644
--- a/tnslc/compile/compile.tnsl
+++ b/tnslc/compile/compile.tnsl
@@ -28,14 +28,15 @@
{}charp name,
- {}{}charp sub_types
+ {}VType sub_types,
+ {}{}charp sub_names
}
/; method VType
/; get_sub_type({}charp name) [VType]
- /; loop (int i = 0; i < len (self.sub_types)) [i = i + 2]
- /; if (string_equate(~name, ~(self.sub_types{i + 1})))
- ;return vtype_by_name(self.sub_types{i})
+ /; loop (int i = 0; i < len (self.sub_types)) [i++]
+ /; if (string_equate(~name, ~(self.sub_names{i})))
+ ;return self.sub_types{i}
;/
;/
;return NT
@@ -53,6 +54,15 @@
;/
;return -1
;/
+
+ /; print
+ ;tnsl.io.print("Size: ")
+ ;tnsl.io.print(self._size)
+ ;tnsl.io.print(" | Ptr: ")
+ ;tnsl.io.print(self.ptr)
+ ;tnsl.io.print(" | Name: ")
+ ;tnsl.io.println(self.name)
+ ;/
;/
# Tracks defined variables in a block
@@ -118,7 +128,7 @@
# returns the type of the named variable
/; get_vtype ({}charp name) [VType]
/; loop (int i = 0; i < len (self.on_stack)) [i++]
- /; if (string_equate(~name, ~(self.sym_names{i})))
+ /; if (string_equate(name, self.sym_names{i}))
;return (self.sym_types{i})
;/
;/
@@ -127,25 +137,25 @@
# Sizes of items
;{}VType type_table = {
- {1, 0, "int8", {}},
- {2, 0, "int16", {}},
- {4, 0, "int32", {}},
- {8, 0, "int64", {}},
- {8, 0, "int", {}},
- {1, 0, "uint8", {}},
- {2, 0, "uint16", {}},
- {4, 0, "uint32", {}},
- {8, 0, "uint64", {}},
- {8, 0, "uint", {}},
- {4, 0, "float32", {}},
- {8, 0, "float64", {}},
- {8, 0, "float", {}},
- {1, 0, "bool", {}},
- {8, 0, "void", {}}
+ {1, 0, "int8", {}, {}},
+ {2, 0, "int16", {}, {}},
+ {4, 0, "int32", {}, {}},
+ {8, 0, "int64", {}, {}},
+ {8, 0, "int", {}, {}},
+ {1, 0, "uint8", {}, {}},
+ {2, 0, "uint16", {}, {}},
+ {4, 0, "uint32", {}, {}},
+ {8, 0, "uint64", {}, {}},
+ {8, 0, "uint", {}, {}},
+ {4, 0, "float32", {}, {}},
+ {8, 0, "float64", {}, {}},
+ {8, 0, "float", {}, {}},
+ {1, 0, "bool", {}, {}},
+ {8, 0, "void", {}, {}}
}
# Null type
-;VType NT = {0, 0, "null", {}}
+;VType NT = {0, 0, "null", {}, {}}
# Returns an index in the vtrack for a given variable name
/; name_to_index ({}charp name, ~VTrack tab) [int]
@@ -231,6 +241,17 @@
;return out
;/
+# For use when constructing module labels
+/; construct_path_label({}{}charp path)
+ ;{}charp out = "_."
+ /; loop (int i = 0; i < len path) [i++]
+ ;add_strings(~out, ~(path{i}))
+ ;out.append('.')
+ ;/
+ ;out{len out - 1} = ':'
+ ;return out
+;/
+
# Using the given offset (in bytes), return an asm value of form ".quad <offset>"
/; construct_value (int size, int offset) [{}charp]
;{}charp out = ".byte "
@@ -263,7 +284,7 @@
# Parse a struct and add it to the table
/; def_struct (~int cur, ~{}Token data, ~{}charp dsec) [VType]
- ;VType out = {0, 0, "", {}}
+ ;VType out = {0, 0, "", {}, {}}
;cur`++
;out.name = data`{cur`}.data`
@@ -290,26 +311,14 @@
/; if (token_is(cur, data, ",") || token_is(cur, data, "}"))
# Use ctype
;cur`--
- ;{}charp l = construct_offset_label(out.name, data`{cur`}.data`)
- ;l.append(':')
- ;l.append(' ')
- ;{}charp p = construct_value(8, out._size)
/; if (ctype.ptr > 0)
- ;p = construct_value(8, 8)
;out._size = out._size + 8
;; else
;out._size = out._size + ctype._size
;/
-
- ;out.sub_types.append(ctype.name)
- ;out.sub_types.append(data`{cur`}.data`)
-
- ;p.append('\n')
- ;add_strings(~l, ~p)
- # add "_type.member: .qword #offset_value" to data section
-
- ;add_strings(dsec, ~l)
+ ;out.sub_types.append(ctype)
+ ;out.sub_names.append(data`{cur`}.data`)
;; else
# Get type
@@ -317,8 +326,9 @@
;ctype = get_vtype(cur, data)
;/
;/
-
+ ;out.print()
;type_table.append(out)
+
;return out
;/
@@ -559,15 +569,27 @@
-/; compile_block (~int cur, ~{}Token data, ~VTrack gsc, ~{}charp hsec, csec, dsec)
+/; compile_block (~int cur, ~{}Token data, ~VTrack gsc, ~{}charp hsec, csec, dsec, {}{}charp mod_path, Path rel)
;VTrack tab = { {}, {}, {} }
- ;VType out_type = NT
+ ;VType out_type = tnslc.type_table{14}
;{}charp name = ""
;bool r = false
/; loop (cur`++; cur` < len data`) [cur`++]
+ /; if (token_is(cur, data, "module"))
+ ;mod_path.append(data`{cur` + 1}.data`)
+ ;cur` = cur` + 2
+ ;break
+ ;/
/; if (data`{cur`}.token_type == TOKEN_TYPE.DEFWORD && len name == 0)
;name = data`{cur`}.data`
+ /; if (len mod_path > 0)
+ ;{}charp frs = "_."
+ ;{}charp jn = join(mod_path, '.')
+ ;add_strings(~frs, ~jn)
+ ;add_strings(csec, ~frs)
+ ;csec`.append('.')
+ ;/
;add_strings(csec, ~name)
;csec`.append(':')
;csec`.append('\n')
@@ -592,21 +614,26 @@
;bool ret = false
/; loop (cur` < len data` && !ret)
- /; if (string_equate(data`{cur`}.data`, ";/"))
+ /; if (token_is(cur, data, ";/"))
/; if (!r)
;tail_guard(csec)
;/
;add_strings(csec, ~(tnslc.COMMON_ASM{0}))
;break
- ;; else if (string_equate(data`{cur`}.data`, "/;"))
+ ;; else if (token_is(cur, data, "/;"))
;bool ch = true
/; loop (ch)
- ;compile_block(cur, data, gsc, hsec, csec, dsec)
+ ;compile_block(cur, data, gsc, hsec, csec, dsec, mod_path)
/; if (cur` !< len data`)
;break
;/
- ;ch = string_equate(data`{cur`}.data`, ";;")
- ;/
+ ;ch = token_is(cur, data, ";;")
+ ;/
+ ;; else if (string_equate(data`{cur`}.data`, ":"))
+ ;cur` = cur` + 2
+ ;Path inc = rel.rel_file(unquote_string(data`{cur`}.data`))
+ ;compile_include(inc, gsc, hsec, csec, dsec, mod_path)
+ ;cur`++
;; else if (string_equate(data`{cur`}.data`, ";"))
;ret = compile_statement(cur, data, ~tab, gsc, hsec, csec, dsec)
;; else
@@ -620,7 +647,7 @@
;csec`.append('\n')
;/
-/; compile_include (Path file_path, ~VTrack global, ~{}charp hsec, csec, dsec)
+/; compile_include (Path file_path, ~VTrack global, ~{}charp hsec, csec, dsec, {}{}charp mod_path)
# Autocomplete in the case of module syntax
;bool d = file_path.extension_is("tnsl")
/; if (!d)
@@ -641,22 +668,22 @@
;tnsl.io.print(len data`)
;tnsl.io.println(" tokens parsed.")
- ;compile_file(file_path, data, global, hsec, csec, dsec)
+ ;compile_file(file_path, data, global, hsec, csec, dsec, mod_path)
;/
-/; compile_file (Path rel, ~{}Token data, ~VTrack global, ~{}charp hsec, csec, dsec)
+/; compile_file (Path rel, ~{}Token data, ~VTrack global, ~{}charp hsec, csec, dsec, {}{}charp mod_path)
;int j = len data`
/; loop (int i = 0; i < j) [i++]
/; if (string_equate(data`{i}.data`, "/;"))
- ;compile_block(~i, data, global, hsec, csec, dsec)
+ ;compile_block(~i, data, global, hsec, csec, dsec, mod_path, rel)
;; else if (string_equate(data`{i}.data`, ";"))
;compile_global(~i, data, global, hsec, csec, dsec)
;; else if (string_equate(data`{i}.data`, ":"))
;i = i + 2
;Path inc = rel.rel_file(unquote_string(data`{i}.data`))
- ;compile_include(inc, global, hsec, csec, dsec)
+ ;compile_include(inc, global, hsec, csec, dsec, mod_path)
;; else
;break
;/
@@ -671,7 +698,7 @@
;VTrack global_scope = {{}, {}}
- ;tnslc.compile_include(rel, ~global_scope, ~hsec, ~csec, ~dsec)
+ ;tnslc.compile_include(rel, ~global_scope, ~hsec, ~csec, ~dsec, {})
;tnsl.io.File out = tnsl.io.writeFile(file_out)