Implement translation of stack allocation.

_examples/misc/heart.wa

@@ -6,9 +6,9 @@ fn main {
 		for x := -1.5; x < 1.5; x = x + 0.1 {
 			a = x*x + y*y - 1.0
 			if a*a*a < x*x*y*y*y {
-				print('@')
+				print("@")
 			} else {
-				print(' ')
+				print(" ")
 			}
 		}
 		println()

internal/backends/compiler_llvm/compile_value.go

@@ -7,6 +7,7 @@ import (
 
 	"github.com/wa-lang/wa/internal/ssa"
 	"github.com/wa-lang/wa/internal/token"
+	"github.com/wa-lang/wa/internal/types"
 )
 
 func (p *Compiler) compileValue(val ssa.Value) error {
@@ -39,6 +40,25 @@ func (p *Compiler) compileValue(val ssa.Value) error {
 		}
 		p.output.WriteString("\n")
 
+	case *ssa.Alloc:
+		if !val.Heap {
+			p.output.WriteString("  ")
+			p.output.WriteString(getValueStr(val))
+			p.output.WriteString(" = alloca ")
+			if pt, ok := val.Type().(*types.Pointer); ok {
+				p.output.WriteString(getTypeStr(pt.Elem(), p.target))
+			} else {
+				p.output.WriteString(getTypeStr(val.Type(), p.target))
+			}
+		} else {
+			// TODO: Support heap allocation.
+			p.output.WriteString("  ; " + val.Name() + " = " + val.String())
+		}
+		p.output.WriteString("\n")
+
+	case *ssa.IndexAddr:
+		p.output.WriteString("  ; " + val.Name() + " = " + val.String() + "\n")
+
 	default:
 		p.output.WriteString("  ; " + val.Name() + " = " + val.String() + "\n")
 		// panic("unsupported Value '" + val.Name() + " = " + val.String() + "'")

internal/backends/compiler_llvm/utils.go

@@ -127,7 +127,6 @@ func getTypeStr(ty types.Type, target string) string {
 		"x86":     "i32",
 		"x86_64":  "i64",
 	}
-
 	// fixed types
 	expTy := map[types.BasicKind]string{
 		types.Bool:         "i1",
@@ -162,6 +161,13 @@ func getTypeStr(ty types.Type, target string) string {
 		default:
 			panic("unknown basic type")
 		}
+
+	case *types.Array:
+		return fmt.Sprintf("[%d x %s]", t.Len(), getTypeStr(t.Elem(), target))
+
+	case *types.Pointer:
+		return getTypeStr(t.Elem(), target) + "*"
+
 	default:
 		// TODO: support pointer, array and struct types
 		panic("unknown type")