Changeset 47535a0d for doc/generic_types/evaluation/Makefile

Timestamp:

Apr 10, 2017, 5:26:04 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

65cb413

Parents:

2f0fc56

Message:

Update benchmarks to report peak memory usage

File:

• doc/generic_types/evaluation/Makefile (modified) (1 diff)

doc/generic_types/evaluation/Makefile

@@ -55 +55 @@
 
 run-c: c-bench
+        @echo
         @echo '## C ##'
-        @./c-bench
-        @printf 'source_size:\t%7d lines\n' `cat c-bench.c bench.h c-stack.h c-stack.c | wc -l`
-        @printf 'binary_size:\t%7d bytes\n' `wc -c < c-bench`
+        @/usr/bin/time -f 'max_memory:\t%M kilobytes' ./c-bench
+        @printf 'source_size:\t%8d lines\n' `cat c-bench.c bench.h c-stack.h c-stack.c | wc -l`
+        @printf 'binary_size:\t%8d bytes\n' `stat -c %s c-bench`
 
 run-cfa: cfa-bench
+        @echo
         @echo '## Cforall ##'
-        @./cfa-bench
-        @printf 'source_size:\t%7d lines\n' `cat cfa-bench.c bench.h cfa-stack.h cfa-stack.c | wc -l`
-        @printf 'binary_size:\t%7d bytes\n' `wc -c < cfa-bench`
+        @/usr/bin/time -f 'max_memory:\t %M kilobytes' ./cfa-bench
+        @printf 'source_size:\t%8d lines\n' `cat cfa-bench.c bench.h cfa-stack.h cfa-stack.c | wc -l`
+        @printf 'binary_size:\t%8d bytes\n' `stat -c %s cfa-bench`
 
 run-cpp: cpp-bench
+        @echo
         @echo '## C++ ##'
-        @./cpp-bench
-        @printf 'source_size:\t%7d lines\n' `cat cpp-bench.cpp bench.hpp cpp-stack.hpp | wc -l`
-        @printf 'binary_size:\t%7d bytes\n' `wc -c < cpp-bench`
+        @/usr/bin/time -f 'max_memory:\t %M kilobytes' ./cpp-bench
+        @printf 'source_size:\t%8d lines\n' `cat cpp-bench.cpp bench.hpp cpp-stack.hpp | wc -l`
+        @printf 'binary_size:\t%8d bytes\n' `stat -c %s cpp-bench`
 
 run-cppv: cpp-vbench
+        @echo
         @echo '## C++ virtual ##'
-        @./cpp-vbench
-        @printf 'source_size:\t%7d lines\n' `cat cpp-vbench.cpp bench.hpp object.hpp cpp-vstack.hpp cpp-vstack.cpp | wc -l`
-        @printf 'binary_size:\t%7d bytes\n' `wc -c < cpp-vbench`
+        @/usr/bin/time -f 'max_memory:\t%M kilobytes' ./cpp-vbench
+        @printf 'source_size:\t%8d lines\n' `cat cpp-vbench.cpp bench.hpp object.hpp cpp-vstack.hpp cpp-vstack.cpp | wc -l`
+        @printf 'binary_size:\t%8d bytes\n' `stat -c %s cpp-vbench`
 
 run: run-c run-cfa run-cpp run-cppv