Lines Matching refs:bound

1 // RUN: mlir-opt %s -test-memref-bound-check -split-input-file -verify-diagnostics | FileCheck %s
18       // Out of bound access.
20       // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}}
21       // expected-error@-2 {{'affine.load' op memref out of lower bound access along dimension #1}}
22       // expected-error@-3 {{'affine.load' op memref out of upper bound access along dimension #2}}
23       // expected-error@-4 {{'affine.load' op memref out of lower bound access along dimension #2}}
31       // In bound.
34 …emref<111 x i32> // expected-error {{'affine.load' op memref out of upper bound access along dimen…
36 …ref<111 x i32>  // expected-error {{'affine.store' op memref out of lower bound access along dimen…
52       // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}}
53       // expected-error@-2 {{'affine.load' op memref out of upper bound access along dimension #2}}
54       // expected-error@-3 {{'affine.load' op memref out of upper bound access along dimension #3}}
58 … 64 x 64 x i32> // expected-error {{'affine.store' op memref out of lower bound access along dimen…
73       // All of these accesses are in bound; check that no errors are emitted.
79       // Without GCDTightenInequalities(), the upper bound on the region
101       // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}}
102       // expected-error@-2 {{'affine.load' op memref out of upper bound access along dimension #2}}
103       // expected-error@-3 {{'affine.load' op memref out of upper bound access along dimension #3}}
107 … 64 x 64 x i32> // expected-error {{'affine.store' op memref out of lower bound access along dimen…
121 …256 x 256 x i32> // expected-error {{'affine.load' op memref out of upper bound access along dimen…
182   // A 0-d memref always has in-bound accesses!
194 …: memref<1xi32> // expected-error {{'affine.store' op memref out of upper bound access along dimen…
237       // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}}
259       // expected-error@-1 {{'affine.load' op memref out of upper bound access along dimension #1}}
272 // is composed into the bound map during analysis.