diff options
Diffstat (limited to 'mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir')
| -rw-r--r-- | mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir b/mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir index b87e5bdf0970..2e4264829787 100644 --- a/mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir +++ b/mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir @@ -1,12 +1,20 @@ // RUN: mlir-opt %s -generate-runtime-verification \ -// RUN: -test-cf-assert \ // RUN: -expand-strided-metadata \ -// RUN: -lower-affine \ +// RUN: -test-cf-assert \ // RUN: -convert-to-llvm | \ // RUN: mlir-runner -e main -entry-point-result=void \ // RUN: -shared-libs=%mlir_runner_utils 2>&1 | \ // RUN: FileCheck %s +// RUN: mlir-opt %s -generate-runtime-verification \ +// RUN: -expand-strided-metadata \ +// RUN: -test-cf-assert \ +// RUN: -convert-to-llvm="allow-pattern-rollback=0" \ +// RUN: -reconcile-unrealized-casts | \ +// RUN: mlir-runner -e main -entry-point-result=void \ +// RUN: -shared-libs=%mlir_runner_utils 2>&1 | \ +// RUN: FileCheck %s + func.func @load(%memref: memref<1xf32>, %index: index) { memref.load %memref[%index] : memref<1xf32> return |
