LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
SymbolDefTreePass.cpp
Go to the documentation of this file.
1
//===-- SymbolDefTreePass.cpp -----------------------------------*- C++ -*-===//
2
//
3
// Part of the LLZK Project, under the Apache License v2.0.
4
// See LICENSE.txt for license information.
5
// Copyright 2025 Veridise Inc.
6
// SPDX-License-Identifier: Apache-2.0
7
//
8
//===----------------------------------------------------------------------===//
13
//===----------------------------------------------------------------------===//
14
15
#include "
llzk/Analysis/AnalysisPasses.h
"
16
#include "
llzk/Analysis/SymbolDefTree.h
"
17
18
namespace
llzk
{
19
#define GEN_PASS_DEF_SYMBOLDEFTREEPRINTERPASS
20
#include "
llzk/Analysis/AnalysisPasses.h.inc
"
21
}
// namespace llzk
22
23
namespace
{
24
25
using namespace
llzk
;
26
27
class
PassImpl :
public
llzk::impl::SymbolDefTreePrinterPassBase
<PassImpl> {
28
using
Base = SymbolDefTreePrinterPassBase<PassImpl>;
29
using
Base::Base;
30
31
void
runOnOperation()
override
{
32
markAllAnalysesPreserved();
33
34
SymbolDefTree &a = getAnalysis<SymbolDefTree>();
35
if
(saveDotGraph) {
36
a.
dumpToDotFile
();
37
}
38
a.
print
(
toStream
(outputStream));
39
}
40
};
41
42
}
// namespace
AnalysisPasses.h.inc
AnalysisPasses.h
SymbolDefTree.h
llzk::SymbolDefTree::dumpToDotFile
void dumpToDotFile(std::string filename="") const
Dump the tree to file in dot graph format.
Definition
SymbolDefTree.cpp:134
llzk::SymbolDefTree::print
void print(llvm::raw_ostream &os) const
Definition
SymbolDefTree.cpp:112
llzk::impl::SymbolDefTreePrinterPassBase
Definition
SymbolDefTreePass.cpp:634
llzk
Definition
AnalysisPassEnums.cpp:19
llzk::toStream
llvm::raw_ostream & toStream(OutputStream val)
Definition
AnalysisPassEnums.cpp:21
lib
Analysis
SymbolDefTreePass.cpp
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.