Halide 20.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

Definition at line 2382 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 2383 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 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: