// File: sisong[P]ApkDiffPatch/HDiffPatch/libHDiffPatch/HDiff/diff.cpp
// Function: void (anonymous namespace)::assert_cover_safe<hpatch_TCover, unsigned long long>(hpatch_TCover const&, unsigned long long, unsigned long long, unsigned long long)
static void assert_cover_safe(const _TCover& cover,_TInt lastNewEnd,_TInt newSize,_TInt oldSize){
        check(cover.length>0);
        check(cover.newPos>=lastNewEnd);
        check(cover.newPos<newSize);
        check(cover.newPos+cover.length>0);
        check(cover.newPos+cover.length<=newSize);
        check(cover.oldPos>=0);
        check(cover.oldPos<oldSize);
        check(cover.oldPos+cover.length>0);
        check(cover.oldPos+cover.length<=oldSize);
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x8(%rbp), %rax
cmpq $0x0, 0x10(%rax)
ja 0x25079
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x38(%rbp)
leaq 0x8a372(%rip), %rsi     # 0xaf3b3
callq 0x4140
jmp 0x25048
movq -0x38(%rbp), %rdi
movq 0xc0f9d(%rip), %rsi     # 0xe5ff0
movq 0xc0f66(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x38(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
cmpq -0x10(%rbp), %rax
jae 0x250da
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x40(%rbp)
leaq 0x8a32d(%rip), %rsi     # 0xaf3cf
callq 0x4140
jmp 0x250a9
movq -0x40(%rbp), %rdi
movq 0xc0f3c(%rip), %rsi     # 0xe5ff0
movq 0xc0f05(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x40(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
cmpq -0x18(%rbp), %rax
jb 0x2513b
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x48(%rbp)
leaq 0x8a2f2(%rip), %rsi     # 0xaf3f5
callq 0x4140
jmp 0x2510a
movq -0x48(%rbp), %rdi
movq 0xc0edb(%rip), %rsi     # 0xe5ff0
movq 0xc0ea4(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x48(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rbp), %rcx
addq 0x10(%rcx), %rax
cmpq $0x0, %rax
ja 0x251a4
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x50(%rbp)
leaq 0x8a2ab(%rip), %rsi     # 0xaf417
callq 0x4140
jmp 0x25173
movq -0x50(%rbp), %rdi
movq 0xc0e72(%rip), %rsi     # 0xe5ff0
movq 0xc0e3b(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x50(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x8(%rbp), %rcx
addq 0x10(%rcx), %rax
cmpq -0x18(%rbp), %rax
jbe 0x2520d
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x58(%rbp)
leaq 0x8a26b(%rip), %rsi     # 0xaf440
callq 0x4140
jmp 0x251dc
movq -0x58(%rbp), %rdi
movq 0xc0e09(%rip), %rsi     # 0xe5ff0
movq 0xc0dd2(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
cmpq $0x0, (%rax)
jae 0x2526a
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x60(%rbp)
leaq 0x8a23e(%rip), %rsi     # 0xaf470
callq 0x4140
jmp 0x25239
movq -0x60(%rbp), %rdi
movq 0xc0dac(%rip), %rsi     # 0xe5ff0
movq 0xc0d75(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x60(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq (%rax), %rax
cmpq -0x20(%rbp), %rax
jb 0x252ca
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x68(%rbp)
leaq 0x8a1fb(%rip), %rsi     # 0xaf48d
callq 0x4140
jmp 0x25299
movq -0x68(%rbp), %rdi
movq 0xc0d4c(%rip), %rsi     # 0xe5ff0
movq 0xc0d15(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x68(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
addq 0x10(%rcx), %rax
cmpq $0x0, %rax
ja 0x2532f
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x70(%rbp)
leaq 0x8a1b5(%rip), %rsi     # 0xaf4af
callq 0x4140
jmp 0x25301
movq -0x70(%rbp), %rdi
movq 0xc0ce4(%rip), %rsi     # 0xe5ff0
movq 0xc0cad(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x70(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x8(%rbp), %rcx
addq 0x10(%rcx), %rax
cmpq -0x20(%rbp), %rax
jbe 0x25394
movl $0x10, %edi
callq 0x41e0
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x78(%rbp)
leaq 0x8a179(%rip), %rsi     # 0xaf4d8
callq 0x4140
jmp 0x25366
movq -0x78(%rbp), %rdi
movq 0xc0c7f(%rip), %rsi     # 0xe5ff0
movq 0xc0c48(%rip), %rdx     # 0xe5fc0
callq 0x4630
movq -0x78(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
callq 0x42e0
jmp 0x2539d
addq $0x80, %rsp
popq %rbp
retq
movq -0x28(%rbp), %rdi
callq 0x4680
nopw %cs:(%rax,%rax)