li a0,0x12345678
li a1,0xdeadbeef



sha512sig0l s0,a0,a1

srli s1,a0,1
srli t0,a0,7
xor s1,s1,t0
srli t0,a0,8
xor s1,s1,t0
slli t0,a1,31
xor s1,s1,t0
slli t0,a1,25
xor s1,s1,t0
slli t0,a1,24
xor s1,s1,t0



sha512sig0h s2,a0,a1

srli s3,a0,1
srli t0,a0,7
xor s3,s3,t0
srli t0,a0,8
xor s3,s3,t0
slli t0,a1,31
xor s3,s3,t0
slli t0,a1,24
xor s3,s3,t0



sha512sig1l s4,a0,a1

slli s5,a0,3
srli t0,a0,6
xor s5,s5,t0
srli t0,a0,19
xor s5,s5,t0
srli t0,a1,29
xor s5,s5,t0
slli t0,a1,26
xor s5,s5,t0
slli t0,a1,13
xor s5,s5,t0



sha512sig1h s6,a0,a1

slli s7,a0,3
srli t0,a0,6
xor s7,s7,t0
srli t0,a0,19
xor s7,s7,t0
srli t0,a1,29
xor s7,s7,t0
slli t0,a1,13
xor s7,s7,t0



sha512sum0r s8,a0,a1

slli s9,a0,25
slli t0,a0,30
xor s9,s9,t0
srli t0,a0,28
xor s9,s9,t0
srli t0,a1,7
xor s9,s9,t0
srli t0,a1,2
xor s9,s9,t0
slli t0,a1,4
xor s9,s9,t0



sha512sum1r s10,a0,a1

slli s11,a0,23
srli t0,a0,14
xor s11,s11,t0
srli t0,a0,18
xor s11,s11,t0
srli t0,a1,9
xor s11,s11,t0
slli t0,a1,18
xor s11,s11,t0
slli t0,a1,14
xor s11,s11,t0



li a7,10
ecall