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.