Skip to content

Commit 76412da

Browse files
PeiMuPeiMu
committed
Merge branch 'issue-647' into issue-653
Addresses #653.
2 parents 231c27a + 2eda94b commit 76412da

15 files changed

+745
-23
lines changed

‎analysis/statistics/0d78d8aabb2770959be106f1f114aca4fb8b9cde.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1474:0d78d8aabb2770959be106f1f114aca4fb8b9cde
3+
char kNewtonVersion[] = "0.3-alpha-1474 (0d78d8aabb2770959be106f1f114aca4fb8b9cde) (build 04-19-2023-17:08-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎analysis/statistics/2f6a917c653280ae132036a55a4122954df4e7b3.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1476:2f6a917c653280ae132036a55a4122954df4e7b3
3+
char kNewtonVersion[] = "0.3-alpha-1476 (2f6a917c653280ae132036a55a4122954df4e7b3) (build 04-19-2023-21:18-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎analysis/statistics/57f9bf85b72b5f22bb29edd73eebd10cf5c50deb.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1472:57f9bf85b72b5f22bb29edd73eebd10cf5c50deb
3+
char kNewtonVersion[] = "0.3-alpha-1472 (57f9bf85b72b5f22bb29edd73eebd10cf5c50deb) (build 04-10-2023-18:44-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎analysis/statistics/83bc4cf975f34c2e1d5424508ad698693862b313.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1478:83bc4cf975f34c2e1d5424508ad698693862b313
3+
char kNewtonVersion[] = "0.3-alpha-1478 (83bc4cf975f34c2e1d5424508ad698693862b313) (build 04-20-2023-11:55-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎analysis/statistics/86f6cb031999fb9f5bd180fed9d73b4ccfce537a.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1477:86f6cb031999fb9f5bd180fed9d73b4ccfce537a
3+
char kNewtonVersion[] = "0.3-alpha-1477 (86f6cb031999fb9f5bd180fed9d73b4ccfce537a) (build 04-20-2023-11:25-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎analysis/statistics/8fc0882fa55d1b40968096343139252e081911ee.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1475:8fc0882fa55d1b40968096343139252e081911ee
3+
char kNewtonVersion[] = "0.3-alpha-1475 (8fc0882fa55d1b40968096343139252e081911ee) (build 04-19-2023-20:41-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎analysis/statistics/e3dac6ee27a3ddc6273ee437e2a4d7fa72a51c84.txt

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
2+
changeset: 1473:e3dac6ee27a3ddc6273ee437e2a4d7fa72a51c84
3+
char kNewtonVersion[] = "0.3-alpha-1473 (e3dac6ee27a3ddc6273ee437e2a4d7fa72a51c84) (build 04-11-2023-12:27-pei@pei-G5-5500-Linux-5.19.0-38-generic-x86_64)";
4+
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
5+
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
6+
7+
Informational Report:
8+
---------------------
9+
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...
10+
11+
Kernel 0 is a valid kernel:
12+
13+
1 1
14+
-0.5 -0
15+
1 0
16+
0.5 0
17+
0 -1
18+
-0 -1
19+
20+
21+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
22+
23+
Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)
24+
25+
Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)
26+
27+
28+
Kernel 1 is a valid kernel:
29+
30+
1 0
31+
-0.5 1
32+
1 -2
33+
0.5 -1
34+
-0 -2
35+
0 -2
36+
37+
38+
The ordering of parameters is: P1 P0 P3 P2 P4 P5
39+
40+
Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)
41+
42+
Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)
43+
44+
45+
46+

‎applications/newton/llvm-ir/Makefile

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -16,20 +16,25 @@ ifdef CROSS_COMPILE
1616
TARGET_FLAG=-target aarch64
1717
endif
1818

19+
ifdef SOFT_FLOAT
20+
CC_FP_FLAG = -msoft-float
21+
OPT_FP_FLAG = --float-abi=soft
22+
endif
23+
1924
all: default
2025

21-
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
26+
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.ll
2227

2328
MadgwickAHRS_softfloat.ll : MadgwickAHRS_softfloat.c
2429
@echo Compiling $*.c
25-
$(QUIET)$(CC) $(TARGET_FLAG) -g -O0 -Xclang -disable-O0-optnone -S -emit-llvm $(COMMON_FLAGS) -o tmp.ll $<
30+
$(CC) $(TARGET_FLAG) -g -O0 -Xclang -disable-O0-optnone -S -emit-llvm $(COMMON_FLAGS) -o tmp.ll $<
2631
llvm-link soft_float_api.ll tmp.ll -o $@
2732
opt $@ --mem2reg --instsimplify -S -o $@
2833

2934
%.ll : %.c
3035
@echo Compiling $*.c
31-
$(QUIET)$(CC) $(TARGET_FLAG) -g -O0 -Xclang -disable-O0-optnone -S -emit-llvm $(COMMON_FLAGS) -o $@ $<
32-
opt $@ --mem2reg --instsimplify -S -o $@
36+
$(CC) $(TARGET_FLAG) $(CC_FP_FLAG) -g -O0 -Xclang -disable-O0-optnone -S -emit-llvm $(COMMON_FLAGS) -o $@ $<
37+
opt $@ $(OPT_FP_FLAG) --mem2reg --instsimplify -S -o $@
3338

3439
clean::
3540
$(QUIET)rm -f *.ll *.bc

0 commit comments

Comments
 (0)