Method run_function

Processor/Machine.hpp:424–503

template<class sint, class sgf2n>
void Machine<sint, sgf2n>::run_function(const string& name,
        FunctionArgument& result, vector<FunctionArgument>& arguments)
{
  ifstream file;
  FunctionArgument::open(file, name, arguments);

  string progname, return_type;
  int tape_number, return_reg;
  file >> progname >> tape_number >> return_type >> return_reg;

  result.check_type(return_type);

  vector<int> arg_regs(arguments.size());
  vector<int> address_regs(arguments.size());
  for (size_t i = 0; i < arguments.size(); i++)
    {
      file >> arg_regs.at(i);
      if (arguments[i].get_memory())
        file >> address_regs.at(i);
    }

  if (not file.good())
    throw runtime_error("error reading file for function " + name);

  prepare(progname);
  auto& processor = *tinfo.at(0).processor;
  processor.reset(progs.at(tape_number), 0);

  for (size_t i = 0; i < arguments.size(); i++)
    for (size_t j = 0; j < arguments[i].get_size(); j++)
      {
        if (arguments[i].get_n_bits())
          {
            size_t n_limbs = DIV_CEIL(arguments[i].get_n_bits(),
                sint::bit_type::default_length);
            for (size_t k = 0; k < n_limbs; k++)
              bit_memories.MS[arg_regs.at(i) + j * n_limbs + k] =
                  arguments[i].get_value<vector<typename sint::bit_type>>(j).at(
                      k);
          }
        else if (arguments[i].has_reg_type("s"))
          {
            auto& value = arguments[i].get_value<sint>(j);
            if (arguments[i].get_memory())
              Mp.MS[arg_regs.at(i) + j] = value;
            else
              processor.Procp.get_S()[arg_regs.at(i) + j] = value;
          }
        else
          {
            assert(arguments[i].has_reg_type("ci"));
            processor.write_Ci(arg_regs.at(i) + j, arguments[i].get_value<long>(j));
          }
        if (arguments[i].get_memory())
          processor.write_Ci(address_regs.at(i), arg_regs.at(i));
      }

  run_tape(0, tape_number, 0, N.num_players());