Changes in / [2ccb93c:f92aa32]

Location:

doc/generic_types/evaluation

Files:

• .gitignore (modified) (1 diff)
• Makefile (modified) (5 diffs)
• bench.h (modified) (2 diffs)
• bench.hpp (deleted)
• cpp-bench.cpp (modified) (1 diff)
• cpp-stack.h (added)
• cpp-stack.hpp (deleted)
• cpp-vbench.cpp (deleted)
• cpp-vstack.cpp (deleted)
• cpp-vstack.hpp (deleted)
• object.hpp (deleted)

doc/generic_types/evaluation/.gitignore

@@ -1 +1 @@
 c-bench
 cpp-bench
-cpp-vbench
 cfa-bench
+c2-bench
+cpp2-bench
+cfa2-bench
 *.o
 *.d

doc/generic_types/evaluation/Makefile

@@ -1 +1 @@
 CFA = my-cfa
 DEPFLAGS = -MMD -MP
-CFLAGS = -O2 -flto
-CXXFLAGS = $(CFLAGS) --std=c++14
+OPT = -O2
+CFLAGS = $(OPT)
+CXXFLAGS = $(OPT)
 
-.PHONY: all clean distclean run-c run-cpp run-cfa run
+.PHONY: all clean distclean bench
 
 all: c-bench cpp-bench cfa-bench
@@ -27 +28 @@
 COBJS = c-stack.o
 CPPOBJS = 
-CPPVOBJS = cpp-vstack.o
 CFAOBJS = cfa-stack.o
 
@@ -36 +36 @@
         $(COMPILE.cpp) -o $@ $< $(CPPOBJS) $(LDFLAGS)
 
-cpp-vbench: cpp-vbench.cpp cpp-vbench.d $(CPPVOBJS)
-        $(COMPILE.cpp) -o $@ $< $(CPPVOBJS) $(LDFLAGS)
-
 cfa-bench: cfa-bench.c cfa-bench.d $(CFAOBJS)
         $(COMPILE.cfa) -o $@ $< $(CFAOBJS) $(LDFLAGS)
@@ -45 +42 @@
         -rm $(COBJS) c-bench
         -rm $(CPPOBJS) cpp-bench
-        -rm $(CPPVOBJS) cpp-vbench
         -rm $(CFAOBJS) cfa-bench
 
@@ -51 +47 @@
         -rm $(COBJS:.o=.d) c-bench.d
         -rm $(CPPOBJS:.o=.d) cpp-bench.d
-        -rm $(CPPVOBJS:.o=.d) cpp-vbench.d
         -rm $(CFAOBJS:.o=.d) cfa-bench.d
 
-run-c: c-bench
+bench: c-bench cpp-bench cfa-bench
         @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`
-
-run-cfa: cfa-bench
+        @echo '## C++ ##'
+        @./cpp-bench
         @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`
-
-run-cpp: cpp-bench
-        @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`
-
-run-cppv: cpp-vbench
-        @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`
-
-run: run-c run-cfa run-cpp run-cppv
 
 # so make doesn't fail without dependency files

doc/generic_types/evaluation/bench.h

@@ -4 +4 @@
 #include <time.h>
 
- #define N 100000000
+ #define N 50000000
  
 
@@ -12 +12 @@
 
 #define TIMED(name, code) { \
-        volatile clock_t _start, _end; \
+        clock_t _start, _end; \
         _start = clock(); \
         code \

doc/generic_types/evaluation/cpp-bench.cpp

@@ -1 +1 @@
 #include <stdlib.h>
-#include "bench.hpp"
-#include "cpp-stack.hpp"
+#include "bench.h"
+#include "cpp-stack.h"
 
 int main(int argc, char** argv) {