Give string literals an alloca

princess.h

@@ -3,15 +3,10 @@
 
 #include <stdlib.h>
 #include <stdio.h>
-#include <stdint.h>
 #include <stdbool.h>
 #include <string.h>
-#include <stdlib.h>
-#include <math.h>
 #include <assert.h>
-#include <signal.h>
 #include <stdarg.h>
-#include <stdalign.h>
 
 #ifndef _WIN32
 #include <linux/limits.h>

src/compiler.pr

@@ -807,6 +807,14 @@ def walk_String(node: *parser::Node, state: *State) -> Value {
     } !Value
 
     let global = make_global_value(strtpe, "str", str_value, state)
+
+    let alloca_ret = make_local_value(tpe, null, state)
+    let alloca = make_insn_dbg(InsnKind::ALLOCA, loc)
+    alloca.value.alloca = {
+        ret = alloca_ret
+    } !InsnAlloca
+    push_insn(alloca, state)
+    alloca_ret.tpe = typechecking::pointer(tpe)
 
     let index = allocate(Value, 2)
     index[0] = make_int_value(0)
@@ -823,8 +831,10 @@ def walk_String(node: *parser::Node, state: *State) -> Value {
         index = index
     } !InsnGetElementPtr
     push_insn(gep, state)
-
-    let ret = make_local_value(tpe, null, state)
+
+    let alloca_retp = allocate(Value)
+    @alloca_retp = alloca_ret
+    let ret = make_local_value(tpe, alloca_retp, state)
 
     let values = allocate(Value, 2)
     values[0] = {
@@ -854,6 +864,13 @@ def walk_String(node: *parser::Node, state: *State) -> Value {
     } !InsnInsertValue
     push_insn(insert, state)
 
+    let store = make_insn_dbg(InsnKind::STORE, loc)
+    store.value.store = {
+        value = ret,
+        loc = alloca_ret
+    } !InsnStore
+    push_insn(store, state)
+
     return ret
 }