// File: /workspace/github_cpp_makefile_star2_O3/mirkat1206[P]Quine-McCluskey-Petrick-Method/Quine_McCluskey.cpp
// Function: Quine_McCluskey::Generate_Prime_Impli()
void Quine_McCluskey::Generate_Prime_Impli() {
	vector<bool> flag;
	int size = Impli.size() ;
	for( int i=0 ; i<size ; i++ )
		flag.push_back( false );
	
	string s;
	vector<string> temp;
	for( int i=0 ; i<size ; i++ ) {
		for( int j=i+1 ; j<size ; j++ ) {
			if( is_GrayCode( Impli[i] , Impli[j] ) ) {
				string s = Merge( Impli[i] , Impli[j] ) ;
				if( find( temp.begin() , temp.end() , s )==temp.end() )
					temp.push_back( s );
				flag[i] = true ;
				flag[j] = true ;
			}
		}
		if( flag[i]==false ) 
			Prime_Impli.push_back( Impli[i] );
	}
	Impli.clear();
	size = temp.size() ;
	for( int i=0 ; i<size ; i++ )
		Impli.push_back( temp[i] );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x148, %rsp            # imm = 0x148
xorl %eax, %eax
movq %rax, -0xf0(%rbp)
movl %eax, -0xe8(%rbp)
movq %rax, -0xe0(%rbp)
movl %eax, -0xd8(%rbp)
movq %rax, -0xd0(%rbp)
leaq 0x50(%rdi), %r14
movq 0x58(%rdi), %rbx
movq %rdi, -0x80(%rbp)
subq 0x50(%rdi), %rbx
shrq $0x5, %rbx
testl %ebx, %ebx
movq %r14, -0x30(%rbp)
jle 0x3474
leaq -0xf0(%rbp), %r14
movl %ebx, %r15d
movq %r14, %rdi
xorl %esi, %esi
callq 0x3c1c
decl %r15d
jne 0x3109
xorl %eax, %eax
leaq -0x160(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq %rax, -0x8(%rcx)
movb $0x0, (%rcx)
movq %rax, -0x40(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x50(%rbp)
testl %ebx, %ebx
movq %rcx, -0x78(%rbp)
jle 0x3499
addq $0x68, -0x80(%rbp)
andl $0x7fffffff, %ebx       # imm = 0x7FFFFFFF
movl $0x1, %r15d
xorl %esi, %esi
movq -0x30(%rbp), %r14
leaq 0x1(%rsi), %r12
cmpq %rbx, %r12
jae 0x3436
movq %r12, -0xf8(%rbp)
movq %rsi, %rax
movl $0x1, %r13d
movl %esi, %ecx
shlq %cl, %r13
shrq $0x6, %rax
movq %rax, -0x110(%rbp)
movq %rsi, -0x100(%rbp)
shlq $0x5, %rsi
movq %rsi, -0x88(%rbp)
movq %r15, -0x108(%rbp)
movq (%r14), %rax
leaq -0xb8(%rbp), %rcx
movq %rcx, -0xc8(%rbp)
movq -0x88(%rbp), %rcx
movq (%rax,%rcx), %rsi
movq 0x8(%rax,%rcx), %rdx
addq %rsi, %rdx
leaq -0xc8(%rbp), %rdi
callq 0x3cbc
movq %r13, %r12
movq (%r14), %rax
movq %r15, %r13
shlq $0x5, %r13
leaq -0x140(%rbp), %rcx
movq %rcx, -0x150(%rbp)
movq (%rax,%r13), %rsi
movq 0x8(%rax,%r13), %rdx
addq %rsi, %rdx
leaq -0x150(%rbp), %rdi
callq 0x3cbc
movq -0xc0(%rbp), %rax
xorl %r14d, %r14d
movq -0x150(%rbp), %rdi
testl %eax, %eax
jle 0x3248
movq -0xc8(%rbp), %rcx
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
xorl %edx, %edx
movb (%rcx,%rdx), %sil
xorl %r8d, %r8d
cmpb (%rdi,%rdx), %sil
setne %r8b
addl %r8d, %r14d
incq %rdx
cmpq %rdx, %rax
jne 0x3226
cmpl $0x1, %r14d
sete %r14b
leaq -0x140(%rbp), %rax
cmpq %rax, %rdi
je 0x3263
movq -0x140(%rbp), %rsi
incq %rsi
callq 0x21d0
movq -0xc8(%rbp), %rdi
leaq -0xb8(%rbp), %rax
cmpq %rax, %rdi
je 0x3285
movq -0xb8(%rbp), %rsi
incq %rsi
callq 0x21d0
testb %r14b, %r14b
movq -0x30(%rbp), %r14
je 0x3410
movq (%r14), %rax
leaq -0x60(%rbp), %rcx
movq %rcx, -0x70(%rbp)
movq -0x88(%rbp), %rcx
movq (%rax,%rcx), %rsi
movq 0x8(%rax,%rcx), %rdx
addq %rsi, %rdx
leaq -0x70(%rbp), %rdi
callq 0x3cbc
movq (%r14), %rax
leaq -0x120(%rbp), %rcx
movq %rcx, -0x130(%rbp)
movq (%rax,%r13), %rsi
movq 0x8(%rax,%r13), %rdx
addq %rsi, %rdx
leaq -0x130(%rbp), %rdi
callq 0x3cbc
movq -0x70(%rbp), %rax
movq -0x130(%rbp), %rcx
movb (%rax), %dl
cmpb (%rcx), %dl
leaq -0x98(%rbp), %r13
jne 0x3311
xorl %esi, %esi
leaq 0x1(%rsi), %rdx
movb 0x1(%rax,%rsi), %dil
cmpb 0x1(%rcx,%rsi), %dil
movq %rdx, %rsi
je 0x32fc
jmp 0x3313
xorl %edx, %edx
movb $0x2d, (%rax,%rdx)
movq %r13, -0xa8(%rbp)
movq -0x70(%rbp), %rax
leaq -0x60(%rbp), %rcx
cmpq %rcx, %rax
je 0x333f
movq %rax, -0xa8(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x98(%rbp)
jmp 0x3347
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq -0x68(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq %rcx, -0x70(%rbp)
movq $0x0, -0x68(%rbp)
movb $0x0, -0x60(%rbp)
movq -0x130(%rbp), %rax
movq %rcx, %rdi
leaq -0x120(%rbp), %rdx
cmpq %rdx, %rax
je 0x3392
movq -0x120(%rbp), %rsi
incq %rsi
movq %rax, %rdi
callq 0x21d0
leaq -0x60(%rbp), %rcx
movq -0x70(%rbp), %rdi
cmpq %rcx, %rdi
je 0x33a3
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x21d0
movq -0x50(%rbp), %rdi
movq -0x48(%rbp), %rsi
leaq -0xa8(%rbp), %rdx
callq 0x56b7
cmpq -0x48(%rbp), %rax
jne 0x33cd
leaq -0x50(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x3c70
movq -0xf0(%rbp), %rax
movq -0x110(%rbp), %rcx
orq %r12, (%rax,%rcx,8)
movq %r15, %rdx
movl $0x1, %esi
movl %r15d, %ecx
shlq %cl, %rsi
shrq $0x6, %rdx
orq %rsi, (%rax,%rdx,8)
movq -0xa8(%rbp), %rdi
cmpq %r13, %rdi
je 0x3410
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x21d0
incq %r15
cmpq %rbx, %r15
movq %r12, %r13
jne 0x31a0
movq -0x108(%rbp), %r15
movq -0x100(%rbp), %rsi
movq -0xf8(%rbp), %r12
jmp 0x3441
movl $0x1, %r13d
movl %esi, %ecx
shlq %cl, %r13
movq -0xf0(%rbp), %rax
movl %esi, %ecx
shrl $0x6, %ecx
testq %r13, (%rax,%rcx,8)
jne 0x3463
shlq $0x5, %rsi
addq (%r14), %rsi
movq -0x80(%rbp), %rdi
callq 0x3c70
incq %r15
movq %r12, %rsi
cmpq %rbx, %r12
jne 0x315a
jmp 0x349d
leaq -0x160(%rbp), %rcx
movq %rcx, -0x10(%rcx)
xorl %eax, %eax
movq %rax, -0x8(%rcx)
movq %rcx, -0x78(%rbp)
movb $0x0, (%rcx)
movq %rax, -0x40(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x50(%rbp)
jmp 0x349d
movq -0x30(%rbp), %r14
movq (%r14), %rsi
movq %r14, %rdi
callq 0x59fc
movq -0x48(%rbp), %r14
subq -0x50(%rbp), %r14
shrq $0x5, %r14
testl %r14d, %r14d
jle 0x34dc
andl $0x7fffffff, %r14d      # imm = 0x7FFFFFFF
xorl %r15d, %r15d
movq -0x50(%rbp), %rsi
addq %r15, %rsi
movq -0x30(%rbp), %rdi
callq 0x3c70
addq $0x20, %r15
decq %r14
jne 0x34c3
leaq -0x50(%rbp), %rdi
callq 0x2c02
movq -0x170(%rbp), %rdi
cmpq -0x78(%rbp), %rdi
je 0x3501
movq -0x160(%rbp), %rsi
incq %rsi
callq 0x21d0
movq -0xf0(%rbp), %rdi
testq %rdi, %rdi
je 0x351c
movq -0xd0(%rbp), %rsi
subq %rdi, %rsi
callq 0x21d0
addq $0x148, %rsp            # imm = 0x148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x3593
jmp 0x3593
movq %rax, %rbx
jmp 0x35bb
jmp 0x353e
jmp 0x3593
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r13, %rdi
je 0x3596
movq -0x98(%rbp), %rsi
jmp 0x3589
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x3596
movq -0x60(%rbp), %rsi
jmp 0x3589
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
leaq -0xb8(%rbp), %rax
cmpq %rax, %rdi
je 0x3596
movq -0xb8(%rbp), %rsi
incq %rsi
callq 0x21d0
jmp 0x3596
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0x2c02
movq -0x170(%rbp), %rdi
cmpq -0x78(%rbp), %rdi
je 0x35bb
movq -0x160(%rbp), %rsi
incq %rsi
callq 0x21d0
movq -0xf0(%rbp), %rdi
testq %rdi, %rdi
je 0x35d6
movq -0xd0(%rbp), %rsi
subq %rdi, %rsi
callq 0x21d0
movq %rbx, %rdi
callq 0x22e0