benchcc 0.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: c435cda71ad508017a69a33b232ef6a7ed334df8
+  data.tar.gz: c2c9a7bd9355414ea1388f7e792b630a3a0b79c8
+SHA512:
+  metadata.gz: da5d488a8e4cdb1984cb174c6b622dcba891d588bd734c9421f02dd6c412d1c243b307b09b0f4c3fba7476342a9acbfb520818abdbe80714dbebac666e9a4812
+  data.tar.gz: c5ab9643575c8d740e5521e8ed8ad04d78751488a30773b951a4bdb57a0fbf1319d75c4e3d3c4b6734f67647b2f394abd1ec9716907b9ebe3081479dc67a48aa

data/.gitignore

@@ -0,0 +1,18 @@
+*.gem
+*.rbc
+.bundle
+.config
+.yardoc
+Gemfile.lock
+InstalledFiles
+_yardoc
+coverage
+doc/
+lib/bundler/man
+pkg
+rdoc
+spec/reports
+test/tmp
+test/version_tmp
+tmp
+_datasets/

data/.gitmodules

@@ -0,0 +1,6 @@
+[submodule "ext/boost.mpl11"]
+	path = ext/boost.mpl11
+	url = https://github.com/ldionne/mpl11.git
+[submodule "ext/boost.hana"]
+	path = ext/boost.hana
+	url = https://github.com/ldionne/hana.git

data/Gemfile

@@ -0,0 +1,13 @@
+source "https://rubygems.org"
+
+gem 'bundler', '~> 1.3'
+
+group :development do
+  gem 'pry'
+end
+
+group :test do
+  gem 'rspec', '>= 2.14'
+end
+
+gemspec

data/LICENSE.md

@@ -0,0 +1,25 @@
+Copyright 2014 Louis Dionne
+
+Boost Software License - Version 1.0 - August 17th, 2003
+
+Permission is hereby granted, free of charge, to any person or organization
+obtaining a copy of the software and accompanying documentation covered by
+this license (the "Software") to use, reproduce, display, distribute,
+execute, and transmit the Software, and to prepare derivative works of the
+Software, and to permit third-parties to whom the Software is furnished to
+do so, all subject to the following:
+
+The copyright notices in the Software and this entire statement, including
+the above license grant, this restriction and the following disclaimer,
+must be included in all copies of the Software, in whole or in part, and
+all derivative works of the Software, unless such copies or derivative
+works are solely in the form of machine-executable object code generated by
+a source language processor.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT
+SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
+FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
+ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,3 @@
+# benchcc
+
+> A collection of C++ metaprogramming benchmarks

data/Rakefile

@@ -0,0 +1,11 @@
+require "bundler"
+require "bundler/gem_tasks"
+require "rake"
+require "rspec/core/rake_task"
+
+task default: :spec
+
+desc "Run all specs"
+RSpec::Core::RakeTask.new(:spec) do |task|
+  task.pattern = 'spec/**/*_spec.rb'
+end

data/benchcc.gemspec

@@ -0,0 +1,24 @@
+# encoding: utf-8
+
+$:.unshift File.expand_path('../lib', __FILE__)
+require 'benchcc/version'
+
+Gem::Specification.new do |s|
+  s.name          = "benchcc"
+  s.version       = Benchcc::VERSION
+  s.authors       = ["Louis Dionne"]
+  s.email         = ["ldionne.2@gmail.com"]
+  s.homepage      = "https://github.com/ldionne/benchcc"
+  s.license       = "Boost"
+  s.summary       = "A collection of utilities to benchmark C++ metaprograms"
+  s.description   = "Benchcc is a collection of utilities to make easier the task of benchmarking C++ metaprograms"
+
+  s.files         = `git ls-files -z`.split("\x0")
+  s.platform      = Gem::Platform::RUBY
+  s.require_paths = ["lib"]
+
+  s.add_dependency 'gnuplot', "~> 2.6"
+  s.add_dependency 'rake', "~> 10.2"
+  s.add_dependency 'ruby-progressbar', "~> 1.4"
+  s.add_dependency 'tilt', '~> 2.0.1'
+end

data/benchmarks/Rakefile

