// File: /workspace/github_c_makefile_star2_O2/genometools[P]genometools/src/external/sqlite-3.33.0/sqlite3.c
// Function: freePage2
static int freePage2(BtShared *pBt, MemPage *pMemPage, Pgno iPage){
  MemPage *pTrunk = 0;                /* Free-list trunk page */
  Pgno iTrunk = 0;                    /* Page number of free-list trunk page */
  MemPage *pPage1 = pBt->pPage1;      /* Local reference to page 1 */
  MemPage *pPage;                     /* Page being freed. May be NULL. */
  int rc;                             /* Return Code */
  u32 nFree;                          /* Initial number of pages on free-list */

  assert( sqlite3_mutex_held(pBt->mutex) );
  assert( CORRUPT_DB || iPage>1 );
  assert( !pMemPage || pMemPage->pgno==iPage );

  if( iPage<2 || iPage>pBt->nPage ){
    return SQLITE_CORRUPT_BKPT;
  }
  if( pMemPage ){
    pPage = pMemPage;
    sqlite3PagerRef(pPage->pDbPage);
  }else{
    pPage = btreePageLookup(pBt, iPage);
  }

  /* Increment the free page count on pPage1 */
  rc = sqlite3PagerWrite(pPage1->pDbPage);
  if( rc ) goto freepage_out;
  nFree = get4byte(&pPage1->aData[36]);
  put4byte(&pPage1->aData[36], nFree+1);

  if( pBt->btsFlags & BTS_SECURE_DELETE ){
    /* If the secure_delete option is enabled, then
    ** always fully overwrite deleted information with zeros.
    */
    if( (!pPage && ((rc = btreeGetPage(pBt, iPage, &pPage, 0))!=0) )
     ||            ((rc = sqlite3PagerWrite(pPage->pDbPage))!=0)
    ){
      goto freepage_out;
    }
    memset(pPage->aData, 0, pPage->pBt->pageSize);
  }

  /* If the database supports auto-vacuum, write an entry in the pointer-map
  ** to indicate that the page is free.
  */
  if( ISAUTOVACUUM ){
    ptrmapPut(pBt, iPage, PTRMAP_FREEPAGE, 0, &rc);
    if( rc ) goto freepage_out;
  }

  /* Now manipulate the actual database free-list structure. There are two
  ** possibilities. If the free-list is currently empty, or if the first
  ** trunk page in the free-list is full, then this page will become a
  ** new free-list trunk page. Otherwise, it will become a leaf of the
  ** first trunk page in the current free-list. This block tests if it
  ** is possible to add the page as a new free-list leaf.
  */
  if( nFree!=0 ){
    u32 nLeaf;                /* Initial number of leaf cells on trunk page */

    iTrunk = get4byte(&pPage1->aData[32]);
    if( iTrunk>btreePagecount(pBt) ){
      rc = SQLITE_CORRUPT_BKPT;
      goto freepage_out;
    }
    rc = btreeGetPage(pBt, iTrunk, &pTrunk, 0);
    if( rc!=SQLITE_OK ){
      goto freepage_out;
    }

    nLeaf = get4byte(&pTrunk->aData[4]);
    assert( pBt->usableSize>32 );
    if( nLeaf > (u32)pBt->usableSize/4 - 2 ){
      rc = SQLITE_CORRUPT_BKPT;
      goto freepage_out;
    }
    if( nLeaf < (u32)pBt->usableSize/4 - 8 ){
      /* In this case there is room on the trunk page to insert the page
      ** being freed as a new leaf.
      **
      ** Note that the trunk page is not really full until it contains
      ** usableSize/4 - 2 entries, not usableSize/4 - 8 entries as we have
      ** coded.  But due to a coding error in versions of SQLite prior to
      ** 3.6.0, databases with freelist trunk pages holding more than
      ** usableSize/4 - 8 entries will be reported as corrupt.  In order
      ** to maintain backwards compatibility with older versions of SQLite,
      ** we will continue to restrict the number of entries to usableSize/4 - 8
      ** for now.  At some point in the future (once everyone has upgraded
      ** to 3.6.0 or later) we should consider fixing the conditional above
      ** to read "usableSize/4-2" instead of "usableSize/4-8".
      **
      ** EVIDENCE-OF: R-19920-11576 However, newer versions of SQLite still
      ** avoid using the last six entries in the freelist trunk page array in
      ** order that database files created by newer versions of SQLite can be
      ** read by older versions of SQLite.
      */
      rc = sqlite3PagerWrite(pTrunk->pDbPage);
      if( rc==SQLITE_OK ){
        put4byte(&pTrunk->aData[4], nLeaf+1);
        put4byte(&pTrunk->aData[8+nLeaf*4], iPage);
        if( pPage && (pBt->btsFlags & BTS_SECURE_DELETE)==0 ){
          sqlite3PagerDontWrite(pPage->pDbPage);
        }
        rc = btreeSetHasContent(pBt, iPage);
      }
      TRACE(("FREE-PAGE: %d leaf on trunk page %d\n",pPage->pgno,pTrunk->pgno));
      goto freepage_out;
    }
  }

  /* If control flows to this point, then it was not possible to add the
  ** the page being freed as a leaf page of the first trunk in the free-list.
  ** Possibly because the free-list is empty, or possibly because the
  ** first trunk in the free-list is full. Either way, the page being freed
  ** will become the new first trunk page in the free-list.
  */
  if( pPage==0 && SQLITE_OK!=(rc = btreeGetPage(pBt, iPage, &pPage, 0)) ){
    goto freepage_out;
  }
  rc = sqlite3PagerWrite(pPage->pDbPage);
  if( rc!=SQLITE_OK ){
    goto freepage_out;
  }
  put4byte(pPage->aData, iTrunk);
  put4byte(&pPage->aData[4], 0);
  put4byte(&pPage1->aData[32], iPage);
  TRACE(("FREE-PAGE: %d new trunk page replacing %d\n", pPage->pgno, iTrunk));

freepage_out:
  if( pPage ){
    pPage->isInit = 0;
  }
  releasePage(pPage);
  releasePage(pTrunk);
  return rc;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
andq $0x0, 0x8(%rsp)
cmpl $0x2, %edx
jb 0x245b5e
movl %edx, %ebp
movq %rdi, %r14
cmpl %edx, 0x40(%rdi)
jae 0x245b76
movl $0x1144a, %edi          # imm = 0x1144A
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x232547
movq %rsi, %rbx
movq 0x18(%r14), %r13
testq %rsi, %rsi
je 0x245b93
movq 0x70(%rbx), %rax
incw 0x36(%rax)
movq 0x18(%rax), %rax
incl 0x18(%rax)
jmp 0x245ba0
movq %r14, %rdi
movl %ebp, %esi
callq 0x245b0a
movq %rax, %rbx
movq %rbx, 0x10(%rsp)
movq 0x70(%r13), %rdi
callq 0x2236f2
movl %eax, 0x4(%rsp)
testl %eax, %eax
je 0x245bca
movl %eax, %r15d
testq %rbx, %rbx
je 0x245c6d
movb $0x0, (%rbx)
jmp 0x245c6f
movq 0x50(%r13), %r15
leaq 0x24(%r15), %rdi
callq 0x22fc59
movl %eax, %r12d
leal 0x1(%r12), %eax
bswapl %eax
movl %eax, 0x24(%r15)
testb $0x4, 0x28(%r14)
je 0x245c1c
testq %rbx, %rbx
je 0x245c93
movq 0x70(%rbx), %rdi
callq 0x2236f2
movl %eax, 0x4(%rsp)
testl %eax, %eax
jne 0x245ccc
movq 0x48(%rbx), %rax
movq 0x50(%rbx), %rdi
movl 0x34(%rax), %edx
xorl %esi, %esi
callq 0x17380
cmpb $0x0, 0x21(%r14)
je 0x245c46
pushq $0x2
popq %rdx
leaq 0x4(%rsp), %r15
movq %r14, %rdi
movl %ebp, %esi
xorl %ecx, %ecx
movq %r15, %r8
callq 0x238312
movl (%r15), %r15d
testl %r15d, %r15d
jne 0x245bb9
testl %r12d, %r12d
je 0x245cb7
movq 0x50(%r13), %rdi
addq $0x20, %rdi
callq 0x22fc59
cmpl 0x40(%r14), %eax
jbe 0x245cd4
movl $0x11479, %edi          # imm = 0x11479
callq 0x232547
jmp 0x245bb6
xorl %ebx, %ebx
movq %rbx, %rdi
callq 0x2376c6
movq 0x8(%rsp), %rdi
callq 0x2376c6
movl %r15d, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x10(%rsp), %rbx
movq %r14, %rdi
movl %ebp, %esi
movq %rbx, %rdx
xorl %ecx, %ecx
callq 0x23639b
movq (%rbx), %rbx
testl %eax, %eax
jne 0x245bb6
jmp 0x245bf5
xorl %r12d, %r12d
testq %rbx, %rbx
je 0x245d1a
movq 0x70(%rbx), %rdi
callq 0x2236f2
testl %eax, %eax
je 0x245d3b
movl %eax, %r15d
jmp 0x245bc2
movl %eax, %r12d
leaq 0x8(%rsp), %rdx
movq %r14, %rdi
movl %eax, %esi
xorl %ecx, %ecx
callq 0x23639b
testl %eax, %eax
jne 0x245bb6
movq 0x8(%rsp), %r15
movq 0x50(%r15), %rdi
addq $0x4, %rdi
callq 0x22fc59
movl 0x38(%r14), %edx
shrl $0x2, %edx
leal -0x2(%rdx), %ecx
cmpl %ecx, %eax
jbe 0x245d5e
movl $0x11484, %edi          # imm = 0x11484
jmp 0x245c63
leaq 0x10(%rsp), %rbx
movq %r14, %rdi
movl %ebp, %esi
movq %rbx, %rdx
xorl %ecx, %ecx
callq 0x23639b
movq (%rbx), %rbx
testl %eax, %eax
jne 0x245bb6
jmp 0x245cbf
movq 0x50(%rbx), %rax
bswapl %r12d
movl %r12d, (%rax)
movq 0x50(%rbx), %rax
andl $0x0, 0x4(%rax)
movq 0x50(%r13), %rax
bswapl %ebp
movl %ebp, 0x20(%rax)
xorl %r15d, %r15d
jmp 0x245bc2
addl $-0x8, %edx
cmpl %edx, %eax
jae 0x245cba
movq %rax, %r12
movq 0x70(%r15), %rdi
callq 0x2236f2
testl %eax, %eax
jne 0x245bb6
movq 0x50(%r15), %rax
leal 0x1(%r12), %ecx
bswapl %ecx
movl %ecx, 0x4(%rax)
movq 0x50(%r15), %rax
leal 0x8(,%r12,4), %ecx
movl %ebp, %edx
bswapl %edx
movl %edx, (%rax,%rcx)
testq %rbx, %rbx
je 0x245dd4
testb $0x4, 0x28(%r14)
jne 0x245dd4
movq 0x70(%rbx), %rax
movq 0x28(%rax), %rdx
cmpb $0x0, 0x10(%rdx)
jne 0x245dd4
movzwl 0x34(%rax), %ecx
testb $0x2, %cl
je 0x245dd4
cmpl $0x0, 0x80(%rdx)
jne 0x245dd4
andl $-0x15, %ecx
orl $0x10, %ecx
movw %cx, 0x34(%rax)
movq 0x60(%r14), %rdi
testq %rdi, %rdi
jne 0x245df2
movl 0x40(%r14), %edi
callq 0x231168
movq %rax, %rdi
movq %rax, 0x60(%r14)
testq %rax, %rax
je 0x245e09
xorl %r15d, %r15d
cmpl %ebp, (%rdi)
jb 0x245bb9
movl %ebp, %esi
callq 0x23101a
jmp 0x245bb6
pushq $0x7
popq %r15
jmp 0x245bb9