Halide 19.0.0
Halide compiler and libraries
Loading...
Searching...
No Matches
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

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 2380 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 >
uint32_t Halide::Internal::IRMatcher::CanProve< A, Prover >::binds = bindings<A>::mask
staticconstexpr

Definition at line 2385 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 2388 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 2389 of file IRMatch.h.

◆ canonical

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

Definition at line 2390 of file IRMatch.h.

◆ foldable

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

Definition at line 2392 of file IRMatch.h.


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