CIRCT 21.0.0git
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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
16namespace circt {
17namespace firrtl {
18
19class PrintFOp;
20
21/// Classifier for legacy verif intent captured in printf + when's. Returns
22/// true if the printf encodes verif intent, false otherwise.
23bool 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.