// File: /workspace/github_c_makefile_star2_O2/cbouilla[P]AES-attacks-finder/Solver.c
// Function: charge_solver
Solver charge_solver(FILE *out, string_list_t *variable_names) // charge une solver à partir d'un xml
{
	Solver B=NewSolver();
	unsigned char c = fgetc(out);
	while (c!='\n') c = fgetc(out);
	while (c!='>') c = fgetc(out);
	fscanf(out,"%d",&B->temps);
	while (c!='\n') c = fgetc(out);
	while (c!='>') c = fgetc(out);
	fscanf(out,"%d",&B->memoire);
	while (c!='\n') c = fgetc(out);
	while (c!='>') c = fgetc(out);
	fscanf(out,"%d",&B->sortie);
	while (c!='\n') c = fgetc(out);
	while (c!='>') c = fgetc(out);

	{
		int type;
		fscanf(out,"%d",&type);
		B->type=type;
	}
	
	while (c!='\n') c = fgetc(out);
	while (c!='>') c = fgetc(out);
	B->Nvar=0;
	B->var=NULL;
	c = fgetc(out);
	while (c!='s')
	{
		char s[80];
		while (c!='>') c = fgetc(out);
		int pos=0;
		c = fgetc(out);
		while (c!='<')
		{
			s[pos++]=c;
			c = fgetc(out);
		}
		s[pos]='\0';
		while (c!='>') c = fgetc(out);
		c = fgetc(out);
		int i = find_string(variable_names,s);
		if (i==-1)
		{
			printf("le système d'équations ne correspond pas!!");
			getchar();
		}
		
		int *X=UnionListesTriees(&i,1,B->var,B->Nvar,&B->Nvar);
		free(B->var);
		B->var=X;
		while (c!='>' && c!='s') c = fgetc(out);
	}
	//B->parents=1;
	while (c!='\n') c = fgetc(out);
	c = fgetc(out);
	if (B->type!=0)
	{
		B->fils1=charge_solver(out,variable_names);
		B->fils2=charge_solver(out,variable_names);
	}
	else
	{
		B->fils1=NULL;
		B->fils2=NULL;
	}
	while (c!='\n') c = fgetc(out);
	return B;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rsi, 0x18(%rsp)
movq %rdi, %rbx
callq 0x67a4
movq %rax, %r14
movq %rax, 0x8(%rsp)
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0xa, %bpl
jne 0x68f6
jmp 0x6912
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x6908
movq 0x8(%rsp), %rax
leaq 0xc(%rax), %rdx
leaq 0x24275(%rip), %rsi     # 0x2ab9d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
cmpb $0xa, %bpl
je 0x694e
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
jmp 0x6932
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x6944
movq 0x8(%rsp), %rax
leaq 0x10(%rax), %rdx
leaq 0x24239(%rip), %rsi     # 0x2ab9d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
cmpb $0xa, %bpl
je 0x698a
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
jmp 0x696e
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x6980
movq 0x8(%rsp), %rax
leaq 0x14(%rax), %rdx
leaq 0x241fd(%rip), %rsi     # 0x2ab9d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
cmpb $0xa, %bpl
je 0x69c6
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
jmp 0x69aa
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x69bc
leaq 0x241ca(%rip), %rsi     # 0x2ab9d
leaq 0x20(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rdx
xorl %eax, %eax
callq 0x2080
movb (%r15), %al
movb %al, 0x18(%r14)
cmpb $0xa, %bpl
je 0x6a08
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
jmp 0x69ec
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x69fe
andl $0x0, 0x8(%r14)
addq $0x8, 0x8(%rsp)
andq $0x0, (%r14)
movq %rbx, %rdi
callq 0x2120
movl %eax, %r12d
leaq 0x14(%rsp), %rbp
pushq $0x1
popq %r15
cmpb $0x73, %r12b
je 0x6af7
movq %rbx, %rdi
callq 0x2120
cmpb $0x3e, %r12b
movl %eax, %r12d
jne 0x6a3b
xorl %r13d, %r13d
movl %eax, %r12d
cmpb $0x3c, %r12b
je 0x6a6a
movb %r12b, 0x20(%rsp,%r13)
incq %r13
movq %rbx, %rdi
callq 0x2120
jmp 0x6a4f
movl %r13d, %eax
movb $0x0, 0x20(%rsp,%rax)
movq %rbx, %rdi
callq 0x2120
cmpb $0x3e, %r12b
movl %eax, %r12d
jne 0x6a72
movq 0x18(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0xbeef
movl %eax, 0x14(%rsp)
cmpl $-0x1, %eax
jne 0x6aae
leaq 0x206f7(%rip), %rdi     # 0x27199
xorl %eax, %eax
callq 0x2110
callq 0x2170
movq (%r14), %rdx
movl 0x8(%r14), %ecx
movq %rbp, %rdi
movl %r15d, %esi
movq 0x8(%rsp), %r8
callq 0x2440
movq %rax, %r13
movq (%r14), %rdi
callq 0x2030
movq %r13, (%r14)
cmpb $0x3e, %r12b
je 0x6a31
movzbl %r12b, %eax
cmpl $0x73, %eax
je 0x6a31
movq %rbx, %rdi
callq 0x2120
movl %eax, %r12d
jmp 0x6ad3
movb $0x73, %r15b
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
cmpb $0xa, %r15b
movl %ebp, %r15d
jne 0x6afa
cmpb $0x0, 0x18(%r14)
je 0x6b35
movq %rbx, %rdi
movq 0x18(%rsp), %r15
movq %r15, %rsi
callq 0x68d3
movq %rax, 0x20(%r14)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x68d3
jmp 0x6b3c
andq $0x0, 0x20(%r14)
xorl %eax, %eax
movq %rax, 0x28(%r14)
cmpb $0xa, %bpl
je 0x6b52
movq %rbx, %rdi
callq 0x2120
movl %eax, %ebp
jmp 0x6b40
movq %r14, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq