Method AMOCAS_D

external/biscuit/src/assembler.cpp:891–897

// Zacas Extension Instructions

void Assembler::AMOCAS_D(Ordering ordering, GPR rd, GPR rs2, GPR rs1) noexcept {
    if (IsRV32(m_features)) {
        BISCUIT_ASSERT((rd.Index() % 2) == 0);
        BISCUIT_ASSERT((rs2.Index() % 2) == 0);
    }
    EmitAtomic(m_buffer, 0b00101, ordering, rs2, rs1, 0b011, rd, 0b0101111);
}
void Assembler::AMOCAS_Q(Ordering ordering, GPR rd, GPR rs2, GPR rs1) noexcept {
    BISCUIT_ASSERT(IsRV64(m_features));