// File: /workspace/github_c_makefile_star2_O3/shifengbin[P]bishe/Output/../Persistence/sqlite3.c
// Function: defragmentPage
static int defragmentPage(MemPage *pPage){
  int i;                     /* Loop counter */
  int pc;                    /* Address of the i-th cell */
  int hdr;                   /* Offset to the page header */
  int size;                  /* Size of a cell */
  int usableSize;            /* Number of usable bytes on a page */
  int cellOffset;            /* Offset to the cell pointer array */
  int cbrk;                  /* Offset to the cell content area */
  int nCell;                 /* Number of cells on the page */
  unsigned char *data;       /* The page data */
  unsigned char *temp;       /* Temp area for cell content */
  unsigned char *src;        /* Source of content */
  int iCellFirst;            /* First allowable cell index */
  int iCellLast;             /* Last possible cell index */


  assert( sqlite3PagerIswriteable(pPage->pDbPage) );
  assert( pPage->pBt!=0 );
  assert( pPage->pBt->usableSize <= SQLITE_MAX_PAGE_SIZE );
  assert( pPage->nOverflow==0 );
  assert( sqlite3_mutex_held(pPage->pBt->mutex) );
  temp = 0;
  src = data = pPage->aData;
  hdr = pPage->hdrOffset;
  cellOffset = pPage->cellOffset;
  nCell = pPage->nCell;
  assert( nCell==get2byte(&data[hdr+3]) );
  usableSize = pPage->pBt->usableSize;
  cbrk = usableSize;
  iCellFirst = cellOffset + 2*nCell;
  iCellLast = usableSize - 4;
  for(i=0; i<nCell; i++){
    u8 *pAddr;     /* The i-th cell pointer */
    pAddr = &data[cellOffset + i*2];
    pc = get2byte(pAddr);
    testcase( pc==iCellFirst );
    testcase( pc==iCellLast );
    /* These conditions have already been verified in btreeInitPage()
    ** if PRAGMA cell_size_check=ON.
    */
    if( pc<iCellFirst || pc>iCellLast ){
      return SQLITE_CORRUPT_BKPT;
    }
    assert( pc>=iCellFirst && pc<=iCellLast );
    size = pPage->xCellSize(pPage, &src[pc]);
    cbrk -= size;
    if( cbrk<iCellFirst || pc+size>usableSize ){
      return SQLITE_CORRUPT_BKPT;
    }
    assert( cbrk+size<=usableSize && cbrk>=iCellFirst );
    testcase( cbrk+size==usableSize );
    testcase( pc+size==usableSize );
    put2byte(pAddr, cbrk);
    if( temp==0 ){
      int x;
      if( cbrk==pc ) continue;
      temp = sqlite3PagerTempSpace(pPage->pBt->pPager);
      x = get2byte(&data[hdr+5]);
      memcpy(&temp[x], &data[x], (cbrk+size) - x);
      src = temp;
    }
    memcpy(&data[cbrk], &src[pc], size);
  }
  assert( cbrk>=iCellFirst );
  put2byte(&data[hdr+5], cbrk);
  data[hdr+1] = 0;
  data[hdr+2] = 0;
  data[hdr+7] = 0;
  memset(&data[iCellFirst], 0, cbrk-iCellFirst);
  assert( sqlite3PagerIswriteable(pPage->pDbPage) );
  if( cbrk-iCellFirst!=pPage->nFree ){
    return SQLITE_CORRUPT_BKPT;
  }
  return SQLITE_OK;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq 0x48(%rdi), %rcx
movq 0x50(%rdi), %r12
movzbl 0x6(%rdi), %eax
movq %rax, -0x60(%rbp)
movzwl 0xe(%rdi), %eax
movq %rdi, -0x48(%rbp)
movzwl 0x12(%rdi), %esi
movl 0x34(%rcx), %edx
leal (%rax,%rsi,2), %ecx
movl %ecx, -0x2c(%rbp)
movq %rsi, -0x78(%rbp)
testl %esi, %esi
je 0x39dce
leal -0x4(%rdx), %ecx
movl %ecx, -0x54(%rbp)
addq %r12, %rax
incq %rax
movq %rax, -0x68(%rbp)
xorl %r13d, %r13d
movq %rdx, -0x70(%rbp)
movl %edx, %ecx
movq $0x0, -0x50(%rbp)
movq %r12, -0x38(%rbp)
movq %r12, -0x40(%rbp)
movq -0x68(%rbp), %rax
movzwl -0x1(%rax,%r13,2), %eax
rolw $0x8, %ax
movzwl %ax, %r12d
movl $0xdcaa, %edx           # imm = 0xDCAA
cmpl -0x2c(%rbp), %r12d
jb 0x39e1d
cmpl -0x54(%rbp), %r12d
jg 0x39e1d
movl %r12d, %r14d
movq -0x38(%rbp), %rax
leaq (%rax,%r14), %rsi
movq -0x48(%rbp), %rdi
movl %ecx, %ebx
callq *0x78(%rdi)
movl %ebx, %r8d
movzwl %ax, %r15d
subl %r15d, %ebx
movl $0xdcb0, %edx           # imm = 0xDCB0
cmpl -0x2c(%rbp), %ebx
jl 0x39e1d
leal (%r12,%r15), %eax
cmpl -0x70(%rbp), %eax
jg 0x39e1d
movl %ebx, %eax
rolw $0x8, %ax
movq -0x68(%rbp), %rcx
movw %ax, -0x1(%rcx,%r13,2)
cmpq $0x0, -0x50(%rbp)
je 0x39d49
movq -0x40(%rbp), %r12
jmp 0x39da2
cmpl %r12d, %ebx
jne 0x39d5c
movq $0x0, -0x50(%rbp)
movq -0x40(%rbp), %r12
jmp 0x39db6
movq -0x48(%rbp), %rax
movq 0x48(%rax), %rax
movq (%rax), %rax
movq 0x108(%rax), %rcx
movq %rcx, -0x38(%rbp)
movq -0x40(%rbp), %r12
movq -0x60(%rbp), %rax
movzwl 0x5(%r12,%rax), %eax
rolw $0x8, %ax
movzwl %ax, %eax
leaq (%rcx,%rax), %rdi
leaq (%r12,%rax), %rsi
subl %eax, %r8d
movslq %r8d, %rdx
callq 0xa320
movq -0x38(%rbp), %rax
movq %rax, -0x50(%rbp)
movl %ebx, %edi
addq %r12, %rdi
addq -0x38(%rbp), %r14
movq %r14, %rsi
movq %r15, %rdx
callq 0xa320
incq %r13
movl %ebx, %ecx
cmpq %r13, -0x78(%rbp)
jne 0x39cc8
movl %ebx, %eax
shrl $0x8, %eax
movl %ebx, %edx
jmp 0x39dd5
movl %edx, %eax
shrl $0x8, %eax
movl %edx, %ebx
movq -0x60(%rbp), %rcx
movb %al, 0x5(%r12,%rcx)
movb %bl, 0x6(%r12,%rcx)
movw $0x0, 0x1(%r12,%rcx)
movb $0x0, 0x7(%r12,%rcx)
movl -0x2c(%rbp), %eax
movl %eax, %edi
addq %r12, %rdi
subl %eax, %edx
movslq %edx, %r15
xorl %r14d, %r14d
xorl %esi, %esi
movq %r15, %rdx
callq 0xa220
movq -0x48(%rbp), %rax
movzwl 0x10(%rax), %eax
movl $0xdcc8, %edx           # imm = 0xDCC8
cmpl %eax, %r15d
je 0x39e3d
leaq 0x416c4(%rip), %rsi     # 0x7b4e8
leaq 0x41362(%rip), %rcx     # 0x7b18d
movl $0xb, %r14d
movl $0xb, %edi
xorl %eax, %eax
callq 0xa4c0
movl %r14d, %eax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq