// File: /workspace/github_cpp_makefile_star2_O1/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 0x86513
movl $0x0, (%rax)
movq 0x30(%r14), %rdx
movq 0x40(%r14), %rcx
addq %rdx, %rcx
cmpq 0x30(%rbx), %rcx
ja 0x865b2
addq $0x28, %rbx
movl $0x0, (%rax)
movq 0x40(%r14), %rcx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0xb5d0
movq 0x8(%r15), %rdx
cmpq 0x40(%r14), %rdx
jne 0x864bd
testq %rdx, %rdx
je 0x864c1
movq 0x38(%r14), %rsi
movq 0x8(%rsp), %rdi
callq 0xb5c0
testl %eax, %eax
sete %bpl
jmp 0x864c4
xorl %ebp, %ebp
jmp 0x864c4
movb $0x1, %bpl
leaq 0x18(%rsp), %r12
movq -0x10(%r12), %rdi
cmpq %r12, %rdi
je 0x864e0
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb5a0
testb %bpl, %bpl
je 0x86651
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 0x866f0
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x11b2f(%rip), %rsi     # 0x98062
leaq 0x11b38(%rip), %rdx     # 0x98072
leaq 0x88(%rsp), %rdi
callq 0xdc76
leaq 0xa8(%rsp), %rdi
movl $0x1230, %esi           # imm = 0x1230
callq 0xe1a8
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xe100
leaq 0xcc54(%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 0x866fa
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x86707
callq 0xb6b0
testl %eax, %eax
jne 0x866f0
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x11a90(%rip), %rsi     # 0x98062
leaq 0x11a99(%rip), %rdx     # 0x98072
leaq 0x88(%rsp), %rdi
callq 0xdc76
leaq 0xa8(%rsp), %rdi
movl $0x1231, %esi           # imm = 0x1231
callq 0xe1a8
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xe100
leaq 0xcbb5(%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 0x8677b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x86788
callq 0xb6b0
testl %eax, %eax
jne 0x866f0
leaq 0x98(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x119f1(%rip), %rsi     # 0x98062
leaq 0x119fa(%rip), %rdx     # 0x98072
leaq 0x88(%rsp), %rdi
callq 0xdc76
leaq 0xa8(%rsp), %rdi
movl $0x1232, %esi           # imm = 0x1232
callq 0xe1a8
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0xe100
leaq 0xcb16(%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 0x867fc
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x86809
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 0x12e07(%rip), %rsi     # 0x99537
leaq 0x12e2b(%rip), %rdx     # 0x99562
leaq 0x68(%rsp), %rdi
callq 0xdc76
leaq 0xd169(%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 0x8687b
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x86888
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 0x12d86(%rip), %rsi     # 0x99537
leaq 0x12daa(%rip), %rdx     # 0x99562
leaq 0x68(%rsp), %rdi
callq 0xdc76
leaq 0xd0e8(%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 0x868f2
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x868ff
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 0x12d06(%rip), %rsi     # 0x99537
leaq 0x12d2a(%rip), %rdx     # 0x99562
leaq 0x68(%rsp), %rdi
callq 0xdc76
leaq 0xd068(%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 0x86969
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x86976
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 0xe100
leaq 0x12ca6(%rip), %rsi     # 0x99563
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 0x869d6
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x869e3
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 0xe100
leaq 0x12c36(%rip), %rsi     # 0x9956a
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 0x86a04
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
jmp 0x86a11
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 0xe100
leaq 0x12bdf(%rip), %rsi     # 0x9958a
leaq 0xe8(%rsp), %rdi
callq 0xbb10
movq %r12, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x86a32
movups (%rcx), %xmm0
movups %xmm0, (%r12)
jmp 0x86a3f
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 0x1151b
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 0x1151b
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 0x1151b
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x86a7f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86a7f
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86aeb
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86aeb
jmp 0x86aa6
jmp 0x86ac2
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x86ac5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86ac5
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86b09
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86b09
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x86b25
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86b25
jmp 0x86b06
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x86b36
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86b36
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r13, %rdi
jne 0x86b40
jmp 0x86b56
jmp 0x86b33
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0x86b56
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86b56
jmp 0x86b53
jmp 0x86b53
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x86b76
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86b76
jmp 0x86b73
jmp 0x86b73
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86ba0
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86ba0
jmp 0x86b9d
jmp 0x86b9d
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86bca
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86bca
jmp 0x86bc7
jmp 0x86bc7
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r14, %rdi
je 0x86bf0
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xb5a0
jmp 0x86bf0
jmp 0x86bed
jmp 0x86bed
movq %rax, %rbx
movq %rbx, %rdi
callq 0xba60