LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
EffectHelper.h File Reference
#include <mlir/IR/Operation.h>
#include <mlir/Interfaces/SideEffectInterfaces.h>
#include <llvm/ADT/STLExtras.h>
Include dependency graph for EffectHelper.h:
This graph shows which files directly or indirectly include this file:

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.