diff options
Diffstat (limited to 'docs/lifecycle')
| -rw-r--r-- | docs/lifecycle/check.md | 10 | ||||
| -rw-r--r-- | docs/lifecycle/eval.md | 2 | ||||
| -rw-r--r-- | docs/lifecycle/exec.md | 3 | ||||
| -rw-r--r-- | docs/lifecycle/import.md | 2 | ||||
| -rw-r--r-- | docs/lifecycle/ir.md | 5 | ||||
| -rw-r--r-- | docs/lifecycle/jit.md | 55 | ||||
| -rw-r--r-- | docs/lifecycle/notify.md | 3 | ||||
| -rw-r--r-- | docs/lifecycle/parse.md | 2 | ||||
| -rw-r--r-- | docs/lifecycle/scope.md | 2 |
9 files changed, 84 insertions, 0 deletions
diff --git a/docs/lifecycle/check.md b/docs/lifecycle/check.md index 3e8177e..31685e1 100644 --- a/docs/lifecycle/check.md +++ b/docs/lifecycle/check.md @@ -1,3 +1,13 @@ # Check --- + +Type checking + +# Ops + +# Actions + +# Complete Function Definitions + +# Incomplete Function Invocations diff --git a/docs/lifecycle/eval.md b/docs/lifecycle/eval.md index 8572f21..11081a6 100644 --- a/docs/lifecycle/eval.md +++ b/docs/lifecycle/eval.md @@ -1,3 +1,5 @@ # Eval --- + +Reduce AST size by evaluating expressions diff --git a/docs/lifecycle/exec.md b/docs/lifecycle/exec.md new file mode 100644 index 0000000..edab443 --- /dev/null +++ b/docs/lifecycle/exec.md @@ -0,0 +1,3 @@ +# Exec + +--- diff --git a/docs/lifecycle/import.md b/docs/lifecycle/import.md index bf7635d..669e67b 100644 --- a/docs/lifecycle/import.md +++ b/docs/lifecycle/import.md @@ -1,3 +1,5 @@ # Import --- + +Find each import node and wait for the import to complete life cycle, then get a copy of its `export_tree` diff --git a/docs/lifecycle/ir.md b/docs/lifecycle/ir.md new file mode 100644 index 0000000..5db8091 --- /dev/null +++ b/docs/lifecycle/ir.md @@ -0,0 +1,5 @@ +# Ir + +--- + +Convert an AST into a list of 3 address instructions diff --git a/docs/lifecycle/jit.md b/docs/lifecycle/jit.md new file mode 100644 index 0000000..3243385 --- /dev/null +++ b/docs/lifecycle/jit.md @@ -0,0 +1,55 @@ +# Jit + +--- + +Convert Ir Into X64 (X86_64) + +## Limitations + +#### No Segmentation Registers + +#### No X87 Support + +#### No access to the upper 8 bits of the lower 16 bits of registers AX, BX, CX, DX + +## Required Implicit Registers + +Instructions that implicitly modify a register now require the register as an operation + +# Operation + +Each instruction is written with varardic c functions with `TYPE`, `DATA` syntax + +## TYPE + +### General Registers Width + +### General Register Addresses Width + +### General Register Scale + +### General Register Id + +### General Register Memory Displacement + +### XMM Registers + +### MM Registers + +### Immediate Value + +### Relative Address + +### Label + +## DATA + +## Object Definitions + +```c +kpl_x64_lable(label) + +kpl_x64_inst(INSTRUCTION, [TYPE, VALUE]..., END) + +kpl_x64_inst_pfx(PREFIX, INSTRUCTION, [TYPE, VALUE]..., END) +``` diff --git a/docs/lifecycle/notify.md b/docs/lifecycle/notify.md new file mode 100644 index 0000000..2db3b27 --- /dev/null +++ b/docs/lifecycle/notify.md @@ -0,0 +1,3 @@ +# Notify + +--- diff --git a/docs/lifecycle/parse.md b/docs/lifecycle/parse.md index c9da979..1016a28 100644 --- a/docs/lifecycle/parse.md +++ b/docs/lifecycle/parse.md @@ -35,3 +35,5 @@ On type completion look up if type is a builtin ## Define `[]` ## Action `{}` + +# Operation diff --git a/docs/lifecycle/scope.md b/docs/lifecycle/scope.md index 849c52d..37ca355 100644 --- a/docs/lifecycle/scope.md +++ b/docs/lifecycle/scope.md @@ -10,6 +10,8 @@ Traverse AST and: ## Initialize Functions +## Split Process Into Tasks by `await` + ## Register Imports On finding an import node add a register task for the imported string |
