// File: /workspace/github_cpp_makefile_star2_O2/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 %r12
pushq %rbx
subq $0x110, %rsp            # imm = 0x110
movq %rsi, %r14
movq %rdi, %rbx
callq 0xc070
andl $0x0, (%rax)
cmpb $0x1, 0x8(%rbx)
je 0x56962
movq 0x30(%rbx), %rdx
movq 0x40(%rbx), %rcx
leaq (%rcx,%rdx), %rax
cmpq 0x30(%r14), %rax
ja 0x56a36
addq $0x28, %r14
leaq 0x38(%rbx), %r15
leaq 0x10(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0xc5f0
movq %r12, %rdi
movq %r15, %rsi
callq 0x2a27e
movl %eax, %ebp
movq %r12, %rdi
callq 0xcbe8
testb %bpl, %bpl
je 0x56b0a
movq 0x30(%rbx), %rsi
movq 0x40(%rbx), %rdx
addq $0x58, %rbx
movq %r14, %rdi
movq %rbx, %rcx
callq 0xc230
addq $0x110, %rsp            # imm = 0x110
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
callq 0xc6d0
testl %eax, %eax
jne 0x56bde
leaq 0xc69c(%rip), %rsi      # 0x63012
leaq 0x90(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0xdbbe
leaq 0x70(%rsp), %rdi
movl $0x1230, %esi           # imm = 0x1230
callq 0xe2d5
leaq 0xb0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xe26e
leaq 0x7819(%rip), %rdx      # 0x5e1d1
leaq 0xd0(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0xe24f
leaq 0xdb24(%rip), %rsi      # 0x644f8
leaq 0x30(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0xdbbe
leaq 0x7ee2(%rip), %rdx      # 0x5e8cc
leaq 0x50(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0xe24f
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xe26e
leaq 0xdb0a(%rip), %rdx      # 0x64524
leaq 0x10(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0xe24f
leaq 0x10(%rsp), %rdi
callq 0x101d0
callq 0xc6d0
testl %eax, %eax
jne 0x56bde
leaq 0xc5c8(%rip), %rsi      # 0x63012
leaq 0x90(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0xdbbe
leaq 0x70(%rsp), %rdi
movl $0x1231, %esi           # imm = 0x1231
callq 0xe2d5
leaq 0xb0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xe26e
leaq 0x7745(%rip), %rdx      # 0x5e1d1
leaq 0xd0(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0xe24f
leaq 0xda50(%rip), %rsi      # 0x644f8
leaq 0x30(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0xdbbe
leaq 0x7e0e(%rip), %rdx      # 0x5e8cc
leaq 0x50(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0xe24f
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xe26e
leaq 0xda3d(%rip), %rdx      # 0x6452b
leaq 0x10(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0xe24f
leaq 0x10(%rsp), %rdi
callq 0x101d0
callq 0xc6d0
testl %eax, %eax
jne 0x56bde
leaq 0xc4f4(%rip), %rsi      # 0x63012
leaq 0x90(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0xdbbe
leaq 0x70(%rsp), %rdi
movl $0x1232, %esi           # imm = 0x1232
callq 0xe2d5
leaq 0xb0(%rsp), %rdi
leaq 0x90(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xe26e
leaq 0x7671(%rip), %rdx      # 0x5e1d1
leaq 0xd0(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0xe24f
leaq 0xd97c(%rip), %rsi      # 0x644f8
leaq 0x30(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0xdbbe
leaq 0x7d3a(%rip), %rdx      # 0x5e8cc
leaq 0x50(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0xe24f
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xe26e
leaq 0xd989(%rip), %rdx      # 0x6454b
leaq 0x10(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0xe24f
leaq 0x10(%rsp), %rdi
callq 0x101d0
pushq $0x1
popq %rdi
callq 0xc6f0
jmp 0x56bee
jmp 0x56bfd
jmp 0x56bee
jmp 0x56bfd
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0xcbe8
jmp 0x56c00
movq %rax, %rbx
leaq 0xf0(%rsp), %rdi
callq 0xcbe8
jmp 0x56c16
jmp 0x56c13
jmp 0x56c13
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0xcbe8
jmp 0x56c29
jmp 0x56c26
jmp 0x56c26
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xcbe8
jmp 0x56c3c
jmp 0x56c39
jmp 0x56c39
movq %rax, %rbx
leaq 0xd0(%rsp), %rdi
callq 0xcbe8
jmp 0x56c52
jmp 0x56c4f
jmp 0x56c4f
movq %rax, %rbx
leaq 0xb0(%rsp), %rdi
callq 0xcbe8
jmp 0x56c68
jmp 0x56c65
jmp 0x56c65
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
callq 0xcbe8
jmp 0x56c7b
jmp 0x56c78
jmp 0x56c78
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
callq 0xcbe8
jmp 0x56c91
jmp 0x56c8e
jmp 0x56c8e
movq %rax, %rbx
movq %rbx, %rdi
callq 0xcaa0
nop