mirror of https://github.com/llvm/circt.git
64 lines
2.0 KiB
MLIR
64 lines
2.0 KiB
MLIR
// RUN: circt-opt %s --split-input-file | FileCheck %s
|
|
|
|
|
|
// CHECK-LABEL: handshake.func @foo(...)
|
|
// CHECK: return
|
|
// CHECK: }
|
|
|
|
// CHECK-LABEL: handshake.func @invalid_instance_op(
|
|
// CHECK-SAME: %[[VAL_0:.*]]: i32, ...) -> i32
|
|
// CHECK: instance @foo() : () -> ()
|
|
// CHECK: return %[[VAL_0]] : i32
|
|
// CHECK: }
|
|
handshake.func @foo() {
|
|
return
|
|
}
|
|
|
|
handshake.func @invalid_instance_op(%arg0 : i32) -> i32 {
|
|
instance @foo() : () -> ()
|
|
return %arg0 : i32
|
|
}
|
|
|
|
// -----
|
|
|
|
// CHECK-LABEL: handshake.func @foo(
|
|
// CHECK-SAME: %[[VAL_0:.*]]: i32, ...) -> i32
|
|
// CHECK: return %[[VAL_0]] : i32
|
|
// CHECK: }
|
|
|
|
// CHECK-LABEL: handshake.func @invalid_instance_op(
|
|
// CHECK-SAME: %[[VAL_0:.*]]: i32, ...) -> i32
|
|
// CHECK: %[[VAL_1:.*]] = instance @foo(%[[VAL_0]]) : (i32) -> i32
|
|
// CHECK: return %[[VAL_0]] : i32
|
|
// CHECK: }
|
|
|
|
handshake.func @foo(%ctrl : i32) -> i32 {
|
|
return %ctrl : i32
|
|
}
|
|
|
|
handshake.func @invalid_instance_op(%arg0 : i32) -> i32 {
|
|
instance @foo(%arg0) : (i32) -> (i32)
|
|
return %arg0 : i32
|
|
}
|
|
|
|
// -----
|
|
|
|
// CHECK-LABEL: handshake.func @foo(
|
|
// CHECK-SAME: %[[VAL_0:.*]]: i32, ...) -> i32
|
|
// CHECK: return %[[VAL_0]] : i32
|
|
// CHECK: }
|
|
|
|
// CHECK-LABEL: hw.module @outer(in %clk : !seq.clock, in %rst : i1, in %ctrl : !esi.channel<i32>, out out : !esi.channel<i32>) {
|
|
// CHECK-NEXT: [[R0:%.+]] = handshake.esi_instance @foo "foo_inst" clk %clk rst %rst(%ctrl) : (!esi.channel<i32>) -> !esi.channel<i32>
|
|
// CHECK-NEXT: hw.output [[R0]] : !esi.channel<i32>
|
|
|
|
|
|
handshake.func @foo(%ctrl : i32) -> i32 {
|
|
return %ctrl : i32
|
|
}
|
|
|
|
hw.module @outer(in %clk: !seq.clock, in %rst: i1, in %ctrl: !esi.channel<i32>, out out: !esi.channel<i32>) {
|
|
%ret = handshake.esi_instance @foo "foo_inst" clk %clk rst %rst (%ctrl) : (!esi.channel<i32>) -> (!esi.channel<i32>)
|
|
hw.output %ret : !esi.channel<i32>
|
|
}
|