perf test of madgwick localy

Addresses #647.
phillipstanleymarbell · Mar 11, 2023 · 564462f · 564462f
1 parent a28ab99
commit 564462f
Show file tree

Hide file tree

Showing 9 changed files with 1,160 additions and 13 deletions.
diff --git a/analysis/statistics/dc24455c39c517e8498298a9aca2e6fd21d6ed87.txt b/analysis/statistics/dc24455c39c517e8498298a9aca2e6fd21d6ed87.txt
@@ -0,0 +1,46 @@
+
+changeset: 1450:dc24455c39c517e8498298a9aca2e6fd21d6ed87
+char kNewtonVersion[] = "0.3-alpha-1450 (dc24455c39c517e8498298a9aca2e6fd21d6ed87) (build 03-10-2023-16:[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/Makefile b/applications/newton/llvm-ir/Makefile
@@ -18,7 +18,13 @@ endif
 
 all: default
 
-default: application.ll simple_control_flow.ll inferBound.ll inferBoundControlFlow.ll e_exp.ll sincosf.ll e_log.ll e_acosh.ll e_j0.ll e_y0.ll e_rem_pio2.ll benchmark_suite.ll phi_two_global_arrays.ll func_call.ll test_shift.ll vec_add.ll vec_add_8.ll
+default: application.ll simple_control_flow.ll inferBound.ll inferBoundControlFlow.ll e_exp.ll sincosf.ll e_log.ll e_acosh.ll e_j0.ll e_y0.ll e_rem_pio2.ll benchmark_suite.ll phi_two_global_arrays.ll func_call.ll test_shift.ll vec_add.ll vec_add_8.ll MadgwickAHRSfix.ll MadgwickAHRS_softfloat.ll
+
+MadgwickAHRS_softfloat.ll : MadgwickAHRS_softfloat.c
+	@echo Compiling $*.c
+	$(QUIET)$(CC) $(TARGET_FLAG) -g -O0 -Xclang -disable-O0-optnone -S -emit-llvm $(COMMON_FLAGS) -o tmp.ll $<
+	llvm-link soft_float_api.ll tmp.ll -o $@
+	opt $@ --mem2reg --instsimplify -S -o $@
 
 %.ll : %.c
 	@echo Compiling $*.c