mirror of https://github.com/llvm/circt.git
18 lines
505 B
Python
18 lines
505 B
Python
# REQUIRES: bindings_python
|
|
# RUN: %PYTHON% %s | FileCheck %s
|
|
|
|
import circt
|
|
|
|
from circt.dialects import hw, verif
|
|
from circt.ir import Context, Location, Module, InsertionPoint, IntegerAttr, IntegerType
|
|
|
|
with Context() as ctx, Location.unknown():
|
|
circt.register_dialects(ctx)
|
|
m = Module.create()
|
|
with InsertionPoint(m.body):
|
|
i1 = IntegerType.get_signless(1)
|
|
true = hw.ConstantOp(IntegerAttr.get(i1, 1))
|
|
assertOp = verif.AssertOp(true)
|
|
# CHECK: verif.assert %true
|
|
print(assertOp)
|