Blame internal/ceres/generate_template_specializations.py

Packit ea1746
# Ceres Solver - A fast non-linear least squares minimizer
Packit ea1746
# Copyright 2015 Google Inc. All rights reserved.
Packit ea1746
# http://ceres-solver.org/
Packit ea1746
#
Packit ea1746
# Redistribution and use in source and binary forms, with or without
Packit ea1746
# modification, are permitted provided that the following conditions are met:
Packit ea1746
#
Packit ea1746
# * Redistributions of source code must retain the above copyright notice,
Packit ea1746
#   this list of conditions and the following disclaimer.
Packit ea1746
# * Redistributions in binary form must reproduce the above copyright notice,
Packit ea1746
#   this list of conditions and the following disclaimer in the documentation
Packit ea1746
#   and/or other materials provided with the distribution.
Packit ea1746
# * Neither the name of Google Inc. nor the names of its contributors may be
Packit ea1746
#   used to endorse or promote products derived from this software without
Packit ea1746
#   specific prior written permission.
Packit ea1746
#
Packit ea1746
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
Packit ea1746
# AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
Packit ea1746
# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
Packit ea1746
# ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
Packit ea1746
# LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
Packit ea1746
# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
Packit ea1746
# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
Packit ea1746
# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
Packit ea1746
# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
Packit ea1746
# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
Packit ea1746
# POSSIBILITY OF SUCH DAMAGE.
Packit ea1746
#
Packit ea1746
# Author: sameeragarwal@google.com (Sameer Agarwal)
Packit ea1746
#
Packit ea1746
# Script for explicitly generating template specialization of the
Packit ea1746
# SchurEliminator class. It is a rather large class
Packit ea1746
# and the number of explicit instantiations is also large. Explicitly
Packit ea1746
# generating these instantiations in separate .cc files breaks the
Packit ea1746
# compilation into separate compilation unit rather than one large cc
Packit ea1746
# file which takes 2+GB of RAM to compile.
Packit ea1746
#
Packit ea1746
# This script creates three sets of files.
Packit ea1746
#
Packit ea1746
# 1. schur_eliminator_x_x_x.cc and partitioned_matrix_view_x_x_x.cc
Packit ea1746
# where, the x indicates the template parameters and
Packit ea1746
#
Packit ea1746
# 2. schur_eliminator.cc & partitioned_matrix_view.cc
Packit ea1746
#
Packit ea1746
# that contains a factory function for instantiating these classes
Packit ea1746
# based on runtime parameters.
Packit ea1746
#
Packit ea1746
# 3. schur_templates.cc
Packit ea1746
#
Packit ea1746
# that contains a function which can be queried to determine what
Packit ea1746
# template specializations are available.
Packit ea1746
#
Packit ea1746
# The following list of tuples, specializations indicates the set of
Packit ea1746
# specializations that is generated.
Packit ea1746
SPECIALIZATIONS = [(2, 2, 2),
Packit ea1746
                   (2, 2, 3),
Packit ea1746
                   (2, 2, 4),
Packit ea1746
                   (2, 2, "Eigen::Dynamic"),
Packit ea1746
                   (2, 3, 3),
Packit ea1746
                   (2, 3, 4),
Packit ea1746
                   (2, 3, 6),
Packit ea1746
                   (2, 3, 9),
Packit ea1746
                   (2, 3, "Eigen::Dynamic"),
Packit ea1746
                   (2, 4, 3),
Packit ea1746
                   (2, 4, 4),
Packit ea1746
                   (2, 4, 8),
Packit ea1746
                   (2, 4, 9),
Packit ea1746
                   (2, 4, "Eigen::Dynamic"),
Packit ea1746
                   (2, "Eigen::Dynamic", "Eigen::Dynamic"),
Packit ea1746
                   (4, 4, 2),
Packit ea1746
                   (4, 4, 3),
Packit ea1746
                   (4, 4, 4),
Packit ea1746
                   (4, 4, "Eigen::Dynamic")]
Packit ea1746
Packit ea1746
import schur_eliminator_template
Packit ea1746
import partitioned_matrix_view_template
Packit ea1746
import os
Packit ea1746
import glob
Packit ea1746
Packit ea1746
def SuffixForSize(size):
Packit ea1746
  if size == "Eigen::Dynamic":
Packit ea1746
    return "d"
Packit ea1746
  return str(size)