@@ -0,0 +1,78 @@
+$:.unshift(File.expand_path('../../lib', __FILE__))
+
+require 'benchcc'
+require 'csv'
+require 'gnuplot'
+
+
+task :default => [:all]
+task :all
+
+INCLUDES = %w{boost.hana/include boost.mpl11/include}.map { |path|
+  "-I " + File.expand_path("../../ext/#{path}", __FILE__)
+}
+
+
+Benchcc::Compiler.list.product(Dir['*']) do |compiler, dir|
+  benchmark = File.basename(dir)
+  bm = Benchcc::Benchmark.new(benchmark)
+  bm.implementations.each do |implementation|
+    task :all => benchmark
+    task compiler.id => "#{compiler.id}.#{benchmark}"
+    task benchmark => "#{compiler.id}.#{benchmark}"
+    task "#{compiler.id}.#{benchmark}" => "#{compiler.id}.#{benchmark}.#{implementation}"
+    task "#{compiler.id}.#{benchmark}.#{implementation}" => "_datasets/#{compiler.id}/#{benchmark}/#{implementation}"
+
+    file "_datasets/#{compiler.id}/#{benchmark}/#{implementation}" => [
+        bm.dependencies_of(implementation),
+        directory("_datasets/#{compiler.id}/#{benchmark}").name
+    ].flatten do |ofile|
+      data = bm.run(implementation) { |code|
+        compiler.compile_code(code, *INCLUDES, "-fsyntax-only")
+      }
+
+      CSV.open(ofile.name, 'wb') do |csv|
+        csv << data.first.keys unless data.empty?
+        data.each { |line| csv << line.values }
+      end
+    end
+  end
+end
+
+
+task :memusg do |t, args|
+  Gnuplot.open do |io|
+    Gnuplot::Plot.new(io) do |plot|
+      plot.ylabel   'Memory usage'
+      plot.decimal  "locale 'en_US.UTF-8'"
+      plot.format   'y "%.2e kb"'
+      plot.term     'png'
+      plot.output   'memusg.png'
+      plot.data = args.extras.map { |arg|
+        csv = CSV.table("_datasets/#{arg}")
+        Gnuplot::DataSet.new([csv[:depth], csv[:peak_memusg]]) { |ds|
+          ds.title = arg
+          ds.with = 'lines'
+        }
+      }
+    end
+  end
+end
+
+task :time do |t, args|
+  Gnuplot.open do |io|
+    Gnuplot::Plot.new(io) do |plot|
+      plot.ylabel   'Compilation time'
+      plot.format   'y "%.2g s"'
+      plot.term     'png'
+      plot.output   'time.png'
+      plot.data = args.extras.map { |arg|
+        csv = CSV.table("_datasets/#{arg}")
+        Gnuplot::DataSet.new([csv[:depth], csv[:wall_time]]) { |ds|
+          ds.title = arg
+          ds.with = 'lines'
+        }
+      }
+    end
+  end
+end

data/benchmarks/fmap/_env.rb

@@ -0,0 +1,3 @@
+(0...1000).map { |depth|
+  { breadth: 1, depth: depth }
+}

data/benchmarks/fmap/_main.erb

@@ -0,0 +1,7 @@
+<%= (0...breadth).map { |breadth|
+    xs = (0...depth).map { |depth| "x#{breadth}<#{depth}>" }
+    <<-EOS
+    template <int> struct x#{breadth} { using type = x#{breadth}; };
+    #{yield xs, breadth, depth}
+    EOS
+}.join("\n") %>

data/benchmarks/fmap/hana_list.erb.cpp

@@ -0,0 +1,18 @@
+#include <boost/hana/list.hpp>
+
+
+template <typename X>
+struct _f { };
+
+constexpr struct {
+    template <typename X>
+    constexpr _f<X> operator()(X) const;
+} f{};
+
+<%=
+    render('_main.erb') do |xs, breadth, depth|
+        xs = xs.map { |x| "#{x}{}" }.join(', ')
+        list = "boost::hana::list(#{xs})"
+        "static const auto go#{breadth} = boost::hana::fmap(f, #{list});"
+    end
+%>

data/benchmarks/fmap/mpl11_list.erb.cpp

@@ -0,0 +1,15 @@
+#include <boost/mpl11/list.hpp>
+
+
+struct f {
+    using type = f;
+    template <typename>
+    struct apply { struct type; };
+};
+
+<%=
+    render('_main.erb') do |xs, breadth, depth|
+        list = "boost::mpl11::list<#{xs.join(', ')}>"
+        "using go#{breadth} = boost::mpl11::fmap<f, #{list}>::type;"
+    end
+%>

data/benchmarks/fmap/mpl_list.erb.cpp

