CIRCT
20.0.0git
lib
Dialect
FIRRTL
Import
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
LLVM.h
circt::firrtl::isRecognizedPrintfEncodedVerif
bool isRecognizedPrintfEncodedVerif(PrintFOp printOp)
Classifier for legacy verif intent captured in printf + when's.
Definition:
FIRParserAsserts.cpp:41
circt
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition:
DebugAnalysis.h:21
llvm::json
Definition:
FIRAnnotations.h:20
llvm
Definition:
ImportVerilog.h:21
mlir
Definition:
DebugAnalysis.h:16
Generated on Wed Nov 27 2024 00:07:10 for CIRCT by
1.9.1