The RISC-V Base ISA and Standard Extensions · • A high-quality, license-free, royalty-free RISC...

COPYRIGHT 2018 SIFIVE. ALL RIGHTS RESERVED.

The RISC-V Base ISA and Standard

Extensions

8th RISC-V Workshop, Barcelona

May 7, 2018

Andrew Waterman, SiFive

COPYRIGHT 2018 SIFIVE. ALL RIGHTS RESERVED. 2 2 2

• Why can’t Intel sell mobile chips? – 99%+ of mobile phones/tablets are based on ARM’s v7/v8 ISA

• Why can’t ARM partners sell servers? – 99%+ of laptops/desktops/servers are based on the AMD64 ISA (over 95%+

built by Intel)

• How can IBM still sell mainframes? – IBM 360 is the oldest surviving ISA (50+ years)

ISA is the most important interface in a computer system

ISA is where software meets hardware

Why Instruction Set Architecture matters


Open Software/Standards Work!

Field Standard Free, Open Impl. Proprietary Impl.

Networking Ethernet, TCP/IP Many Many

OS Posix Linux, FreeBSD M/S Windows

Compilers C gcc, LLVM Intel icc, ARMcc

Databases SQL MySQL, PostgresSQL Oracle 12C, M/S DB2

Graphics OpenGL Mesa3D M/S DirectX

ISA ?????? ----------- x86, ARM, IBM360

• Why not have successful free & open standards and free & open implementations, like other fields?

• Dominant proprietary ISAs are not great designs


• A high-quality, license-free, royalty-free RISC ISA specification originally designed at UC Berkeley

• Standard maintained by the non-profit RISC-V Foundation • Suitable for all types of computing system, from microcontrollers

to supercomputers • Numerous proprietary and open-source cores • Experiencing rapid uptake in industry and academia • Supported by a growing shared software ecosystem • A work in progress…

What is RISC-V?


• In 2010, after many years and many projects using MIPS, SPARC, and x86 as the bases of research at Berkeley, it was time to choose an ISA for next set of projects

• Obvious choices: x86 and ARM

RISC-V Origins


• ASCII Adjust After Addition • AL register is default source and destination

• If the low nibble is > 9 decimal, or the auxiliary carry flag AF = 1, then – Add 6 to low nibble of AL and discard overflow – Increment high byte of AL – Set CF and AF

• Else – CF = AF = 0

• Single byte instruction

Intel x86 “AAA” Instruction


LDMIAEQ SP!, {R4-R7, PC}

• LoaD Multiple, Increment-Address • Writes to 7 registers from 6 loads • Only executes if EQ condition code is set • Writes to the PC (a conditional branch) • Can change instruction sets

• Idiom for "stack pop and return from a function call"

ARM v7 LDMIAEQ Instruction


• x86 impossible – IP issues, too complex • ARM mostly impossible – no 64-bit, IP issues, complex • So we started “3-month project” in summer 2010 to develop our

own clean-slate ISA – Principal designers: Andrew Waterman, Yunsup Lee, Dave Patterson, Krste

Asanovic

• Four years later, we released the frozen base user spec – First public specification released in May 2011 – Several publications, many tapeouts, lots of software along the way

RISC-V Origin Story


• Works well with existing software stacks, languages

• Is native hardware ISA, not virtual machine/ANDF

• Suits all sizes of processor, from smallest microcontroller to largest supercomputer

• Suits all implementation technologies: FPGA, ASIC, full-custom, ??

• Suits all microarchitectural styles: microcoded, in-order, decoupled, out-of-order, single-issue, superscalar, …

• Supports extensive customization to act as base for customized accelerators

• Stable: not changing, not disappearing

Our Goals for a Universal ISA


The RV32I Base Instruction Set Architecture

8th RISC-V Workshop, Barcelona, Catalonia

May 7, 2018


RV32I Architectural State

31 general-purpose registers, x1-x31 (x0 is hardwired to 0), plus pc

Registers are 32 bits wide => 1024 bits of architectural state


• Instructions all 32-bits wide; must be 32-bit aligned in memory

• 4 base formats (R/I/S/U) + 2 immediate-encoding variants (B/J)

• Register specifiers (rs2/rs1/rd) always in same place

RV32I Instruction Formats

R

I

S

B

U

J


RV32I Arithmetic and Logical Operations

• Most arithmetic instructions use R-type format

• Perform the computation rs1 OP rs2 and write result to rd

• There are 10 of them: • Arithmetic: ADD, SUB

• Bitwise: AND, OR, XOR

• Shifts: SLL, SRL, SRA

• Comparisons: SLT (rd = rs1 < rs2 ? 1 : 0), SLTU (same, but unsigned)



• Also have register-immediate forms using I-type format

