Halide 18.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 a
 
Proverprover
 

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 2367 of file IRMatch.h.

Member Function Documentation

◆ make_folded_const()

Member Data Documentation

◆ a

◆ prover

◆ binds

Definition at line 2372 of file IRMatch.h.

◆ min_node_type

Definition at line 2375 of file IRMatch.h.

◆ max_node_type

Definition at line 2376 of file IRMatch.h.

◆ canonical

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

Definition at line 2377 of file IRMatch.h.

◆ foldable

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

Definition at line 2379 of file IRMatch.h.


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