@@ -0,0 +1,15 @@
+#include <boost/mpl/transform.hpp>
+<%= Benchcc::MPL::List.new(0...depth).includes %>
+
+
+struct f {
+    template <typename>
+    struct apply { struct type; };
+};
+
+<%=
+    render('_main.erb') do |xs, breadth, depth|
+        list = Benchcc::MPL::List.new(xs)
+        "using go#{breadth} = boost::mpl::transform<#{list}, f>::type;"
+    end
+%>

data/benchmarks/fmap/mpl_vector.erb.cpp

@@ -0,0 +1,15 @@
+#include <boost/mpl/transform.hpp>
+<%= Benchcc::MPL::Vector.new(0...depth).includes %>
+
+
+struct f {
+    template <typename>
+    struct apply { struct type; };
+};
+
+<%=
+    render('_main.erb') do |xs, breadth, depth|
+        vector = Benchcc::MPL::Vector.new(xs)
+        "using go#{breadth} = boost::mpl::transform<#{vector}, f>::type;"
+    end
+%>

data/benchmarks/include/_env.rb

@@ -0,0 +1 @@
+1.times.map { Hash.new }

data/benchmarks/include/hana.erb.cpp

@@ -0,0 +1 @@
+#include <boost/hana.hpp>

data/benchmarks/include/mpl.erb.cpp

