You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
/* NOTE: Currently, we only EA if address translation is successful. This may need revisiting. */
function clause execute (STORECON(aq, rl, rs2, rs1, width, rd)) = {
if speculate_conditional () == false then {
/* should only happen in rmem
* rmem: allow SC to fail very early
*/
X(rd) = zero_extend(0b1); RETIRE_SUCCESS
} else {
if haveAtomics() then {
/* normal non-rmem case
* rmem: SC is allowed to succeed (but might fail later)
*/
Surely speculate_conditional() should be inside if haveAtomics()?
The text was updated successfully, but these errors were encountered:
Timmmm
changed the title
Store Conditional can retire successfully even if atomics are disabled:
Store Conditional can retire successfully even if atomics are disabled
May 7, 2024
Surely
speculate_conditional()
should be insideif haveAtomics()
?The text was updated successfully, but these errors were encountered: