circt/test/Dialect/FIRRTL/SFCTests/constant-data-taps.fir

28 lines
664 B
Plaintext

; RUN: firtool --verilog %s | FileCheck %s
FIRRTL version 4.0.0
circuit ConstantSinking : %[[
{
"class": "sifive.enterprise.grandcentral.DataTapsAnnotation",
"keys": [
{
"class": "sifive.enterprise.grandcentral.ReferenceDataTapKey",
"source": "~ConstantSinking|ConstantSinking>w",
"sink": "~ConstantSinking|ConstantSinking>t"
}
]
},
{
"class":"firrtl.transforms.DontTouchAnnotation",
"target":"~ConstantSinking|ConstantSinking>t"
}
]]
public module ConstantSinking:
output out : UInt<1>
wire t : UInt<1>
connect out, t
invalidate t
node w = UInt<1>(1)
; CHECK: wire t = 1'h1;