LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
LightweightSignalEquivalenceAnalysis.cpp File Reference

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>
Include dependency graph for LightweightSignalEquivalenceAnalysis.cpp:

Go to the source code of this file.

Namespaces

namespace  llzk

Macros

#define DEBUG_TYPE   "llzk-signal-equivalence"

Functions

Value llzk::replaceReadWithWrite (Value v)

Detailed Description

This file implements a basic signal equivalence analysis.

Definition in file LightweightSignalEquivalenceAnalysis.cpp.

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-signal-equivalence"

Definition at line 25 of file LightweightSignalEquivalenceAnalysis.cpp.