[Mlir-commits] [mlir] [mlir][arith] Only fold splats for static shape result types (PR #93102)

[Kavan Bickerstaff]

================
@@ -2950,6 +2950,14 @@ func.func @unsignedExtendConstantResource() -> tensor<i16> {
   return %ext : tensor<i16>
 }
 
+// Just checks that this doesn't crash.
+// CHECK-LABEL: @signedExtendSplatAsDynamicShape
+func.func @signedExtendSplatAsDynamicShape() -> tensor<?xi64> {
+  %splat = arith.constant dense<5> : tensor<2xi16>
+  %extsplat = arith.extsi %splat : tensor<2xi16> to tensor<?xi64>
----------------
KB9 wrote:

Makes sense. I'll rewrite it so that it's rejected during verification.

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