RV64A Instructions

lr.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
00010	aq	rl	rs2	rs1	011	rd	01011	11

Format: lr.d rd,rs1
Description: load a 64-bit data from the address in rs1, places value in rd, and registers a reservation on the memory address.
Implementation: x[rd] = LoadReserved64(M[x[rs1]])

sc.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
00011	aq	rl	rs2	rs1	011	rd	01011	11

Format: sc.d rd,rs1,rs2
Description: write a 64-bit data in rs2 to the address in rs1, provided a valid reservation still exists on that address.

SC writes zero to rd on success or a nonzero code on failure.
Implementation: x[rd] = StoreConditional64(M[x[rs1]], x[rs2])

amoswap.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
00001	aq	rl	rs2	rs1	011	rd	01011	11

Format: amoswap.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, swap the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] SWAP x[rs2])

amoadd.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
00000	aq	rl	rs2	rs1	011	rd	01011	11

Format: amoadd.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply add the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] + x[rs2])

amoxor.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
00100	aq	rl	rs2	rs1	011	rd	01011	11

Format: amoxor.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply xor the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] ^ x[rs2])

amoand.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
01100	aq	rl	rs2	rs1	011	rd	01011	11

Format: amoand.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply and the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] & x[rs2])

amoor.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
01000	aq	rl	rs2	rs1	011	rd	01011	11

Format: amoor.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply or the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] | x[rs2])

amomin.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
10000	aq	rl	rs2	rs1	011	rd	01011	11

Format: amomin.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply min the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] MIN x[rs2])

amomax.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
10100	aq	rl	rs2	rs1	011	rd	01011	11

Format: amomax.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply max the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] MAX x[rs2])

amominu.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
11000	aq	rl	rs2	rs1	011	rd	01011	11

Format: amominu.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply unsigned min the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] MINU x[rs2])

amomaxu.d

31-27	26	25	24-20	19-15	14-12	11-7	6-2	1-0
11100	aq	rl	rs2	rs1	011	rd	01011	11

Format: amomaxu.d rd,rs2,(rs1)
Description: atomically load a 64-bit data value from the address in rs1, place the value into register rd, apply unsigned max the loaded value and the original 64-bit value in rs2, then store the result back to the address in rs1.
Implementation: x[rd] = AMO64(M[x[rs1]] MAXU x[rs2])