Add arm64 macOS support

Author: soxfox42

source/backends/arm64.d

@@ -96,6 +96,9 @@ class BackendARM64 : CompilerBackend {
 		version (linux) {
 			defaultOS = "linux";
 		}
+		version (OSX) {
+			defaultOS = "osx";
+		}
 		else {
 			defaultOS = "bare-metal";
 			WarnNoInfo("Default operating system, defaulting to bare-metal OS");
@@ -198,6 +201,10 @@ class BackendARM64 : CompilerBackend {
 				ret ~= ["Linux", "IO", "File", "Args", "Time", "Heap", "Exit"];
 				break;
 			}
+			case "osx": {
+				ret ~= ["OSX", "IO", "Args", "Exit"];
+				break;
+			}
 			default: break;
 		}
 
@@ -286,7 +293,7 @@ class BackendARM64 : CompilerBackend {
 		// call constructors
 		foreach (name, global ; globals) {
 			if (global.type.hasInit) {
-				output ~= format("ldr x9, =__global_%s\n", name.Sanitise());
+				LoadAddress("x9", format("__global_%s", name.Sanitise()));
 				output ~= "str x9, [x19], #8\n";
 				output ~= format("bl __type_init_%s\n", global.type.name.Sanitise());
 			}
@@ -313,7 +320,7 @@ class BackendARM64 : CompilerBackend {
 	}
 
 	override void Init() {
-		string[] oses = ["linux", "bare-metal"];
+		string[] oses = ["linux", "osx", "bare-metal"];
 		if (!oses.canFind(os)) {
 			ErrorNoInfo("Backend doesn't support operating system '%s'", os);
 		}
@@ -322,6 +329,9 @@ class BackendARM64 : CompilerBackend {
 		if (useLibc) {
 			output ~= ".global main\n";
 			output ~= "main:\n";
+		} else if (os == "osx") {
+			output ~= ".global _main\n";
+			output ~= "_main:\n";
 		} else {
 			output ~= ".global _start\n";
 			output ~= "_start:\n";
@@ -355,7 +365,7 @@ class BackendARM64 : CompilerBackend {
 		// call destructors
 		foreach (name, global ; globals) {
 			if (global.type.hasDeinit) {
-				output ~= format("ldr x9, =__global_%s\n", name.Sanitise());
+				LoadAddress("x9", format("__global_%s", name.Sanitise()));
 				output ~= "str x9, [x19], #8\n";
 				output ~= format("bl __type_deinit_%s\n", global.type.name.Sanitise());
 			}
@@ -395,6 +405,7 @@ class BackendARM64 : CompilerBackend {
 		// create arrays
 		output ~= ".data\n";
 		foreach (i, ref array ; arrays) {
+			output ~= ".align 8\n";
 			if (exportSymbols) {
 				output ~= format(".global __array_%d\n", i);
 			}
@@ -416,6 +427,7 @@ class BackendARM64 : CompilerBackend {
 			output ~= '\n';
 
 			if (array.global) {
+				output ~= ".align 8\n";
 				output ~= format(
 					"__array_%d_meta: .8byte %d, %d, __array_%d\n", i,
 					array.values.length,
@@ -486,8 +498,7 @@ class BackendARM64 : CompilerBackend {
 				Error(node.error, "Can't push value of struct");
 			}
 
-			string symbol = format("__global_%s", node.name.Sanitise());
-			output ~= format("ldr x9, =%s\n", symbol);
+			LoadAddress("x9", format("__global_%s", node.name.Sanitise()));
 
 			switch (var.type.size) {
 				case 1: output ~= "ldrb w9, [x9]\n"; break;
@@ -798,14 +809,14 @@ class BackendARM64 : CompilerBackend {
 		arrays       ~= array;
 
 		if (!inScope || node.constant) {
-			output ~= format("ldr x9, =__array_%d_meta\n", arrays.length - 1);
+			LoadAddress("x9", format("__array_%d_meta", arrays.length - 1));
 			output ~= "str x9, [x19], #8\n";
 		}
 		else {
 			// allocate a copy of this array
 			OffsetLocalsStack(array.Size(), true);
 			output ~= "mov x9, x20\n";
-			output ~= format("ldr x10, =__array_%d\n", arrays.length - 1);
+			LoadAddress("x10", format("__array_%d", arrays.length - 1));
 			output ~= format("ldr x11, =%d\n", array.Size());
 			output ~= "1:\n";
 			output ~= "ldrb w12, [x10], #1\n";
@@ -1077,13 +1088,13 @@ class BackendARM64 : CompilerBackend {
 			string symbol = word.type == WordType.Callisto?
 				format("__func__%s", node.func.Sanitise()) : node.func;
 
-			output ~= format("ldr x9, =%s\n", symbol);
+			LoadAddress("x9", symbol);
 			output ~= "str x9, [x19], #8\n";
 		}
 		else if (node.func in globals) {
 			auto var = globals[node.func];
 
-			output ~= format("ldr x9, =__global_%s\n", node.func.Sanitise());
+			LoadAddress("x9", format("__global_%s", node.func.Sanitise()));
 			output ~= "str x9, [x19], #8\n";
 		}
 		else if (VariableExists(node.func)) {
@@ -1184,8 +1195,7 @@ class BackendARM64 : CompilerBackend {
 				Error(node.error, "Can't set struct value");
 			}
 
-			string symbol = format("__global_%s", node.var.Sanitise());
-			output ~= format("ldr x10, =%s\n", symbol);
+			LoadAddress("x10", format("__global_%s", node.var.Sanitise()));
 
 			switch (global.type.size) {
 				case 1: output ~= "strb w9, [x10]\n"; break;
@@ -1200,12 +1210,21 @@ class BackendARM64 : CompilerBackend {
 		}
 	}
 
-	void OffsetLocalsStack(size_t offset, bool sub) {
+	private void OffsetLocalsStack(size_t offset, bool sub) {
 		if (offset >= 4096) {
 			output ~= format("mov x9, #%d\n", offset);
 			output ~= format("%s x20, x20, x9\n", sub ? "sub" : "add");
 		} else {
 			output ~= format("%s x20, x20, #%d\n", sub ? "sub" : "add", offset);
 		}
 	}
+
+	private void LoadAddress(string reg, string symbol) {
+		if (os == "osx") {
+			output ~= format("adrp %s, %s@PAGE\n", reg, symbol);
+			output ~= format("add %s, %s, %s@PAGEOFF\n", reg, reg, symbol);
+		} else {
+			output ~= format("ldr %s, =%s\n", reg, symbol);
+		}
+	}
 }

source/backends/x86_64.d

@@ -313,8 +313,9 @@ class BackendX86_64 : CompilerBackend {
 		foreach (name, global ; globals) {
 			if (global.type.hasInit) {
 				output ~= format(
-					"mov qword [r15], qword __global_%s\n", name.Sanitise()
+					"lea rax, qword [__global_%s]\n", name.Sanitise()
 				);
+				output ~= "mov [r15], rax\n";
 				output ~= "add r15, 8\n";
 				output ~= format("call __type_init_%s\n", global.type.name.Sanitise());
 			}
@@ -388,7 +389,8 @@ class BackendX86_64 : CompilerBackend {
 		// call destructors
 		foreach (name, global ; globals) {
 			if (global.type.hasDeinit) {
-				output ~= format("mov qword [r15], qword __global_%s\n", Sanitise(name));
+				output ~= format("lea rax, qword [__global_%s]\n", Sanitise(name));
+				output ~= "mov [r15], rax\n";
 				output ~= "add r15, 8\n";
 				output ~= format("call __type_deinit_%s\n", Sanitise(global.type.name));
 			}