CIRCT  19.0.0git
SeqTypes.h
Go to the documentation of this file.
1 //===- SeqTypes.h - Types for the Seq dialect -------------------*- 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 // Types for the Seq dialect.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #ifndef CIRCT_DIALECT_SEQ_SEQTYPES_H
14 #define CIRCT_DIALECT_SEQ_SEQTYPES_H
15 
17 
19 #include "circt/Support/LLVM.h"
20 #include "mlir/IR/BuiltinTypes.h"
21 #include "mlir/IR/Types.h"
22 
23 #define GET_TYPEDEF_CLASSES
24 #include "circt/Dialect/Seq/SeqTypes.h.inc"
25 
26 namespace circt {
27 namespace seq {
28 
29 /// Returns true if the type is `i1` or `seq.clock`
30 bool isClockOrI1Type(Type ty);
31 
32 } // namespace seq
33 } // namespace circt
34 
35 #endif // CIRCT_DIALECT_SEQ_SEQTYPES_H
bool isClockOrI1Type(Type ty)
Returns true if the type is i1 or seq.clock
Definition: SeqTypes.cpp:47
This file defines an intermediate representation for circuits acting as an abstraction for constraint...
Definition: DebugAnalysis.h:21
Definition: seq.py:1