Packit ea1746
Packit ea1746
def SpecializationFilename(prefix, row_block_size, e_block_size, f_block_size):
Packit ea1746
  return "_".join([prefix] + map(SuffixForSize, (row_block_size,
Packit ea1746
                                                 e_block_size,
Packit ea1746
                                                 f_block_size)))
Packit ea1746
Packit ea1746
def GenerateFactoryConditional(row_block_size, e_block_size, f_block_size):
Packit ea1746
  conditionals = []
Packit ea1746
  if (row_block_size != "Eigen::Dynamic"):
Packit ea1746
    conditionals.append("(options.row_block_size == %s)" % row_block_size)
Packit ea1746
  if (e_block_size != "Eigen::Dynamic"):
Packit ea1746
    conditionals.append("(options.e_block_size == %s)" % e_block_size)
Packit ea1746
  if (f_block_size != "Eigen::Dynamic"):
Packit ea1746
    conditionals.append("(options.f_block_size == %s)" % f_block_size)
Packit ea1746
  if (len(conditionals) == 0):
Packit ea1746
    return "%s"
Packit ea1746
Packit ea1746
  if (len(conditionals) == 1):
Packit ea1746
    return " if " + conditionals[0] + "{\n  %s\n }\n"
Packit ea1746
Packit ea1746
  return " if (" + " &&\n     ".join(conditionals) + ") {\n  %s\n }\n"
Packit ea1746
Packit ea1746
def Specialize(name, data):
Packit ea1746
  """
Packit ea1746
  Generate specialization code and the conditionals to instantiate it.
Packit ea1746
  """
Packit ea1746
Packit ea1746
  # Specialization files
Packit ea1746
  for row_block_size, e_block_size, f_block_size in SPECIALIZATIONS:
Packit ea1746
      output = SpecializationFilename("generated/" + name,
Packit ea1746
                                      row_block_size,
Packit ea1746
                                      e_block_size,
Packit ea1746
                                      f_block_size) + ".cc"
Packit ea1746
Packit ea1746
      with open(output, "w") as f:
Packit ea1746
        f.write(data["HEADER"])
Packit ea1746
        f.write(data["SPECIALIZATION_FILE"] %
Packit ea1746
                  (row_block_size, e_block_size, f_block_size))
Packit ea1746
Packit ea1746
  # Generate the _d_d_d specialization.
Packit ea1746
  output = SpecializationFilename("generated/" + name,
Packit ea1746
                                   "Eigen::Dynamic",
Packit ea1746
                                   "Eigen::Dynamic",
Packit ea1746
                                   "Eigen::Dynamic") + ".cc"
Packit ea1746
  with open(output, "w") as f:
Packit ea1746
    f.write(data["HEADER"])
Packit ea1746
    f.write(data["DYNAMIC_FILE"] %
Packit ea1746
              ("Eigen::Dynamic", "Eigen::Dynamic", "Eigen::Dynamic"))
Packit ea1746
Packit ea1746
  # Factory
Packit ea1746
  with open(name + ".cc", "w") as f:
Packit ea1746
    f.write(data["HEADER"])
Packit ea1746
    f.write(data["FACTORY_FILE_HEADER"])
Packit ea1746
    for row_block_size, e_block_size, f_block_size in SPECIALIZATIONS:
Packit ea1746
        factory_conditional = GenerateFactoryConditional(
Packit ea1746
            row_block_size, e_block_size, f_block_size)
Packit ea1746
        factory = data["FACTORY"] % (row_block_size, e_block_size, f_block_size)
Packit ea1746
        f.write(factory_conditional % factory);
Packit ea1746
    f.write(data["FACTORY_FOOTER"])