@@ -0,0 +1,185 @@
+#include <boost/mpl/accumulate.hpp>
+#include <boost/mpl/advance.hpp>
+#include <boost/mpl/advance_fwd.hpp>
+#include <boost/mpl/alias.hpp>
+#include <boost/mpl/always.hpp>
+#include <boost/mpl/and.hpp>
+#include <boost/mpl/apply.hpp>
+#include <boost/mpl/apply_fwd.hpp>
+#include <boost/mpl/apply_wrap.hpp>
+#include <boost/mpl/arg.hpp>
+#include <boost/mpl/arg_fwd.hpp>
+#include <boost/mpl/arithmetic.hpp>
+#include <boost/mpl/as_sequence.hpp>
+#include <boost/mpl/assert.hpp>
+#include <boost/mpl/at.hpp>
+#include <boost/mpl/at_fwd.hpp>
+#include <boost/mpl/back.hpp>
+#include <boost/mpl/back_fwd.hpp>
+#include <boost/mpl/back_inserter.hpp>
+#include <boost/mpl/base.hpp>
+#include <boost/mpl/begin.hpp>
+#include <boost/mpl/begin_end.hpp>
+#include <boost/mpl/begin_end_fwd.hpp>
+#include <boost/mpl/bind.hpp>
+#include <boost/mpl/bind_fwd.hpp>
+#include <boost/mpl/bitand.hpp>
+#include <boost/mpl/bitor.hpp>
+#include <boost/mpl/bitwise.hpp>
+#include <boost/mpl/bitxor.hpp>
+#include <boost/mpl/bool.hpp>
+#include <boost/mpl/bool_fwd.hpp>
+#include <boost/mpl/char.hpp>
+#include <boost/mpl/char_fwd.hpp>
+#include <boost/mpl/clear.hpp>
+#include <boost/mpl/clear_fwd.hpp>
+#include <boost/mpl/comparison.hpp>
+#include <boost/mpl/contains.hpp>
+#include <boost/mpl/contains_fwd.hpp>
+#include <boost/mpl/copy.hpp>
+#include <boost/mpl/copy_if.hpp>
+#include <boost/mpl/count.hpp>
+#include <boost/mpl/count_fwd.hpp>
+#include <boost/mpl/count_if.hpp>
+#include <boost/mpl/deque.hpp>
+#include <boost/mpl/deref.hpp>
+#include <boost/mpl/distance.hpp>
+#include <boost/mpl/distance_fwd.hpp>
+#include <boost/mpl/divides.hpp>
+#include <boost/mpl/empty.hpp>
+#include <boost/mpl/empty_base.hpp>
+#include <boost/mpl/empty_fwd.hpp>
+#include <boost/mpl/empty_sequence.hpp>
+#include <boost/mpl/end.hpp>
+#include <boost/mpl/equal.hpp>
+#include <boost/mpl/equal_to.hpp>
+#include <boost/mpl/erase.hpp>
+#include <boost/mpl/erase_fwd.hpp>
+#include <boost/mpl/erase_key.hpp>
+#include <boost/mpl/erase_key_fwd.hpp>
+#include <boost/mpl/eval_if.hpp>
+#include <boost/mpl/filter_view.hpp>
+#include <boost/mpl/find.hpp>
+#include <boost/mpl/find_if.hpp>
+#include <boost/mpl/fold.hpp>
+#include <boost/mpl/for_each.hpp>
+#include <boost/mpl/front.hpp>
+#include <boost/mpl/front_fwd.hpp>
+#include <boost/mpl/front_inserter.hpp>
+#include <boost/mpl/greater.hpp>
+#include <boost/mpl/greater_equal.hpp>
+#include <boost/mpl/has_key.hpp>
+#include <boost/mpl/has_key_fwd.hpp>
+#include <boost/mpl/has_xxx.hpp>
+#include <boost/mpl/identity.hpp>
+#include <boost/mpl/if.hpp>
+#include <boost/mpl/index_if.hpp>
+#include <boost/mpl/index_of.hpp>
+#include <boost/mpl/inherit.hpp>
+#include <boost/mpl/inherit_linearly.hpp>
+#include <boost/mpl/insert.hpp>
+#include <boost/mpl/insert_fwd.hpp>
+#include <boost/mpl/insert_range.hpp>
+#include <boost/mpl/insert_range_fwd.hpp>
+#include <boost/mpl/inserter.hpp>
+#include <boost/mpl/int.hpp>
+#include <boost/mpl/int_fwd.hpp>
+#include <boost/mpl/integral_c.hpp>
+#include <boost/mpl/integral_c_fwd.hpp>
+#include <boost/mpl/integral_c_tag.hpp>
+#include <boost/mpl/is_placeholder.hpp>
+#include <boost/mpl/is_sequence.hpp>
+#include <boost/mpl/iter_fold.hpp>
+#include <boost/mpl/iter_fold_if.hpp>
+#include <boost/mpl/iterator_category.hpp>
+#include <boost/mpl/iterator_range.hpp>
+#include <boost/mpl/iterator_tags.hpp>
+#include <boost/mpl/joint_view.hpp>
+#include <boost/mpl/key_type.hpp>
+#include <boost/mpl/key_type_fwd.hpp>
+#include <boost/mpl/lambda.hpp>
+#include <boost/mpl/lambda_fwd.hpp>
+#include <boost/mpl/less.hpp>
+#include <boost/mpl/less_equal.hpp>
+#include <boost/mpl/list.hpp>
+#include <boost/mpl/list_c.hpp>
+#include <boost/mpl/logical.hpp>
+#include <boost/mpl/long.hpp>
+#include <boost/mpl/long_fwd.hpp>
+#include <boost/mpl/lower_bound.hpp>
+#include <boost/mpl/map.hpp>
+#include <boost/mpl/max.hpp>
+#include <boost/mpl/max_element.hpp>
+#include <boost/mpl/min.hpp>
+#include <boost/mpl/min_element.hpp>
+#include <boost/mpl/min_max.hpp>
+#include <boost/mpl/minus.hpp>
+#include <boost/mpl/modulus.hpp>
+#include <boost/mpl/multiplies.hpp>
+#include <boost/mpl/negate.hpp>
+#include <boost/mpl/next.hpp>
+#include <boost/mpl/next_prior.hpp>
+#include <boost/mpl/not.hpp>
+#include <boost/mpl/not_equal_to.hpp>
+#include <boost/mpl/numeric_cast.hpp>
+#include <boost/mpl/O1_size.hpp>
+#include <boost/mpl/O1_size_fwd.hpp>
+#include <boost/mpl/or.hpp>
+#include <boost/mpl/order.hpp>
+#include <boost/mpl/order_fwd.hpp>
+#include <boost/mpl/pair.hpp>
+#include <boost/mpl/pair_view.hpp>
+#include <boost/mpl/partition.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/plus.hpp>
+#include <boost/mpl/pop_back.hpp>
+#include <boost/mpl/pop_back_fwd.hpp>
+#include <boost/mpl/pop_front.hpp>
+#include <boost/mpl/pop_front_fwd.hpp>
+#include <boost/mpl/print.hpp>
+#include <boost/mpl/prior.hpp>
+#include <boost/mpl/protect.hpp>
+#include <boost/mpl/push_back.hpp>
+#include <boost/mpl/push_back_fwd.hpp>
+#include <boost/mpl/push_front.hpp>
+#include <boost/mpl/push_front_fwd.hpp>
+#include <boost/mpl/quote.hpp>
+#include <boost/mpl/range_c.hpp>
+#include <boost/mpl/remove.hpp>
+#include <boost/mpl/remove_if.hpp>
+#include <boost/mpl/replace.hpp>
+#include <boost/mpl/replace_if.hpp>
+#include <boost/mpl/reverse.hpp>
+#include <boost/mpl/reverse_fold.hpp>
+#include <boost/mpl/reverse_iter_fold.hpp>
+#include <boost/mpl/same_as.hpp>
+#include <boost/mpl/sequence_tag.hpp>
+#include <boost/mpl/sequence_tag_fwd.hpp>
+#include <boost/mpl/set.hpp>
+#include <boost/mpl/set_c.hpp>
+#include <boost/mpl/shift_left.hpp>
+#include <boost/mpl/shift_right.hpp>
+#include <boost/mpl/single_view.hpp>
+#include <boost/mpl/size.hpp>
+#include <boost/mpl/size_fwd.hpp>
+#include <boost/mpl/size_t.hpp>
+#include <boost/mpl/size_t_fwd.hpp>
+#include <boost/mpl/sizeof.hpp>
+#include <boost/mpl/sort.hpp>
+#include <boost/mpl/stable_partition.hpp>
+#include <boost/mpl/string.hpp>
+#include <boost/mpl/switch.hpp>
+#include <boost/mpl/tag.hpp>
+#include <boost/mpl/times.hpp>
+#include <boost/mpl/transform.hpp>
+#include <boost/mpl/transform_view.hpp>
+#include <boost/mpl/unique.hpp>
+#include <boost/mpl/unpack_args.hpp>
+#include <boost/mpl/upper_bound.hpp>
+#include <boost/mpl/value_type.hpp>
+#include <boost/mpl/value_type_fwd.hpp>
+#include <boost/mpl/vector.hpp>
+#include <boost/mpl/vector_c.hpp>
+#include <boost/mpl/void.hpp>
+#include <boost/mpl/void_fwd.hpp>
+#include <boost/mpl/zip_view.hpp>

