// File: /workspace/github_c_makefile_star2_O3/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 $0x68, %rsp
movq %rsi, 0x8(%rsp)
movq %rdi, %rbx
callq 0x7394
movq %rax, %r14
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x74ef
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x74fb
leaq 0xc(%r14), %rdx
leaq 0x256eb(%rip), %rsi     # 0x2cbfd
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x751c
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x7528
leaq 0x10(%r14), %rdx
leaq 0x256be(%rip), %rsi     # 0x2cbfd
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x7549
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x7555
leaq 0x14(%r14), %rdx
leaq 0x25691(%rip), %rsi     # 0x2cbfd
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x7576
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x7582
leaq 0x25668(%rip), %rsi     # 0x2cbfd
leaq 0x10(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rdx
xorl %eax, %eax
callq 0x2080
movb (%r15), %al
movb %al, 0x18(%r14)
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x75ae
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x75ba
movl $0x0, 0x8(%r14)
movq $0x0, (%r14)
movq %rbx, %rdi
callq 0x2130
movl %eax, %r15d
cmpb $0x73, %r15b
je 0x76c4
movq %r14, %r12
addq $0x8, %r12
leaq 0x4(%rsp), %rbp
cmpb $0x3e, %r15b
je 0x7608
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x75fc
movq %rbx, %rdi
callq 0x2130
cmpb $0x3c, %al
jne 0x7618
xorl %eax, %eax
jmp 0x7632
xorl %r15d, %r15d
movb %al, 0x10(%rsp,%r15)
incq %r15
movq %rbx, %rdi
callq 0x2130
cmpb $0x3c, %al
jne 0x761b
movl %r15d, %eax
movb $0x0, 0x10(%rsp,%rax)
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x7637
movq %rbx, %rdi
callq 0x2130
movl %eax, %r15d
movq 0x8(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xd26e
movl %eax, 0x4(%rsp)
cmpl $-0x1, %eax
jne 0x7679
leaq 0x21b8c(%rip), %rdi     # 0x291f9
xorl %eax, %eax
callq 0x2110
callq 0x2180
movq (%r14), %rdx
movl 0x8(%r14), %ecx
movq %rbp, %rdi
movl $0x1, %esi
movq %r12, %r8
callq 0x2544
movq %rax, %r13
movq (%r14), %rdi
callq 0x2030
movq %r13, (%r14)
cmpb $0x3e, %r15b
je 0x76ba
movzbl %r15b, %eax
cmpl $0x73, %eax
je 0x76ba
movq %rbx, %rdi
callq 0x2130
movl %eax, %r15d
jmp 0x769e
cmpb $0x73, %r15b
jne 0x75f6
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x76c4
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0x0, 0x18(%r14)
je 0x7702
movq %rbx, %rdi
movq 0x8(%rsp), %r15
movq %r15, %rsi
callq 0x74d1
movq %rax, 0x20(%r14)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x74d1
jmp 0x770c
movq $0x0, 0x20(%r14)
xorl %eax, %eax
movq %rax, 0x28(%r14)
cmpb $0xa, %bpl
je 0x7722
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x7716
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq