77// CHECK-SAME: %[[arg0:.*]]: vector<2x1x[4]xi32>
88func.func @i32_3d_to_1d_last_dim_scalable (%arg0: vector <2 x1 x[4 ]xi32 >) -> vector <[8 ]xi32 >
99{
10- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<[8]xi32>
10+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<[8]xi32>
1111 // CHECK-NEXT: %[[subvec0:.*]] = vector.extract %[[arg0]][0, 0] : vector<[4]xi32> from vector<2x1x[4]xi32>
12- // CHECK-NEXT: %[[res0:.*]] = vector.scalable.insert %[[subvec0]], %[[cst ]][0] : vector<[4]xi32> into vector<[8]xi32>
12+ // CHECK-NEXT: %[[res0:.*]] = vector.scalable.insert %[[subvec0]], %[[ub ]][0] : vector<[4]xi32> into vector<[8]xi32>
1313 // CHECK-NEXT: %[[subvec1:.*]] = vector.extract %[[arg0]][1, 0] : vector<[4]xi32> from vector<2x1x[4]xi32>
1414 // CHECK-NEXT: %[[res1:.*]] = vector.scalable.insert %[[subvec1]], %[[res0]][4] : vector<[4]xi32> into vector<[8]xi32>
1515 %flat = vector.shape_cast %arg0 : vector <2 x1 x[4 ]xi32 > to vector <[8 ]xi32 >
@@ -22,9 +22,9 @@ func.func @i32_3d_to_1d_last_dim_scalable(%arg0: vector<2x1x[4]xi32>) -> vector<
2222// CHECK-LABEL: i32_1d_to_3d_last_dim_scalable
2323// CHECK-SAME: %[[arg0:.*]]: vector<[8]xi32>
2424func.func @i32_1d_to_3d_last_dim_scalable (%arg0: vector <[8 ]xi32 >) -> vector <2 x1 x[4 ]xi32 > {
25- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<2x1x[4]xi32>
25+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<2x1x[4]xi32>
2626 // CHECK-NEXT: %[[subvec0:.*]] = vector.scalable.extract %[[arg0]][0] : vector<[4]xi32> from vector<[8]xi32>
27- // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[cst ]] [0, 0] : vector<[4]xi32> into vector<2x1x[4]xi32>
27+ // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[ub ]] [0, 0] : vector<[4]xi32> into vector<2x1x[4]xi32>
2828 // CHECK-NEXT: %[[subvec1:.*]] = vector.scalable.extract %[[arg0]][4] : vector<[4]xi32> from vector<[8]xi32>
2929 // CHECK-NEXT: %[[res1:.*]] = vector.insert %[[subvec1]], %[[res0]] [1, 0] : vector<[4]xi32> into vector<2x1x[4]xi32>
3030 %unflat = vector.shape_cast %arg0 : vector <[8 ]xi32 > to vector <2 x1 x[4 ]xi32 >
@@ -37,9 +37,9 @@ func.func @i32_1d_to_3d_last_dim_scalable(%arg0: vector<[8]xi32>) -> vector<2x1x
3737// CHECK-LABEL: i8_2d_to_1d_last_dim_scalable
3838// CHECK-SAME: %[[arg0:.*]]: vector<4x[8]xi8>
3939func.func @i8_2d_to_1d_last_dim_scalable (%arg0: vector <4 x[8 ]xi8 >) -> vector <[32 ]xi8 > {
40- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<[32]xi8>
40+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<[32]xi8>
4141 // CHECK-NEXT: %[[subvec0:.*]] = vector.extract %[[arg0]][0] : vector<[8]xi8> from vector<4x[8]xi8>
42- // CHECK-NEXT: %[[res0:.*]] = vector.scalable.insert %[[subvec0]], %[[cst ]][0] : vector<[8]xi8> into vector<[32]xi8>
42+ // CHECK-NEXT: %[[res0:.*]] = vector.scalable.insert %[[subvec0]], %[[ub ]][0] : vector<[8]xi8> into vector<[32]xi8>
4343 // CHECK-NEXT: %[[subvec1:.*]] = vector.extract %[[arg0]][1] : vector<[8]xi8> from vector<4x[8]xi8>
4444 // CHECK-NEXT: %[[res1:.*]] = vector.scalable.insert %[[subvec1]], %[[res0]][8] : vector<[8]xi8> into vector<[32]xi8>
4545 // CHECK-NEXT: %[[subvec2:.*]] = vector.extract %[[arg0]][2] : vector<[8]xi8> from vector<4x[8]xi8>
@@ -56,9 +56,9 @@ func.func @i8_2d_to_1d_last_dim_scalable(%arg0: vector<4x[8]xi8>) -> vector<[32]
5656// CHECK-LABEL: i8_1d_to_2d_last_dim_scalable
5757// CHECK-SAME: %[[arg0:.*]]: vector<[32]xi8>
5858func.func @i8_1d_to_2d_last_dim_scalable (%arg0: vector <[32 ]xi8 >) -> vector <4 x[8 ]xi8 > {
59- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<4x[8]xi8>
59+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<4x[8]xi8>
6060 // CHECK-NEXT: %[[subvec0:.*]] = vector.scalable.extract %[[arg0]][0] : vector<[8]xi8> from vector<[32]xi8>
61- // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[cst ]] [0] : vector<[8]xi8> into vector<4x[8]xi8>
61+ // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[ub ]] [0] : vector<[8]xi8> into vector<4x[8]xi8>
6262 // CHECK-NEXT: %[[subvec1:.*]] = vector.scalable.extract %[[arg0]][8] : vector<[8]xi8> from vector<[32]xi8>
6363 // CHECK-NEXT: %[[res1:.*]] = vector.insert %[[subvec1]], %[[res0]] [1] : vector<[8]xi8> into vector<4x[8]xi8>
6464 // CHECK-NEXT: %[[subvec2:.*]] = vector.scalable.extract %[[arg0]][16] : vector<[8]xi8> from vector<[32]xi8>
@@ -75,9 +75,9 @@ func.func @i8_1d_to_2d_last_dim_scalable(%arg0: vector<[32]xi8>) -> vector<4x[8]
7575// CHECK-LABEL: f32_permute_leading_non_scalable_dims
7676// CHECK-SAME: %[[arg0:.*]]: vector<2x3x[4]xf32>
7777func.func @f32_permute_leading_non_scalable_dims (%arg0: vector <2 x3 x[4 ]xf32 >) -> vector <3 x2 x[4 ]xf32 > {
78- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<3x2x[4]xf32>
78+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<3x2x[4]xf32>
7979 // CHECK-NEXT: %[[subvec0:.*]] = vector.extract %[[arg0]][0, 0] : vector<[4]xf32> from vector<2x3x[4]xf32>
80- // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[cst ]] [0, 0] : vector<[4]xf32> into vector<3x2x[4]xf32>
80+ // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[ub ]] [0, 0] : vector<[4]xf32> into vector<3x2x[4]xf32>
8181 // CHECK-NEXT: %[[subvec1:.*]] = vector.extract %[[arg0]][0, 1] : vector<[4]xf32> from vector<2x3x[4]xf32>
8282 // CHECK-NEXT: %[[res1:.*]] = vector.insert %[[subvec1]], %[[res0]] [0, 1] : vector<[4]xf32> into vector<3x2x[4]xf32>
8383 // CHECK-NEXT: %[[subvec2:.*]] = vector.extract %[[arg0]][0, 2] : vector<[4]xf32> from vector<2x3x[4]xf32>
@@ -99,9 +99,9 @@ func.func @f32_permute_leading_non_scalable_dims(%arg0: vector<2x3x[4]xf32>) ->
9999// CHECK-SAME: %[[arg0:.*]]: vector<2x2x[2]xf64>
100100func.func @f64_flatten_leading_non_scalable_dims (%arg0: vector <2 x2 x[2 ]xf64 >) -> vector <4 x[2 ]xf64 >
101101{
102- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<4x[2]xf64>
102+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<4x[2]xf64>
103103 // CHECK-NEXT: %[[subvec0:.*]] = vector.extract %[[arg0]][0, 0] : vector<[2]xf64> from vector<2x2x[2]xf64>
104- // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[cst ]] [0] : vector<[2]xf64> into vector<4x[2]xf64>
104+ // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[ub ]] [0] : vector<[2]xf64> into vector<4x[2]xf64>
105105 // CHECK-NEXT: %[[subvec1:.*]] = vector.extract %[[arg0]][0, 1] : vector<[2]xf64> from vector<2x2x[2]xf64>
106106 // CHECK-NEXT: %[[res1:.*]] = vector.insert %[[subvec1]], %[[res0]] [1] : vector<[2]xf64> into vector<4x[2]xf64>
107107 // CHECK-NEXT: %[[subvec2:.*]] = vector.extract %[[arg0]][1, 0] : vector<[2]xf64> from vector<2x2x[2]xf64>
@@ -119,10 +119,10 @@ func.func @f64_flatten_leading_non_scalable_dims(%arg0: vector<2x2x[2]xf64>) ->
119119// CHECK-SAME: %[[arg0:.*]]: vector<3x[4]xf32>
120120func.func @f32_reduce_trailing_scalable_dim (%arg0: vector <3 x[4 ]xf32 >) -> vector <6 x[2 ]xf32 >
121121{
122- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<6x[2]xf32>
122+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<6x[2]xf32>
123123 // CHECK-NEXT: %[[srcvec0:.*]] = vector.extract %[[arg0]][0] : vector<[4]xf32> from vector<3x[4]xf32>
124124 // CHECK-NEXT: %[[subvec0:.*]] = vector.scalable.extract %[[srcvec0]][0] : vector<[2]xf32> from vector<[4]xf32>
125- // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[cst ]] [0] : vector<[2]xf32> into vector<6x[2]xf32>
125+ // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[subvec0]], %[[ub ]] [0] : vector<[2]xf32> into vector<6x[2]xf32>
126126 // CHECK-NEXT: %[[subvec1:.*]] = vector.scalable.extract %[[srcvec0]][2] : vector<[2]xf32> from vector<[4]xf32>
127127 // CHECK-NEXT: %[[res1:.*]] = vector.insert %[[subvec1]], %[[res0]] [1] : vector<[2]xf32> into vector<6x[2]xf32>
128128 // CHECK-NEXT: %[[srcvec1:.*]] = vector.extract %[[arg0]][1] : vector<[4]xf32> from vector<3x[4]xf32>
@@ -146,15 +146,15 @@ func.func @f32_reduce_trailing_scalable_dim(%arg0: vector<3x[4]xf32>) -> vector<
146146// CHECK-SAME: %[[arg0:.*]]: vector<4x[2]xf32>
147147func.func @f32_increase_trailing_scalable_dim (%arg0: vector <4 x[2 ]xf32 >) -> vector <2 x[4 ]xf32 >
148148{
149- // CHECK-NEXT: %[[cst :.*]] = ub.poison : vector<2x[4]xf32>
149+ // CHECK-NEXT: %[[ub :.*]] = ub.poison : vector<2x[4]xf32>
150150 // CHECK-NEXT: %[[subvec0:.*]] = vector.extract %[[arg0]][0] : vector<[2]xf32> from vector<4x[2]xf32>
151- // CHECK-NEXT: %[[resvec0:.*]] = vector.extract %[[cst ]][0] : vector<[4]xf32> from vector<2x[4]xf32>
151+ // CHECK-NEXT: %[[resvec0:.*]] = vector.extract %[[ub ]][0] : vector<[4]xf32> from vector<2x[4]xf32>
152152 // CHECK-NEXT: %[[resvec1:.*]] = vector.scalable.insert %[[subvec0]], %[[resvec0]][0] : vector<[2]xf32> into vector<[4]xf32>
153153 // CHECK-NEXT: %[[subvec1:.*]] = vector.extract %[[arg0]][1] : vector<[2]xf32> from vector<4x[2]xf32>
154154 // CHECK-NEXT: %[[resvec2:.*]] = vector.scalable.insert %[[subvec1]], %[[resvec1]][2] : vector<[2]xf32> into vector<[4]xf32>
155- // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[resvec2]], %[[cst ]] [0] : vector<[4]xf32> into vector<2x[4]xf32>
155+ // CHECK-NEXT: %[[res0:.*]] = vector.insert %[[resvec2]], %[[ub ]] [0] : vector<[4]xf32> into vector<2x[4]xf32>
156156 // CHECK-NEXT: %[[subvec3:.*]] = vector.extract %[[arg0]][2] : vector<[2]xf32> from vector<4x[2]xf32>
157- // CHECK-NEXT: %[[resvec3:.*]] = vector.extract %[[cst ]][1] : vector<[4]xf32> from vector<2x[4]xf32>
157+ // CHECK-NEXT: %[[resvec3:.*]] = vector.extract %[[ub ]][1] : vector<[4]xf32> from vector<2x[4]xf32>
158158 // CHECK-NEXT: %[[resvec4:.*]] = vector.scalable.insert %[[subvec3]], %[[resvec3]][0] : vector<[2]xf32> into vector<[4]xf32>
159159 // CHECK-NEXT: %[[subvec4:.*]] = vector.extract %[[arg0]][3] : vector<[2]xf32> from vector<4x[2]xf32>
160160 // CHECK-NEXT: %[[resvec5:.*]] = vector.scalable.insert %[[subvec4]], %[[resvec4]][2] : vector<[2]xf32> into vector<[4]xf32>
0 commit comments