// File: /workspace/github_c_makefile_star2_O0/cbouilla[P]AES-attacks-finder/Equation.c
// Function: inverseEq
Equation inverseEq(Equation a, int var)
{
	if (a->nV>0)
	{
		int i;
		for (i = 0; i < a->nV; i++)
		{
			if (a->var[i]==var)
			{
				Equation p=copyEq(a);
				p->nV--;
				if (a->nV==1)
				{
					free(p->var);
					free(p->coefV);
					p->var=NULL;
				}
				else
				{
					p->var[i]=a->var[p->nV];
					p->coefV[i]=a->coefV[p->nV];
				}
				Equation tmp=mulEq(Inverse(a->coefV[i]),p);
				freeEq(p);
				p=reduitEq(tmp);
				freeEq(tmp);
				return p;
			}
		}
	}

	int i;
	for (i = 0; i < a->nS; i++)
	{
		if (dependEq(a->S[i],var))
		{
			Equation p=copyEq(a);
			freeEq(p->S[i]);
			p->nS--;
			if (p->nS==0)
			{
				free(p->S);
				free(p->sbox);
				free(p->coefS);
			}
			else
			{
				if (i!=p->nS)
				{
					p->S[i]=copyEq(p->S[p->nS]);
					freeEq(p->S[p->nS]);
					p->sbox[i]=p->sbox[p->nS];
					p->coefS[i]=p->coefS[p->nS];
				}
			}
			Equation tmp1=mulEq(Inverse(a->coefS[i]),p);
			freeEq(p);
			p=appliqueS(tmp1,0x01^a->sbox[i]);
			freeEq(tmp1);
			tmp1=addEq(a->S[i],p);
			freeEq(p);
			p=inverseEq(tmp1,var);
			freeEq(tmp1);
			return p;
		}
	}
	return NULL;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movq -0x10(%rbp), %rax
cmpl $0x0, (%rax)
jle 0x72e8
movl $0x0, -0x18(%rbp)
movl -0x18(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl (%rcx), %eax
jge 0x72e6
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x18(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl -0x14(%rbp), %eax
jne 0x72d6
movq -0x10(%rbp), %rdi
callq 0x59c0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movl (%rax), %ecx
addl $-0x1, %ecx
movl %ecx, (%rax)
movq -0x10(%rbp), %rax
cmpl $0x1, (%rax)
jne 0x7243
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x2030
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x2030
movq -0x20(%rbp), %rax
movq $0x0, 0x8(%rax)
jmp 0x7285
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x20(%rbp), %rcx
movslq (%rcx), %rcx
movl (%rax,%rcx,4), %edx
movq -0x20(%rbp), %rax
movq 0x8(%rax), %rax
movslq -0x18(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x20(%rbp), %rcx
movslq (%rcx), %rcx
movb (%rax,%rcx), %dl
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movslq -0x18(%rbp), %rcx
movb %dl, (%rax,%rcx)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq -0x18(%rbp), %rcx
movzbl (%rax,%rcx), %edi
callq 0x24c0
movq -0x20(%rbp), %rsi
movzbl %al, %edi
callq 0x5ea0
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x5900
movq -0x28(%rbp), %rdi
callq 0x6100
movq %rax, -0x20(%rbp)
movq -0x28(%rbp), %rdi
callq 0x5900
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x74db
jmp 0x72d8
movl -0x18(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x18(%rbp)
jmp 0x71d3
jmp 0x72e8
movl $0x0, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movq -0x10(%rbp), %rcx
cmpl 0x18(%rcx), %eax
jge 0x74d3
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movl -0x14(%rbp), %esi
callq 0x6dc0
cmpl $0x0, %eax
je 0x74c3
movq -0x10(%rbp), %rdi
callq 0x59c0
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x5900
movq -0x38(%rbp), %rax
movl 0x18(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0x18(%rax)
movq -0x38(%rbp), %rax
cmpl $0x0, 0x18(%rax)
jne 0x7385
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rdi
callq 0x2030
movq -0x38(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x2030
movq -0x38(%rbp), %rax
movq 0x28(%rax), %rdi
callq 0x2030
jmp 0x7420
movl -0x2c(%rbp), %eax
movq -0x38(%rbp), %rcx
cmpl 0x18(%rcx), %eax
je 0x741e
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movq -0x38(%rbp), %rcx
movslq 0x18(%rcx), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x59c0
movq %rax, %rdx
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movq -0x38(%rbp), %rcx
movslq 0x18(%rcx), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x5900
movq -0x38(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x38(%rbp), %rcx
movslq 0x18(%rcx), %rcx
movb (%rax,%rcx), %dl
movq -0x38(%rbp), %rax
movq 0x30(%rax), %rax
movslq -0x2c(%rbp), %rcx
movb %dl, (%rax,%rcx)
movq -0x38(%rbp), %rax
movq 0x28(%rax), %rax
movq -0x38(%rbp), %rcx
movslq 0x18(%rcx), %rcx
movb (%rax,%rcx), %dl
movq -0x38(%rbp), %rax
movq 0x28(%rax), %rax
movslq -0x2c(%rbp), %rcx
movb %dl, (%rax,%rcx)
jmp 0x7420
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movslq -0x2c(%rbp), %rcx
movzbl (%rax,%rcx), %edi
callq 0x24c0
movq -0x38(%rbp), %rsi
movzbl %al, %edi
callq 0x5ea0
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rdi
callq 0x5900
movq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rax
movslq -0x2c(%rbp), %rcx
movzbl (%rax,%rcx), %eax
xorl $0x1, %eax
movzbl %al, %esi
callq 0x6ce0
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rdi
callq 0x5900
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x38(%rbp), %rsi
callq 0x6900
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rdi
callq 0x5900
movq -0x40(%rbp), %rdi
movl -0x14(%rbp), %esi
callq 0x71b0
movq %rax, -0x38(%rbp)
movq -0x40(%rbp), %rdi
callq 0x5900
movq -0x38(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x74db
jmp 0x74c5
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0x72ef
movq $0x0, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)