LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes > Struct Template Reference

This matcher will either match on lhs op rhs or rhs op lhs. More...

#include <Matchers.h>

Public Member Functions

 CommutativeMatcher (LhsMatcher lhs, RhsMatcher rhs)
 
bool match (mlir::Operation *op)
 

Public Attributes

LhsMatcher lhsMatcher
 
RhsMatcher rhsMatcher
 

Detailed Description

template<typename LhsMatcher, typename RhsMatcher, typename... OpTypes>
struct llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes >

This matcher will either match on lhs op rhs or rhs op lhs.

If LhsMatcher == RhsMatcher, using this matcher is unnecessary.

Template Parameters
...OpTypesThe types of ops that can be matched.

Definition at line 24 of file Matchers.h.

Constructor & Destructor Documentation

◆ CommutativeMatcher()

template<typename LhsMatcher, typename RhsMatcher, typename... OpTypes>
llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes >::CommutativeMatcher ( LhsMatcher lhs,
RhsMatcher rhs )
inline

Definition at line 26 of file Matchers.h.

Member Function Documentation

◆ match()

template<typename LhsMatcher, typename RhsMatcher, typename... OpTypes>
bool llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes >::match ( mlir::Operation * op)
inline

Definition at line 28 of file Matchers.h.

Member Data Documentation

◆ lhsMatcher

template<typename LhsMatcher, typename RhsMatcher, typename... OpTypes>
LhsMatcher llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes >::lhsMatcher

Definition at line 42 of file Matchers.h.

◆ rhsMatcher

template<typename LhsMatcher, typename RhsMatcher, typename... OpTypes>
RhsMatcher llzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes >::rhsMatcher

Definition at line 43 of file Matchers.h.


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