[Mlir-commits] [mlir] [mlir][tosa] Add concat/slice_shape ops (PR #174620)

[Luke Hutton]

================
@@ -4666,6 +4666,56 @@ LogicalResult tosa::DimOp::verify() {
   return success();
 }
 
+LogicalResult tosa::ConcatShapeOp::verify() {
----------------
lhutton1 wrote:

Agreed it's not likely to be useful in the real world. Since the spec currently allows this, I think we should leave as is for now and discuss whether the spec should be updated separately. 

CONCAT does have a restriction: `ERROR_IF(input1 == []); // There must be at least one input in the input list`

https://github.com/llvm/llvm-project/pull/174620