LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
AbstractLatticeValue.h File Reference
#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>
Include dependency graph for AbstractLatticeValue.h:
This graph shows which files directly or indirectly include this file:

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)
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "llzk-abstract-lattice-value"

Definition at line 24 of file AbstractLatticeValue.h.