circt/test/Dialect/Handshake/add-ids.mlir

19 lines
956 B
MLIR

// RUN: circt-opt --handshake-add-ids %s | FileCheck %s
// CHECK: handshake.func @simple_c(%arg0: i32, %arg1: i32, %arg2: none, ...) -> (i32, none) attributes {argNames = ["arg0", "arg1", "arg2"], handshake_id = 0 : index, resNames = ["out0", "out1"]} {
// CHECK: %0 = buffer [2] seq %arg0 {handshake_id = 0 : index} : i32
// CHECK: %1 = buffer [2] seq %arg1 {handshake_id = 1 : index} : i32
// CHECK: %2 = arith.addi %0, %1 {handshake_id = 0 : index} : i32
// CHECK: %3 = buffer [2] seq %2 {handshake_id = 2 : index} : i32
// CHECK: %4 = buffer [2] seq %arg2 {handshake_id = 3 : index} : none
// CHECK: return {handshake_id = 0 : index} %3, %4 : i32, none
// CHECK: }
handshake.func @simple_c(%arg0: i32, %arg1: i32, %arg2: none) -> (i32, none) {
%0 = buffer [2] seq %arg0 : i32
%1 = buffer [2] seq %arg1 : i32
%2 = arith.addi %0, %1 : i32
%3 = buffer [2] seq %2 : i32
%4 = buffer [2] seq %arg2 : none
return %3, %4 : i32, none
}