cleanup

lit/autodiff/2out.thorin.disabled

@@ -1,5 +1,5 @@
 // RUN: rm -f %t.ll
-// RUN: %thorin -p direct %s --output-ll %t.ll -o - | FileCheck %s
+// RUN: %thorin -p direct %s --output-ll %t.ll -o -
 
 .plugin core;
 .plugin autodiff;

lit/autodiff/general/simple_real.thorin

@@ -0,0 +1,13 @@
+// RUN: rm -f %t.ll
+// RUN: %thorin %s --output-ll %t.ll -o -
+
+.plugin mem;
+.plugin math;
+.plugin autodiff;
+
+.fun f(a: %math.F32): %math.F32 = return (%math.arith.add 0 (a, a));
+
+.con .extern main [mem : %mem.M, argc : .I32, argv : %mem.Ptr (%mem.Ptr (.I8, 0), 0), return : .Cn [%mem.M, %math.F32]] =
+    .con ret_cont r: %math.F32 = return (mem, r);
+    .let c = 43:%math.F32;
+    f (c,ret_cont);

lit/matrix/product.thorin.disabled

@@ -8,13 +8,6 @@
 .plugin core;
 .plugin matrix;
 
-.con .extern f [mem : %mem.M, 
-    [k:.Nat, l:.Nat, m:.Nat],
-    M:%matrix.Mat (2,(m,k),%math.F64),
-    N:%matrix.Mat (2,(k,l),%math.F64),
-    return: .Cn[%mem.M, %matrix.Mat (2,(m,l),%math.F64)]] = {
-
-    .let (mem2,MN) = %matrix.prod (m,k,l, f64) (mem,M,N);
-
-    return (mem2, MN)
-};
+.con .extern f [mem : %mem.M, [k:.Nat, l:.Nat, m:.Nat], M:%matrix.Mat (2,(m,k),%math.F64), N:%matrix.Mat (2,(k,l),%math.F64), return: .Cn[%mem.M, %matrix.Mat (2,(m,l),%math.F64)]] =
+    .let (mem2,MN) = %matrix.prod (m,k,l, %math.f64) (mem,M,N);
+    return (mem2, MN);

lit/matrix/read_mat.thorin.disabled

@@ -1,25 +1,12 @@
 // RUN: rm -f %t.ll
-// RUN: %thorin -e thorin %s -e ll -o %t | FileCheck %s
+// RUN: %thorin %s --output-ll %t.ll -o -
 // RUN: clang %t.ll -o %t -Wno-override-module
 
 .plugin core;
 .plugin matrix;
 
-.con .extern f [mem : %mem.M,
-    [k:.Nat, l:.Nat],
-    M:%matrix.Mat (2,(k,l),.I32),
-    return: .Cn[%mem.M, .I32]] = {
-
-    .let two = %core.conv.u2u (k, .i32) 2I32;
-    .let three = %core.conv.u2u (l, .i32) 3I32;
-
-    .let (mem2,a) = %matrix.read
-        (2, (k,l), .I32)
-        (
-            mem,
-            M,
-            (two,three)
-        );
-
-    return (mem2, a)
-};
+.con .extern f(mem: %mem.M, [k: .Nat, l: .Nat], M: %matrix.Mat (2, (k, l), .I32), return: .Cn[%mem.M, .I32]) =
+    .let two      = %core.idx k 0 2;
+    .let three    = %core.idx l 0 3;
+    .let (mem2,a) = %matrix.read (2, (k,l), .I32) (mem, M, (two, three));
+    return (mem2, a);

lit/matrix/read_transpose.thorin

@@ -10,7 +10,7 @@
 .con .extern cont [mem : %mem.M, m : (%matrix.Mat MT), return : .Cn [%mem.M, .I32]] = {
     .let (mem2,m2) = %matrix.transpose ((2,4), .I32) (mem,m);
     .let idx2 = (3_4, 1_2);
-    .let (mem3,d) = %matrix.read MT2 (mem2,m2, idx2);
+    .let (mem3,d) = %matrix.read MT2 (mem2, m2, idx2);
 
     // .let idx = (.tt,3:(.Idx 4));
     // .let d = %matrix.read MT (m, idx);

lit/mem/largeArr.thorin

@@ -0,0 +1,13 @@
+// RUN: rm -f %t.ll
+// RUN: timeout 10 %thorin -p clos %s --output-ll %t.ll --output-thorin -
+
+.plugin core;
+.plugin mem;
+
+.let size = 100000000;
+
+.con .extern main(mem: %mem.M, argc: .I32, argv : %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .I8», 0)», 0), return : .Cn [%mem.M, .I32]) =
+    .let (`mem, arr) = %mem.alloc (<<size; .I32>>, 0) mem;
+    .let lea = %mem.lea (size, <size; .I32>, 0) (arr, %core.idx size 0 0);
+    .let (`mem, val) = %mem.load (mem, lea);
+    return (mem, 1I32);