1// RUN: mlir-opt %s | mlir-opt | FileCheck %s 2 3// CHECK: memref<?x?xf32, strided<[?, ?], offset: ?>> 4func.func private @f1() -> memref<?x?xf32, strided<[?, ?], offset: ?>> 5// CHECK: memref<?x?xf32, strided<[42, 1], offset: 10>> 6func.func private @f2() -> memref<?x?xf32, strided<[42, 1], offset: 10>> 7// CHECK: memref<?x?xf32, strided<[?, 1], offset: 10>> 8func.func private @f3() -> memref<?x?xf32, strided<[?, 1], offset: 10>> 9// CHECK: memref<?x?xf32, strided<[?, 1], offset: ?>> 10func.func private @f4() -> memref<?x?xf32, strided<[?, 1], offset: ?>> 11// CHECK: memref<?x?xf32, strided<[42, 1]>> 12func.func private @f5() -> memref<?x?xf32, strided<[42, 1]>> 13// CHECK: memref<?x?xf32, strided<[42, 1]>> 14func.func private @f6() -> memref<?x?xf32, strided<[42, 1], offset: 0>> 15// CHECK: memref<f32, strided<[]>> 16func.func private @f7() -> memref<f32, strided<[]>> 17// CHECK: memref<f32, strided<[], offset: ?>> 18func.func private @f8() -> memref<f32, strided<[], offset: ?>> 19// CHECK: memref<?xf32, strided<[-1], offset: ?>> 20func.func private @f9() -> memref<?xf32, strided<[-1], offset: ?>> 21// CHECK: memref<f32, strided<[], offset: -1>> 22func.func private @f10() -> memref<f32, strided<[], offset: -1>> 23