// File: ncbi[P]amr/seq.cpp
// Function: Seq_sp::PeptideOrf::qc() const
void PeptideOrf::qc () const
{
  if (! qc_on)
    return;

	if (empty ())
		return;

  QC_ASSERT (isStrand (strand));
  QC_IMPLY (! strand, ! translationStart);  	

  QC_ASSERT (start <= stop);
  QC_IMPLY (start == stop, ! startM && stopTerminator);
  QC_IMPLY (start, startM);
}

// Assembly:
subq $0x5c8, %rsp            # imm = 0x5C8
movq %rdi, 0x5c0(%rsp)
movq 0x5c0(%rsp), %rax
movq %rax, 0x58(%rsp)
leaq 0x678c5(%rip), %rax     # 0x120c58
testb $0x1, (%rax)
jne 0xb939d
jmp 0xba120
movq 0x58(%rsp), %rdi
callq 0xd84d0
testb $0x1, %al
jne 0xb93ad
jmp 0xb93b2
jmp 0xba120
callq 0xd0a0
movq %rax, %rcx
movq 0x58(%rsp), %rax
movl $0x0, (%rcx)
movsbl 0x10(%rax), %edi
callq 0xd84a0
testb $0x1, %al
jne 0xb965d
callq 0xd8c0
cmpl $0x0, %eax
jne 0xb9653
leaq 0x51f(%rsp), %rdi
movq %rdi, 0x50(%rsp)
callq 0xdd50
movq 0x50(%rsp), %rdx
leaq 0x2f044(%rip), %rsi     # 0xe8446
leaq 0x520(%rsp), %rdi
callq 0xfae0
jmp 0xb9411
leaq 0x4e8(%rsp), %rdi
movl $0xd4e, %esi            # imm = 0xD4E
callq 0x11600
jmp 0xb9425
leaq 0x540(%rsp), %rdi
leaq 0x520(%rsp), %rsi
leaq 0x4e8(%rsp), %rdx
callq 0x11510
jmp 0xb9444
leaq 0x29d86(%rip), %rdx     # 0xe31d1
leaq 0x560(%rsp), %rdi
leaq 0x540(%rsp), %rsi
callq 0x114c0
jmp 0xb9462
leaq 0x4a7(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0xdd50
movq 0x48(%rsp), %rdx
leaq 0x2fa08(%rip), %rsi     # 0xe8e88
leaq 0x4a8(%rsp), %rdi
callq 0xfae0
jmp 0xb948f
leaq 0x2a50e(%rip), %rdx     # 0xe39a4
leaq 0x4c8(%rsp), %rdi
leaq 0x4a8(%rsp), %rsi
callq 0x114c0
jmp 0xb94ad
leaq 0x580(%rsp), %rdi
leaq 0x560(%rsp), %rsi
leaq 0x4c8(%rsp), %rdx
callq 0x11510
jmp 0xb94cc
leaq 0x2f934(%rip), %rdx     # 0xe8e07
leaq 0x5a0(%rsp), %rdi
leaq 0x580(%rsp), %rsi
callq 0x114c0
jmp 0xb94ea
leaq 0x5a0(%rsp), %rdi
callq 0x173d0
jmp 0xb94f9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9641
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9634
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9627
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb961a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9600
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb95f3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb95e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb95d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x5a0(%rsp), %rdi
callq 0xdf08
leaq 0x580(%rsp), %rdi
callq 0xdf08
leaq 0x4c8(%rsp), %rdi
callq 0xdf08
leaq 0x4a8(%rsp), %rdi
callq 0xdf08
leaq 0x4a7(%rsp), %rdi
callq 0xd7a0
leaq 0x560(%rsp), %rdi
callq 0xdf08
leaq 0x540(%rsp), %rdi
callq 0xdf08
leaq 0x4e8(%rsp), %rdi
callq 0xdf08
leaq 0x520(%rsp), %rdi
callq 0xdf08
leaq 0x51f(%rsp), %rdi
callq 0xd7a0
jmp 0xba128
movl $0x1, %edi
callq 0xd8e0
movq 0x58(%rsp), %rax
cmpb $0x0, 0x10(%rax)
jne 0xb9913
callq 0xd0a0
movq %rax, %rcx
movq 0x58(%rsp), %rax
movl $0x0, (%rcx)
cmpq $0x0, 0x8(%rax)
je 0xb9911
callq 0xd8c0
cmpl $0x0, %eax
jne 0xb9907
leaq 0x3ff(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0xdd50
movq 0x40(%rsp), %rdx
leaq 0x2ed90(%rip), %rsi     # 0xe8446
leaq 0x400(%rsp), %rdi
callq 0xfae0
jmp 0xb96c5
leaq 0x3d8(%rsp), %rdi
movl $0xd4f, %esi            # imm = 0xD4F
callq 0x11600
jmp 0xb96d9
leaq 0x420(%rsp), %rdi
leaq 0x400(%rsp), %rsi
leaq 0x3d8(%rsp), %rdx
callq 0x11510
jmp 0xb96f8
leaq 0x29ad2(%rip), %rdx     # 0xe31d1
leaq 0x440(%rsp), %rdi
leaq 0x420(%rsp), %rsi
callq 0x114c0
jmp 0xb9716
leaq 0x397(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0xdd50
movq 0x38(%rsp), %rdx
leaq 0x2f754(%rip), %rsi     # 0xe8e88
leaq 0x398(%rsp), %rdi
callq 0xfae0
jmp 0xb9743
leaq 0x2a25a(%rip), %rdx     # 0xe39a4
leaq 0x3b8(%rsp), %rdi
leaq 0x398(%rsp), %rsi
callq 0x114c0
jmp 0xb9761
leaq 0x460(%rsp), %rdi
leaq 0x440(%rsp), %rsi
leaq 0x3b8(%rsp), %rdx
callq 0x11510
jmp 0xb9780
leaq 0x2f72d(%rip), %rdx     # 0xe8eb4
leaq 0x480(%rsp), %rdi
leaq 0x460(%rsp), %rsi
callq 0x114c0
jmp 0xb979e
leaq 0x480(%rsp), %rdi
callq 0x173d0
jmp 0xb97ad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb98f5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb98e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb98db
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb98ce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb98b4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb98a7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb989a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb988d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x480(%rsp), %rdi
callq 0xdf08
leaq 0x460(%rsp), %rdi
callq 0xdf08
leaq 0x3b8(%rsp), %rdi
callq 0xdf08
leaq 0x398(%rsp), %rdi
callq 0xdf08
leaq 0x397(%rsp), %rdi
callq 0xd7a0
leaq 0x440(%rsp), %rdi
callq 0xdf08
leaq 0x420(%rsp), %rdi
callq 0xdf08
leaq 0x3d8(%rsp), %rdi
callq 0xdf08
leaq 0x400(%rsp), %rdi
callq 0xdf08
leaq 0x3ff(%rsp), %rdi
callq 0xd7a0
jmp 0xba128
movl $0x1, %edi
callq 0xd8e0
jmp 0xb9913
callq 0xd0a0
movq 0x58(%rsp), %rcx
movl $0x0, (%rax)
movq 0x18(%rcx), %rax
cmpq 0x28(%rcx), %rax
jbe 0xb9bb8
callq 0xd8c0
cmpl $0x0, %eax
jne 0xb9bae
leaq 0x2ef(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0xdd50
movq 0x30(%rsp), %rdx
leaq 0x2eae9(%rip), %rsi     # 0xe8446
leaq 0x2f0(%rsp), %rdi
callq 0xfae0
jmp 0xb996c
leaq 0x2c8(%rsp), %rdi
movl $0xd51, %esi            # imm = 0xD51
callq 0x11600
jmp 0xb9980
leaq 0x310(%rsp), %rdi
leaq 0x2f0(%rsp), %rsi
leaq 0x2c8(%rsp), %rdx
callq 0x11510
jmp 0xb999f
leaq 0x2982b(%rip), %rdx     # 0xe31d1
leaq 0x330(%rsp), %rdi
leaq 0x310(%rsp), %rsi
callq 0x114c0
jmp 0xb99bd
leaq 0x287(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0xdd50
movq 0x28(%rsp), %rdx
leaq 0x2f4ad(%rip), %rsi     # 0xe8e88
leaq 0x288(%rsp), %rdi
callq 0xfae0
jmp 0xb99ea
leaq 0x29fb3(%rip), %rdx     # 0xe39a4
leaq 0x2a8(%rsp), %rdi
leaq 0x288(%rsp), %rsi
callq 0x114c0
jmp 0xb9a08
leaq 0x350(%rsp), %rdi
leaq 0x330(%rsp), %rsi
leaq 0x2a8(%rsp), %rdx
callq 0x11510
jmp 0xb9a27
leaq 0x2f499(%rip), %rdx     # 0xe8ec7
leaq 0x370(%rsp), %rdi
leaq 0x350(%rsp), %rsi
callq 0x114c0
jmp 0xb9a45
leaq 0x370(%rsp), %rdi
callq 0x173d0
jmp 0xb9a54
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b9c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b82
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b75
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b5b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b4e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b41
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9b34
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x370(%rsp), %rdi
callq 0xdf08
leaq 0x350(%rsp), %rdi
callq 0xdf08
leaq 0x2a8(%rsp), %rdi
callq 0xdf08
leaq 0x288(%rsp), %rdi
callq 0xdf08
leaq 0x287(%rsp), %rdi
callq 0xd7a0
leaq 0x330(%rsp), %rdi
callq 0xdf08
leaq 0x310(%rsp), %rdi
callq 0xdf08
leaq 0x2c8(%rsp), %rdi
callq 0xdf08
leaq 0x2f0(%rsp), %rdi
callq 0xdf08
leaq 0x2ef(%rsp), %rdi
callq 0xd7a0
jmp 0xba128
movl $0x1, %edi
callq 0xd8e0
movq 0x58(%rsp), %rcx
movq 0x18(%rcx), %rax
cmpq 0x28(%rcx), %rax
jne 0xb9e7c
callq 0xd0a0
movq %rax, %rcx
movq 0x58(%rsp), %rax
movl $0x0, (%rcx)
testb $0x1, 0x20(%rax)
jne 0xb9bf3
movq 0x58(%rsp), %rax
testb $0x1, 0x30(%rax)
jne 0xb9e7a
callq 0xd8c0
cmpl $0x0, %eax
jne 0xb9e70
leaq 0x1df(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0xdd50
movq 0x20(%rsp), %rdx
leaq 0x2e827(%rip), %rsi     # 0xe8446
leaq 0x1e0(%rsp), %rdi
callq 0xfae0
jmp 0xb9c2e
leaq 0x1b8(%rsp), %rdi
movl $0xd52, %esi            # imm = 0xD52
callq 0x11600
jmp 0xb9c42
leaq 0x200(%rsp), %rdi
leaq 0x1e0(%rsp), %rsi
leaq 0x1b8(%rsp), %rdx
callq 0x11510
jmp 0xb9c61
leaq 0x29569(%rip), %rdx     # 0xe31d1
leaq 0x220(%rsp), %rdi
leaq 0x200(%rsp), %rsi
callq 0x114c0
jmp 0xb9c7f
leaq 0x177(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0xdd50
movq 0x18(%rsp), %rdx
leaq 0x2f1eb(%rip), %rsi     # 0xe8e88
leaq 0x178(%rsp), %rdi
callq 0xfae0
jmp 0xb9cac
leaq 0x29cf1(%rip), %rdx     # 0xe39a4
leaq 0x198(%rsp), %rdi
leaq 0x178(%rsp), %rsi
callq 0x114c0
jmp 0xb9cca
leaq 0x240(%rsp), %rdi
leaq 0x220(%rsp), %rsi
leaq 0x198(%rsp), %rdx
callq 0x11510
jmp 0xb9ce9
leaq 0x2f1e5(%rip), %rdx     # 0xe8ed5
leaq 0x260(%rsp), %rdi
leaq 0x240(%rsp), %rsi
callq 0x114c0
jmp 0xb9d07
leaq 0x260(%rsp), %rdi
callq 0x173d0
jmp 0xb9d16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e5e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e51
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e44
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e37
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e1d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9e03
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xb9df6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x260(%rsp), %rdi
callq 0xdf08
leaq 0x240(%rsp), %rdi
callq 0xdf08
leaq 0x198(%rsp), %rdi
callq 0xdf08
leaq 0x178(%rsp), %rdi
callq 0xdf08
leaq 0x177(%rsp), %rdi
callq 0xd7a0
leaq 0x220(%rsp), %rdi
callq 0xdf08
leaq 0x200(%rsp), %rdi
callq 0xdf08
leaq 0x1b8(%rsp), %rdi
callq 0xdf08
leaq 0x1e0(%rsp), %rdi
callq 0xdf08
leaq 0x1df(%rsp), %rdi
callq 0xd7a0
jmp 0xba128
movl $0x1, %edi
callq 0xd8e0
jmp 0xb9e7c
movq 0x58(%rsp), %rax
cmpq $0x0, 0x18(%rax)
je 0xba120
callq 0xd0a0
movq %rax, %rcx
movq 0x58(%rsp), %rax
movl $0x0, (%rcx)
testb $0x1, 0x20(%rax)
jne 0xba11e
callq 0xd8c0
cmpl $0x0, %eax
jne 0xba114
leaq 0xcf(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0xdd50
movq 0x10(%rsp), %rdx
leaq 0x2e571(%rip), %rsi     # 0xe8446
leaq 0xd0(%rsp), %rdi
callq 0xfae0
jmp 0xb9ee4
leaq 0xa8(%rsp), %rdi
movl $0xd53, %esi            # imm = 0xD53
callq 0x11600
jmp 0xb9ef8
leaq 0xf0(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x11510
jmp 0xb9f17
leaq 0x292b3(%rip), %rdx     # 0xe31d1
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x114c0
jmp 0xb9f35
leaq 0x67(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0xdd50
movq 0x8(%rsp), %rdx
leaq 0x2ef38(%rip), %rsi     # 0xe8e88
leaq 0x68(%rsp), %rdi
callq 0xfae0
jmp 0xb9f5c
leaq 0x29a41(%rip), %rdx     # 0xe39a4
leaq 0x88(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x114c0
jmp 0xb9f77
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x11510
jmp 0xb9f96
leaq 0x2ef53(%rip), %rdx     # 0xe8ef0
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x114c0
jmp 0xb9fb4
leaq 0x150(%rsp), %rdi
callq 0x173d0
jmp 0xb9fc3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba105
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0eb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0c7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
jmp 0xba0a3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x510(%rsp)
movl %eax, 0x50c(%rsp)
leaq 0x150(%rsp), %rdi
callq 0xdf08
leaq 0x130(%rsp), %rdi
callq 0xdf08
leaq 0x88(%rsp), %rdi
callq 0xdf08
leaq 0x68(%rsp), %rdi
callq 0xdf08
leaq 0x67(%rsp), %rdi
callq 0xd7a0
leaq 0x110(%rsp), %rdi
callq 0xdf08
leaq 0xf0(%rsp), %rdi
callq 0xdf08
leaq 0xa8(%rsp), %rdi
callq 0xdf08
leaq 0xd0(%rsp), %rdi
callq 0xdf08
leaq 0xcf(%rsp), %rdi
callq 0xd7a0
jmp 0xba128
movl $0x1, %edi
callq 0xd8e0
jmp 0xba120
addq $0x5c8, %rsp            # imm = 0x5C8
retq
movq 0x510(%rsp), %rdi
callq 0xdd40
nopw %cs:(%rax,%rax)