// File: /workspace/github_c_makefile_star2_O3/ukontainer[P]sqlite-bench/sqlite3.c
// Function: deleteTable
static void SQLITE_NOINLINE deleteTable(sqlite3 *db, Table *pTable){
  Index *pIndex, *pNext;

#ifdef SQLITE_DEBUG
  /* Record the number of outstanding lookaside allocations in schema Tables
  ** prior to doing any free() operations.  Since schema Tables do not use
  ** lookaside, this number should not change. */
  int nLookaside = 0;
  if( db && (pTable->tabFlags & TF_Ephemeral)==0 ){
    nLookaside = sqlite3LookasideUsed(db, 0);
  }
#endif

  /* Delete all indices associated with this table. */
  for(pIndex = pTable->pIndex; pIndex; pIndex=pNext){
    pNext = pIndex->pNext;
    assert( pIndex->pSchema==pTable->pSchema
         || (IsVirtual(pTable) && pIndex->idxType!=SQLITE_IDXTYPE_APPDEF) );
    if( (db==0 || db->pnBytesFreed==0) && !IsVirtual(pTable) ){
      char *zName = pIndex->zName; 
      TESTONLY ( Index *pOld = ) sqlite3HashInsert(
         &pIndex->pSchema->idxHash, zName, 0
      );
      assert( db==0 || sqlite3SchemaMutexHeld(db, 0, pIndex->pSchema) );
      assert( pOld==pIndex || pOld==0 );
    }
    sqlite3FreeIndex(db, pIndex);
  }

  /* Delete any foreign keys attached to this table. */
  sqlite3FkDelete(db, pTable);

  /* Delete the Table structure itself.
  */
  sqlite3DeleteColumnNames(db, pTable);
  sqlite3DbFree(db, pTable->zName);
  sqlite3DbFree(db, pTable->zColAff);
  sqlite3SelectDelete(db, pTable->pSelect);
  sqlite3ExprListDelete(db, pTable->pCheck);
#ifndef SQLITE_OMIT_VIRTUALTABLE
  sqlite3VtabClear(db, pTable);
#endif
  sqlite3DbFree(db, pTable);

  /* Verify that no lookaside memory was used by schema tables */
  assert( nLookaside==0 || nLookaside==sqlite3LookasideUsed(db,0) );
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq 0x10(%rsi), %r12
testq %r12, %r12
je 0x43b39e
movq %r12, %r15
movq 0x28(%r12), %r12
testq %r14, %r14
je 0x43b379
cmpq $0x0, 0x2a0(%r14)
jne 0x43b391
cmpl $0x0, 0x54(%rbx)
jne 0x43b391
movq (%r15), %rsi
movq 0x30(%r15), %rdi
addq $0x20, %rdi
xorl %edx, %edx
callq 0x437ed9
movq %r14, %rdi
movq %r15, %rsi
callq 0x438185
jmp 0x43b35d
movq 0x20(%rbx), %r15
testq %r15, %r15
je 0x43b42b
testq %r14, %r14
je 0x43b3ba
cmpq $0x0, 0x2a0(%r14)
jne 0x43b3fc
movq 0x18(%r15), %rdx
movq 0x20(%r15), %rax
testq %rax, %rax
je 0x43b3cd
movq %rdx, 0x18(%rax)
jmp 0x43b3eb
movq 0x70(%rbx), %rdi
addq $0x50, %rdi
testq %rdx, %rdx
je 0x43b3e0
movq 0x10(%rdx), %rsi
jmp 0x43b3e6
movq 0x10(%r15), %rsi
xorl %edx, %edx
callq 0x437ed9
movq 0x18(%r15), %rax
testq %rax, %rax
je 0x43b3fc
movq 0x20(%r15), %rcx
movq %rcx, 0x20(%rax)
movq 0x30(%r15), %rsi
movq %r14, %rdi
callq 0x43b5be
movq 0x38(%r15), %rsi
movq %r14, %rdi
callq 0x43b5be
movq 0x8(%r15), %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x415f0a
movq %r12, %r15
testq %r12, %r12
jne 0x43b3ab
movq %r14, %rdi
movq %rbx, %rsi
callq 0x43b535
movq (%rbx), %rsi
testq %rsi, %rsi
je 0x43b446
movq %r14, %rdi
callq 0x415f0a
movq 0x28(%rbx), %rsi
testq %rsi, %rsi
je 0x43b457
movq %r14, %rdi
callq 0x415f0a
movq 0x18(%rbx), %rsi
testq %rsi, %rsi
je 0x43b46d
movq %r14, %rdi
movl $0x1, %edx
callq 0x43832f
movq 0x30(%rbx), %rsi
testq %rsi, %rsi
je 0x43b47e
movq %r14, %rdi
callq 0x4385eb
testq %r14, %r14
je 0x43b48d
cmpq $0x0, 0x2a0(%r14)
jne 0x43b4d2
movq 0x60(%rbx), %rax
movq $0x0, 0x60(%rbx)
testq %rax, %rax
je 0x43b4d2
leaq 0x60(%rbx), %rcx
movq (%rax), %rdx
testq %rdx, %rdx
je 0x43b4ba
movq 0x1e8(%rdx), %rsi
addq $0x1e8, %rdx            # imm = 0x1E8
jmp 0x43b4bf
movq %rcx, %rdx
xorl %esi, %esi
movq 0x28(%rax), %rdi
movq %rax, (%rdx)
movq %rsi, 0x28(%rax)
movq %rdi, %rax
testq %rdi, %rdi
jne 0x43b4a2
movq 0x58(%rbx), %rsi
testq %rsi, %rsi
je 0x43b51f
movl 0x54(%rbx), %eax
testl %eax, %eax
jle 0x43b517
xorl %r15d, %r15d
cmpq $0x1, %r15
je 0x43b503
movq 0x58(%rbx), %rcx
movq (%rcx,%r15,8), %rsi
testq %rsi, %rsi
je 0x43b503
movq %r14, %rdi
callq 0x415f0a
movl 0x54(%rbx), %eax
incq %r15
movslq %eax, %rcx
cmpq %rcx, %r15
jl 0x43b4e5
movq 0x58(%rbx), %rsi
testq %rsi, %rsi
je 0x43b51f
movq %r14, %rdi
callq 0x415f0a
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x415f0a