• Perform the computation rs1 OP imm and write result to rd

• Same ones as R-type, but no need for SUB • Arithmetic: ADDI

• Bitwise: ANDI, ORI, XORI

• Shifts: SLLI, SRLI, SRAI

• Comparisons: SLTI, SLTIU

• Immediate is always sign-extended (even when it represents an unsigned quantity)




RV32I Memory Access Instructions

• Loads also use I-type format

• Compute address rs1 + imm, read from memory, write result to rd

• LB, LH, LW: load byte (8b), load halfword (16b), load word (32b) • LB and LH sign-extend the quantity before writing rd

• LBU, LHU (load byte unsigned, load halfword unsigned) zero-extend


RV32I Memory Access Instructions

• Stores use S-type format

• Compute address rs1 + imm; write contents of rs2 to memory

• SW stores all 32 bits of rs2; SB and SH store lower 8b/16b

• Note, imm[4:0] moves to bits 11:7 to accommodate rs2


RV32I Addressing

• Two U-type instructions:

• LUI (Load Upper Immediate) supports global addressing

• Also use LUI + ADDI to generate any 32-bit constant

• AUIPC (Add Upper Immediate to PC) supports PC-relative addressing

lui t0, 0x12345 # t0 = 0x12345000 lw t0, 0x678(t0) # t0 = Mem[0x12345678]

auipc t0, 0x12345 # t0 = pc + 0x12345000 lw t0, 0x678(t0) # t0 = Mem[pc + 0x12345678]


RV32I Conditional Branches

• Branches use B-type format

• Same as S-type format, except immediate scaled by 2 (can only branch to even-numbered addresses) – Supports ISA extensions with instruction lengths in multiples of 2 bytes

• Compare rs1 and rs2; if true, set pc := pc + imm; else fall through

• Equality (BEQ/BNE), magnitude (BLT/BGE/BLTU/BGEU)


RV32I Unconditional Jumps

• JAL (Jump and Link) is the only J-type instruction

• Sets rd := pc + 4; sets pc := pc + imm (±1 MiB range) – When rd=x0, it’s just a jump; when rd=x1, it’s a function call

• Then sets pc := pc + imm

• JALR (Jump and Link Register) uses I-type format

• Sets rd := pc + 4; sets pc := rs1 + imm

• Use for returns (rd=x0, rs1=x1), indirect calls (rd=x1), table jumps

• Use with LUI/AUIPC to call any 32-bit address


The Rest of RV32I

• FENCE for memory ordering (see Memory Model talk later today)

• FENCE.I for self-modifying code

• ECALL for system calls

• EBREAK for breakpoints

• CSRRx to access control and status registers (see Priv Arch talk)


• RV32E (E=Embedded): • Same as RV32I, but only registers x0-x15 are present. Accessing x16-x31

causes an illegal-instruction trap.

• Removes 512 bits of state; helps implementations sensitive to regfile cost

• RV64I: 64-bit address variant • Expands the x-registers and the pc to 64 bits

• Adds new load and store instructions: LWU, LD, SD

• Existing arithmetic instructions now operate on full 64-bit registers

• New arithmetic instructions that operate on lower 32 bits of registers and produce a 32-bit result sign-extended to 64 bits: ADDW, SUBW, SLLW, SRLW, SRAW, ADDIW, SLLIW, SRLIW, SRAIW

• RV128I: 128-bit address variant; follows same pattern as RV64I

RISC-V Specifies Three Base ISAs Besides RV32I


The M Standard Extension for Integer

Multiplication and Division


May 7, 2018


The M Extension for Integer Multiply/Divide

Instruction Meaning . mul rd, rs1, rs2 rd = rs1 × rs2 mulh rd, rs1, rs2 rd = (sext(rs1) × sext(rs2)) >> XLEN mulhu rd, rs1, rs2 rd = (zext(rs1) × zext(rs2)) >> XLEN mulhsu rd, rs1, rs2 rd = (sext(rs1) × zext(rs2)) >> XLEN

• Multiply/divide not part of base ISA – Not always needed; sometimes too costly

• M extension adds these features with 8 R-type instructions

div rd, rs1, rs2 rd = rs1 ÷ rs2 rem rd, rs1, rs2 rd = rs1 % rs2 divu rd, rs1, rs2 rd = rs1 ÷uns rs2 remu rd, rs1, rs2 rd = rs1 %uns rs2


The A Standard Extension for Atomic

Memory Operations


May 7, 2018


The A Extension for Atomic Memory Operations

• Loads/stores can’t scalably support multiprocessor synchronization

• A extension provides synchronization primitives in two forms:

• Load-reserved/Store-conditional

• Atomic fetch-and-ϕ


