add Os option

Addresses #647.
phillipstanleymarbell · Apr 26, 2023 · cb14cf5 · cb14cf5
1 parent 3fadcae
commit cb14cf5
Show file tree

Hide file tree

Showing 2 changed files with 49 additions and 3 deletions.
diff --git a/analysis/statistics/3c4cf38831eff33b33598cdef4f95a9d2b501c8f.txt b/analysis/statistics/3c4cf38831eff33b33598cdef4f95a9d2b501c8f.txt
@@ -0,0 +1,46 @@
+
+changeset: 1478:3c4cf38831eff33b33598cdef4f95a9d2b501c8f
+char kNewtonVersion[] = "0.3-alpha-1478 (3c4cf38831eff33b33598cdef4f95a9d2b501c8f) (build 04-26-2023-17:[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/performance_test/Makefile b/applications/newton/llvm-ir/performance_test/Makefile
@@ -28,13 +28,13 @@ else
 NT_FILE = test.nt
 endif
 
-max_opt_fn = opt ../$(1).ll --O3 -S -o $(OUT_FILE)
+max_opt_fn = opt ../$(1).ll -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)
 
-compile_main_fn = $(CC) $(TARGET_FLAG) main.c -no-pie -L. -lout -D $(1) -O2 -o main_out -lm
+compile_main_fn = $(CC) $(TARGET_FLAG) main.c -no-pie -L. -lout -D $(1) -O3 -Os -o main_out -lm
 
 make_ll:
 	cd $(CHStone_DIR) && $(MAKE_CLEAN) && $(MAKE)
@@ -222,7 +222,7 @@ madgwick_opt:
 	$(call max_opt_fn,MadgwickAHRSfix)
 
 compile_test_madgwick:
-	$(CC) $(TARGET_FLAG) ../test_madgwick.c -no-pie -L. -lout -O0 -g -o main_out -lm
+	$(CC) $(TARGET_FLAG) ../test_madgwick.c -no-pie -L. -lout -O3 -Os -o main_out -lm
 
 perf_exp: clean make_ll exp_non_opt compile_lib compile_exp