// File: /workspace/github_c_makefile_star2_O0/skeeto[P]flappy/sqlite3.c
// Function: displayP4
static char *displayP4(Op *pOp, char *zTemp, int nTemp){
  char *zP4 = zTemp;
  assert( nTemp>=20 );
  switch( pOp->p4type ){
    case P4_KEYINFO: {
      int i, j;
      KeyInfo *pKeyInfo = pOp->p4.pKeyInfo;
      assert( pKeyInfo->aSortOrder!=0 );
      sqlite3_snprintf(nTemp, zTemp, "k(%d", pKeyInfo->nField);
      i = sqlite3Strlen30(zTemp);
      for(j=0; j<pKeyInfo->nField; j++){
        CollSeq *pColl = pKeyInfo->aColl[j];
        const char *zColl = pColl ? pColl->zName : "nil";
        int n = sqlite3Strlen30(zColl);
        if( n==6 && memcmp(zColl,"BINARY",6)==0 ){
          zColl = "B";
          n = 1;
        }
        if( i+n>nTemp-6 ){
          memcpy(&zTemp[i],",...",4);
          break;
        }
        zTemp[i++] = ',';
        if( pKeyInfo->aSortOrder[j] ){
          zTemp[i++] = '-';
        }
        memcpy(&zTemp[i], zColl, n+1);
        i += n;
      }
      zTemp[i++] = ')';
      zTemp[i] = 0;
      assert( i<nTemp );
      break;
    }
    case P4_COLLSEQ: {
      CollSeq *pColl = pOp->p4.pColl;
      sqlite3_snprintf(nTemp, zTemp, "(%.20s)", pColl->zName);
      break;
    }
    case P4_FUNCDEF: {
      FuncDef *pDef = pOp->p4.pFunc;
      sqlite3_snprintf(nTemp, zTemp, "%s(%d)", pDef->zName, pDef->nArg);
      break;
    }
    case P4_INT64: {
      sqlite3_snprintf(nTemp, zTemp, "%lld", *pOp->p4.pI64);
      break;
    }
    case P4_INT32: {
      sqlite3_snprintf(nTemp, zTemp, "%d", pOp->p4.i);
      break;
    }
    case P4_REAL: {
      sqlite3_snprintf(nTemp, zTemp, "%.16g", *pOp->p4.pReal);
      break;
    }
    case P4_MEM: {
      Mem *pMem = pOp->p4.pMem;
      if( pMem->flags & MEM_Str ){
        zP4 = pMem->z;
      }else if( pMem->flags & MEM_Int ){
        sqlite3_snprintf(nTemp, zTemp, "%lld", pMem->u.i);
      }else if( pMem->flags & MEM_Real ){
        sqlite3_snprintf(nTemp, zTemp, "%.16g", pMem->r);
      }else if( pMem->flags & MEM_Null ){
        sqlite3_snprintf(nTemp, zTemp, "NULL");
      }else{
        assert( pMem->flags & MEM_Blob );
        zP4 = "(blob)";
      }
      break;
    }
#ifndef SQLITE_OMIT_VIRTUALTABLE
    case P4_VTAB: {
      sqlite3_vtab *pVtab = pOp->p4.pVtab->pVtab;
      sqlite3_snprintf(nTemp, zTemp, "vtab:%p:%p", pVtab, pVtab->pModule);
      break;
    }
#endif
    case P4_INTARRAY: {
      sqlite3_snprintf(nTemp, zTemp, "intarray");
      break;
    }
    case P4_SUBPROGRAM: {
      sqlite3_snprintf(nTemp, zTemp, "program");
      break;
    }
    case P4_ADVANCE: {
      zTemp[0] = 0;
      break;
    }
    default: {
      zP4 = pOp->p4.z;
      if( zP4==0 ){
        zP4 = zTemp;
        zTemp[0] = 0;
      }
    }
  }
  assert( zP4!=0 );
  return zP4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movsbl 0x1(%rax), %eax
addl $0x13, %eax
movl %eax, %ecx
movq %rcx, -0x70(%rbp)
subl $0xf, %eax
ja 0x3ee80
movq -0x70(%rbp), %rax
leaq 0x55ef5(%rip), %rcx     # 0x949e8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x30(%rbp), %rax
movzwl 0x6(%rax), %ecx
leaq 0x5aabe(%rip), %rdx     # 0x995dc
movb $0x0, %al
callq 0xf220
movq -0x10(%rbp), %rdi
callq 0xbcc0
movl %eax, -0x24(%rbp)
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
movq -0x30(%rbp), %rcx
movzwl 0x6(%rcx), %ecx
cmpl %ecx, %eax
jge 0x3ec58
movq -0x30(%rbp), %rax
movslq -0x28(%rbp), %rcx
movq 0x20(%rax,%rcx,8), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
je 0x3eb70
movq -0x38(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x78(%rbp)
jmp 0x3eb7d
leaq 0x5aa6a(%rip), %rax     # 0x995e1
movq %rax, -0x78(%rbp)
jmp 0x3eb7d
movq -0x78(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
callq 0xbcc0
movl %eax, -0x44(%rbp)
cmpl $0x6, -0x44(%rbp)
jne 0x3ebc3
movq -0x40(%rbp), %rdi
leaq 0x5aa43(%rip), %rsi     # 0x995e5
movl $0x6, %edx
callq 0x7160
cmpl $0x0, %eax
jne 0x3ebc3
leaq 0x5aa34(%rip), %rax     # 0x995ec
movq %rax, -0x40(%rbp)
movl $0x1, -0x44(%rbp)
movl -0x24(%rbp), %eax
addl -0x44(%rbp), %eax
movl -0x14(%rbp), %ecx
subl $0x6, %ecx
cmpl %ecx, %eax
jle 0x3ebe6
movq -0x10(%rbp), %rax
movslq -0x24(%rbp), %rcx
movl 0x5aa0d(%rip), %edx     # 0x995ee
movl %edx, (%rax,%rcx)
jmp 0x3ec58
movq -0x10(%rbp), %rax
movl -0x24(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0x24(%rbp)
movslq %ecx, %rcx
movb $0x2c, (%rax,%rcx)
movq -0x30(%rbp), %rax
movq 0x18(%rax), %rax
movslq -0x28(%rbp), %rcx
cmpb $0x0, (%rax,%rcx)
je 0x3ec24
movq -0x10(%rbp), %rax
movl -0x24(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0x24(%rbp)
movslq %ecx, %rcx
movb $0x2d, (%rax,%rcx)
movq -0x10(%rbp), %rdi
movslq -0x24(%rbp), %rax
addq %rax, %rdi
movq -0x40(%rbp), %rsi
movl -0x44(%rbp), %eax
addl $0x1, %eax
movslq %eax, %rdx
callq 0x7260
movl -0x44(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x3eb38
movq -0x10(%rbp), %rax
movl -0x24(%rbp), %ecx
movl %ecx, %edx
addl $0x1, %edx
movl %edx, -0x24(%rbp)
movslq %ecx, %rcx
movb $0x29, (%rax,%rcx)
movq -0x10(%rbp), %rax
movslq -0x24(%rbp), %rcx
movb $0x0, (%rax,%rcx)
jmp 0x3eea4
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x50(%rbp)
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x50(%rbp), %rax
movq (%rax), %rcx
leaq 0x5a953(%rip), %rdx     # 0x995f3
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x58(%rbp)
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x58(%rbp), %rax
movq 0x30(%rax), %rcx
movq -0x58(%rbp), %rax
movswl (%rax), %r8d
leaq 0x5a925(%rip), %rdx     # 0x995fb
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
leaq 0x5b5d2(%rip), %rdx     # 0x9a2cd
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x8(%rbp), %rax
movl 0x10(%rax), %ecx
leaq 0x55424(%rip), %rdx     # 0x94140
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movsd (%rax), %xmm0
leaq 0x5a8c0(%rip), %rdx     # 0x99602
movb $0x1, %al
callq 0xf220
jmp 0x3eea4
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x2, %eax
cmpl $0x0, %eax
je 0x3ed7b
movq -0x60(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x20(%rbp)
jmp 0x3ee12
movq -0x60(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x4, %eax
cmpl $0x0, %eax
je 0x3edaa
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x60(%rbp), %rax
movq 0x18(%rax), %rcx
leaq 0x5b52c(%rip), %rdx     # 0x9a2cd
movb $0x0, %al
callq 0xf220
jmp 0x3ee10
movq -0x60(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x3edda
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x60(%rbp), %rax
movsd 0x10(%rax), %xmm0
leaq 0x5a831(%rip), %rdx     # 0x99602
movb $0x1, %al
callq 0xf220
jmp 0x3ee0e
movq -0x60(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x3ee01
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
leaq 0x5d075(%rip), %rdx     # 0x9be6d
movb $0x0, %al
callq 0xf220
jmp 0x3ee0c
leaq 0x5a800(%rip), %rax     # 0x99608
movq %rax, -0x20(%rbp)
jmp 0x3ee0e
jmp 0x3ee10
jmp 0x3ee12
jmp 0x3eea4
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x68(%rbp)
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
movq -0x68(%rbp), %rcx
movq -0x68(%rbp), %rax
movq (%rax), %r8
leaq 0x5a7cf(%rip), %rdx     # 0x9960f
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
leaq 0x5a7c3(%rip), %rdx     # 0x9961a
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movl -0x14(%rbp), %edi
movq -0x10(%rbp), %rsi
leaq 0x5b8c8(%rip), %rdx     # 0x9a736
movb $0x0, %al
callq 0xf220
jmp 0x3eea4
movq -0x10(%rbp), %rax
movb $0x0, (%rax)
jmp 0x3eea4
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x20(%rbp)
jne 0x3eea2
movq -0x10(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rax
movb $0x0, (%rax)
jmp 0x3eea4
movq -0x20(%rbp), %rax
addq $0x80, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)