Lines Matching refs:bounded

197 let w-pre-bounded = [Marked] ; (addr | fence)?
198 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
200 let w-post-bounded = fence? ; [Marked] ; rmw-sequence
201 let r-post-bounded = (nonrw-fence | ([~Noreturn] ; fencerel(Rmb) ; [R4rmb]))? ;
205 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
206 	(w-post-bounded ; vis ; w-pre-bounded)
207 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
208 	(w-post-bounded ; vis ; r-pre-bounded)
209 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)