mirror of
https://github.com/matrix-construct/construct
synced 2024-05-19 19:33:45 +02:00
ircd::spirit: Optimize karma::rule toward eliminating indirect branching.
This commit is contained in:
Jason Volk
parent
9ef44f9295
commit
08c35bac0f
|
|
@ -49,7 +49,7 @@ namespace boost::spirit::qi
|
|||
namespace boost::spirit::karma
|
||||
{
|
||||
#if defined(__clang__)
|
||||
using std::function;
|
||||
using ircd::spirit::function;
|
||||
#else
|
||||
using std::function;
|
||||
#endif
|
||||
|
|
|
|||
270
include/ircd/spirit/karma_rule.h
Normal file
270
include/ircd/spirit/karma_rule.h
Normal file
|
|
@ -0,0 +1,270 @@
|
|||
// The Construct
|
||||
//
|
||||
// Copyright (C) The Construct Developers, Authors & Contributors
|
||||
// Copyright (C) 2016-2022 Jason Volk <jason@zemos.net>
|
||||
//
|
||||
// Permission to use, copy, modify, and/or distribute this software for any
|
||||
// purpose with or without fee is hereby granted, provided that the above
|
||||
// copyright notice and this permission notice is present in all copies. The
|
||||
// full license for this software is available in the LICENSE file.
|
||||
|
||||
#pragma once
|
||||
#define HAVE_IRCD_SPIRIT_KARMA_RULE_H
|
||||
|
||||
/// Custom reimplementation/interposition of the qi::rule template by
|
||||
/// specializing the `char *` iterator, which is common to our generators.
|
||||
///
|
||||
/// See: qi_rule.h
|
||||
///
|
||||
template<class T1,
|
||||
class T2,
|
||||
class T3,
|
||||
class T4>
|
||||
struct boost::spirit::karma::rule<char *, T1, T2, T3, T4>
|
||||
:proto::extends
|
||||
<
|
||||
typename proto::terminal<reference<rule<char *, T1, T2, T3, T4> const>>::type
|
||||
,rule<char *, T1, T2, T3, T4>
|
||||
>
|
||||
,generator<rule<char *, T1, T2, T3, T4>>
|
||||
{
|
||||
using Iterator = char *;
|
||||
using iterator_type = Iterator;
|
||||
using properties = mpl::int_<generator_properties::all_properties>;
|
||||
using this_type = rule<iterator_type, T1, T2, T3, T4>;
|
||||
using reference_ = reference<const this_type>;
|
||||
using terminal = typename proto::terminal<reference_>::type;
|
||||
using base_type = proto::extends<terminal, this_type>;
|
||||
using template_params = mpl::vector<T1, T2, T3, T4>;
|
||||
using output_iterator = detail::output_iterator<iterator_type, properties>;
|
||||
using locals_type = typename spirit::detail::extract_locals<template_params>::type;
|
||||
using delimiter_type = typename spirit::detail::extract_component<karma::domain, template_params>::type;
|
||||
using encoding_type = typename spirit::detail::extract_encoding<template_params>::type;
|
||||
using sig_type = typename spirit::detail::extract_sig<template_params, encoding_type, karma::domain>::type;
|
||||
using attr_type = typename spirit::detail::attr_from_sig<sig_type>::type;
|
||||
using attr_reference_type = const attr_type &;
|
||||
using parameter_types = typename spirit::detail::params_from_sig<sig_type>::type;
|
||||
using parameter_types_size = typename fusion::result_of::size<parameter_types>::type;
|
||||
using context_type = context<fusion::cons<attr_reference_type, parameter_types>, locals_type>;
|
||||
using function_prototype = bool (output_iterator &, context_type &, const delimiter_type &);
|
||||
using function_type = function<function_prototype>;
|
||||
using encoding_modifier_type = typename mpl::if_
|
||||
<
|
||||
is_same<encoding_type, unused_type>,
|
||||
unused_type,
|
||||
tag::char_code<tag::encoding, encoding_type>
|
||||
>::type;
|
||||
|
||||
template<class Context,
|
||||
class Unused>
|
||||
struct attribute
|
||||
{
|
||||
using type = attr_type;
|
||||
};
|
||||
|
||||
static constexpr const auto ¶ms_size
|
||||
{
|
||||
parameter_types_size::value
|
||||
};
|
||||
|
||||
private:
|
||||
BOOST_STATIC_ASSERT_MSG
|
||||
(
|
||||
!is_reference<attr_type>::value && !is_const<attr_type>::value,
|
||||
"Const/reference qualifiers on Karma rule attribute are meaningless"
|
||||
);
|
||||
|
||||
template<class Auto,
|
||||
class Expr>
|
||||
static decltype(auto) define(Expr&& expr, mpl::false_)
|
||||
{
|
||||
BOOST_SPIRIT_ASSERT_MATCH(karma::domain, Expr);
|
||||
}
|
||||
|
||||
template<class Auto,
|
||||
class Expr>
|
||||
[[warn_unused_result]]
|
||||
static decltype(auto) define(Expr&& expr, mpl::true_)
|
||||
{
|
||||
return detail::bind_generator<const Auto>
|
||||
(
|
||||
compile<karma::domain>(std::forward<Expr>(expr), encoding_modifier_type())
|
||||
);
|
||||
}
|
||||
|
||||
template<class Expr>
|
||||
static decltype(auto) create(Expr&& expr)
|
||||
{
|
||||
return define<mpl::false_>
|
||||
(
|
||||
std::forward<Expr>(expr), traits::matches<karma::domain, Expr>()
|
||||
);
|
||||
}
|
||||
|
||||
static constexpr const size_t &buf_sz
|
||||
{
|
||||
512 - 32 // offsetof buf
|
||||
};
|
||||
|
||||
function_type func;
|
||||
const char *_name;
|
||||
size_t _size;
|
||||
[[clang::loader_uninitialized]] char buf alignas(32) [buf_sz];
|
||||
|
||||
public:
|
||||
using parameterized_subject_type = const rule;
|
||||
const rule &get_parameterized_subject() const
|
||||
{
|
||||
return *this;
|
||||
}
|
||||
|
||||
reference_ alias() const noexcept
|
||||
{
|
||||
return reference_(*this);
|
||||
}
|
||||
|
||||
std::string_view name() const
|
||||
{
|
||||
return _name;
|
||||
}
|
||||
|
||||
template<class Context>
|
||||
info what(Context&) const noexcept
|
||||
{
|
||||
return info(std::string());
|
||||
}
|
||||
|
||||
template<class C,
|
||||
class D,
|
||||
class A>
|
||||
bool generate(output_iterator&, C&, const D &, const A &) const;
|
||||
|
||||
template<class C,
|
||||
class D,
|
||||
class A,
|
||||
class P>
|
||||
bool generate(output_iterator&, C&, const D &, const A &, const P &) const;
|
||||
|
||||
#include <boost/spirit/home/karma/nonterminal/detail/fcall.hpp>
|
||||
|
||||
template<class Expr>
|
||||
rule(const Expr &expr, const char *const name = "<unnamed>") noexcept;
|
||||
|
||||
template<class Expr>
|
||||
explicit rule(const rule &o, const char *const name) noexcept;
|
||||
|
||||
rule(const rule &o)
|
||||
:rule(o, o._name)
|
||||
{}
|
||||
|
||||
rule() = delete;
|
||||
rule(rule &&o) = delete;
|
||||
rule& operator=(rule &&) = delete;
|
||||
rule& operator=(const rule &) = delete;
|
||||
~rule() noexcept = default;
|
||||
};
|
||||
|
||||
template<class T1,
|
||||
class T2,
|
||||
class T3,
|
||||
class T4>
|
||||
template<class Expr>
|
||||
inline
|
||||
boost::spirit::karma::rule<char *, T1, T2, T3, T4>::rule(const Expr &expr,
|
||||
const char *const name)
|
||||
noexcept
|
||||
:base_type(terminal::make(reference_(*this)))
|
||||
,func(new (buf) decltype(create(expr)) (create(expr)))
|
||||
,_name(name)
|
||||
,_size(sizeof(decltype(create(expr))))
|
||||
{
|
||||
/// If this assertion has tripped first ensure you are not copying
|
||||
/// an instance of this rule, otherwise see the comment on buf_sz.
|
||||
static_assert
|
||||
(
|
||||
sizeof(decltype(create(expr))) <= buf_sz,
|
||||
"Instance buffer is insufficient for the binder object."
|
||||
);
|
||||
}
|
||||
|
||||
template<class T1,
|
||||
class T2,
|
||||
class T3,
|
||||
class T4>
|
||||
template<class Expr>
|
||||
inline
|
||||
boost::spirit::karma::rule<char *, T1, T2, T3, T4>::rule(const rule &o,
|
||||
const char *const name)
|
||||
noexcept
|
||||
:base_type(terminal::make(reference_(*this)))
|
||||
,func(o.func, buf)
|
||||
,_name(name)
|
||||
,_size(o._size)
|
||||
{
|
||||
assert(_size <= buf_sz);
|
||||
memcpy(buf, o.buf, _size);
|
||||
}
|
||||
|
||||
template<class T1,
|
||||
class T2,
|
||||
class T3,
|
||||
class T4>
|
||||
template<class Context,
|
||||
class Delimiter,
|
||||
class Attribute>
|
||||
inline bool
|
||||
boost::spirit::karma::rule<char *, T1, T2, T3, T4>::generate(output_iterator &sink,
|
||||
Context &,
|
||||
const Delimiter &delim,
|
||||
const Attribute &attr)
|
||||
const
|
||||
{
|
||||
using transform = traits::transform_attribute<const Attribute, attr_type, domain>;
|
||||
typename transform::type attr_(transform::pre(attr));
|
||||
context_type context(attr_);
|
||||
|
||||
assume(bool(func));
|
||||
const auto ret
|
||||
{
|
||||
func(sink, context, delim)
|
||||
};
|
||||
|
||||
if constexpr(is_same<delimiter_type, unused_type>::value)
|
||||
if(ret)
|
||||
karma::delimit_out(sink, delim);
|
||||
|
||||
return ret;
|
||||
}
|
||||
|
||||
template<class T1,
|
||||
class T2,
|
||||
class T3,
|
||||
class T4>
|
||||
template<class Context,
|
||||
class Delimiter,
|
||||
class Attribute,
|
||||
class Params>
|
||||
inline bool
|
||||
boost::spirit::karma::rule<char *, T1, T2, T3, T4>::generate(output_iterator &sink,
|
||||
Context &caller_context,
|
||||
const Delimiter &delim,
|
||||
const Attribute &attr,
|
||||
const Params ¶ms)
|
||||
const
|
||||
{
|
||||
typedef traits::transform_attribute<Attribute const, attr_type, domain> transform;
|
||||
typename transform::type attr_ = transform::pre(attr);
|
||||
context_type context(attr_, params, caller_context);
|
||||
|
||||
assume(bool(func));
|
||||
const auto ret
|
||||
{
|
||||
func(sink, context, delim)
|
||||
};
|
||||
|
||||
if constexpr(is_same<delimiter_type, unused_type>::value)
|
||||
if(ret)
|
||||
karma::delimit_out(sink, delim);
|
||||
|
||||
return ret;
|
||||
}
|
||||
Loading…
Reference in a new issue