|
LLZK 0.1.0
Veridise's ZK Language IR
|
This file implements a basic signal equivalence analysis. More...
#include "llzk/Analysis/LightweightSignalEquivalenceAnalysis.h"#include "llzk/Dialect/Struct/IR/Ops.h"#include <llvm/Support/Debug.h>Go to the source code of this file.
Namespaces | |
| namespace | llzk |
Macros | |
| #define | DEBUG_TYPE "llzk-signal-equivalence" |
Functions | |
| Value | llzk::replaceReadWithWrite (Value v) |
This file implements a basic signal equivalence analysis.
Definition in file LightweightSignalEquivalenceAnalysis.cpp.
| #define DEBUG_TYPE "llzk-signal-equivalence" |
Definition at line 25 of file LightweightSignalEquivalenceAnalysis.cpp.