Load-reserved, Store-conditional

• Splits an atomic read-modify-write operation into three phases:

• Load data, and acquire reservation on the address

• Compute new value

• Store new value, only if reservation still held

• Store may fail, so sequence needs to be retried – Writes rd with zero on success or nonzero on failure

• Forward progress guaranteed for certain restricted sequences

Instruction Meaning . lr.w rd, (rs1) rd = M[rs1]; reserve M[rs1] sc.w rd, rs2, (rs1) if still reserved: M[rs1] = rs2; rd = 0 otherwise: rd = nonzero


Load-reserved, Store-conditional

• Example: atomically decrement a variable if it’s not zero

retry: lr.w t0, (a0) beqz t0, done addi t0, t0, -1 sc.w t1, t0, (a0) bnez t1, retry done:


Atomic Memory Operations

• LR/SC can implement any single-word atomic primitive

• But doesn’t scale well to highly parallel systems

• AMOs can be implemented more scalably: send operation to the data, rather than moving the data around

Instruction Meaning . amoswap.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = rs2; rd = t amoadd.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = t + rs2; rd = t amoand.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = t & rs2; rd = t amoor.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = t | rs2; rd = t amoxor.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = t ^ rs2; rd = t amomin.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = min(t, rs2); rd = t amomax.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = max(t, rs2); rd = t amominu.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = minu(t, rs2); rd = t amomaxu.w rd, rs2, (rs1) t = M[rs1]; M[rs1] = maxu(t, rs2); rd = t


Memory Ordering

• AMOs and LR/SC can be marked acquire, release, both, or neither

• Informally: – Acquire: the AMO is ordered before later memory accesses

– Release: the AMO is ordered after preceding memory accesses

– Both: the AMO is sequentially consistent

• “Neither” option useful for associative reductions

• See Memory Model talk later today


The F and D Standard Extensions for Single-

and Double-Precision Floating-Point


May 7, 2018


F/D extensions add new architectural state

FLEN=32 for F

FLEN=64 for D


Floating-point Loads/Stores

• Need new loads & stores to transfer data to/from F-registers

• Same instruction formats as integer loads (I-type), stores (S-type)

• Also have instructions to move between f and x registers

Instruction Meaning . flw rd, imm(rs1) Load single-precision float into f[rd] fsw rs2, imm(rs1) Store single-precision float from f[rs2] fld rd, imm(rs1) Load double-precision float into f[rd] fsd rd, imm(rs1) Store double-precision float from f[rs2]


Floating-point Arithmetic

Instruction Meaning . fadd.s rd, rs1, rs2 rd = rs1 + rs2, single-precision fsub.s rd, rs1, rs2 rd = rs1 - rs2, single-precision fmul.s rd, rs1, rs2 rd = rs1 × rs2, single-precision fdiv.s rd, rs1, rs2 rd = rs1 ÷ rs2, single-precision fsqrt.s rd, rs1 rd = sqrt(rs1), single-precision fmin.s rd, rs1, rs2 rd = min(rs1, rs2), single-precision fmax.s rd, rs1, rs2 rd = max(rs1, rs2), single-precision

• Most FP arithmetic operations use R-type format

• Rounding mode can be specified statically on each instruction or taken from dynamic rounding mode register in fcsr

• D extension adds double-precision versions of all of these


Floating-point Arithmetic: Fused Mul/Add

Instruction Meaning . fmadd.s rd, rs1, rs2, rs3 rd = rs1 × rs2 + rs3 fmsub.s rd, rs1, rs2, rs3 rd = rs1 × rs2 - rs3 fnmadd.s rd, rs1, rs2, rs3 rd = -rs1 × rs2 - rs3 fnmsub.s rd, rs1, rs2, rs3 rd = -rs1 × rs2 + rs3

• Fused multiply-add instructions need new R4 instruction format

• D extension adds double-precision versions of all of these


Floating-point Sign Injection

Instruction Meaning . fsgnj.s rd, rs1, rs2 rd = rs1, but with sign of rs2 fsgnjn.s rd, rs1, rs2 rd = rs1, but with sign of (-rs2) fsgnjx.s rd, rs1, rs2 rd = rs1, but with sign of (rs1 × rs2)

• Unusual feature of RISC-V ISA

• Forms new FP number by taking exponent/mantissa from rs1 but with new sign bit

• fsgnj implements move when rs1=rs2

• fsgnjn implements negate when rs1=rs2

• fsgnjx implements absolute value when rs1=rs2


Other Floating-Point Instructions

• Conversions between single and double

• Conversions to and from integer • Integer operands use x-registers

• Comparisons (=, <, ≤) write Boolean result to x-register • Use in conjunction with integer BEQ/BNE to branch on FP comparison

