#include "mlir/IR/Value.h"#include "mlir/Support/IndentedOstream.h"#include "llvm/ADT/APInt.h"#include "llvm/Support/Debug.h"#include "llvm/Support/raw_ostream.h"#include <z3++.h>
Include dependency graph for Utility.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | lec::Scope |
| RAII struct to indent the output streams. More... | |
Namespaces | |
| lec | |
| This header provides a variety of utility functions and macros for use throughout the tool. | |
Functions | |
| mlir::raw_indented_ostream & | lec::dbgs () |
| mlir::raw_indented_ostream & | lec::errs () |
| mlir::raw_indented_ostream & | lec::outs () |
| void | lec::printExpr (const z3::expr &expr) |
| Helper function to provide a common debug formatting for z3 expressions. More... | |
| void | lec::printValue (const mlir::Value &value) |
| Helper function to provide a common debug formatting for MLIR values. More... | |
| void | lec::printAPInt (const mlir::APInt &value) |
| Helper function to provide a common debug formatting for MLIR APInt'egers. More... | |
