mirror of https://github.com/llvm/circt.git
30 lines
1.7 KiB
MLIR
30 lines
1.7 KiB
MLIR
// RUN: circt-opt --pass-pipeline="builtin.module(ibis.design(ibis.class(ibis.method.df(ibis.sblock.isolated(ibis-prepare-scheduling)))))" \
|
|
// RUN: --allow-unregistered-dialect %s | FileCheck %s
|
|
|
|
// CHECK: ibis.method.df @foo(%[[VAL_1:.*]]: i32, %[[VAL_2:.*]]: i32) -> (i32, i32) {
|
|
// CHECK: %[[VAL_3:.*]]:2 = ibis.sblock.isolated (%[[VAL_4:.*]] : i32 = %[[VAL_1]], %[[VAL_5:.*]] : i32 = %[[VAL_2]]) -> (i32, i32) {
|
|
// CHECK: %[[VAL_6:.*]], %[[VAL_7:.*]], %[[VAL_8:.*]], %[[VAL_9:.*]] = ibis.pipeline.header
|
|
// CHECK: %[[VAL_10:.*]], %[[VAL_11:.*]], %[[VAL_12:.*]] = pipeline.unscheduled(%[[VAL_13:.*]] : i32 = %[[VAL_4]], %[[VAL_14:.*]] : i32 = %[[VAL_5]]) stall(%[[VAL_9]]) clock(%[[VAL_6]]) reset(%[[VAL_7]]) go(%[[VAL_8]]) entryEn(%[[VAL_15:.*]]) {operator_lib = @ibis_operator_library} -> (out0 : i32, out1 : i32) {
|
|
// CHECK: %[[VAL_16:.*]] = "foo.op1"(%[[VAL_13]], %[[VAL_14]]) {ssp.operator_type = @foo.op1} : (i32, i32) -> i32
|
|
// CHECK: pipeline.return %[[VAL_16]], %[[VAL_13]] : i32, i32
|
|
// CHECK: }
|
|
// CHECK: ibis.sblock.return %[[VAL_17:.*]], %[[VAL_18:.*]] : i32, i32
|
|
// CHECK: }
|
|
|
|
ibis.design @foo {
|
|
ibis.class sym @PrepareScheduling {
|
|
%this = ibis.this <@foo::@PrepareScheduling>
|
|
// A test wherein the returned values are either a value generated by an
|
|
// operation in the pipeline, or a value that's passed through the pipeline.
|
|
// The resulting IR should have all values passing through the newly created
|
|
// pipeline.
|
|
ibis.method.df @foo(%a: i32, %b: i32) -> (i32, i32) {
|
|
%0, %1 = ibis.sblock.isolated (%arg0 : i32 = %a, %arg1 : i32 = %b) -> (i32, i32) {
|
|
%4 = "foo.op1"(%arg0, %arg1) : (i32, i32) -> i32
|
|
ibis.sblock.return %4, %arg0 : i32, i32
|
|
}
|
|
ibis.return %0, %1 : i32, i32
|
|
}
|
|
}
|
|
}
|