@@ -11,16 +11,16 @@ func.func @mixed_concat(%arg0: tensor<2x?xf32>, %arg1 : tensor<?x?xf32>, %arg2 :
1111// CHECK-DAG: %[[C0:.+]] = arith.constant 0 : index
1212// CHECK-DAG: %[[C1:.+]] = arith.constant 1 : index
1313// CHECK-DAG: %[[C2:.+]] = arith.constant 2 : index
14- // CHECK-DAG: %[[ARG0_D1]] = tensor.dim %[[ARG0]], %[[C1]]
15- // CHECK-DAG: %[[ARG1_D0]] = tensor.dim %[[ARG1]], %[[C0]]
16- // CHECK-DAG: %[[ARG1_D1]] = tensor.dim %[[ARG1]], %[[C1]]
14+ // CHECK-DAG: %[[ARG0_D1:.+ ]] = tensor.dim %[[ARG0]], %[[C1]]
15+ // CHECK-DAG: %[[ARG1_D0:.+ ]] = tensor.dim %[[ARG1]], %[[C0]]
16+ // CHECK-DAG: %[[ARG1_D1:.+ ]] = tensor.dim %[[ARG1]], %[[C1]]
1717// CHECK: %[[OFFSET0:.+]] = affine.apply affine_map<()[s0] -> (s0 + 2)>()[%[[ARG1_D0]]]
18- // CHECK: %[[ARG2_D1]] = tensor.dim %[[ARG2]], %[[C1]]
18+ // CHECK: %[[ARG2_D1:.+ ]] = tensor.dim %[[ARG2]], %[[C1]]
1919// CHECK: %[[RESULT_D0:.+]] = affine.apply affine_map<()[s0] -> (s0 + 6)>()[%[[ARG1_D0]]]
2020// CHECK: %[[EMPTY:.+]] = tensor.empty(%[[RESULT_D0]], %[[ARG0_D1]])
2121// CHECK: %[[UPDATE0:.+]] = flow.tensor.update %[[ARG0]], %[[EMPTY]][%[[C0]], %[[C0]]]
2222// CHECK-SAME: : tensor<2x?xf32>{%[[ARG0_D1]]} -> %[[EMPTY]] as tensor<?x?xf32>{%[[RESULT_D0]], %[[ARG0_D1]]}
2323// CHECK: %[[UPDATE1:.+]] = flow.tensor.update %[[ARG1]], %[[UPDATE0]][%[[C2]], %[[C0]]]
2424// CHECK-SAME: : tensor<?x?xf32>{%[[ARG1_D0]], %[[ARG1_D1]]} -> %[[UPDATE0]] as tensor<?x?xf32>{%[[RESULT_D0]], %[[ARG0_D1]]}
2525// CHECK: %[[UPDATE2:.+]] = flow.tensor.update %[[ARG2]], %[[UPDATE1]][%[[OFFSET0]], %[[C0]]]
26- // CHECK-SAME: : tensor<2x ?xf32>{%[[ARG2_D1]]} -> %[[UPDATE2 ]] as tensor<?x?xf32>{%[[RESULT_D0]], %[[ARG0_D1]]}
26+ // CHECK-SAME: : tensor<4x ?xf32>{%[[ARG2_D1]]} -> %[[UPDATE1 ]] as tensor<?x?xf32>{%[[RESULT_D0]], %[[ARG0_D1]]}
0 commit comments