Lines Matching refs:bounded

2271 "post-bounded" by X and E is "pre-bounded" by Y.
2274 "r-post-bounded" by X.  Similarly, E would be "r-pre-bounded" or
2275 "w-pre-bounded" by Y, depending on whether E was a store or a load.
2297 w-pre-bounded or w-post-bounded by a marked access, it also requires
2298 the store to be r-pre-bounded or r-post-bounded, so as to handle cases
2358 is definitely w-post-bounded before the store to ptr, and the two
2362 that the load of ptr in P1 is r-pre-bounded before the load of *p
2392 not need to be w-post-bounded: when it is separated from the other
2429 isn't w-post-bounded by any marked accesses.
2435 	w-post-bounded ; vis ; w-pre-bounded
2439 	r-post-bounded ; xb* ; w-pre-bounded
2443 	w-post-bounded ; vis ; r-pre-bounded
2448 	r-post-bounded ; xb* ; w-pre-bounded
2452 	w-post-bounded ; vis ; r-pre-bounded
2457 	strong-fence ; xb* ; {w and/or r}-pre-bounded