[...] > I guess the next question (once clarified the intentions for the R > and Z6.3 tests seen earlier) is "Does BPF really care about 2+2W > and B-cumulativity for store-release?"; I mentioned some tradeoff, > but in the end this is a call for the BPF community. Interpreting the radio silence as an unanimous "No, it doesn't", please find tentative fixes/patch (on top of the bpf_acquire_release branch cited in an earlier post) at the bottom of this email. While testing the changes in question, I noticed an (unrelated) omission in the current PPO relation; the second patch below addresses that. Both patches were tested using the "BPF catalogue" available in the tree at stake: as expected, the only differences in outcomes were for the new/added five tests. Please use and integrate according to your preference, any feedback welcome. Andrea
