can fix this mismatch by either calling the model with correctly-shaped
        data, or by relaxing `Input` shape assumptions (note that you can pass
        shapes with `None` entries for axes that are meant to be dynamic). You
        can also disable the input checking entirely by setting
        `model.input_spec = None`.
    *   Several changes have been made to

f, g, h) \ LOAD1(index); \ SHA256ROUND(index, a, b, c, d, e, f, g, h) // A stack frame size of 64 bytes is required here, because // the frame size used for data expansion is 64 bytes. // See the definition of the macro LOAD1 above (4 bytes * 16 entries). // //func block(dig *Digest, p []byte) TEXT ·block(SB),NOSPLIT,$64-32 MOVV p_base+8(FP), R5 MOVV p_len+16(FP), R6 AND $~63, R6 BEQ R6, end MOVV $·_K(SB), REG_KT // const table // p_len >= 64 MOVV dig+0(FP), R4 ADDV R5, R6, R25 MOVW (0*4)(R4), R8...

f, g, h) \ LOAD1(index); \ SHA256ROUND(const, a, b, c, d, e, f, g, h) // A stack frame size of 64 bytes is required here, because // the frame size used for data expansion is 64 bytes. // See the definition of the macro LOAD1 above (4 bytes * 16 entries). // //func block(dig *Digest, p []byte) TEXT ·block(SB),NOSPLIT,$64-32 MOVV p_base+8(FP), R5 MOVV p_len+16(FP), R6 AND $~63, R6 BEQ R6, end // p_len >= 64 MOVV dig+0(FP), R4 ADDV R5, R6, R25 MOVW (0*4)(R4), R8 // a = H0 MOVW (1*4)(R4), R9 // b =...