| // RUN: mlir-opt -test-memref-to-llvm-with-transforms %s | FileCheck %s |
| |
| // Checks that the program does not crash. The functionality of the pattern is |
| // already checked in test/Dialect/MemRef/*.mlir |
| |
| func.func @subview_folder(%arg0: memref<100x100xf32>, %arg1: index, %arg2: index, %arg3: index, %arg4: index) -> memref<?x?xf32, strided<[100, 1], offset: ?>> { |
| %subview = memref.subview %arg0[%arg1, %arg2] [%arg3, %arg4] [1, 1] : memref<100x100xf32> to memref<?x?xf32, strided<[100, 1], offset: ?>> |
| return %subview : memref<?x?xf32, strided<[100, 1], offset: ?>> |
| } |
| // CHECK-LABEL: llvm.func @subview_folder |
