Marker for ops over llzk.felt type operands that are not native to finite field arithmetic. More...

#include <OpTraits.h>

Inheritance diagram for llzk::function::NotFieldNative< TypeClass >:

Collaboration diagram for llzk::function::NotFieldNative< TypeClass >:

Static Public Member Functions
static mlir::LogicalResult	verifyTrait (mlir::Operation *op)

Detailed Description

template<typename TypeClass>
class llzk::function::NotFieldNative< TypeClass >

Marker for ops over llzk.felt type operands that are not native to finite field arithmetic.

Verifies that the surrounding function is marked with the AllowNonNativeFieldOpsAttr.

Definition at line 48 of file OpTraits.h.

Member Function Documentation

template<typename TypeClass>

mlir::LogicalResult llzk::function::NotFieldNative< TypeClass >::verifyTrait ( mlir::Operation * op )

inlinestatic

Definition at line 50 of file OpTraits.h.

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