Lines Matching refs:bounded

2214 "post-bounded" by X and E is "pre-bounded" by Y.
2217 "r-post-bounded" by X.  Similarly, E would be "r-pre-bounded" or
2218 "w-pre-bounded" by Y, depending on whether E was a store or a load.
2240 w-pre-bounded or w-post-bounded by a marked access, it also requires
2241 the store to be r-pre-bounded or r-post-bounded, so as to handle cases
2301 is definitely w-post-bounded before the store to ptr, and the two
2305 that the load of ptr in P1 is r-pre-bounded before the load of *p
2335 not need to be w-post-bounded: when it is separated from the other
2372 isn't w-post-bounded by any marked accesses.
2378 	w-post-bounded ; vis ; w-pre-bounded
2382 	r-post-bounded ; xb* ; w-pre-bounded
2386 	w-post-bounded ; vis ; r-pre-bounded
2391 	r-post-bounded ; xb* ; w-pre-bounded
2395 	w-post-bounded ; vis ; r-pre-bounded
2400 	strong-fence ; xb* ; {w and/or r}-pre-bounded