Applicability of this chapter to configurations:

Configuration

Implementation

CV32A60AX

Implemented extension

CV32A60X

Implemented extension

CV64A6_MMU

Implemented extension

RVZba: Address generation instructions

The Zba instructions can be used to accelerate the generation of addresses that index into arrays of basic types (halfword, word, doubleword) using both unsigned word-sized and XLEN-sized indices: a shifted index is added to a base address.

The shift and add instructions do a left shift of 1, 2, or 3 because these are commonly found in real-world code and because they can be implemented with a minimal amount of additional hardware beyond that of the simple adder. This avoids lengthening the critical path in implementations.

While the shift and add instructions are limited to a maximum left shift of 3, the slli instruction (from the base ISA) can be used to perform similar shifts for indexing into arrays of wider elements. The slli.uw — added in this extension — can be used when the index is to be interpreted as an unsigned word.

The following instructions (and pseudoinstructions) comprise the Zba extension:

RV32

RV64

Mnemonic

add.uw rd, rs1, rs2

sh1add rd, rs1, rs2

sh1add.uw rd, rs1, rs2

sh2add rd, rs1, rs2

sh2add.uw rd, rs1, rs2

sh3add rd, rs1, rs2

sh3add.uw rd, rs1, rs2

slli.uw rd, rs1, imm

RV32 and RV64 Instructions

  • SH1ADD: Shift left by 1 and add

    Format: sh1add rd, rs1, rs2

    Description: This instruction shifts rs1 to the left by 1 bit and adds it to rs2.

    Pseudocode: X(rd) = X(rs2) + (X(rs1) << 1)

    Invalid values: NONE

    Exception raised: NONE

  • SH2ADD: Shift left by 2 and add

    Format: sh2add rd, rs1, rs2

    Description: This instruction shifts rs1 to the left by 2 bit and adds it to rs2.

    Pseudocode: X(rd) = X(rs2) + (X(rs1) << 2)

    Invalid values: NONE

    Exception raised: NONE

  • SH3ADD: Shift left by 3 and add

    Format: sh3add rd, rs1, rs2

    Description: This instruction shifts rs1 to the left by 3 bit and adds it to rs2.

    Pseudocode: X(rd) = X(rs2) + (X(rs1) << 3)

    Invalid values: NONE

    Exception raised: NONE

RV64 specific instructions

  • ADD.UW: Add unsigned word

    Format: add.uw rd, rs1, rs2

    Description: This instruction performs an XLEN-wide addition between rs2 and the zero-extended least-significant word of rs1.

    Pseudocode: X(rd) = rs2 + EXTZ(X(rs1)[31..0])

    Invalid values: NONE

    Exception raised: NONE

  • SH1ADD.UW: Shift unsigned word left by 1 and add

    Format: sh1add.uw rd, rs1, rs2

    Description: This instruction performs an XLEN-wide addition of two addends. The first addend is rs2. The second addend is the unsigned value formed by extracting the least-significant word of rs1 and shifting it left by 1 place.

    Pseudocode: X(rd) = rs2 + (EXTZ(X(rs1)[31..0]) << 1)

    Invalid values: NONE

    Exception raised: NONE

  • SH2ADD.UW: Shift unsigned word left by 2 and add

    Format: sh2add.uw rd, rs1, rs2

    Description: This instruction performs an XLEN-wide addition of two addends. The first addend is rs2. The second addend is the unsigned value formed by extracting the least-significant word of rs1 and shifting it left by 2 places.

    Pseudocode: X(rd) = rs2 + (EXTZ(X(rs1)[31..0]) << 2)

    Invalid values: NONE

    Exception raised: NONE

  • SH3ADD.UW: Shift unsigned word left by 3 and add

    Format: sh3add.uw rd, rs1, rs2

    Description: This instruction performs an XLEN-wide addition of two addends. The first addend is rs2. The second addend is the unsigned value formed by extracting the least-significant word of rs1 and shifting it left by 3 places.

    Pseudocode: X(rd) = rs2 + (EXTZ(X(rs1)[31..0]) << 3)

    Invalid values: NONE

    Exception raised: NONE

  • SLLI.UW: Shift-left unsigned word (Immediate)

    Format: slli.uw rd, rs1, imm

    Description: This instruction takes the least-significant word of rs1, zero-extends it, and shifts it left by the immediate.

    Pseudocode: X(rd) = (EXTZ(X(rs)[31..0]) << imm)

    Invalid values: NONE

    Exception raised: NONE