Halide::Internal::IRMatcher::CanProve< A, Prover > Struct Template Reference

#include <IRMatch.h>

Classes
struct	pattern_tag

Public Member Functions
HALIDE_NEVER_INLINE void	make_folded_const (halide_scalar_value_t &val, halide_type_t &ty, MatcherState &state) const

Public Attributes
A	a
Prover *	prover

Static Public Attributes
static constexpr uint32_t	binds = bindings<A>::mask
static constexpr IRNodeType	min_node_type = IRNodeType::UIntImm
static constexpr IRNodeType	max_node_type = IRNodeType::UIntImm
static constexpr bool	canonical = true
static constexpr bool	foldable = true

Detailed Description

template<typename A, typename Prover>
struct Halide::Internal::IRMatcher::CanProve< A, Prover >

Definition at line 2375 of file IRMatch.h.

Member Function Documentation

make_folded_const()

template<typename A, typename Prover>

HALIDE_NEVER_INLINE void Halide::Internal::IRMatcher::CanProve< A, Prover >::make_folded_const ( halide_scalar_value_t & val, halide_type_t & ty, MatcherState & state ) const

inline

Definition at line 2390 of file IRMatch.h.

References a, halide_type_t::bits, halide_type_t::code, HALIDE_NEVER_INLINE, halide_type_uint, Halide::Internal::is_const_one(), Halide::Type::lanes(), halide_type_t::lanes, prover, Halide::Expr::type(), halide_scalar_value_t::u, and halide_scalar_value_t::u64.

Member Data Documentation

a

template<typename A, typename Prover>

A Halide::Internal::IRMatcher::CanProve< A, Prover >::a

Definition at line 2377 of file IRMatch.h.

Referenced by make_folded_const(), and Halide::Internal::IRMatcher::operator<<().

prover

template<typename A, typename Prover>

Prover* Halide::Internal::IRMatcher::CanProve< A, Prover >::prover

Definition at line 2378 of file IRMatch.h.

Referenced by make_folded_const().

binds

template<typename A, typename Prover>

uint32_t Halide::Internal::IRMatcher::CanProve< A, Prover >::binds = bindings<A>::mask

staticconstexpr

Definition at line 2380 of file IRMatch.h.

min_node_type

template<typename A, typename Prover>

IRNodeType Halide::Internal::IRMatcher::CanProve< A, Prover >::min_node_type = IRNodeType::UIntImm

staticconstexpr

Definition at line 2383 of file IRMatch.h.

max_node_type

template<typename A, typename Prover>

IRNodeType Halide::Internal::IRMatcher::CanProve< A, Prover >::max_node_type = IRNodeType::UIntImm

staticconstexpr

Definition at line 2384 of file IRMatch.h.

canonical

template<typename A, typename Prover>

bool Halide::Internal::IRMatcher::CanProve< A, Prover >::canonical = true

staticconstexpr

Definition at line 2385 of file IRMatch.h.

foldable

template<typename A, typename Prover>

bool Halide::Internal::IRMatcher::CanProve< A, Prover >::foldable = true

staticconstexpr

Definition at line 2387 of file IRMatch.h.

---

The documentation for this struct was generated from the following file:

• src/IRMatch.h