// File: /workspace/github_c_makefile_star2_O0/cbouilla[P]AES-attacks-finder/Equation.c
// Function: Linearise
Equation * Linearise(Equation *E, int taille, int *t)
{
	int cpt,i,j,newvar,k;
	Equation *tmp,*new;
	
	cpt=taille;	
	for (i = 0; i < taille; i++) cpt+=E[i]->nS;
	new=malloc((taille+1)*sizeof(Equation));
	for (i = 0; i < taille; i++) new[i]=copyEq(E[i]);
	newvar=0;
	for (i = 0; i < taille; i++)
	{
		for (j = 0; j < new[i]->nS; j++)
		{
			if (new[i]->S[j]->nS!=0 || new[i]->S[j]->nV!=1)
			{
				freeEq(new[i]->S[j]);
				new[i]->S[j]=varEq(VARIABLES+newvar);
				printf("x[%d]=",VARIABLES+newvar);
				PrintEq(E[i]->S[j]);
				new[taille+newvar]=addEq(E[i]->S[j],new[i]->S[j]);
				printf(";\n");
				newvar++;
				for (k = 0; k < taille+newvar; k++)
				{
					/*printf("Eq avant :");
					PrintEq(new[k]);
					getchar();
					printf("A remplacer par %d :",VARIABLES+newvar-1);
					PrintEq(E[i]->S[j]);
					getchar();*/
					RemplaceLinearise(new[k],E[i]->S[j],VARIABLES+newvar-1);
					/*printf("Eq apres :");
					PrintEq(new[k]);
					getchar();*/
				}
				i=taille;
				break;
			}
		}
	}
	if (newvar>0)
	{
		VARIABLES+=newvar;
		tmp=new;
		new=Linearise(tmp,taille+newvar,t);
		for (i = 0; i < taille+newvar; i++) freeEq(tmp[i]);
		free(tmp);
		return new;
	}
	else
	{
		*t=taille;
		return new;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movq %rdx, -0x20(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x24(%rbp)
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
cmpl -0x14(%rbp), %eax
jge 0x7798
movq -0x10(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl 0x18(%rax), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x7770
movl -0x14(%rbp), %eax
addl $0x1, %eax
movslq %eax, %rdi
shlq $0x3, %rdi
callq 0x21c0
movq %rax, -0x48(%rbp)
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
cmpl -0x14(%rbp), %eax
jge 0x77e8
movq -0x10(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x59c0
movq %rax, %rdx
movq -0x48(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x77b5
movl $0x0, -0x30(%rbp)
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
cmpl -0x14(%rbp), %eax
jge 0x79bf
movl $0x0, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movq -0x48(%rbp), %rcx
movslq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpl 0x18(%rcx), %eax
jge 0x79af
movq -0x48(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x0, 0x18(%rax)
jne 0x7860
movq -0x48(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x1, (%rax)
je 0x799f
movq -0x48(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x5900
leaq 0x35a44(%rip), %rax     # 0x3d2c8
movl (%rax), %edi
addl -0x30(%rbp), %edi
callq 0x5da0
movq %rax, %rdx
movq -0x48(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
leaq 0x35a18(%rip), %rax     # 0x3d2c8
movl (%rax), %esi
addl -0x30(%rbp), %esi
leaq 0x2d89e(%rip), %rdi     # 0x3515a
movb $0x0, %al
callq 0x2100
movq -0x10(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x56b0
movq -0x10(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x48(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
callq 0x6900
movq %rax, %rdx
movq -0x48(%rbp), %rax
movl -0x14(%rbp), %ecx
addl -0x30(%rbp), %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
leaq 0x3118d(%rip), %rdi     # 0x38abd
movb $0x0, %al
callq 0x2100
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
movl $0x0, -0x34(%rbp)
movl -0x34(%rbp), %eax
movl -0x14(%rbp), %ecx
addl -0x30(%rbp), %ecx
cmpl %ecx, %eax
jge 0x7997
movq -0x48(%rbp), %rax
movslq -0x34(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x10(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rax
movslq -0x2c(%rbp), %rcx
movq (%rax,%rcx,8), %rsi
leaq 0x35949(%rip), %rax     # 0x3d2c8
movl (%rax), %edx
addl -0x30(%rbp), %edx
subl $0x1, %edx
callq 0x74f0
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x7947
movl -0x14(%rbp), %eax
movl %eax, -0x28(%rbp)
jmp 0x79af
jmp 0x79a1
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0x7809
jmp 0x79b1
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x77f6
cmpl $0x0, -0x30(%rbp)
jle 0x7a3c
movl -0x30(%rbp), %ecx
leaq 0x358f9(%rip), %rax     # 0x3d2c8
addl (%rax), %ecx
leaq 0x358f0(%rip), %rax     # 0x3d2c8
movl %ecx, (%rax)
movq -0x48(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movl -0x14(%rbp), %esi
addl -0x30(%rbp), %esi
movq -0x20(%rbp), %rdx
callq 0x7750
movq %rax, -0x48(%rbp)
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
movl -0x14(%rbp), %ecx
addl -0x30(%rbp), %ecx
cmpl %ecx, %eax
jge 0x7a29
movq -0x40(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x5900
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x7a00
movq -0x40(%rbp), %rdi
callq 0x2030
movq -0x48(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x7a4d
movl -0x14(%rbp), %ecx
movq -0x20(%rbp), %rax
movl %ecx, (%rax)
movq -0x48(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopw (%rax,%rax)