don't use compiler execute on the llvm test

llvm/llvm_test.go

@@ -4,6 +4,7 @@ import (
 	"fault/ast"
 	"fault/listener"
 	"fault/preprocess"
+	"fault/swaps"
 	"fault/types"
 	"fmt"
 	"io"
@@ -732,13 +733,15 @@ func prepTest(test string, specType bool) (string, error) {
 	l := listener.Execute(test, "", flags)
 	pre := preprocess.Execute(l)
 	ty := types.Execute(pre.Processed, pre)
+	sw := swaps.NewPrecompiler(ty)
+	tree := sw.Swap(ty.Checked)
 	compiler := NewCompiler()
 	compiler.LoadMeta(ty.SpecStructs, l.Uncertains, l.Unknowns, true)
-	err := compiler.Compile(ty.Checked)
+	err := compiler.Compile(tree)
 	if err != nil {
 		return "", err
 	}
-	//fmt.Println(compiler.GetIR())
+	fmt.Println(compiler.GetIR())
 	return compiler.GetIR(), err
 }
 

main.go

@@ -39,7 +39,7 @@ func parse(data string, path string, file string, filetype string, reach bool, v
 	ty := types.Execute(pre.Processed, pre)
 
 	sw := swaps.NewPrecompiler(ty)
-	tree = sw.Swap(tree)
+	tree := sw.Swap(ty.Checked)
 
 	var visual string
 	if visu {
@@ -52,7 +52,7 @@ func parse(data string, path string, file string, filetype string, reach bool, v
 		r := reachability.NewTracer()
 		r.Scan(ty.Checked)
 	}
-	return ty.Checked, lstnr, ty, visual
+	return tree, lstnr, ty, visual
 }
 
 func validate_filetype(data string, filetype string) bool {

smt/generator_test.go

@@ -4,6 +4,7 @@ import (
 	"fault/listener"
 	"fault/llvm"
 	"fault/preprocess"
+	"fault/swaps"
 	"fault/types"
 	"fault/util"
 	"fmt"
@@ -608,7 +609,9 @@ func prepTest(filepath string, test string, specType bool, testRun bool) string
 	l := listener.Execute(test, path, flags)
 	pre := preprocess.Execute(l)
 	ty := types.Execute(pre.Processed, pre)
-	compiler := llvm.Execute(ty.Checked, ty.SpecStructs, l.Uncertains, l.Unknowns, true)
+	sw := swaps.NewPrecompiler(ty)
+	tree := sw.Swap(ty.Checked)
+	compiler := llvm.Execute(tree, ty.SpecStructs, l.Uncertains, l.Unknowns, true)
 
 	//fmt.Println(compiler.GetIR())
 	generator := Execute(compiler)