Lines Matching refs:pre

174 let w-pre-bounded = [Marked] ; (addr | fence)?
175 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
182 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
183 	(w-post-bounded ; vis ; w-pre-bounded)
184 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
185 	(w-post-bounded ; vis ; r-pre-bounded)
186 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)
189 let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain))
192 let wr-incoh = pre-race & rf & rw-xbstar^-1
193 let rw-incoh = pre-race & fr & wr-vis^-1
194 let ww-incoh = pre-race & co & ww-vis^-1
199 let ww-race = (pre-race & co) \ ww-nonrace
200 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
201 let rw-race = (pre-race & fr) \ rw-xbstar