Packit ea1746
Packit ea1746
QUERY_HEADER = """// Ceres Solver - A fast non-linear least squares minimizer
Packit ea1746
// Copyright 2017 Google Inc. All rights reserved.
Packit ea1746
// http://ceres-solver.org/
Packit ea1746
//
Packit ea1746
// Redistribution and use in source and binary forms, with or without
Packit ea1746
// modification, are permitted provided that the following conditions are met:
Packit ea1746
//
Packit ea1746
// * Redistributions of source code must retain the above copyright notice,
Packit ea1746
//   this list of conditions and the following disclaimer.
Packit ea1746
// * Redistributions in binary form must reproduce the above copyright notice,
Packit ea1746
//   this list of conditions and the following disclaimer in the documentation
Packit ea1746
//   and/or other materials provided with the distribution.
Packit ea1746
// * Neither the name of Google Inc. nor the names of its contributors may be
Packit ea1746
//   used to endorse or promote products derived from this software without
Packit ea1746
//   specific prior written permission.
Packit ea1746
//
Packit ea1746
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
Packit ea1746
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
Packit ea1746
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
Packit ea1746
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
Packit ea1746
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
Packit ea1746
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
Packit ea1746
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
Packit ea1746
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
Packit ea1746
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
Packit ea1746
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
Packit ea1746
// POSSIBILITY OF SUCH DAMAGE.
Packit ea1746
//
Packit ea1746
// Author: sameeragarwal@google.com (Sameer Agarwal)
Packit ea1746
//
Packit ea1746
// What template specializations are available.
Packit ea1746
//
Packit ea1746
// ========================================
Packit ea1746
// THIS FILE IS AUTOGENERATED. DO NOT EDIT.
Packit ea1746
// THIS FILE IS AUTOGENERATED. DO NOT EDIT.
Packit ea1746
// THIS FILE IS AUTOGENERATED. DO NOT EDIT.
Packit ea1746
// THIS FILE IS AUTOGENERATED. DO NOT EDIT.
Packit ea1746
//=========================================
Packit ea1746
//
Packit ea1746
// This file is generated using generate_template_specializations.py.
Packit ea1746
"""
Packit ea1746
Packit ea1746
QUERY_FILE_HEADER = """
Packit ea1746
#include "ceres/internal/eigen.h"
Packit ea1746
#include "ceres/schur_templates.h"
Packit ea1746
Packit ea1746
namespace ceres {
Packit ea1746
namespace internal {
Packit ea1746
Packit ea1746
void GetBestSchurTemplateSpecialization(int* row_block_size,
Packit ea1746
                                        int* e_block_size,
Packit ea1746
                                        int* f_block_size) {
Packit ea1746
  LinearSolver::Options options;
Packit ea1746
  options.row_block_size = *row_block_size;
Packit ea1746
  options.e_block_size = *e_block_size;
Packit ea1746
  options.f_block_size = *f_block_size;
Packit ea1746
  *row_block_size = Eigen::Dynamic;
Packit ea1746
  *e_block_size = Eigen::Dynamic;
Packit ea1746
  *f_block_size = Eigen::Dynamic;
Packit ea1746
#ifndef CERES_RESTRICT_SCHUR_SPECIALIZATION
Packit ea1746
"""
Packit ea1746
Packit ea1746
QUERY_FOOTER = """
Packit ea1746
#endif
Packit ea1746
  return;
Packit ea1746
}
Packit ea1746
Packit ea1746
}  // namespace internal
Packit ea1746
}  // namespace ceres
Packit ea1746
"""
Packit ea1746
Packit ea1746
QUERY_ACTION = """ *row_block_size = %s;
Packit ea1746
   *e_block_size = %s;
Packit ea1746
   *f_block_size = %s;
Packit ea1746
  return;"""
Packit ea1746
Packit ea1746
def GenerateQueryFile():
Packit ea1746
  """
Packit ea1746
  Generate file that allows querying for available template specializations.
Packit ea1746
  """
Packit ea1746
Packit ea1746
  with open("schur_templates.cc", "w") as f:
Packit ea1746
    f.write(QUERY_HEADER)
Packit ea1746
    f.write(QUERY_FILE_HEADER)
Packit ea1746
    for row_block_size, e_block_size, f_block_size in SPECIALIZATIONS:
Packit ea1746
      factory_conditional = GenerateFactoryConditional(
Packit ea1746
        row_block_size, e_block_size, f_block_size)
Packit ea1746
      action = QUERY_ACTION % (row_block_size, e_block_size, f_block_size)
Packit ea1746
      f.write(factory_conditional % action)
Packit ea1746
    f.write(QUERY_FOOTER)
Packit ea1746
Packit ea1746
Packit ea1746
if __name__ == "__main__":
Packit ea1746
  for f in glob.glob("generated/*"):
Packit ea1746
    os.remove(f)
Packit ea1746
Packit ea1746
  Specialize("schur_eliminator",
Packit ea1746
               schur_eliminator_template.__dict__)
Packit ea1746
  Specialize("partitioned_matrix_view",
Packit ea1746
               partitioned_matrix_view_template.__dict__)
Packit ea1746
  GenerateQueryFile()