SHA256SIG0

SHA-256 Sigma0

SHA256SIG0 rd, rs1

Performs the Sigma0 transformation function for SHA-256.

Details

SHA256SIG0 computes the sigma_0 mixing function for SHA-256, applying a combination of rotate-right and shift operations to rs1.

Pseudocode Operation

R[rd] = ROTR(x, 7) ^ ROTR(x, 18) ^ (x >> 3);

Example

SHA256SIG0 x10, x11

Encoding

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

Operands

  • rd
    Destination register (integer)
  • rs1
    Source