@@ -46,7 +46,7 @@ let opDocGroup = OpGroupNonStructuredOps in {
4646
4747def IREELinalgExt_ScatterOp : IREELinalgExt_Op<"scatter",
4848    [AttrSizedOperandSegments,
49-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
49+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
5050     DeclareOpInterfaceMethods<LinalgFusionInterface,
5151      ["getIndexingMapsForResults", "getIndexingMapsForOperands",
5252       "getStaticLoopRanges"]>,
@@ -178,7 +178,7 @@ def IREELinalgExt_ScatterOp : IREELinalgExt_Op<"scatter",
178178
179179def IREELinalgExt_GatherOp : IREELinalgExt_Op<"gather",
180180    [AttrSizedOperandSegments,
181-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
181+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
182182     DeclareOpInterfaceMethods<LinalgFusionInterface,
183183      ["getIndexingMapsForResults", "getIndexingMapsForOperands",
184184       "getStaticLoopRanges"]>,
@@ -375,7 +375,7 @@ def IREELinalgExt_MapScatterOp : IREELinalgExt_Op<"map_scatter",
375375
376376def IREELinalgExt_SortOp : IREELinalgExt_Op<"sort",
377377    [AttrSizedOperandSegments,
378-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
378+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
379379     DeclareOpInterfaceMethods<TilingInterface,
380380        ["generateScalarImplementation",
381381         "getIterationDomain",
@@ -429,7 +429,7 @@ def IREELinalgExt_SortOp : IREELinalgExt_Op<"sort",
429429
430430def IREELinalgExt_FftOp : IREELinalgExt_Op<"fft", [
431431  AttrSizedOperandSegments,
432-   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
432+   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
433433  DeclareOpInterfaceMethods<TilingInterface,
434434      ["generateScalarImplementation",
435435       "getIterationDomain",
@@ -500,7 +500,7 @@ def IREELinalgExt_FftOp : IREELinalgExt_Op<"fft", [
500500
501501def IREELinalgExt_ScanOp : IREELinalgExt_Op<"scan",
502502    [AttrSizedOperandSegments,
503-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
503+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
504504     DeclareOpInterfaceMethods<TilingInterface,
505505      ["generateScalarImplementation",
506506       "getIterationDomain",
@@ -557,7 +557,7 @@ def IREELinalgExt_ScanOp : IREELinalgExt_Op<"scan",
557557
558558def IREELinalgExt_TopkOp : IREELinalgExt_Op<"topk",[
559559  AttrSizedOperandSegments,
560-   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
560+   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
561561  DeclareOpInterfaceMethods<LinalgExtInterface>,
562562  DeclareOpInterfaceMethods<TilingInterface,
563563    ["generateScalarImplementation",
@@ -635,7 +635,7 @@ def IREELinalgExt_TopkOp : IREELinalgExt_Op<"topk",[
635635
636636def IREELinalgExt_ArgCompareOp : IREELinalgExt_Op<"arg_compare", [
637637  AttrSizedOperandSegments,
638-   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
638+   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
639639  DeclareOpInterfaceMethods<LinalgFusionInterface,
640640   ["getIndexingMapsForResults", "getIndexingMapsForOperands",
641641    "getStaticLoopRanges"]>,
@@ -769,7 +769,7 @@ def IREELinalgExt_AttentionOp : IREELinalgExt_Op<"attention",
769769      ["getIndexingMapsForResults", "getIndexingMapsForOperands",
770770       "getStaticLoopRanges"]>,
771771     DeclareOpInterfaceMethods<IndexingMapOpInterface, ["getMatchingIndexingMap"]>,
772-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
772+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
773773     DeclareOpInterfaceMethods<AggregatedOpInterface, ["decomposeOperation"]>,
774774     DeclareOpInterfaceMethods<TilingInterface,
775775      ["getIterationDomain",
@@ -876,7 +876,7 @@ def IREELinalgExt_AttentionOp : IREELinalgExt_Op<"attention",
876876
877877def IREELinalgExt_OnlineAttentionOp : IREELinalgExt_Op<"online_attention",
878878    [IndexingMapOpInterface,
879-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
879+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
880880     DeclareOpInterfaceMethods<AggregatedOpInterface, ["decomposeOperation"]>,
881881     DeclareOpInterfaceMethods<TilingInterface,
882882      ["getIterationDomain",
@@ -1164,7 +1164,7 @@ def IREELinalgExt_ExpReductionOp : IREELinalgExt_Op<"exp_reduction",
11641164
11651165def IREELinalgExt_Im2colOp : IREELinalgExt_Op<"im2col",
11661166    [AttrSizedOperandSegments,
1167-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1167+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
11681168     DeclareOpInterfaceMethods<AggregatedOpInterface, ["decomposeOperation"]>,
11691169     DeclareOpInterfaceMethods<TilingInterface,
11701170      ["getIterationDomain",
@@ -1360,7 +1360,7 @@ let opDocGroup = OpGroupDataTilingOps in {
13601360
13611361def IREELinalgExt_PackOp : IREELinalgExt_Op<"pack", [
13621362  AttrSizedOperandSegments,
1363-   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1363+   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
13641364  DeclareOpInterfaceMethods<LinalgExtInterface>,
13651365  DeclareOpInterfaceMethods<TilingInterface,
13661366    ["getIterationDomain",
@@ -1524,7 +1524,7 @@ def IREELinalgExt_PackOp : IREELinalgExt_Op<"pack", [
15241524
15251525def IREELinalgExt_UnPackOp : IREELinalgExt_Op<"unpack", [
15261526  AttrSizedOperandSegments,
1527-   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1527+   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
15281528  DeclareOpInterfaceMethods<LinalgExtInterface>,
15291529  DeclareOpInterfaceMethods<TilingInterface,
15301530    ["getIterationDomain",
@@ -1659,7 +1659,7 @@ let opDocGroup = OpGroupWinogradOps in {
16591659
16601660def IREELinalgExt_WinogradInputTransformOp : IREELinalgExt_Op<"winograd.input_transform",
16611661    [AttrSizedOperandSegments,
1662-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1662+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
16631663     DeclareOpInterfaceMethods<TilingInterface,
16641664      ["getIterationDomain",
16651665       "getLoopIteratorTypes",
@@ -1765,7 +1765,7 @@ def IREELinalgExt_WinogradInputTransformOp : IREELinalgExt_Op<"winograd.input_tr
17651765
17661766def IREELinalgExt_WinogradFilterTransformOp : IREELinalgExt_Op<"winograd.filter_transform",
17671767    [AttrSizedOperandSegments,
1768-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1768+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
17691769     DeclareOpInterfaceMethods<TilingInterface,
17701770      ["getIterationDomain",
17711771       "getLoopIteratorTypes",
@@ -1876,7 +1876,7 @@ def IREELinalgExt_WinogradFilterTransformOp : IREELinalgExt_Op<"winograd.filter_
18761876
18771877def IREELinalgExt_WinogradOutputTransformOp : IREELinalgExt_Op<"winograd.output_transform",
18781878    [AttrSizedOperandSegments,
1879-      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1879+      DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
18801880     DeclareOpInterfaceMethods<TilingInterface,
18811881      ["getIterationDomain",
18821882       "getLoopIteratorTypes",
@@ -1995,7 +1995,7 @@ def IREELinalgExt_CustomOp : IREELinalgExt_Op<"custom_op", [
19951995  DeclareOpInterfaceMethods<AggregatedOpInterface, [
19961996    "decomposeOperation"]>,
19971997  DeclareOpInterfaceMethods<LinalgFusionInterface>,
1998-   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface>,
1998+   DeclareOpInterfaceMethods<ReifyRankedShapedTypeOpInterface, ["reifyResultShapes"] >,
19991999  DeclareOpInterfaceMethods<TilingInterface,
20002000    ["getIterationDomain",
20012001     "getLoopIteratorTypes",
0 commit comments