mirror of https://github.com/llvm/circt.git
22 lines
585 B
MLIR
22 lines
585 B
MLIR
// RUN: circt-opt --lower-hw-to-sv --allow-unregistered-dialect %s | FileCheck %s
|
|
|
|
hw.module @foo(in %trigger : i1, in %in : i32) {
|
|
// CHECK: sv.always posedge %trigger {
|
|
// CHECK-NEXT: "some.user"(%in) : (i32) -> ()
|
|
// CHECK-NEXT: }
|
|
hw.triggered posedge %trigger (%in) : i32 {
|
|
^bb0(%arg0 : i32):
|
|
"some.user" (%arg0) : (i32) -> ()
|
|
}
|
|
}
|
|
|
|
hw.module @bar(in %trigger : i1) {
|
|
// CHECK: sv.always posedge %trigger {
|
|
// CHECK-NEXT: "some.user"() : () -> ()
|
|
// CHECK-NEXT: }
|
|
hw.triggered posedge %trigger {
|
|
"some.user"() : () -> ()
|
|
}
|
|
|
|
}
|