add enableOverload and enableBuiltinAssume config in markdown and mak…

…efile Addresses #653.
phillipstanleymarbell · May 15, 2023 · 55be81e · 55be81e
1 parent 4f334c0
commit 55be81e
Show file tree

Hide file tree

Showing 5 changed files with 50 additions and 4 deletions.
diff --git a/analysis/statistics/b55cd953aecf398f5ea81b587d0964104351137d.txt b/analysis/statistics/b55cd953aecf398f5ea81b587d0964104351137d.txt
@@ -0,0 +1,46 @@
+
+changeset: 1484:b55cd953aecf398f5ea81b587d0964104351137d
+char kNewtonVersion[] = "0.3-alpha-1484 (b55cd953aecf398f5ea81b587d0964104351137d) (build 05-15-2023-12:[email protected]_64)";
+\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
+\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
+
+Informational Report:
+---------------------
+Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
+
+	Kernel 0 is a valid kernel:
+
+		   1   1
+		-0.5  -0
+		   1   0
+		 0.5   0
+		   0  -1
+		  -0  -1
+
+
+		The ordering of parameters is:	P1 P0 P3 P2 P4 P5 
+
+			Pi group 0, Pi 0 is:	P0^(-0.5)  P1^( 1)  P2^(0.5)  P3^( 1)  P4^( 0)  P5^(-0)  
+
+			Pi group 0, Pi 1 is:	P0^(-0)  P1^( 1)  P2^( 0)  P3^( 0)  P4^(-1)  P5^(-1)  
+
+
+	Kernel 1 is a valid kernel:
+
+		   1   0
+		-0.5   1
+		   1  -2
+		 0.5  -1
+		  -0  -2
+		   0  -2
+
+
+		The ordering of parameters is:	P1 P0 P3 P2 P4 P5 
+
+			Pi group 1, Pi 0 is:	P0^(-0.5)  P1^( 1)  P2^(0.5)  P3^( 1)  P4^(-0)  P5^( 0)  
+
+			Pi group 1, Pi 1 is:	P0^( 1)  P1^( 0)  P2^(-1)  P3^(-2)  P4^(-2)  P5^(-2)  
+
+
+
+
diff --git a/applications/newton/llvm-ir/README.md b/applications/newton/llvm-ir/README.md
@@ -39,7 +39,7 @@ cd ../../../src/newton
 cd /path/to/Noisy-lang-compiler/applications/newton/llvm-ir
 make infer_bound_control_flow.ll
 cd ../../../src/newton
-./<newton-executable> --llvm-ir=../../applications/newton/llvm-ir/infer_bound_control_flow.ll --llvm-ir-liveness-check ../../applications/newton/sensors/test.nt
+./<newton-executable> --llvm-ir=../../applications/newton/llvm-ir/infer_bound_control_flow.ll --llvm-ir-liveness-check --llvm-ir-enable-overload --llvm-ir-enable-builtin-assume ../../applications/newton/sensors/test.nt
 opt infer_bound_control_flow_output.ll -O2 -S -o out.ll
 ```
 

diff --git a/applications/newton/llvm-ir/fusion/Makefile b/applications/newton/llvm-ir/fusion/Makefile
@@ -17,7 +17,7 @@ TARGET_FLAG=-target aarch64
 endif
 
 NEWTON_BIN_DIR = ../../../../src/newton
-newton_opt_fn = ./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/fusion/fusion.ll --llvm-ir-liveness-check ../../applications/newton/sensors/BMX055.nt
+newton_opt_fn = ./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/fusion/fusion.ll --llvm-ir-liveness-check --llvm-ir-enable-overload --llvm-ir-enable-builtin-assume ../../applications/newton/sensors/BMX055.nt
 
 all: default
 

diff --git a/applications/newton/llvm-ir/pedometer/Makefile b/applications/newton/llvm-ir/pedometer/Makefile
@@ -17,7 +17,7 @@ TARGET_FLAG=-target aarch64
 endif
 
 NEWTON_BIN_DIR = ../../../../src/newton
-newton_opt_fn = ./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/pedometer/perf_main.ll --llvm-ir-liveness-check ../../applications/newton/sensors/BMX055.nt
+newton_opt_fn = ./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/pedometer/perf_main.ll --llvm-ir-liveness-check --llvm-ir-enable-overload --llvm-ir-enable-builtin-assume ../../applications/newton/sensors/BMX055.nt
 
 all: default
 

diff --git a/applications/newton/llvm-ir/performance_test/Makefile b/applications/newton/llvm-ir/performance_test/Makefile
@@ -54,7 +54,7 @@ max_opt_fn = opt ../$(1).ll $(OPT_FP_FLAG) -O3 -Os -S -o $(OUT_FILE)
 non_opt_fn = cp ../$(1).ll $(OUT_FILE)
 necessary_opt_fn = opt ../$(1).ll --simplifycfg --instsimplify -S -o $(OUT_FILE)
 
-newton_opt_fn = ./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/$(1).ll --llvm-ir-liveness-check ../../applications/newton/sensors/$(NT_FILE)
+newton_opt_fn = ./newton-linux-EN --llvm-ir=../../applications/newton/llvm-ir/$(1).ll --llvm-ir-liveness-check --llvm-ir-enable-overload --llvm-ir-enable-builtin-assume ../../applications/newton/sensors/$(NT_FILE)
 
 compile_main_fn = $(CC) main.c $(TARGET_FLAG) -no-pie -L. -lout -D $(1) $(CC_OPT_LEVEL) -o main_out -lm