data/benchmarks/include/mpl11.erb.cpp

@@ -0,0 +1 @@
+#include <boost/mpl11.hpp>

data/benchmarks/include/mpl11.min.erb.cpp

@@ -0,0 +1 @@
+#include <boost/mpl11.min.hpp>

data/benchmarks/sum/_env.rb

@@ -0,0 +1,3 @@
+(0...1000).map { |depth|
+  { breadth: 1, depth: depth }
+}

data/benchmarks/sum/_main.erb

@@ -0,0 +1,4 @@
+<%= (0...breadth).map { |breadth|
+    xs = (0...depth).map { |n| "boost::mpl11::int_<#{n}>" }.join(', ')
+    "using go#{breadth} = sum<#{xs}>::type;"
+}.join("\n") %>

data/benchmarks/sum/constexpr.erb.cpp

@@ -0,0 +1,24 @@
+#include <boost/mpl11/integer.hpp>
+
+
+using size_t = decltype(sizeof(int));
+
+constexpr struct plus_ {
+    template <typename X, typename Y>
+    constexpr auto operator()(X x, Y y) { return x + y; }
+} plus{};
+
+template <typename T, size_t N, typename F, typename State>
+constexpr State homogeneous_foldl(F f, State s, const T (&array)[N]) {
+    for (size_t i = 0; i < N; ++i)
+        s = f(s, array[i]);
+    return s;
+}
+
+template <typename ...xs>
+using sum = boost::mpl11::integer_c<
+    decltype(homogeneous_foldl<size_t, sizeof...(xs)>(plus, 0, {xs::value...})),
+    homogeneous_foldl<size_t, sizeof...(xs)>(plus, 0, {xs::value...})
+>;
+
+<%= render('_main.erb') %>

data/benchmarks/sum/mpl11_variadic_foldl.erb.cpp

@@ -0,0 +1,16 @@
+#include <boost/mpl11/detail/left_folds/variadic.hpp>
+#include <boost/mpl11/integer.hpp>
+
+
+template <typename x, typename y>
+using plus = boost::mpl11::integer_c<
+    decltype(x::type::value + y::type::value),
+    x::type::value + y::type::value
+>;
+
+template <typename ...xs>
+using sum = boost::mpl11::detail::left_folds::variadic<
+    plus, boost::mpl11::int_<0>, xs...
+>;
+
+<%= render('_main.erb') %>

data/benchmarks/tuple_create/_env.rb

@@ -0,0 +1,3 @@
+(0...1000).map { |depth|
+  { depth: depth }
+}

data/benchmarks/tuple_create/boost_tuple.erb.cpp

@@ -0,0 +1,6 @@
+#include <boost/tuple/tuple.hpp>
+
+
+int main() {
+    auto go = boost::make_tuple(<%= (0...depth).to_a.join(', ') %>);
+}

