|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Util/Debug.h"#include "llzk/Util/ErrorHelper.h"#include <mlir/Analysis/DataFlow/DeadCodeAnalysis.h>#include <mlir/Support/LLVM.h>#include <llvm/Support/Debug.h>#include <concepts>#include <type_traits>#include <variant>Go to the source code of this file.
Classes | |
| class | llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy > |
Namespaces | |
| namespace | llzk |
| namespace | llzk::dataflow |
Concepts | |
| concept | llzk::dataflow::ScalarLatticeValue |
Macros | |
| #define | DEBUG_TYPE "llzk-abstract-lattice-value" |
Functions | |
| template<typename Derived, ScalarLatticeValue ScalarTy> | |
| mlir::raw_ostream & | llzk::dataflow::operator<< (mlir::raw_ostream &os, const AbstractLatticeValue< Derived, ScalarTy > &v) |
| #define DEBUG_TYPE "llzk-abstract-lattice-value" |
Definition at line 24 of file AbstractLatticeValue.h.