// File: /workspace/github_c_makefile_star2_O3/barabo[P]advanced-shell-history/src/sqlite3.c
// Function: pager_playback_one_page
static int pager_playback_one_page(
  Pager *pPager,                /* The pager being played back */
  i64 *pOffset,                 /* Offset of record to playback */
  Bitvec *pDone,                /* Bitvec of pages already played back */
  int isMainJrnl,               /* 1 -> main journal. 0 -> sub-journal. */
  int isSavepnt                 /* True for a savepoint rollback */
){
  int rc;
  PgHdr *pPg;                   /* An existing page in the cache */
  Pgno pgno;                    /* The page number of a page in journal */
  u32 cksum;                    /* Checksum used for sanity checking */
  char *aData;                  /* Temporary storage for the page */
  sqlite3_file *jfd;            /* The file descriptor for the journal file */
  int isSynced;                 /* True if journal page is synced */

  assert( (isMainJrnl&~1)==0 );      /* isMainJrnl is 0 or 1 */
  assert( (isSavepnt&~1)==0 );       /* isSavepnt is 0 or 1 */
  assert( isMainJrnl || pDone );     /* pDone always used on sub-journals */
  assert( isSavepnt || pDone==0 );   /* pDone never used on non-savepoint */

  aData = pPager->pTmpSpace;
  assert( aData );         /* Temp storage must have already been allocated */
  assert( pagerUseWal(pPager)==0 || (!isMainJrnl && isSavepnt) );

  /* Either the state is greater than PAGER_WRITER_CACHEMOD (a transaction 
  ** or savepoint rollback done at the request of the caller) or this is
  ** a hot-journal rollback. If it is a hot-journal rollback, the pager
  ** is in state OPEN and holds an EXCLUSIVE lock. Hot-journal rollback
  ** only reads from the main journal, not the sub-journal.
  */
  assert( pPager->eState>=PAGER_WRITER_CACHEMOD
       || (pPager->eState==PAGER_OPEN && pPager->eLock==EXCLUSIVE_LOCK)
  );
  assert( pPager->eState>=PAGER_WRITER_CACHEMOD || isMainJrnl );

  /* Read the page number and page data from the journal or sub-journal
  ** file. Return an error code to the caller if an IO error occurs.
  */
  jfd = isMainJrnl ? pPager->jfd : pPager->sjfd;
  rc = read32bits(jfd, *pOffset, &pgno);
  if( rc!=SQLITE_OK ) return rc;
  rc = sqlite3OsRead(jfd, (u8*)aData, pPager->pageSize, (*pOffset)+4);
  if( rc!=SQLITE_OK ) return rc;
  *pOffset += pPager->pageSize + 4 + isMainJrnl*4;

  /* Sanity checking on the page.  This is more important that I originally
  ** thought.  If a power failure occurs while the journal is being written,
  ** it could cause invalid data to be written into the journal.  We need to
  ** detect this invalid data (with high probability) and ignore it.
  */
  if( pgno==0 || pgno==PAGER_MJ_PGNO(pPager) ){
    assert( !isSavepnt );
    return SQLITE_DONE;
  }
  if( pgno>(Pgno)pPager->dbSize || sqlite3BitvecTest(pDone, pgno) ){
    return SQLITE_OK;
  }
  if( isMainJrnl ){
    rc = read32bits(jfd, (*pOffset)-4, &cksum);
    if( rc ) return rc;
    if( !isSavepnt && pager_cksum(pPager, (u8*)aData)!=cksum ){
      return SQLITE_DONE;
    }
  }

  /* If this page has already been played by before during the current
  ** rollback, then don't bother to play it back again.
  */
  if( pDone && (rc = sqlite3BitvecSet(pDone, pgno))!=SQLITE_OK ){
    return rc;
  }

  /* When playing back page 1, restore the nReserve setting
  */
  if( pgno==1 && pPager->nReserve!=((u8*)aData)[20] ){
    pPager->nReserve = ((u8*)aData)[20];
    pagerReportSize(pPager);
  }

  /* If the pager is in CACHEMOD state, then there must be a copy of this
  ** page in the pager cache. In this case just update the pager cache,
  ** not the database file. The page is left marked dirty in this case.
  **
  ** An exception to the above rule: If the database is in no-sync mode
  ** and a page is moved during an incremental vacuum then the page may
  ** not be in the pager cache. Later: if a malloc() or IO error occurs
  ** during a Movepage() call, then the page may not be in the cache
  ** either. So the condition described in the above paragraph is not
  ** assert()able.
  **
  ** If in WRITER_DBMOD, WRITER_FINISHED or OPEN state, then we update the
  ** pager cache if it exists and the main file. The page is then marked 
  ** not dirty. Since this code is only executed in PAGER_OPEN state for
  ** a hot-journal rollback, it is guaranteed that the page-cache is empty
  ** if the pager is in OPEN state.
  **
  ** Ticket #1171:  The statement journal might contain page content that is
  ** different from the page content at the start of the transaction.
  ** This occurs when a page is changed prior to the start of a statement
  ** then changed again within the statement.  When rolling back such a
  ** statement we must not write to the original database unless we know
  ** for certain that original page contents are synced into the main rollback
  ** journal.  Otherwise, a power loss might leave modified data in the
  ** database file without an entry in the rollback journal that can
  ** restore the database to its original form.  Two conditions must be
  ** met before writing to the database files. (1) the database must be
  ** locked.  (2) we know that the original page content is fully synced
  ** in the main journal either because the page is not in cache or else
  ** the page is marked as needSync==0.
  **
  ** 2008-04-14:  When attempting to vacuum a corrupt database file, it
  ** is possible to fail a statement on a database that does not yet exist.
  ** Do not attempt to write if database file has never been opened.
  */
  if( pagerUseWal(pPager) ){
    pPg = 0;
  }else{
    pPg = pager_lookup(pPager, pgno);
  }
  assert( pPg || !MEMDB );
  assert( pPager->eState!=PAGER_OPEN || pPg==0 );
  PAGERTRACE(("PLAYBACK %d page %d hash(%08x) %s\n",
           PAGERID(pPager), pgno, pager_datahash(pPager->pageSize, (u8*)aData),
           (isMainJrnl?"main-journal":"sub-journal")
  ));
  if( isMainJrnl ){
    isSynced = pPager->noSync || (*pOffset <= pPager->journalHdr);
  }else{
    isSynced = (pPg==0 || 0==(pPg->flags & PGHDR_NEED_SYNC));
  }
  if( isOpen(pPager->fd)
   && (pPager->eState>=PAGER_WRITER_DBMOD || pPager->eState==PAGER_OPEN)
   && isSynced
  ){
    i64 ofst = (pgno-1)*(i64)pPager->pageSize;
    testcase( !isSavepnt && pPg!=0 && (pPg->flags&PGHDR_NEED_SYNC)!=0 );
    assert( !pagerUseWal(pPager) );
    rc = sqlite3OsWrite(pPager->fd, (u8 *)aData, pPager->pageSize, ofst);
    if( pgno>pPager->dbFileSize ){
      pPager->dbFileSize = pgno;
    }
    if( pPager->pBackup ){
      CODEC1(pPager, aData, pgno, 3, rc=SQLITE_NOMEM);
      sqlite3BackupUpdate(pPager->pBackup, pgno, (u8*)aData);
      CODEC2(pPager, aData, pgno, 7, rc=SQLITE_NOMEM, aData);
    }
  }else if( !isMainJrnl && pPg==0 ){
    /* If this is a rollback of a savepoint and data was not written to
    ** the database and the page is not in-memory, there is a potential
    ** problem. When the page is next fetched by the b-tree layer, it 
    ** will be read from the database file, which may or may not be 
    ** current. 
    **
    ** There are a couple of different ways this can happen. All are quite
    ** obscure. When running in synchronous mode, this can only happen 
    ** if the page is on the free-list at the start of the transaction, then
    ** populated, then moved using sqlite3PagerMovepage().
    **
    ** The solution is to add an in-memory page to the cache containing
    ** the data just read from the sub-journal. Mark the page as dirty 
    ** and if the pager requires a journal-sync, then mark the page as 
    ** requiring a journal-sync before it is written.
    */
    assert( isSavepnt );
    assert( (pPager->doNotSpill & SPILLFLAG_ROLLBACK)==0 );
    pPager->doNotSpill |= SPILLFLAG_ROLLBACK;
    rc = sqlite3PagerAcquire(pPager, pgno, &pPg, 1);
    assert( (pPager->doNotSpill & SPILLFLAG_ROLLBACK)!=0 );
    pPager->doNotSpill &= ~SPILLFLAG_ROLLBACK;
    if( rc!=SQLITE_OK ) return rc;
    pPg->flags &= ~PGHDR_NEED_READ;
    sqlite3PcacheMakeDirty(pPg);
  }
  if( pPg ){
    /* No page should ever be explicitly rolled back that is in use, except
    ** for page 1 which is held in use in order to keep the lock on the
    ** database active. However such a page may be rolled back as a result
    ** of an internal error resulting in an automatic call to
    ** sqlite3PagerRollback().
    */
    void *pData;
    pData = pPg->pData;
    memcpy(pData, (u8*)aData, pPager->pageSize);
    pPager->xReiniter(pPg);
    if( isMainJrnl && (!isSavepnt || *pOffset<=pPager->journalHdr) ){
      /* If the contents of this page were just restored from the main 
      ** journal file, then its content must be as they were when the 
      ** transaction was first opened. In this case we can mark the page
      ** as clean, since there will be no need to write it out to the
      ** database.
      **
      ** There is one exception to this rule. If the page is being rolled
      ** back as part of a savepoint (or statement) rollback from an 
      ** unsynced portion of the main journal file, then it is not safe
      ** to mark the page as clean. This is because marking the page as
      ** clean will clear the PGHDR_NEED_SYNC flag. Since the page is
      ** already in the journal file (recorded in Pager.pInJournal) and
      ** the PGHDR_NEED_SYNC flag is cleared, if the page is written to
      ** again within this transaction, it will be marked as dirty but
      ** the PGHDR_NEED_SYNC flag will not be set. It could then potentially
      ** be written out into the database file before its journal file
      ** segment is synced. If a crash occurs during or following this,
      ** database corruption may ensue.
      */
      assert( !pagerUseWal(pPager) );
      sqlite3PcacheMakeClean(pPg);
    }
    pager_set_pagehash(pPg);

    /* If this was page 1, then restore the value of Pager.dbFileVers.
    ** Do this before any decoding. */
    if( pgno==1 ){
      memcpy(&pPager->dbFileVers, &((u8*)pData)[24],sizeof(pPager->dbFileVers));
    }

    /* Decode the page just read from disk */
    CODEC1(pPager, pData, pPg->pgno, 3, rc=SQLITE_NOMEM);
    sqlite3PcacheRelease(pPg);
  }
  return rc;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl %r8d, -0x3c(%rbp)
movl %ecx, %r14d
movq %rdx, -0x38(%rbp)
movq %rsi, %rbx
movq %rdi, %r13
movq 0x108(%rdi), %r15
xorl %eax, %eax
testl %ecx, %ecx
sete %al
movq 0x50(%rdi,%rax,8), %r12
movq (%rsi), %rsi
leaq -0x5c(%rbp), %rdx
movq %r12, %rdi
callq 0x1f74c
testl %eax, %eax
jne 0x1ebfa
movq %r14, -0x30(%rbp)
movl 0xbc(%r13), %edx
movq (%rbx), %rcx
addq $0x4, %rcx
movq (%r12), %rax
movq %r12, %rdi
movq %r15, %rsi
callq *0x10(%rax)
testl %eax, %eax
je 0x1ec0f
movl %eax, %r8d
movl %r8d, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r15, -0x48(%rbp)
movl 0xbc(%r13), %ecx
movq -0x30(%rbp), %rax
leal (%rcx,%rax,4), %eax
addl $0x4, %eax
movslq %eax, %r14
addq (%rbx), %r14
movq %r14, (%rbx)
movl -0x5c(%rbp), %r15d
movl $0x65, %r8d
testl %r15d, %r15d
je 0x1ebfd
movl 0x75bfe(%rip), %eax     # 0x94840
cltd
idivl %ecx
incl %eax
cmpl %eax, %r15d
je 0x1ebfd
xorl %r8d, %r8d
cmpl 0x1c(%r13), %r15d
ja 0x1ebfd
movq -0x38(%rbp), %rdi
movl %r15d, %esi
callq 0x1b0b1
xorl %r8d, %r8d
testl %eax, %eax
jne 0x1ebfd
cmpl $0x0, -0x30(%rbp)
je 0x1ecd7
addq $-0x4, %r14
leaq -0x58(%rbp), %rdx
movq %r12, %rdi
movq %r14, %rsi
callq 0x1f74c
testl %eax, %eax
jne 0x1ebfa
cmpl $0x0, -0x3c(%rbp)
jne 0x1ecd7
movl 0x34(%r13), %eax
movslq 0xbc(%r13), %rcx
cmpq $0xc9, %rcx
jl 0x1ecc8
addq $0xc8, %rcx
movq -0x48(%rbp), %rsi
movzbl -0x190(%rsi,%rcx), %edx
addl %edx, %eax
addq $-0xc8, %rcx
cmpq $0x190, %rcx            # imm = 0x190
ja 0x1ecae
movl $0x65, %r8d
cmpl -0x58(%rbp), %eax
jne 0x1ebfd
movq -0x38(%rbp), %rdi
testq %rdi, %rdi
je 0x1ecf0
movl %r15d, %esi
callq 0x1b472
testl %eax, %eax
jne 0x1ebfa
cmpl $0x1, %r15d
movq %r13, %rsi
movq -0x48(%rbp), %r14
jne 0x1ed14
movswl 0xb2(%rsi), %ecx
movzbl 0x14(%r14), %eax
cmpl %eax, %ecx
je 0x1ed14
movw %ax, 0xb2(%rsi)
cmpq $0x0, 0x118(%rsi)
movq -0x30(%rbp), %rdx
je 0x1ed36
xorl %r9d, %r9d
movq $0x0, -0x50(%rbp)
testl %edx, %edx
je 0x1ed7c
movq %rbx, %rcx
jmp 0x1ed68
movq 0x110(%rsi), %rdi
movq %r15, %rsi
leaq -0x50(%rbp), %r15
movq %rsi, %r12
xorl %edx, %edx
movq %r15, %rcx
callq 0x1f4e2
movq -0x30(%rbp), %rdx
movq (%r15), %r9
movq %r9, (%r15)
testl %edx, %edx
je 0x1ed80
movq %rbx, %rcx
movq %r13, %rsi
movq %r12, %r15
movb $0x1, %al
cmpb $0x0, 0xb(%rsi)
jne 0x1ed9a
movq (%rcx), %rax
cmpq 0x68(%rsi), %rax
setle %al
jmp 0x1ed9a
movb $0x1, %al
jmp 0x1ed9a
testq %r9, %r9
je 0x1ed8f
testb $0x4, 0x2c(%r9)
sete %al
jmp 0x1ed94
movb $0x1, %al
xorl %r9d, %r9d
movq %r13, %rsi
movq %r12, %r15
movq 0x48(%rsi), %rdi
movq (%rdi), %r8
testq %r8, %r8
je 0x1edb2
movb 0x13(%rsi), %cl
cmpb $0x3, %cl
jbe 0x1ee26
testb %al, %al
jne 0x1ee2f
testl %edx, %edx
sete %al
testq %r9, %r9
sete %cl
andb %al, %cl
xorl %r8d, %r8d
cmpb $0x1, %cl
jne 0x1ee75
orb $0x2, 0x17(%rsi)
leaq -0x50(%rbp), %rdx
movq %rsi, %rdi
movl %r15d, %esi
movl $0x1, %ecx
callq 0xd8e2
andb $-0x3, 0x17(%r13)
testl %eax, %eax
jne 0x1ebfa
movq -0x50(%rbp), %r9
movzwl 0x2c(%r9), %ecx
movl %ecx, %eax
andl $-0x29, %eax
movw %ax, 0x2c(%r9)
xorl %r8d, %r8d
testb $0x2, %cl
jne 0x1ee7e
orl $0x2, %eax
movw %ax, 0x2c(%r9)
movq %r9, %rdi
movq %r9, %r14
callq 0x1f7db
xorl %r8d, %r8d
movq %r14, %r9
jmp 0x1ee7e
testb %cl, %cl
sete %cl
testb %al, %cl
je 0x1edb2
movq %r9, %r12
leal -0x1(%r15), %ecx
movslq 0xbc(%rsi), %rdx
imulq %rdx, %rcx
movq %r14, %rsi
callq *0x18(%r8)
movq %r13, %rcx
movl %eax, %r8d
cmpl 0x24(%r13), %r15d
jbe 0x1ee58
movl %r15d, 0x24(%rcx)
movq 0x70(%rcx), %rdi
testq %rdi, %rdi
je 0x1ee72
movl %r15d, %esi
movq %r14, %rdx
movl %r8d, %r14d
callq 0x1b6ab
movl %r14d, %r8d
movq %r12, %r9
testq %r9, %r9
je 0x1ebfd
movl %r8d, -0x54(%rbp)
movq 0x8(%r9), %rdi
movslq 0xbc(%r13), %rdx
movq %rdi, -0x68(%rbp)
movq -0x48(%rbp), %rsi
movq %r9, %r12
callq 0x82f0
movq %r12, -0x38(%rbp)
movq %r12, %rdi
callq *0x100(%r13)
cmpl $0x0, -0x30(%rbp)
je 0x1eec9
cmpl $0x0, -0x3c(%rbp)
je 0x1eec0
movq (%rbx), %rax
cmpq 0x68(%r13), %rax
jg 0x1eec9
movq -0x38(%rbp), %rdi
callq 0x1b05b
cmpl $0x1, %r15d
jne 0x1eedf
movq -0x68(%rbp), %rax
movups 0x18(%rax), %xmm0
movups %xmm0, 0x84(%r13)
movq -0x38(%rbp), %rdi
callq 0x1f779
movl -0x54(%rbp), %r8d
jmp 0x1ebfd