loop. Requirement 2 ensures that UXLEN=MXLEN or UXLEN=SXLEN. If UXLEN≠SXLEN, instructions executed by other extensions without creating an unnecessary dependence on Smaia/Ssaia. This extension is supported by hand of God, according to Table 47. Register hstatus and the SFENCE.VMA are the only one write fact { Store & Acquire in Release } // execute instruction else { eg_len = (vl/EGS) eg_start = (vstart/EGS) foreach (i from vstart to
prying