@@ -714,8 +714,7 @@ func.func @fold_extract_transpose(
714714// CHECK-SAME: %[[A:.*]]: f32
715715// CHECK: return %[[A]] : f32
716716func.func @fold_extract_broadcast_same_input_output_scalar (%a : f32 ,
717- %idx0 : index ,
718- %idx1 : index ) -> f32 {
717+ %idx0 : index , idx1 : index ) -> f32 {
719718 %b = vector.broadcast %a : f32 to vector <1 x2 x4 xf32 >
720719 // The indices don't matter for this folder, so we use mixed indices.
721720 %r = vector.extract %b [%idx0 , %idx1 , 2 ] : f32 from vector <1 x2 x4 xf32 >
@@ -728,7 +727,7 @@ func.func @fold_extract_broadcast_same_input_output_scalar(%a : f32,
728727// CHECK-SAME: %[[A:.*]]: vector<4xf32>
729728// CHECK: return %[[A]] : vector<4xf32>
730729func.func @fold_extract_broadcast_same_input_output_vec (%a : vector <4 xf32 >,
731- %idx0 : index ) -> vector <4 xf32 > {
730+ %idx0 : index ) -> vector <4 xf32 > {
732731 %b = vector.broadcast %a : vector <4 xf32 > to vector <1 x2 x4 xf32 >
733732 // The indices don't matter for this folder, so we use mixed indices.
734733 %r = vector.extract %b [0 , %idx0 ] : vector <4 xf32 > from vector <1 x2 x4 xf32 >
@@ -742,8 +741,7 @@ func.func @fold_extract_broadcast_same_input_output_vec(%a : vector<4xf32>,
742741// CHECK: %[[B:.+]] = vector.extractelement %[[A]][] : vector<f32>
743742// CHECK: return %[[B]] : f32
744743func.func @fold_extract_broadcast_0dvec_input_scalar_output (%a : vector <f32 >,
745- %idx0 : index ,
746- %idx1 : index ) -> f32 {
744+ %idx0 : index , idx1 : index ) -> f32 {
747745 %b = vector.broadcast %a : vector <f32 > to vector <1 x2 x4 xf32 >
748746 // The indices don't matter for this folder, so we use mixed indices.
749747 %r = vector.extract %b [%idx0 , %idx1 , 2 ] : f32 from vector <1 x2 x4 xf32 >
@@ -758,8 +756,7 @@ func.func @fold_extract_broadcast_0dvec_input_scalar_output(%a : vector<f32>,
758756// CHECK: %[[B:.+]] = vector.extract %[[A]][%[[IDX1]]] : vector<4xf32> from vector<2x4xf32>
759757// CHECK: return %[[B]] : vector<4xf32>
760758func.func @fold_extract_broadcast_diff_input_output_vec (%a : vector <2 x4 xf32 >,
761- %idx0 : index ,
762- %idx1 : index ) -> vector <4 xf32 > {
759+ %idx0 : index , idx1 : index ) -> vector <4 xf32 > {
763760 %b = vector.broadcast %a : vector <2 x4 xf32 > to vector <1 x2 x4 xf32 >
764761 // The indices don't matter for this folder, so we use mixed indices.
765762 %r = vector.extract %b [%idx0 , %idx1 ] : vector <4 xf32 > from vector <1 x2 x4 xf32 >
@@ -797,9 +794,7 @@ func.func @fold_extract_splat(%a : f32, %idx0 : index, %idx1 : index) -> f32 {
797794// CHECK: %[[R:.*]] = vector.extract %[[A]][%[[IDX1]], 0] : f32 from vector<2x1xf32>
798795// CHECK: return %[[R]] : f32
799796func.func @fold_extract_broadcast_dim1_broadcasting (%a : vector <2 x1 xf32 >,
800- %idx : index ,
801- %idx1 : index ,
802- %idx2 : index ) -> f32 {
797+ %idx : index , idx1 : index , idx2 : index ) -> f32 {
803798 %b = vector.broadcast %a : vector <2 x1 xf32 > to vector <1 x2 x4 xf32 >
804799 // The indices don't matter for this folder, so we use mixed indices.
805800 %r = vector.extract %b [%idx , %idx1 , %idx2 ] : f32 from vector <1 x2 x4 xf32 >
@@ -811,9 +806,8 @@ func.func @fold_extract_broadcast_dim1_broadcasting(%a : vector<2x1xf32>,
811806// CHECK-LABEL: fold_extract_broadcast_to_higher_rank
812807// CHECK: %[[B:.*]] = vector.broadcast %{{.*}} : f32 to vector<4xf32>
813808// CHECK: return %[[B]] : vector<4xf32>
814- func.func @fold_extract_broadcast_to_higher_rank (%a : f32 ,
815- %idx0 : index )
816- -> vector <4 xf32 > {
809+ func.func @fold_extract_broadcast_to_higher_rank (%a : f32 , idx0 : index )
810+ -> vector <4 xf32 > {
817811 %b = vector.broadcast %a : f32 to vector <1 x2 x4 xf32 >
818812 // The indices don't matter for this canonicalizer, so we use mixed indices.
819813 %r = vector.extract %b [0 , %idx0 ] : vector <4 xf32 > from vector <1 x2 x4 xf32 >
@@ -826,9 +820,8 @@ func.func @fold_extract_broadcast_to_higher_rank(%a : f32,
826820// CHECK-SAME: %[[A:.*]]: vector<1xf32>
827821// CHECK: %[[R:.*]] = vector.broadcast %[[A]] : vector<1xf32> to vector<8xf32>
828822// CHECK: return %[[R]] : vector<8xf32>
829- func.func @fold_extract_broadcast_to_equal_rank (%a : vector <1 xf32 >,
830- %idx0 : index )
831- -> vector <8 xf32 > {
823+ func.func @fold_extract_broadcast_to_equal_rank (%a : vector <1 xf32 >, idx0 : index )
824+ -> vector <8 xf32 > {
832825 %b = vector.broadcast %a : vector <1 xf32 > to vector <1 x8 xf32 >
833826 // The indices don't matter for this canonicalizer, so we use mixed indices.
834827 %r = vector.extract %b [%idx0 ] : vector <8 xf32 > from vector <1 x8 xf32 >
0 commit comments