• Classify • Is a number NaN, Inf, normal, subnormal, etc.


What’s not in the F/D Extensions

• No traps on IEEE 754 exceptions

• Simplifies precise exceptions for in-order pipelines: allows FP operations to commit before they complete

• To act on IEEE 754 exceptions, read FCSR and branch

• No NaN-payload propagation (not required by IEEE 754; saves HW)


The C Standard Extension for

Compressed Instructions


May 7, 2018


• Problem: 32-bit instruction encoding is not very dense

The C Extension for Compressed Instructions

Three most popular instructions in GNU C Library (2.5% of total)

jalr x0, 0(ra) addi a0, s0, 0 addi a0, x0, 0

Return from subroutine

Move s0 to a0

Move zero to a0

00008067 00040513 00000513

14 of 24 nibbles are zero!


• Problem: 32-bit instruction encoding is not very dense

• Solution: 16-bit representation of most popular instructions

• Key observations:

• Locality: ⅔ of references are to ¼ of the registers

• Few unique operands: half of all instructions are destructive

• Small immediate operands: half need only 5 bits

• A few opcodes dominate (addi + lw + sw = 50%)

The C Extension for Compressed Instructions


What’s in the C Extension: Arithmetic RVC Instruction Expands to Notes . c.addi rd, imm addi rd, rd, imm Add immediate c.li rd, imm addi rd, x0, imm Load immediate c.addi4spn rd, imm addi rd, sp, imm Address the stack c.addi16sp imm addi sp, sp, imm [De]allocate stack c.add rd, rs add rd, rd, rs Add registers c.mv rd, rs add rd, x0, rs Move register c.slli rd, imm slli rd, rd, imm Shift left

Also several instructions constrained to registers x8-x15: c.srli, c.srai, c.andi, c.sub, c.xor, c.or, c.and


What’s in the C Extension: Loads/Stores RVC Instruction Expands to Notes . c.lw rd, imm(rs) lw rd, imm(rs) Regs x8-x15 only c.sw rs2, imm(rs1) sw rs2, imm(rs1) Regs x8-x15 only c.lwsp rd, imm lw rd, imm(sp) Load from stack c.swsp rs, imm sw rs, imm(sp) Store to stack

Also instructions for floating-point loads and stores: c.flw, c.fsw, c.flwsp, c.fswsp, c.fld, c.fsd, c.fldsp, c.fsdsp


What’s in the C Extension: Control Flow RVC Instruction Expands to Notes . c.j offset jal x0, offset Unconditional jump c.jal offset jal ra, offset Call function c.jr rs jalr x0, 0(rs) Return; table jump c.jalr rs jalr ra, 0(rs) Indirect call c.beqz rs, imm beq rs, x0, imm Regs x8-x15 only c.bnez rs, imm bne rs, x0, imm Regs x8-x15 only


• No Load-Multiple/Store-Multiple instructions

What’s not in the C extension

int foo(int x) { return bar() + x; }

addi sp,sp,-16 sw s0,8(sp) sw ra,12(sp) mv s0,a0 jal ra,bar add a0,a0,s0 lw ra,12(sp) lw s0,8(sp) addi sp,sp,16 ret

Without LdM/StM

With LdM/StM swm {s0, ra},-16(++sp) mv s0,a0 jal ra,bar add a0,a0,s0 lwm {s0, ra},(sp++)16 ret


• Use shared prologue/epilogue routines instead of LdM/StM

• Same code-size savings (slight increase in dyn. instr. count)

What’s not in the C extension

int foo(int x) { return bar() + x; }

addi sp,sp,-16 sw s0,8(sp) sw ra,12(sp) jr t0

__riscv_save_1:

With shared prologue/epilogue jal t0,__riscv_save_1 mv s0,a0 jal ra,bar add a0,a0,s0 jal x0,__riscv_restore_1

lw s0,8(sp) lw ra,12(sp) addi sp,sp,16 ret

__riscv_restore_1:


• C extension makes RISC-V code very compact

Corpus: SPEC CPU2006 (n.b. these results use shared prologue/epilogue routines, saving 4%)

C Extension: Static Code Size

100%

141% 131% 129%

169%

0%

20%

40%

60%

80%

100%

120%

140%

160%

180%

RV64C RV64 X86-64 ARMv8 MIPS64

64-bit ISAs

100%

140% 126%

136%

101%

173%

126%

0%

20%

40%

60%

80%

100%

120%

140%

160%

180%

32-bit ISAs


Questions?


May 7, 2018

Date post:	18-Feb-2020
Category:	Documents
Upload:	others
View:	5 times
Download:	0 times

The RISC-V Base ISA and Standard Extensions · • A high-quality, license-free, royalty-free RISC...

Documents