data/benchmarks/tuple_create/fusion_tuple.erb.cpp

@@ -0,0 +1,6 @@
+#include <boost/fusion/tuple.hpp>
+
+
+int main() {
+    auto go = boost::fusion::make_tuple(<%= (0...depth).to_a.join(', ') %>);
+}

data/benchmarks/tuple_create/hana_list.erb.cpp

@@ -0,0 +1,6 @@
+#include <boost/hana/list.hpp>
+
+
+int main() {
+    auto go = boost::hana::list(<%= (0...depth).to_a.join(', ') %>);
+}

data/benchmarks/tuple_create/std_tuple.erb.cpp

@@ -0,0 +1,6 @@
+#include <tuple>
+
+
+int main() {
+    auto go = std::make_tuple(<%= (0...depth).to_a.join(', ') %>);
+}

data/benchmarks/tuple_last/_env.rb

@@ -0,0 +1,3 @@
+(1...1000).map { |depth|
+  { depth: depth }
+}

data/benchmarks/tuple_last/boost_tuple.erb.cpp

@@ -0,0 +1,7 @@
+#include <boost/tuple/tuple.hpp>
+
+
+int main() {
+    auto go = boost::make_tuple(<%= (0...depth).to_a.join(', ') %>);
+    auto last = boost::get< <%= depth - 1 %>  >(go);
+}

data/benchmarks/tuple_last/fusion_tuple.erb.cpp

@@ -0,0 +1,7 @@
+#include <boost/fusion/tuple.hpp>
+
+
+int main() {
+    auto go = boost::fusion::make_tuple(<%= (0...depth).to_a.join(', ') %>);
+    auto last = boost::fusion::get< <%= depth - 1 %>  >(go);
+}

data/benchmarks/tuple_last/hana_list.erb.cpp

@@ -0,0 +1,7 @@
+#include <boost/hana/list.hpp>
+
+
+int main() {
+    auto go = boost::hana::list(<%= (0...depth).to_a.join(', ') %>);
+    auto last = boost::hana::at(boost::hana::size_t<    <%= depth - 1 %>  >, go);
+}

data/benchmarks/tuple_last/std_tuple.erb.cpp

@@ -0,0 +1,7 @@
+#include <tuple>
+
+
+int main() {
+    auto go = std::make_tuple(<%= (0...depth).to_a.join(', ') %>);
+    auto last = std::get< <%= depth - 1 %>  >(go);
+}

data/benchmarks/type_foldl/_env.rb

@@ -0,0 +1,3 @@
+(0..1000).step(2).map { |depth|
+  { breadth: 1, depth: depth }
+}

data/benchmarks/type_foldl/_main.erb

@@ -0,0 +1,18 @@
+template <typename ...>
+struct result { using type = result; };
+
+struct f {
+    using type = f;
+    template <typename state, typename x>
+    using apply = typename result<typename state::type, typename x::type>::type;
+};
+
+
+<%= (0...breadth).map { |breadth|
+    xs = (0...depth).map { |depth| "x#{breadth}<#{depth}>" }
+    <<-EOS
+    struct state#{breadth} { using type = state#{breadth}; };
+    template <int> struct x#{breadth} { using type = x#{breadth}; };
+    using go#{breadth} = #{yield 'f', "state#{breadth}", xs};
+    EOS
+}.join("\n") %>

data/benchmarks/type_foldl/hana_list.erb.cpp

@@ -0,0 +1,15 @@
+#include <boost/hana/list.hpp>
+#include <boost/hana/type.hpp>
+
+
+<%= render('_main.erb') do |f, state, xs|
+    <<-EOS
+    decltype(
+        boost::hana::foldl(
+            boost::hana::lift<#{f}::apply>,
+            boost::hana::type<#{state}>,
+            boost::hana::list_t<#{xs.join(', ')}>
+        )
+    )::type
+    EOS
+end %>

data/benchmarks/type_foldl/mpl11_cons.erb.cpp

@@ -0,0 +1,10 @@
+#define BOOST_MPL11_NO_ASSERTIONS
+#include <boost/mpl11/list.hpp>
+
+
+<%= render('_main.erb') do |f, state, xs|
+    cons = xs.foldr("boost::mpl11::list<>") { |x, tail|
+      "boost::mpl11::cons<#{x}, #{tail}>"
+    }
+    "boost::mpl11::foldl<#{f}, #{state}, #{cons}>::type"
+end %>