|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/IR/Operation.h>#include <mlir/Interfaces/SideEffectInterfaces.h>#include <llvm/ADT/STLExtras.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Functions | |
| bool | llzk::hasReadEffect (mlir::Operation *op) |
Returns true when op has a memory read effect. | |
| bool | llzk::hasUnknownOrNonReadEffect (mlir::Operation *op) |
Returns true when op may have an unknown effect or any effect other than memory read. | |