// File: BenLangmead[P]bowtie/./range_source.h
// Function: BranchQueue::push(Branch*)
void push(Branch *b) {
#ifndef NDEBUG
		bool bIsBetter = empty() || !CostCompare()(b, branchQ_.top());
#endif
		if(verbose_) {
			stringstream ss;
			ss << patid_ << ": Pushing " << b->id_ << ", " << b << ", " << b->cost_ << ", " << b->exhausted_ << ", " << b->curtailed_ << ", " << sz_ << "->" << (sz_+1);
			glog.msg(ss.str());
		}
		branchQ_.push(b);
#ifndef NDEBUG
		assert(bIsBetter  || branchQ_.top() != b || CostCompare::equal(branchQ_.top(), b));
		assert(!bIsBetter || branchQ_.top() == b || CostCompare::equal(branchQ_.top(), b));
#endif
		sz_++;
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x240, %rsp            # imm = 0x240
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x1d0(%rbp)
testb $0x1, 0x2c(%rax)
je 0x42c79
leaq -0x198(%rbp), %rdi
callq 0xa3f0
movq -0x1d0(%rbp), %rax
leaq -0x188(%rbp), %rdi
movl 0x28(%rax), %esi
callq 0xa810
movq %rax, -0x1d8(%rbp)
jmp 0x42a63
movq -0x1d8(%rbp), %rdi
leaq 0x4a226(%rip), %rsi     # 0x8cc97
callq 0xa5d0
movq %rax, -0x1e0(%rbp)
jmp 0x42a7f
movq -0x1e0(%rbp), %rdi
movq -0x10(%rbp), %rax
movl (%rax), %esi
callq 0xa810
movq %rax, -0x1e8(%rbp)
jmp 0x42a9a
movq -0x1e8(%rbp), %rdi
leaq 0x477a9(%rip), %rsi     # 0x8a251
callq 0xa5d0
movq %rax, -0x1f0(%rbp)
jmp 0x42ab6
movq -0x1f0(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0xa490
movq %rax, -0x1f8(%rbp)
jmp 0x42acf
movq -0x1f8(%rbp), %rdi
leaq 0x47774(%rip), %rsi     # 0x8a251
callq 0xa5d0
movq %rax, -0x200(%rbp)
jmp 0x42aeb
movq -0x200(%rbp), %rdi
movq -0x10(%rbp), %rax
movzwl 0x10(%rax), %esi
callq 0xaab0
movq %rax, -0x208(%rbp)
jmp 0x42b08
movq -0x208(%rbp), %rdi
leaq 0x4773b(%rip), %rsi     # 0x8a251
callq 0xa5d0
movq %rax, -0x210(%rbp)
jmp 0x42b24
movq -0x210(%rbp), %rdi
movq -0x10(%rbp), %rax
movzbl 0x83(%rax), %esi
andl $0x1, %esi
callq 0xab80
movq %rax, -0x218(%rbp)
jmp 0x42b47
movq -0x218(%rbp), %rdi
leaq 0x476fc(%rip), %rsi     # 0x8a251
callq 0xa5d0
movq %rax, -0x220(%rbp)
jmp 0x42b63
movq -0x220(%rbp), %rdi
movq -0x10(%rbp), %rax
movzbl 0x82(%rax), %esi
andl $0x1, %esi
callq 0xab80
movq %rax, -0x228(%rbp)
jmp 0x42b86
movq -0x228(%rbp), %rdi
leaq 0x476bd(%rip), %rsi     # 0x8a251
callq 0xa5d0
movq %rax, -0x230(%rbp)
jmp 0x42ba2
movq -0x230(%rbp), %rdi
movq -0x1d0(%rbp), %rax
movl (%rax), %esi
callq 0xa810
movq %rax, -0x238(%rbp)
jmp 0x42bc0
movq -0x238(%rbp), %rdi
leaq 0x4a0d4(%rip), %rsi     # 0x8cca2
callq 0xa5d0
movq %rax, -0x240(%rbp)
jmp 0x42bdc
movq -0x240(%rbp), %rdi
movq -0x1d0(%rbp), %rax
movl (%rax), %esi
incl %esi
callq 0xa810
jmp 0x42bf5
leaq -0x1c8(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0xa5c0
jmp 0x42c0a
leaq 0x68bc0(%rip), %rdi     # 0xab7d1
leaq -0x1c8(%rbp), %rsi
callq 0x41740
jmp 0x42c1f
leaq -0x1c8(%rbp), %rdi
callq 0xacd8
leaq -0x198(%rbp), %rdi
callq 0xa440
jmp 0x42c79
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
jmp 0x42c6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1a0(%rbp)
movl %eax, -0x1a4(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0xacd8
leaq -0x198(%rbp), %rdi
callq 0xa440
jmp 0x42ca4
movq -0x1d0(%rbp), %rdi
addq $0x8, %rdi
leaq -0x10(%rbp), %rsi
callq 0x42f50
movq -0x1d0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
addq $0x240, %rsp            # imm = 0x240
popq %rbp
retq
movq -0x1a0(%rbp), %rdi
callq 0xab60