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 #include "circt/Support/LLVM.h"
17 #include "llvm/ADT/SmallVector.h"
18 
19 namespace llvm {
20 namespace json {
21 class Path;
22 class Value;
23 } // namespace json
24 } // namespace llvm
25 
26 namespace mlir {
27 class ArrayAttr;
28 }
29 
30 namespace circt {
31 namespace firrtl {
32 
33 class CircuitOp;
34 class PrintFOp;
35 
36 /// Classifier for legacy verif intent captured in printf + when's. Returns
37 /// true if the printf encodes verif intent, false otherwise.
38 bool isRecognizedPrintfEncodedVerif(PrintFOp printOp);
39 
40 } // namespace firrtl
41 } // namespace circt
42 
43 #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