// File: /workspace/github_cpp_makefile_star2_O3/ncbi[P]amr/seq.cpp
// Function: Seq_sp::Mutation::replace(Seq_sp::Dna&) const
void Mutation::replace (Dna &refDna) const
{
  ASSERT (! prot);
  ASSERT (stop () <= refDna. seq. size ());
  ASSERT (refDna. seq. substr (pos, ref. size ()) == ref);
  refDna. seq. replace (pos, ref. size (), allele);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rsi, %rbx
movq %rdi, %r14
callq 0xb070
movl $0x0, (%rax)
cmpb $0x1, 0x8(%r14)
je 0x860d0
movq 0x30(%r14), %rdx
movq 0x40(%r14), %rcx
leaq (%rcx,%rdx), %rax
cmpq 0x30(%rbx), %rax
ja 0x8616f
addq $0x28, %rbx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xb5d0
movq 0x8(%r15), %rdx
cmpq 0x40(%r14), %rdx
jne 0x86077
movq 0x8(%rsp), %r15
testq %rdx, %rdx
je 0x86080
movq 0x38(%r14), %rsi
movq %r15, %rdi
callq 0xb5c0
testl %eax, %eax
sete %bpl
jmp 0x86083
movq 0x8(%rsp), %r15
xorl %ebp, %ebp
jmp 0x86083
movb $0x1, %bpl
leaq 0x18(%rsp), %r12
cmpq %r12, %r15
je 0x8609d
movq 0x18(%rsp), %rsi
incq %rsi
movq %r15, %rdi
callq 0xb5a0
testb %bpl, %bpl
je 0x8620e
movq 0x30(%r14), %rsi
movq 0x40(%r14), %rdx
movq 0x58(%r14), %rcx
movq 0x60(%r14), %r8
movq %rbx, %rdi
callq 0xb620
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xb6b0
testl %eax, %eax
jne 0x862ad
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x11f62(%rip), %rsi     # 0x98052
leaq 0x11f6b(%rip), %rdx     # 0x98062
leaq 0x88(%rsp), %rdi
callq 0xdc76
leaq 0xa8(%rsp), %rdi
movl $0x1230, %esi           # imm = 0x1230
callq 0xe1b2
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xe10a
leaq 0xd097(%rip), %rsi      # 0x931d1
leaq 0xc8(%rsp), %rdi
callq 0xbb10
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x862b7
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x862c4
callq 0xb6b0
testl %eax, %eax
jne 0x862ad
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x11ec3(%rip), %rsi     # 0x98052
leaq 0x11ecc(%rip), %rdx     # 0x98062
leaq 0x88(%rsp), %rdi
callq 0xdc76
leaq 0xa8(%rsp), %rdi
movl $0x1231, %esi           # imm = 0x1231
callq 0xe1b2
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xe10a
leaq 0xcff8(%rip), %rsi      # 0x931d1
leaq 0xc8(%rsp), %rdi
callq 0xbb10
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x86338
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x86345
callq 0xb6b0
testl %eax, %eax
jne 0x862ad
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x11e24(%rip), %rsi     # 0x98052
leaq 0x11e2d(%rip), %rdx     # 0x98062
leaq 0x88(%rsp), %rdi
callq 0xdc76
leaq 0xa8(%rsp), %rdi
movl $0x1232, %esi           # imm = 0x1232
callq 0xe1b2
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xe10a
leaq 0xcf59(%rip), %rsi      # 0x931d1
leaq 0xc8(%rsp), %rdi
callq 0xbb10
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x863b9
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x863c6
movl $0x1, %edi
callq 0xb6d0
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x1323a(%rip), %rsi     # 0x99527
leaq 0x1325e(%rip), %rdx     # 0x99552
leaq 0x68(%rsp), %rdi
callq 0xdc76
leaq 0xd5ac(%rip), %rsi      # 0x938b1
leaq 0x68(%rsp), %rdi
callq 0xbb10
leaq 0x58(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x86438
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x86445
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x78(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x131b9(%rip), %rsi     # 0x99527
leaq 0x131dd(%rip), %rdx     # 0x99552
leaq 0x68(%rsp), %rdi
callq 0xdc76
leaq 0xd52b(%rip), %rsi      # 0x938b1
leaq 0x68(%rsp), %rdi
callq 0xbb10
leaq 0x58(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x864af
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x864bc
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x78(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x13139(%rip), %rsi     # 0x99527
leaq 0x1315d(%rip), %rdx     # 0x99552
leaq 0x68(%rsp), %rdi
callq 0xdc76
leaq 0xd4ab(%rip), %rsi      # 0x938b1
leaq 0x68(%rsp), %rdi
callq 0xbb10
leaq 0x58(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x86526
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x86533
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
movq 0x8(%rax), %rsi
leaq 0x48(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xe8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xe10a
leaq 0x130d9(%rip), %rsi     # 0x99553
leaq 0xe8(%rsp), %rdi
callq 0xbb10
leaq 0x18(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x86593
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x865a0
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
movq 0x8(%rax), %rsi
leaq 0x48(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xe8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xe10a
leaq 0x13069(%rip), %rsi     # 0x9955a
leaq 0xe8(%rsp), %rdi
callq 0xbb10
leaq 0x18(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x865c1
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x865ce
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
movq 0x8(%rax), %rsi
leaq 0x48(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xe8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xe10a
leaq 0x13012(%rip), %rsi     # 0x9957a
leaq 0xe8(%rsp), %rdi
callq 0xbb10
movq %r12, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x865ef
movups (%rcx), %xmm0
movups %xmm0, (%r12)
jmp 0x865fc
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x1155a
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x1155a
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x1155a
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x8663c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x8663c
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x866a8
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x866a8
jmp 0x86663
jmp 0x8667f
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x86682
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86682
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x866c6
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x866c6
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x866e2
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x866e2
jmp 0x866c3
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x866f3
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x866f3
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r13, %rdi
jne 0x866fd
jmp 0x86713
jmp 0x866f0
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x86713
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86713
jmp 0x86710
jmp 0x86710
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x86733
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86733
jmp 0x86730
jmp 0x86730
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8675d
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x8675d
jmp 0x8675a
jmp 0x8675a
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86787
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86787
jmp 0x86784
jmp 0x86784
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r14, %rdi
je 0x867ad
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x867ad
jmp 0x867aa
jmp 0x867aa
movq %rax, %rbx
movq %rbx, %rdi
callq 0xba60
nop