Halide
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
 
Prover * prover
 

Static Public Attributes

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

Detailed Description

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

Definition at line 2045 of file IRMatch.h.

Member Function Documentation

◆ make_folded_const()

Member Data Documentation

◆ a

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

◆ prover

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

◆ binds

template<typename A , typename Prover >
constexpr static uint32_t Halide::Internal::IRMatcher::CanProve< A, Prover >::binds = bindings<A>::mask
staticconstexpr

Definition at line 2050 of file IRMatch.h.

◆ min_node_type

template<typename A , typename Prover >
constexpr static IRNodeType Halide::Internal::IRMatcher::CanProve< A, Prover >::min_node_type = IRNodeType::UIntImm
staticconstexpr

Definition at line 2053 of file IRMatch.h.

◆ max_node_type

template<typename A , typename Prover >
constexpr static IRNodeType Halide::Internal::IRMatcher::CanProve< A, Prover >::max_node_type = IRNodeType::UIntImm
staticconstexpr

Definition at line 2054 of file IRMatch.h.

◆ canonical

template<typename A , typename Prover >
constexpr static bool Halide::Internal::IRMatcher::CanProve< A, Prover >::canonical = true
staticconstexpr

Definition at line 2055 of file IRMatch.h.

◆ foldable

template<typename A , typename Prover >
constexpr static bool Halide::Internal::IRMatcher::CanProve< A, Prover >::foldable = true
staticconstexpr

Definition at line 2057 of file IRMatch.h.


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