// File: /workspace/github_c_makefile_star2_O1/rb-de0[P]hashverifier-for-monacoin/Lyra2RE/Sponge.c
// Function: reducedDuplexRow
inline void reducedDuplexRow(uint64_t *state, uint64_t *rowIn, uint64_t *rowInOut, uint64_t *rowOut, uint64_t nCols) {
    uint64_t* ptrWordInOut = rowInOut; //In Lyra2: pointer to row*
    uint64_t* ptrWordIn = rowIn; //In Lyra2: pointer to prev
    uint64_t* ptrWordOut = rowOut; //In Lyra2: pointer to row
    int i;

    for (i = 0; i < nCols; i++) {

	//Absorbing "M[prev] [+] M[row*]"
	state[0]  ^= (ptrWordIn[0]  + ptrWordInOut[0]);
	state[1]  ^= (ptrWordIn[1]  + ptrWordInOut[1]);
	state[2]  ^= (ptrWordIn[2]  + ptrWordInOut[2]);
	state[3]  ^= (ptrWordIn[3]  + ptrWordInOut[3]);
	state[4]  ^= (ptrWordIn[4]  + ptrWordInOut[4]);
	state[5]  ^= (ptrWordIn[5]  + ptrWordInOut[5]);
	state[6]  ^= (ptrWordIn[6]  + ptrWordInOut[6]);
	state[7]  ^= (ptrWordIn[7]  + ptrWordInOut[7]);
	state[8]  ^= (ptrWordIn[8]  + ptrWordInOut[8]);
	state[9]  ^= (ptrWordIn[9]  + ptrWordInOut[9]);
	state[10] ^= (ptrWordIn[10] + ptrWordInOut[10]);
	state[11] ^= (ptrWordIn[11] + ptrWordInOut[11]);

	//Applies the reduced-round transformation f to the sponge's state
	reducedBlake2bLyra(state);

	//M[rowOut][col] = M[rowOut][col] XOR rand
	ptrWordOut[0] ^= state[0];
	ptrWordOut[1] ^= state[1];
	ptrWordOut[2] ^= state[2];
	ptrWordOut[3] ^= state[3];
	ptrWordOut[4] ^= state[4];
	ptrWordOut[5] ^= state[5];
	ptrWordOut[6] ^= state[6];
	ptrWordOut[7] ^= state[7];
	ptrWordOut[8] ^= state[8];
	ptrWordOut[9] ^= state[9];
	ptrWordOut[10] ^= state[10];
	ptrWordOut[11] ^= state[11];

	//M[rowInOut][col] = M[rowInOut][col] XOR rotW(rand)
	ptrWordInOut[0] ^= state[11];
	ptrWordInOut[1] ^= state[0];
	ptrWordInOut[2] ^= state[1];
	ptrWordInOut[3] ^= state[2];
	ptrWordInOut[4] ^= state[3];
	ptrWordInOut[5] ^= state[4];
	ptrWordInOut[6] ^= state[5];
	ptrWordInOut[7] ^= state[6];
	ptrWordInOut[8] ^= state[7];
	ptrWordInOut[9] ^= state[8];
	ptrWordInOut[10] ^= state[9];
	ptrWordInOut[11] ^= state[10];

	//Goes to next block
	ptrWordOut += BLOCK_LEN_INT64;
	ptrWordInOut += BLOCK_LEN_INT64;
	ptrWordIn += BLOCK_LEN_INT64;
    }
}

// Assembly:
testq %r8, %r8
je 0x46d8
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r14
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %r13
xorl %ebx, %ebx
movq %r8, -0x30(%rbp)
movq (%r15,%rbx), %rax
addq (%r12,%rbx), %rax
xorq %rax, (%r13)
movq 0x8(%r15,%rbx), %rax
addq 0x8(%r12,%rbx), %rax
xorq %rax, 0x8(%r13)
movq 0x10(%r15,%rbx), %rax
addq 0x10(%r12,%rbx), %rax
xorq %rax, 0x10(%r13)
movq 0x18(%r15,%rbx), %rax
addq 0x18(%r12,%rbx), %rax
xorq %rax, 0x18(%r13)
movq 0x20(%r15,%rbx), %rax
addq 0x20(%r12,%rbx), %rax
xorq %rax, 0x20(%r13)
movq 0x28(%r15,%rbx), %rax
addq 0x28(%r12,%rbx), %rax
xorq %rax, 0x28(%r13)
movq 0x30(%r15,%rbx), %rax
addq 0x30(%r12,%rbx), %rax
xorq %rax, 0x30(%r13)
movq 0x38(%r15,%rbx), %rax
addq 0x38(%r12,%rbx), %rax
xorq %rax, 0x38(%r13)
movq 0x40(%r15,%rbx), %rax
addq 0x40(%r12,%rbx), %rax
xorq %rax, 0x40(%r13)
movq 0x48(%r15,%rbx), %rax
addq 0x48(%r12,%rbx), %rax
xorq %rax, 0x48(%r13)
movq 0x50(%r15,%rbx), %rax
addq 0x50(%r12,%rbx), %rax
xorq %rax, 0x50(%r13)
movq 0x58(%r15,%rbx), %rax
addq 0x58(%r12,%rbx), %rax
xorq %rax, 0x58(%r13)
movq %r13, %rdi
callq 0x3f23
movq -0x30(%rbp), %r8
movq (%r13), %rax
xorq %rax, (%r14,%rbx)
movq 0x8(%r13), %rax
xorq %rax, 0x8(%r14,%rbx)
movq 0x10(%r13), %rax
xorq %rax, 0x10(%r14,%rbx)
movq 0x18(%r13), %rax
xorq %rax, 0x18(%r14,%rbx)
movq 0x20(%r13), %rax
xorq %rax, 0x20(%r14,%rbx)
movq 0x28(%r13), %rax
xorq %rax, 0x28(%r14,%rbx)
movq 0x30(%r13), %rax
xorq %rax, 0x30(%r14,%rbx)
movq 0x38(%r13), %rax
xorq %rax, 0x38(%r14,%rbx)
movq 0x40(%r13), %rax
xorq %rax, 0x40(%r14,%rbx)
movq 0x48(%r13), %rax
xorq %rax, 0x48(%r14,%rbx)
movq 0x50(%r13), %rax
xorq %rax, 0x50(%r14,%rbx)
movq 0x58(%r13), %rax
xorq %rax, 0x58(%r14,%rbx)
movq 0x58(%r13), %rax
xorq %rax, (%r15,%rbx)
movq (%r13), %rax
xorq %rax, 0x8(%r15,%rbx)
movq 0x8(%r13), %rax
xorq %rax, 0x10(%r15,%rbx)
movq 0x10(%r13), %rax
xorq %rax, 0x18(%r15,%rbx)
movq 0x18(%r13), %rax
xorq %rax, 0x20(%r15,%rbx)
movq 0x20(%r13), %rax
xorq %rax, 0x28(%r15,%rbx)
movq 0x28(%r13), %rax
xorq %rax, 0x30(%r15,%rbx)
movq 0x30(%r13), %rax
xorq %rax, 0x38(%r15,%rbx)
movq 0x38(%r13), %rax
xorq %rax, 0x40(%r15,%rbx)
movq 0x40(%r13), %rax
xorq %rax, 0x48(%r15,%rbx)
movq 0x48(%r13), %rax
xorq %rax, 0x50(%r15,%rbx)
movq 0x50(%r13), %rax
xorq %rax, 0x58(%r15,%rbx)
addq $0x60, %rbx
decq %r8
jne 0x4531
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq