// File: /workspace/github_c_makefile_star2_O3/ukontainer[P]sqlite-bench/sqlite3.c
// Function: sqlite3_db_config
SQLITE_API int sqlite3_db_config(sqlite3 *db, int op, ...){
  va_list ap;
  int rc;
  va_start(ap, op);
  switch( op ){
    case SQLITE_DBCONFIG_MAINDBNAME: {
      /* IMP: R-06824-28531 */
      /* IMP: R-36257-52125 */
      db->aDb[0].zDbSName = va_arg(ap,char*);
      rc = SQLITE_OK;
      break;
    }
    case SQLITE_DBCONFIG_LOOKASIDE: {
      void *pBuf = va_arg(ap, void*); /* IMP: R-26835-10964 */
      int sz = va_arg(ap, int);       /* IMP: R-47871-25994 */
      int cnt = va_arg(ap, int);      /* IMP: R-04460-53386 */
      rc = setupLookaside(db, pBuf, sz, cnt);
      break;
    }
    default: {
      static const struct {
        int op;      /* The opcode */
        u32 mask;    /* Mask of the bit in sqlite3.flags to set/clear */
      } aFlagOp[] = {
        { SQLITE_DBCONFIG_ENABLE_FKEY,           SQLITE_ForeignKeys    },
        { SQLITE_DBCONFIG_ENABLE_TRIGGER,        SQLITE_EnableTrigger  },
        { SQLITE_DBCONFIG_ENABLE_FTS3_TOKENIZER, SQLITE_Fts3Tokenizer  },
        { SQLITE_DBCONFIG_ENABLE_LOAD_EXTENSION, SQLITE_LoadExtension  },
        { SQLITE_DBCONFIG_NO_CKPT_ON_CLOSE,      SQLITE_NoCkptOnClose  },
        { SQLITE_DBCONFIG_ENABLE_QPSG,           SQLITE_EnableQPSG     },
        { SQLITE_DBCONFIG_TRIGGER_EQP,           SQLITE_TriggerEQP     },
        { SQLITE_DBCONFIG_RESET_DATABASE,        SQLITE_ResetDatabase  },
      };
      unsigned int i;
      rc = SQLITE_ERROR; /* IMP: R-42790-23372 */
      for(i=0; i<ArraySize(aFlagOp); i++){
        if( aFlagOp[i].op==op ){
          int onoff = va_arg(ap, int);
          int *pRes = va_arg(ap, int*);
          u32 oldFlags = db->flags;
          if( onoff>0 ){
            db->flags |= aFlagOp[i].mask;
          }else if( onoff==0 ){
            db->flags &= ~aFlagOp[i].mask;
          }
          if( oldFlags!=db->flags ){
            sqlite3ExpirePreparedStatements(db, 0);
          }
          if( pRes ){
            *pRes = (db->flags & aFlagOp[i].mask)!=0;
          }
          rc = SQLITE_OK;
          break;
        }
      }
      break;
    }
  }
  va_end(ap);
  return rc;
}

// Assembly:
subq $0xd8, %rsp
leaq 0x20(%rsp), %r10
movq %rdx, 0x10(%r10)
movq %rcx, 0x18(%r10)
movq %r8, 0x20(%r10)
movq %r9, 0x28(%r10)
testb %al, %al
je 0x4127b6
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
movq %r10, 0x10(%rsp)
leaq 0xe0(%rsp), %rax
movq %rax, 0x8(%rsp)
movabsq $0x3000000010, %rax     # imm = 0x3000000010
movq %rax, (%rsp)
cmpl $0x3e8, %esi            # imm = 0x3E8
je 0x412837
cmpl $0x3e9, %esi            # imm = 0x3E9
jne 0x412857
movl (%rsp), %eax
cmpq $0x29, %rax
jae 0x4128aa
movq 0x10(%rsp), %rcx
leal 0x8(%rax), %edx
movl %edx, (%rsp)
movq (%rcx,%rax), %rsi
cmpl $0x21, %eax
jae 0x4128bb
movq 0x10(%rsp), %rdx
movq %rax, %rcx
addq $0x10, %rcx
movl %ecx, (%rsp)
movl 0x8(%rdx,%rax), %edx
cmpl $0x18, %eax
ja 0x4128cb
addq 0x10(%rsp), %rcx
addl $0x18, %eax
movl %eax, (%rsp)
jmp 0x4128d9
movl (%rsp), %ecx
cmpq $0x28, %rcx
ja 0x4128e5
movq %rcx, %rax
addq 0x10(%rsp), %rax
addl $0x8, %ecx
movl %ecx, (%rsp)
jmp 0x4128f3
xorl %ecx, %ecx
leaq 0x13a1d0(%rip), %rdx    # 0x54ca30
cmpl %esi, (%rdx,%rcx,8)
je 0x412878
incq %rcx
cmpq $0x8, %rcx
jne 0x412860
movl $0x1, %eax
jmp 0x412976
movl (%rsp), %r8d
cmpq $0x29, %r8
jae 0x412901
movq 0x10(%rsp), %rax
movq %r8, %rsi
addq $0x8, %rsi
movl %esi, (%rsp)
movl (%rax,%r8), %eax
cmpl $0x20, %r8d
ja 0x412911
addq 0x10(%rsp), %rsi
addl $0x10, %r8d
movl %r8d, (%rsp)
jmp 0x41291f
movq 0x8(%rsp), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %rsi
movq 0x8(%rsp), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movl (%rax), %edx
movq 0x8(%rsp), %rcx
leaq 0x8(%rcx), %rax
movq %rax, 0x8(%rsp)
movl (%rcx), %ecx
callq 0x412989
jmp 0x412976
movq 0x8(%rsp), %rax
leaq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %rax
movq 0x20(%rdi), %rcx
movq %rax, (%rcx)
xorl %eax, %eax
jmp 0x412976
movq 0x8(%rsp), %rax
leaq 0x8(%rax), %rsi
movq %rsi, 0x8(%rsp)
movl (%rax), %eax
movq 0x8(%rsp), %rsi
leaq 0x8(%rsi), %r8
movq %r8, 0x8(%rsp)
movq (%rsi), %rsi
movl 0x30(%rdi), %r8d
testl %eax, %eax
jle 0x41295f
movl 0x4(%rdx,%rcx,8), %eax
orl %r8d, %eax
movl %eax, 0x30(%rdi)
cmpl %eax, %r8d
je 0x412961
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x412961
movzwl 0xc1(%rax), %r8d
andl $-0x4, %r8d
incl %r8d
movw %r8w, 0xc1(%rax)
movq 0x10(%rax), %rax
jmp 0x41293d
je 0x41297e
xorl %eax, %eax
testq %rsi, %rsi
je 0x412976
movl 0x4(%rdx,%rcx,8), %ecx
xorl %edx, %edx
testl %ecx, 0x30(%rdi)
setne %dl
movl %edx, (%rsi)
addq $0xd8, %rsp
retq
movl 0x4(%rdx,%rcx,8), %eax
notl %eax
andl %r8d, %eax
jmp 0x412931