// File: /workspace/github_cpp_makefile_star2_O1/davinash[P]regex/src/regex.cpp
// Function: RegEx::Or()
bool RegEx::Or() {

	Table  UpperTable, LowerTable;

	if(!PopTable(LowerTable) || !PopTable(UpperTable))
		return false;

	RegExState *LeftTable	= new RegExState(m_nNextStateID++);
	RegExState *RightTable	= new RegExState(m_nNextStateID++);
	
	LeftTable->AddTransition(EPSILON, ((*(UpperTable.begin()))));
	LeftTable->AddTransition(EPSILON, ((*(LowerTable.begin()))));
	((*(UpperTable.rbegin())))->AddTransition(EPSILON, RightTable);
	((*(LowerTable.rbegin())))->AddTransition(EPSILON, RightTable);

	LowerTable.push_back(RightTable);
	UpperTable.insert(UpperTable.begin(),LeftTable);
	UpperTable.insert(UpperTable.end(), LowerTable.begin(), LowerTable.end());

	m_CharacterClassStack.push(UpperTable);
	return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdi, %rbx
xorps %xmm0, %xmm0
movaps %xmm0, 0x30(%rsp)
xorl %eax, %eax
movq %rax, 0x40(%rsp)
leaq 0x10(%rsp), %rsi
movq %rax, 0x10(%rsi)
movaps %xmm0, (%rsi)
callq 0x500a
testb %al, %al
je 0x5ade
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x500a
testb %al, %al
je 0x5ade
movl $0x78, %edi
callq 0x2150
movq %rax, %r14
movl 0x14c(%rbx), %r12d
leal 0x1(%r12), %ebp
movl %ebp, 0x14c(%rbx)
leaq 0x83c4(%rip), %r13      # 0xdd80
addq $0x10, %r13
movq %r13, (%rax)
addq $0x10, %rax
xorl %r15d, %r15d
movl %r15d, 0x10(%r14)
movq %r15, 0x18(%r14)
movq %rax, 0x20(%r14)
movq %rax, 0x28(%r14)
movq %r15, 0x30(%r14)
movq %r14, %rax
addq $0x40, %rax
movl %r15d, 0x40(%r14)
movq %r15, 0x48(%r14)
movq %rax, 0x50(%r14)
movq %rax, 0x58(%r14)
movq %r15, 0x60(%r14)
movl %r12d, 0x68(%r14)
movb $0x0, 0x6c(%r14)
movl %r15d, 0x70(%r14)
movq %r14, 0x50(%rsp)
movl $0x78, %edi
callq 0x2150
addl $0x2, %r12d
movl %r12d, 0x14c(%rbx)
movq %r13, (%rax)
leaq 0x10(%rax), %rcx
movl %r15d, 0x10(%rax)
movq %r15, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq %rcx, 0x28(%rax)
movq %r15, 0x30(%rax)
movq %rax, %rcx
addq $0x40, %rcx
movl %r15d, 0x40(%rax)
movq %r15, 0x48(%rax)
movq %rcx, 0x50(%rax)
movq %rcx, 0x58(%rax)
movq %r15, 0x60(%rax)
movl %ebp, 0x68(%rax)
movb $0x0, 0x6c(%rax)
movl %r15d, 0x70(%rax)
movq %rax, 0x8(%rsp)
movq 0x30(%rsp), %rax
movq (%rax), %rdx
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x9520
movq 0x50(%rsp), %rdi
movq 0x10(%rsp), %rax
movq (%rax), %rdx
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x9520
movq 0x38(%rsp), %rax
movq -0x8(%rax), %rdi
movq 0x8(%rsp), %rdx
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x9520
movq 0x18(%rsp), %rax
movq -0x8(%rax), %rdi
movq 0x8(%rsp), %rdx
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x9520
movq 0x18(%rsp), %rsi
cmpq 0x20(%rsp), %rsi
je 0x5ae2
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x18(%rsp)
jmp 0x5af1
xorl %ebx, %ebx
jmp 0x5b2e
leaq 0x10(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x8c2e
leaq 0x30(%rsp), %rdi
movq (%rdi), %rsi
leaq 0x50(%rsp), %rdx
callq 0x7ac6
leaq 0x30(%rsp), %rdi
movq 0x8(%rdi), %rsi
movq 0x10(%rsp), %rdx
movq 0x18(%rsp), %rcx
callq 0x86e8
addq $0x30, %rbx
leaq 0x30(%rsp), %rsi
movq %rbx, %rdi
callq 0x8920
movb $0x1, %bl
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5b45
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x5b5c
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movl %ebx, %eax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x5b7d
jmp 0x5b7d
jmp 0x5b7d
jmp 0x5b7d
jmp 0x5b7d
jmp 0x5b7d
jmp 0x5b7d
jmp 0x5b7d
movq %rax, %rbx
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x5b97
movq 0x20(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x5bae
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movq %rbx, %rdi
callq 0x2260