CIRCT  20.0.0git
FIRAnnotations.h
Go to the documentation of this file.
1 //===- FIRAnnotations.h - .fir file annotation interface --------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file contains private APIs the parser uses to load annotations.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef FIRANNOTATIONS_H
14 #define FIRANNOTATIONS_H
15 
16 namespace circt {
17 namespace firrtl {
18 
19 class PrintFOp;
20 
21 /// Classifier for legacy verif intent captured in printf + when's. Returns
22 /// true if the printf encodes verif intent, false otherwise.
23 bool isRecognizedPrintfEncodedVerif(PrintFOp printOp);
24 
25 } // namespace firrtl
26 } // namespace circt
27 
28 #endif // FIRANNOTATIONS_H
bool isRecognizedPrintfEncodedVerif(PrintFOp printOp)
Classifier for legacy verif intent captured in printf + when's.
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition: DebugAnalysis.h:21