feat: make global variables behave like local variables

compiler/codegen.go

@@ -116,12 +116,7 @@ func generateLinuxX64() {
 				offset := value.(int)
 				out.WriteText("    mov rax, program_static_mem")
 				out.WriteText("    add rax, %d", offset)
-				out.WriteText("    push rax")
-			// case OP_PUSH_VAR_GLOBAL:
-				// offset := value.(int)
-				// out.WriteText("    mov rax, program_static_mem")
-				// out.WriteText("    add rax, %d", offset)
-				// out.WriteText("    push QWORD [rax]")
+				out.WriteText("    push QWORD [rax]")
 			case OP_PUSH_VAR_GLOBAL_ADDR:
 				offset := value.(int)
 				out.WriteText("    mov rax, program_static_mem")

compiler/frontend.go

@@ -25,6 +25,7 @@ type Frontend struct {
 	// only be populated once, so if the user tries to generate a new
 	// body before flushing this stack, it should get an error.
 	bodyStack  []Token
+	constants  []Constant
 	globals    []Object
 	current	   *Function
 	error      bool

compiler/ir.go

@@ -13,7 +13,7 @@ const (
 	OP_PUSH_VAR_GLOBAL		=  "OP_PUSH_VAR_GLOBAL"
 	OP_PUSH_VAR_GLOBAL_ADDR	=  "OP_PUSH_VAR_GLOBAL_ADDR"
 	OP_PUSH_VAR_LOCAL		=  "OP_PUSH_VAR_LOCAL"
-	OP_PUSH_VAR_LOCAL_ADDR	= "OP_PUSH_VAR_LOCAL_ADDR"
+	OP_PUSH_VAR_LOCAL_ADDR	=  "OP_PUSH_VAR_LOCAL_ADDR"
 
 	// FLOW CONTROL
 	OP_IF_START				=  "OP_IF_START"
@@ -87,6 +87,11 @@ type Arity struct {
 	types        []Argument
 }
 
+type Constant struct {
+	word  string
+	value int
+}
+
 type Bind struct {
 	id       int
 	name     string
@@ -130,6 +135,7 @@ type Function struct {
 	bindings        Binding
 	code            []Code
 	scope           []Scope
+	constants       []Constant
 	variables       []Variable
 
 	localMemorySize int

compiler/validate.go

@@ -7,6 +7,10 @@ import (
 
 const STACK_SIZE = 1024
 
+type TypeInfo struct {
+
+}
+
 type Typecheck struct {
 	stack       [STACK_SIZE]DataType
 	stackCount  int
@@ -221,12 +225,11 @@ func ValidateRun() {
 			case OP_PUSH_STR:
 				tc.push(DATA_STR)
 			case OP_PUSH_VAR_GLOBAL:
-				tc.push(DATA_PTR)
-				// for _, v := range TheProgram.variables {
-				// 	if v.offset == value.(int) {
-				// 		tc.push(v.dtype)
-				// 	}
-				// }
+				for _, v := range TheProgram.variables {
+					if v.offset == value.(int) {
+						tc.push(v.dtype)
+					}
+				}
 			case OP_PUSH_VAR_GLOBAL_ADDR:
 				tc.push(DATA_PTR)
 			case OP_PUSH_VAR_LOCAL:

tests/memory.sk

@@ -0,0 +1,20 @@
+using io
+using strings
+
+var global int
+
+fn main ()
+  var local int
+
+  "Save values to local and global memory and print them" println
+  "Also, using them in arithmetics" println
+  "Global is 13, local is 17" println
+  13 &global !
+  17 &local !
+
+  "Global: " print global println
+  "Local: " print local println
+
+  "Result should be 30" println
+  "Result: " print global local + println
+ret

tests/memory.txt

@@ -1,2 +1,7 @@
-Save the number to static memory and print it
-The number is 1234567890123  1234567890123
+Save values to local and global memory and print them
+Also, using them in arithmetics
+Global is 13, local is 17
+Global: 13
+Local: 17
+Result should be 30
+Result: 30