Lines Matching refs:fre
20 12. THE FROM-READS RELATION: fr, fri, and fre
682 THE FROM-READS RELATION: fr, fri, and fre
711 the load and the store are on the same CPU) and fre (when they are on
1175 It's important to understand that neither coe nor fre is included in
1183 R ->fre W means that W overwrites the value which R reads, but it
1295 The formal definition of the prop relation involves a coe or fre link,
1355 F via a coe or fre link, an arbitrary number of cumul-fences, an
1376 link in the sequence is fre instead of coe.
1385 contradicting the fact that E ->fre W.
1411 load: an fre link from P0's load to P1's store (which overwrites the
1672 P1's load at W reads from, so we have W ->fre Y. Since S ->po W and
1907 definition of the prop relation makes the initial coe or fre part
1910 instances where the coe/fre part of prop is missing are of no interest