Initial work on saxpy kernel, currently failing

Example2.hs

@@ -0,0 +1,51 @@
+{-# LANGUAGE QuasiQuotes #-}
+{-# LANGUAGE OverloadedStrings #-}
+
+module Example2 where
+
+import LLVM.AST as AST
+import LLVM.Quote.LLVM as Q
+
+-- saxpy matrix kernel
+-- https://en.wikipedia.org/wiki/Basic_Linear_Algebra_Subprograms#Level_1
+
+saxpy :: AST.Module
+saxpy = [Q.llmod|
+; ModuleID = 'saxpy.ll'
+
+define void @saxpy(i32* noalias nocapture %x, i32* noalias nocapture %y, i32 %a, i64 %i) {
+entry:
+  %1 = getelementptr inbounds i32, i32* %x, i64 %i
+  %2 = load i32, i32* %1, align 4
+  %3 = mul nsw i32 %2, %a
+  %4 = getelementptr inbounds i32, i32* %y, i64 %i
+  %5 = load i32, i32* %4, align 4
+  %6 = add nsw i32 %3, %5
+  store i32 %6, i32* %1, align 4
+  %7 = add i64 %i, 1
+  %8 = getelementptr inbounds i32, i32* %x, i64 %7
+  %9 = load i32, i32* %8, align 4
+  %10 = mul nsw i32 %9, %a
+  %11 = getelementptr inbounds i32, i32* %y, i64 %7
+  %12 = load i32, i32* %11, align 4
+  %13 = add nsw i32 %10, %12
+  store i32 %13, i32* %8, align 4
+  %14 = add i64 %i, 2
+  %15 = getelementptr inbounds i32, i32* %x, i64 %14
+  %16 = load i32, i32* %15, align 4
+  %17 = mul nsw i32 %16, %a
+  %18 = getelementptr inbounds i32, i32* %y, i64 %14
+  %19 = load i32, i32* %18, align 4
+  %20 = add nsw i32 %17, %19
+  store i32 %20, i32* %15, align 4
+  %21 = add i64 %i, 3
+  %22 = getelementptr inbounds i32, i32* %x, i64 %21
+  %23 = load i32, i32* %22, align 4
+  %24 = mul nsw i32 %23, %a
+  %25 = getelementptr inbounds i32, i32* %y, i64 %21
+  %26 = load i32, i32* %25, align 4
+  %27 = add nsw i32 %24, %26
+  store i32 %27, i32* %22, align 4
+  ret void
+}
+|]

stack.yaml

@@ -1,4 +1,4 @@
-resolver: lts-10.2
+resolver: lts-10.3
 packages:
 - '.'
 extra-deps:

test/Test.hs

@@ -1,4 +1,9 @@
+module Main (
+  main
+) where
+
 import Test.Tasty
 import qualified LLVM.Quote.Test.Tests as Quote
 
+main :: IO ()
 main = defaultMain Quote.tests