Skip to content

Commit

Permalink
use 0-200
Browse files Browse the repository at this point in the history
Addresses #647.
  • Loading branch information
PeiMu committed Mar 24, 2023
1 parent f3e4b0d commit 45f8c71
Show file tree
Hide file tree
Showing 2 changed files with 51 additions and 5 deletions.
46 changes: 46 additions & 0 deletions analysis/statistics/4d8c5ed90ccdb6b459c63584ec09b9a90bdb231e.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@

changeset: 1467:4d8c5ed90ccdb6b459c63584ec09b9a90bdb231e
char kNewtonVersion[] = "0.3-alpha-1467 (4d8c5ed90ccdb6b459c63584ec09b9a90bdb231e) (build 03-24-2023-14:[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)




10 changes: 5 additions & 5 deletions applications/newton/llvm-ir/performance_test/get_break_down.sh
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ fi
make perf_float64_add
echo "without CoSense" >> "$file"
for i in {1..100}; do
./main_out 35.75 135.33 >> "$file"
./main_out 0 200 >> "$file"
done
wc -l out.ll >> "$file"

Expand All @@ -20,30 +20,30 @@ cp "$PWD"/../../../../src/newton/newton-linux-EN_v0_1 "$PWD"/../../../../src/new
make perf_float64_add_opt
echo "with type compression" >> "$file"
for i in {1..100}; do
./main_out 35.75 135.33 >> "$file"
./main_out 0 200 >> "$file"
done
wc -l out.ll >> "$file"

cp "$PWD"/../../../../src/newton/newton-linux-EN_v0_2 "$PWD"/../../../../src/newton/newton-linux-EN
make perf_float64_add_opt
echo "with branch elimination" >> "$file"
for i in {1..100}; do
./main_out 35.75 135.33 >> "$file"
./main_out 0 200 >> "$file"
done
wc -l out.ll >> "$file"

cp "$PWD"/../../../../src/newton/newton-linux-EN_v0_3 "$PWD"/../../../../src/newton/newton-linux-EN
make perf_float64_add_opt
echo "with const substitution" >> "$file"
for i in {1..100}; do
./main_out 35.75 135.33 >> "$file"
./main_out 0 200 >> "$file"
done
wc -l out.ll >> "$file"

cp "$PWD"/../../../../src/newton/newton-linux-EN_v0 "$PWD"/../../../../src/newton/newton-linux-EN
make perf_float64_add_opt
echo "overall" >> "$file"
for i in {1..100}; do
./main_out 35.75 135.33 >> "$file"
./main_out 0 200 >> "$file"
done
wc -l out.ll >> "$file"

0 comments on commit 45f8c71

Please sign in to comment.