// File: /workspace/github_c_makefile_star2_O1/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 0x6fb4
movq %rax, %r14
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0xa, %bpl
jne 0x70ff
jmp 0x711b
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x7111
leaq 0xc(%r14), %rdx
leaq 0x25a71(%rip), %rsi     # 0x2cb9d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
cmpb $0xa, %bpl
je 0x7152
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
jmp 0x7136
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x7148
leaq 0x10(%r14), %rdx
leaq 0x25a3a(%rip), %rsi     # 0x2cb9d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
cmpb $0xa, %bpl
je 0x7189
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
jmp 0x716d
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x717f
leaq 0x14(%r14), %rdx
leaq 0x25a03(%rip), %rsi     # 0x2cb9d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x2080
cmpb $0xa, %bpl
je 0x71c0
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
jmp 0x71a4
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0x3e, %bpl
jne 0x71b6
leaq 0x259d0(%rip), %rsi     # 0x2cb9d
leaq 0x10(%rsp), %r15
movq %rbx, %rdi
movq %r15, %rdx
xorl %eax, %eax
callq 0x2080
movb (%r15), %al
movb %al, 0x18(%r14)
cmpb $0xa, %bpl
je 0x71f8
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
jmp 0x71e6
cmpb $0x3e, %bpl
je 0x720a
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x71fe
movl $0x0, 0x8(%r14)
movq $0x0, (%r14)
movq %rbx, %rdi
callq 0x2130
movl %eax, %r15d
cmpb $0x73, %r15b
je 0x7307
movq %r14, %r12
addq $0x8, %r12
leaq 0x4(%rsp), %rbp
cmpb $0x3e, %r15b
je 0x724c
movq %rbx, %rdi
callq 0x2130
cmpb $0x3e, %al
jne 0x7240
movq %rbx, %rdi
callq 0x2130
cmpb $0x3c, %al
jne 0x725c
xorl %ecx, %ecx
jmp 0x7276
xorl %r15d, %r15d
movb %al, 0x10(%rsp,%r15)
incq %r15
movq %rbx, %rdi
callq 0x2130
cmpb $0x3c, %al
jne 0x725f
movl %r15d, %ecx
movb $0x0, 0x10(%rsp,%rcx)
movq %rbx, %rdi
cmpb $0x3e, %al
je 0x7289
callq 0x2130
jmp 0x727b
callq 0x2130
movl %eax, %r15d
movq 0x8(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xce96
movl %eax, 0x4(%rsp)
cmpl $-0x1, %eax
jne 0x72bc
leaq 0x21ee9(%rip), %rdi     # 0x29199
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 0x72fd
movzbl %r15b, %eax
cmpl $0x73, %eax
je 0x72fd
movq %rbx, %rdi
callq 0x2130
movl %eax, %r15d
jmp 0x72e1
cmpb $0x73, %r15b
jne 0x723a
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x7307
movq %rbx, %rdi
callq 0x2130
movl %eax, %ebp
cmpb $0x0, 0x18(%r14)
je 0x7349
movq %rbx, %rdi
movq 0x8(%rsp), %r15
movq %r15, %rsi
callq 0x70e1
movq %rax, 0x20(%r14)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x70e1
movq %rax, 0x28(%r14)
jmp 0x7351
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%r14)
cmpb $0xa, %bpl
je 0x7363
movq %rbx, %rdi
callq 0x2130
cmpb $0xa, %al
jne 0x7357
movq %r14, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq