SHA256H -- A64

integer d = UInt(Rd); integer n = UInt(Rn); integer m = UInt(Rm); if !IsFeatureImplemented(FEAT_SHA256) then UNDEFINED;

<Qd>	Is the 128-bit name of the SIMD&FP source and destination, encoded in the "Rd" field.

<Qn>	Is the 128-bit name of the second SIMD&FP source register, encoded in the "Rn" field.

<Vm>	Is the name of the third SIMD&FP source register, encoded in the "Rm" field.

AArch64.CheckFPAdvSIMDEnabled(); bits(128) result; result = SHA256hash(V[d, 128], V[n, 128], V[m, 128], TRUE); V[d, 128] = result;

If PSTATE.DIT is 1:

The execution time of this instruction is independent of:
- The values of the data supplied in any of its registers.
- The values of the NZCV flags.
The response of this instruction to asynchronous exceptions does not vary based on:
- The values of the data supplied in any of its registers.
- The values of the NZCV flags.

Internal version only: aarchmrs v2023-12_rel, pseudocode v2023-12_rel, sve v2023-12_rel ; Build timestamp: 2023-12-15T16:46

SHA256H