diff options
Diffstat (limited to 'mlir/test')
| -rw-r--r-- | mlir/test/AffineOps/invalid.mlir | 13 | ||||
| -rw-r--r-- | mlir/test/Transforms/slicing-utils.mlir | 7 |
2 files changed, 16 insertions, 4 deletions
diff --git a/mlir/test/AffineOps/invalid.mlir b/mlir/test/AffineOps/invalid.mlir index 4534d70b4b7..2ade76c194c 100644 --- a/mlir/test/AffineOps/invalid.mlir +++ b/mlir/test/AffineOps/invalid.mlir @@ -51,6 +51,19 @@ func @affine_for_upper_bound_invalid_dim(%arg : index) { } // ----- +func @affine_load_invalid_dim(%M : memref<10xi32>) { + "unknown"() ({ + ^bb0(%arg: index): + affine.load %M[%arg] : memref<10xi32> + // expected-error@-1 {{index must be a dimension or symbol identifier}} + br ^bb1 + ^bb1: + br ^bb1 + }) : () -> () + return +} + +// ----- #map0 = (d0)[s0] -> (d0 + s0) diff --git a/mlir/test/Transforms/slicing-utils.mlir b/mlir/test/Transforms/slicing-utils.mlir index 49410dbbf9e..8c6fb01e1f7 100644 --- a/mlir/test/Transforms/slicing-utils.mlir +++ b/mlir/test/Transforms/slicing-utils.mlir @@ -222,13 +222,12 @@ func @slicing_test() { // FWDBWD-LABEL: slicing_test_2 func @slicing_test_2() { %c0 = constant 0 : index - %c1 = constant 1 : index %c2 = constant 2 : index %c16 = constant 16 : index - loop.for %i0 = %c0 to %c16 step %c1 { + affine.for %i0 = %c0 to %c16 { affine.for %i1 = (i)[] -> (i)(%i0) to 10 { // BWD: matched: %[[b:.*]] {{.*}} backward static slice: - // BWD: loop.for {{.*}} + // BWD: affine.for {{.*}} // affine.for appears in the body of loop.for // BWD: affine.for {{.*}} @@ -238,7 +237,7 @@ func @slicing_test_2() { %b = "slicing-test-op"(%i1): (index) -> index // BWD: matched: %[[c:.*]] {{.*}} backward static slice: - // BWD: loop.for {{.*}} + // BWD: affine.for {{.*}} // affine.for appears in the body of loop.for // BWD-NEXT: affine.for {{.*}} |
