Lines Matching full:pre

187 let w-pre-bounded = [Marked] ; (addr | fence)?
188 let r-pre-bounded = [Marked] ; (addr | nonrw-fence |
195 let ww-vis = fence | (strong-fence ; xbstar ; w-pre-bounded) |
196 	(w-post-bounded ; vis ; w-pre-bounded)
197 let wr-vis = fence | (strong-fence ; xbstar ; r-pre-bounded) |
198 	(w-post-bounded ; vis ; r-pre-bounded)
199 let rw-xbstar = fence | (r-post-bounded ; xbstar ; w-pre-bounded)
202 let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain))
205 let wr-incoh = pre-race & rf & rw-xbstar^-1
206 let rw-incoh = pre-race & fr & wr-vis^-1
207 let ww-incoh = pre-race & co & ww-vis^-1
212 let ww-race = (pre-race & co) \ ww-nonrace
213 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
214 let rw-race = (pre-race & fr) \ rw-xbstar