Lines Matching refs:vis
193 let vis = cumul-fence* ; rfe? ; [Marked] ;
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)
216 let rw-incoh = pre-race & fr & wr-vis^-1
217 let ww-incoh = pre-race & co & ww-vis^-1
221 let ww-nonrace = ww-vis & ((Marked * W) | rw-xbstar) & ((W * Marked) | wr-vis)
223 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1