variable address range loop - riscvarchive/riscv-CMOs-discuss GitHub Wiki
In pseudocode:
x11 := lwb x12 := upb (= lwb + size_in_bytes) LOOP CMO.VAR.<> x11,x11,x12 UNTIL x1 ==x12
In assembly code:
x11 := lwb x12 := upb L: CMO.VAR.<> x11,x11,x12 bne x11,x12,L