SHA512SIG0

SHA-512 Sigma0

SHA512SIG0 rd, rs1

Performs SHA-512 Sigma0 transformation (RV64).

Details

SHA512SIG0 computes the lower 64-bit word of the sigma_0 function for SHA-512.

Pseudocode Operation

rd = sigma0_512(rs1);

Example

SHA512SIG0 t0, a0

Encoding

Binary Layout
0001000
31:25
00110
24:20
rs1
19:15
001
14:12
rd
11:7
0010011
6:0
 
Format R-Type
Opcode 0x13
Extension Zknh

Operands

  • rd
    Destination register (integer)
  • rs1
    Source register 1 (integer)