/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 0a52f346f6c89ab144adc11d1c04e94f74425eaa:


0000: 2f 2a 0a 2a 2a 20 32 30 30 31 20 53 65 70 74 65  /*.** 2001 Septe
0010: 6d 62 65 72 20 31 35 0a 2a 2a 0a 2a 2a 20 54 68  mber 15.**.** Th
0020: 65 20 61 75 74 68 6f 72 20 64 69 73 63 6c 61 69  e author disclai
0030: 6d 73 20 63 6f 70 79 72 69 67 68 74 20 74 6f 20  ms copyright to 
0040: 74 68 69 73 20 73 6f 75 72 63 65 20 63 6f 64 65  this source code
0050: 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f 66 0a 2a  .  In place of.*
0060: 2a 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69 63 65  * a legal notice
0070: 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c 65 73  , here is a bles
0080: 73 69 6e 67 3a 0a 2a 2a 0a 2a 2a 20 20 20 20 4d  sing:.**.**    M
0090: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
00a0: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 2a 2a 20  nd not evil..** 
00b0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00c0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00d0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00e0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 2a 2a 20  give others..** 
00f0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
0100: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0110: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0120: 79 6f 75 20 67 69 76 65 2e 0a 2a 2a 0a 2a 2a 2a  you give..**.***
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0170: 2a 2a 2a 2a 2a 2a 0a 2a 2a 20 48 65 61 64 65 72  ******.** Header
0180: 20 66 69 6c 65 20 66 6f 72 20 74 68 65 20 56 69   file for the Vi
0190: 72 74 75 61 6c 20 44 61 74 61 42 61 73 65 20 45  rtual DataBase E
01a0: 6e 67 69 6e 65 20 28 56 44 42 45 29 0a 2a 2a 0a  ngine (VDBE).**.
01b0: 2a 2a 20 54 68 69 73 20 68 65 61 64 65 72 20 64  ** This header d
01c0: 65 66 69 6e 65 73 20 74 68 65 20 69 6e 74 65 72  efines the inter
01d0: 66 61 63 65 20 74 6f 20 74 68 65 20 76 69 72 74  face to the virt
01e0: 75 61 6c 20 64 61 74 61 62 61 73 65 20 65 6e 67  ual database eng
01f0: 69 6e 65 0a 2a 2a 20 6f 72 20 56 44 42 45 2e 20  ine.** or VDBE. 
0200: 20 54 68 65 20 56 44 42 45 20 69 6d 70 6c 65 6d   The VDBE implem
0210: 65 6e 74 73 20 61 6e 20 61 62 73 74 72 61 63 74  ents an abstract
0220: 20 6d 61 63 68 69 6e 65 20 74 68 61 74 20 72 75   machine that ru
0230: 6e 73 20 61 0a 2a 2a 20 73 69 6d 70 6c 65 20 70  ns a.** simple p
0240: 72 6f 67 72 61 6d 20 74 6f 20 61 63 63 65 73 73  rogram to access
0250: 20 61 6e 64 20 6d 6f 64 69 66 79 20 74 68 65 20   and modify the 
0260: 75 6e 64 65 72 6c 79 69 6e 67 20 64 61 74 61 62  underlying datab
0270: 61 73 65 2e 0a 2a 2f 0a 23 69 66 6e 64 65 66 20  ase..*/.#ifndef 
0280: 53 51 4c 49 54 45 5f 56 44 42 45 5f 48 0a 23 64  SQLITE_VDBE_H.#d
0290: 65 66 69 6e 65 20 53 51 4c 49 54 45 5f 56 44 42  efine SQLITE_VDB
02a0: 45 5f 48 0a 23 69 6e 63 6c 75 64 65 20 3c 73 74  E_H.#include <st
02b0: 64 69 6f 2e 68 3e 0a 0a 2f 2a 0a 2a 2a 20 41 20  dio.h>../*.** A 
02c0: 73 69 6e 67 6c 65 20 56 44 42 45 20 69 73 20 61  single VDBE is a
02d0: 6e 20 6f 70 61 71 75 65 20 73 74 72 75 63 74 75  n opaque structu
02e0: 72 65 20 6e 61 6d 65 64 20 22 56 64 62 65 22 2e  re named "Vdbe".
02f0: 20 20 4f 6e 6c 79 20 72 6f 75 74 69 6e 65 73 0a    Only routines.
0300: 2a 2a 20 69 6e 20 74 68 65 20 73 6f 75 72 63 65  ** in the source
0310: 20 66 69 6c 65 20 73 71 6c 69 74 65 56 64 62 65   file sqliteVdbe
0320: 2e 63 20 61 72 65 20 61 6c 6c 6f 77 65 64 20 74  .c are allowed t
0330: 6f 20 73 65 65 20 74 68 65 20 69 6e 73 69 64 65  o see the inside
0340: 73 0a 2a 2a 20 6f 66 20 74 68 69 73 20 73 74 72  s.** of this str
0350: 75 63 74 75 72 65 2e 0a 2a 2f 0a 74 79 70 65 64  ucture..*/.typed
0360: 65 66 20 73 74 72 75 63 74 20 56 64 62 65 20 56  ef struct Vdbe V
0370: 64 62 65 3b 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  dbe;../*.** The 
0380: 6e 61 6d 65 73 20 6f 66 20 74 68 65 20 66 6f 6c  names of the fol
0390: 6c 6f 77 69 6e 67 20 74 79 70 65 73 20 64 65 63  lowing types dec
03a0: 6c 61 72 65 64 20 69 6e 20 76 64 62 65 49 6e 74  lared in vdbeInt
03b0: 2e 68 20 61 72 65 20 72 65 71 75 69 72 65 64 0a  .h are required.
03c0: 2a 2a 20 66 6f 72 20 74 68 65 20 56 64 62 65 4f  ** for the VdbeO
03d0: 70 20 64 65 66 69 6e 69 74 69 6f 6e 2e 0a 2a 2f  p definition..*/
03e0: 0a 74 79 70 65 64 65 66 20 73 74 72 75 63 74 20  .typedef struct 
03f0: 4d 65 6d 20 4d 65 6d 3b 0a 74 79 70 65 64 65 66  Mem Mem;.typedef
0400: 20 73 74 72 75 63 74 20 53 75 62 50 72 6f 67 72   struct SubProgr
0410: 61 6d 20 53 75 62 50 72 6f 67 72 61 6d 3b 0a 0a  am SubProgram;..
0420: 2f 2a 0a 2a 2a 20 41 20 73 69 6e 67 6c 65 20 69  /*.** A single i
0430: 6e 73 74 72 75 63 74 69 6f 6e 20 6f 66 20 74 68  nstruction of th
0440: 65 20 76 69 72 74 75 61 6c 20 6d 61 63 68 69 6e  e virtual machin
0450: 65 20 68 61 73 20 61 6e 20 6f 70 63 6f 64 65 0a  e has an opcode.
0460: 2a 2a 20 61 6e 64 20 61 73 20 6d 61 6e 79 20 61  ** and as many a
0470: 73 20 74 68 72 65 65 20 6f 70 65 72 61 6e 64 73  s three operands
0480: 2e 20 20 54 68 65 20 69 6e 73 74 72 75 63 74 69  .  The instructi
0490: 6f 6e 20 69 73 20 72 65 63 6f 72 64 65 64 0a 2a  on is recorded.*
04a0: 2a 20 61 73 20 61 6e 20 69 6e 73 74 61 6e 63 65  * as an instance
04b0: 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e   of the followin
04c0: 67 20 73 74 72 75 63 74 75 72 65 3a 0a 2a 2f 0a  g structure:.*/.
04d0: 73 74 72 75 63 74 20 56 64 62 65 4f 70 20 7b 0a  struct VdbeOp {.
04e0: 20 20 75 38 20 6f 70 63 6f 64 65 3b 20 20 20 20    u8 opcode;    
04f0: 20 20 20 20 20 20 2f 2a 20 57 68 61 74 20 6f 70        /* What op
0500: 65 72 61 74 69 6f 6e 20 74 6f 20 70 65 72 66 6f  eration to perfo
0510: 72 6d 20 2a 2f 0a 20 20 73 69 67 6e 65 64 20 63  rm */.  signed c
0520: 68 61 72 20 70 34 74 79 70 65 3b 20 2f 2a 20 4f  har p4type; /* O
0530: 6e 65 20 6f 66 20 74 68 65 20 50 34 5f 78 78 78  ne of the P4_xxx
0540: 20 63 6f 6e 73 74 61 6e 74 73 20 66 6f 72 20 70   constants for p
0550: 34 20 2a 2f 0a 20 20 75 31 36 20 70 35 3b 20 20  4 */.  u16 p5;  
0560: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 46 69             /* Fi
0570: 66 74 68 20 70 61 72 61 6d 65 74 65 72 20 69 73  fth parameter is
0580: 20 61 6e 20 75 6e 73 69 67 6e 65 64 20 31 36 2d   an unsigned 16-
0590: 62 69 74 20 69 6e 74 65 67 65 72 20 2a 2f 0a 20  bit integer */. 
05a0: 20 69 6e 74 20 70 31 3b 20 20 20 20 20 20 20 20   int p1;        
05b0: 20 20 20 20 20 2f 2a 20 46 69 72 73 74 20 6f 70       /* First op
05c0: 65 72 61 6e 64 20 2a 2f 0a 20 20 69 6e 74 20 70  erand */.  int p
05d0: 32 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  2;             /
05e0: 2a 20 53 65 63 6f 6e 64 20 70 61 72 61 6d 65 74  * Second paramet
05f0: 65 72 20 28 6f 66 74 65 6e 20 74 68 65 20 6a 75  er (often the ju
0600: 6d 70 20 64 65 73 74 69 6e 61 74 69 6f 6e 29 20  mp destination) 
0610: 2a 2f 0a 20 20 69 6e 74 20 70 33 3b 20 20 20 20  */.  int p3;    
0620: 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 65 20           /* The 
0630: 74 68 69 72 64 20 70 61 72 61 6d 65 74 65 72 20  third parameter 
0640: 2a 2f 0a 20 20 75 6e 69 6f 6e 20 70 34 75 6e 69  */.  union p4uni
0650: 6f 6e 20 7b 20 20 20 20 20 2f 2a 20 66 6f 75 72  on {     /* four
0660: 74 68 20 70 61 72 61 6d 65 74 65 72 20 2a 2f 0a  th parameter */.
0670: 20 20 20 20 69 6e 74 20 69 3b 20 20 20 20 20 20      int i;      
0680: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 49 6e             /* In
0690: 74 65 67 65 72 20 76 61 6c 75 65 20 69 66 20 70  teger value if p
06a0: 34 74 79 70 65 3d 3d 50 34 5f 49 4e 54 33 32 20  4type==P4_INT32 
06b0: 2a 2f 0a 20 20 20 20 76 6f 69 64 20 2a 70 3b 20  */.    void *p; 
06c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
06d0: 20 47 65 6e 65 72 69 63 20 70 6f 69 6e 74 65 72   Generic pointer
06e0: 20 2a 2f 0a 20 20 20 20 63 68 61 72 20 2a 7a 3b   */.    char *z;
06f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
0700: 2a 20 50 6f 69 6e 74 65 72 20 74 6f 20 64 61 74  * Pointer to dat
0710: 61 20 66 6f 72 20 73 74 72 69 6e 67 20 28 63 68  a for string (ch
0720: 61 72 20 61 72 72 61 79 29 20 74 79 70 65 73 20  ar array) types 
0730: 2a 2f 0a 20 20 20 20 69 36 34 20 2a 70 49 36 34  */.    i64 *pI64
0740: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a  ;             /*
0750: 20 55 73 65 64 20 77 68 65 6e 20 70 34 74 79 70   Used when p4typ
0760: 65 20 69 73 20 50 34 5f 49 4e 54 36 34 20 2a 2f  e is P4_INT64 */
0770: 0a 20 20 20 20 64 6f 75 62 6c 65 20 2a 70 52 65  .    double *pRe
0780: 61 6c 3b 20 20 20 20 20 20 20 20 20 2f 2a 20 55  al;         /* U
0790: 73 65 64 20 77 68 65 6e 20 70 34 74 79 70 65 20  sed when p4type 
07a0: 69 73 20 50 34 5f 52 45 41 4c 20 2a 2f 0a 20 20  is P4_REAL */.  
07b0: 20 20 46 75 6e 63 44 65 66 20 2a 70 46 75 6e 63    FuncDef *pFunc
07c0: 3b 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64  ;        /* Used
07d0: 20 77 68 65 6e 20 70 34 74 79 70 65 20 69 73 20   when p4type is 
07e0: 50 34 5f 46 55 4e 43 44 45 46 20 2a 2f 0a 20 20  P4_FUNCDEF */.  
07f0: 20 20 73 71 6c 69 74 65 33 5f 63 6f 6e 74 65 78    sqlite3_contex
0800: 74 20 2a 70 43 74 78 3b 20 2f 2a 20 55 73 65 64  t *pCtx; /* Used
0810: 20 77 68 65 6e 20 70 34 74 79 70 65 20 69 73 20   when p4type is 
0820: 50 34 5f 46 55 4e 43 43 54 58 20 2a 2f 0a 20 20  P4_FUNCCTX */.  
0830: 20 20 43 6f 6c 6c 53 65 71 20 2a 70 43 6f 6c 6c    CollSeq *pColl
0840: 3b 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64  ;        /* Used
0850: 20 77 68 65 6e 20 70 34 74 79 70 65 20 69 73 20   when p4type is 
0860: 50 34 5f 43 4f 4c 4c 53 45 51 20 2a 2f 0a 20 20  P4_COLLSEQ */.  
0870: 20 20 4d 65 6d 20 2a 70 4d 65 6d 3b 20 20 20 20    Mem *pMem;    
0880: 20 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64           /* Used
0890: 20 77 68 65 6e 20 70 34 74 79 70 65 20 69 73 20   when p4type is 
08a0: 50 34 5f 4d 45 4d 20 2a 2f 0a 20 20 20 20 56 54  P4_MEM */.    VT
08b0: 61 62 6c 65 20 2a 70 56 74 61 62 3b 20 20 20 20  able *pVtab;    
08c0: 20 20 20 20 20 2f 2a 20 55 73 65 64 20 77 68 65       /* Used whe
08d0: 6e 20 70 34 74 79 70 65 20 69 73 20 50 34 5f 56  n p4type is P4_V
08e0: 54 41 42 20 2a 2f 0a 20 20 20 20 4b 65 79 49 6e  TAB */.    KeyIn
08f0: 66 6f 20 2a 70 4b 65 79 49 6e 66 6f 3b 20 20 20  fo *pKeyInfo;   
0900: 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20 70    /* Used when p
0910: 34 74 79 70 65 20 69 73 20 50 34 5f 4b 45 59 49  4type is P4_KEYI
0920: 4e 46 4f 20 2a 2f 0a 20 20 20 20 69 6e 74 20 2a  NFO */.    int *
0930: 61 69 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  ai;             
0940: 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20 70    /* Used when p
0950: 34 74 79 70 65 20 69 73 20 50 34 5f 49 4e 54 41  4type is P4_INTA
0960: 52 52 41 59 20 2a 2f 0a 20 20 20 20 53 75 62 50  RRAY */.    SubP
0970: 72 6f 67 72 61 6d 20 2a 70 50 72 6f 67 72 61 6d  rogram *pProgram
0980: 3b 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20  ;  /* Used when 
0990: 70 34 74 79 70 65 20 69 73 20 50 34 5f 53 55 42  p4type is P4_SUB
09a0: 50 52 4f 47 52 41 4d 20 2a 2f 0a 20 20 20 20 54  PROGRAM */.    T
09b0: 61 62 6c 65 20 2a 70 54 61 62 3b 20 20 20 20 20  able *pTab;     
09c0: 20 20 20 20 20 20 2f 2a 20 55 73 65 64 20 77 68        /* Used wh
09d0: 65 6e 20 70 34 74 79 70 65 20 69 73 20 50 34 5f  en p4type is P4_
09e0: 54 41 42 4c 45 20 2a 2f 0a 23 69 66 64 65 66 20  TABLE */.#ifdef 
09f0: 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 43 55  SQLITE_ENABLE_CU
0a00: 52 53 4f 52 5f 48 49 4e 54 53 0a 20 20 20 20 45  RSOR_HINTS.    E
0a10: 78 70 72 20 2a 70 45 78 70 72 3b 20 20 20 20 20  xpr *pExpr;     
0a20: 20 20 20 20 20 20 2f 2a 20 55 73 65 64 20 77 68        /* Used wh
0a30: 65 6e 20 70 34 74 79 70 65 20 69 73 20 50 34 5f  en p4type is P4_
0a40: 45 58 50 52 20 2a 2f 0a 23 65 6e 64 69 66 0a 20  EXPR */.#endif. 
0a50: 20 20 20 69 6e 74 20 28 2a 78 41 64 76 61 6e 63     int (*xAdvanc
0a60: 65 29 28 42 74 43 75 72 73 6f 72 20 2a 2c 20 69  e)(BtCursor *, i
0a70: 6e 74 20 2a 29 3b 0a 20 20 7d 20 70 34 3b 0a 23  nt *);.  } p4;.#
0a80: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41  ifdef SQLITE_ENA
0a90: 42 4c 45 5f 45 58 50 4c 41 49 4e 5f 43 4f 4d 4d  BLE_EXPLAIN_COMM
0aa0: 45 4e 54 53 0a 20 20 63 68 61 72 20 2a 7a 43 6f  ENTS.  char *zCo
0ab0: 6d 6d 65 6e 74 3b 20 20 20 20 20 20 20 20 20 20  mment;          
0ac0: 2f 2a 20 43 6f 6d 6d 65 6e 74 20 74 6f 20 69 6d  /* Comment to im
0ad0: 70 72 6f 76 65 20 72 65 61 64 61 62 69 6c 69 74  prove readabilit
0ae0: 79 20 2a 2f 0a 23 65 6e 64 69 66 0a 23 69 66 64  y */.#endif.#ifd
0af0: 65 66 20 56 44 42 45 5f 50 52 4f 46 49 4c 45 0a  ef VDBE_PROFILE.
0b00: 20 20 75 33 32 20 63 6e 74 3b 20 20 20 20 20 20    u32 cnt;      
0b10: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75             /* Nu
0b20: 6d 62 65 72 20 6f 66 20 74 69 6d 65 73 20 74 68  mber of times th
0b30: 69 73 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 77  is instruction w
0b40: 61 73 20 65 78 65 63 75 74 65 64 20 2a 2f 0a 20  as executed */. 
0b50: 20 75 36 34 20 63 79 63 6c 65 73 3b 20 20 20 20   u64 cycles;    
0b60: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 6f 74            /* Tot
0b70: 61 6c 20 74 69 6d 65 20 73 70 65 6e 74 20 65 78  al time spent ex
0b80: 65 63 75 74 69 6e 67 20 74 68 69 73 20 69 6e 73  ecuting this ins
0b90: 74 72 75 63 74 69 6f 6e 20 2a 2f 0a 23 65 6e 64  truction */.#end
0ba0: 69 66 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  if.#ifdef SQLITE
0bb0: 5f 56 44 42 45 5f 43 4f 56 45 52 41 47 45 0a 20  _VDBE_COVERAGE. 
0bc0: 20 69 6e 74 20 69 53 72 63 4c 69 6e 65 3b 20 20   int iSrcLine;  
0bd0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 53 6f 75            /* Sou
0be0: 72 63 65 2d 63 6f 64 65 20 6c 69 6e 65 20 74 68  rce-code line th
0bf0: 61 74 20 67 65 6e 65 72 61 74 65 64 20 74 68 69  at generated thi
0c00: 73 20 6f 70 63 6f 64 65 20 2a 2f 0a 23 65 6e 64  s opcode */.#end
0c10: 69 66 0a 7d 3b 0a 74 79 70 65 64 65 66 20 73 74  if.};.typedef st
0c20: 72 75 63 74 20 56 64 62 65 4f 70 20 56 64 62 65  ruct VdbeOp Vdbe
0c30: 4f 70 3b 0a 0a 0a 2f 2a 0a 2a 2a 20 41 20 73 75  Op;.../*.** A su
0c40: 62 2d 72 6f 75 74 69 6e 65 20 75 73 65 64 20 74  b-routine used t
0c50: 6f 20 69 6d 70 6c 65 6d 65 6e 74 20 61 20 74 72  o implement a tr
0c60: 69 67 67 65 72 20 70 72 6f 67 72 61 6d 2e 0a 2a  igger program..*
0c70: 2f 0a 73 74 72 75 63 74 20 53 75 62 50 72 6f 67  /.struct SubProg
0c80: 72 61 6d 20 7b 0a 20 20 56 64 62 65 4f 70 20 2a  ram {.  VdbeOp *
0c90: 61 4f 70 3b 20 20 20 20 20 20 20 20 20 20 20 20  aOp;            
0ca0: 20 20 20 20 20 20 2f 2a 20 41 72 72 61 79 20 6f        /* Array o
0cb0: 66 20 6f 70 63 6f 64 65 73 20 66 6f 72 20 73 75  f opcodes for su
0cc0: 62 2d 70 72 6f 67 72 61 6d 20 2a 2f 0a 20 20 69  b-program */.  i
0cd0: 6e 74 20 6e 4f 70 3b 20 20 20 20 20 20 20 20 20  nt nOp;         
0ce0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
0cf0: 45 6c 65 6d 65 6e 74 73 20 69 6e 20 61 4f 70 5b  Elements in aOp[
0d00: 5d 20 2a 2f 0a 20 20 69 6e 74 20 6e 4d 65 6d 3b  ] */.  int nMem;
0d10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0d20: 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f       /* Number o
0d30: 66 20 6d 65 6d 6f 72 79 20 63 65 6c 6c 73 20 72  f memory cells r
0d40: 65 71 75 69 72 65 64 20 2a 2f 0a 20 20 69 6e 74  equired */.  int
0d50: 20 6e 43 73 72 3b 20 20 20 20 20 20 20 20 20 20   nCsr;          
0d60: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75             /* Nu
0d70: 6d 62 65 72 20 6f 66 20 63 75 72 73 6f 72 73 20  mber of cursors 
0d80: 72 65 71 75 69 72 65 64 20 2a 2f 0a 20 20 76 6f  required */.  vo
0d90: 69 64 20 2a 74 6f 6b 65 6e 3b 20 20 20 20 20 20  id *token;      
0da0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 69              /* i
0db0: 64 20 74 68 61 74 20 6d 61 79 20 62 65 20 75 73  d that may be us
0dc0: 65 64 20 74 6f 20 72 65 63 75 72 73 69 76 65 20  ed to recursive 
0dd0: 74 72 69 67 67 65 72 73 20 2a 2f 0a 20 20 53 75  triggers */.  Su
0de0: 62 50 72 6f 67 72 61 6d 20 2a 70 4e 65 78 74 3b  bProgram *pNext;
0df0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e              /* N
0e00: 65 78 74 20 73 75 62 2d 70 72 6f 67 72 61 6d 20  ext sub-program 
0e10: 61 6c 72 65 61 64 79 20 76 69 73 69 74 65 64 20  already visited 
0e20: 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 41 20 73  */.};../*.** A s
0e30: 6d 61 6c 6c 65 72 20 76 65 72 73 69 6f 6e 20 6f  maller version o
0e40: 66 20 56 64 62 65 4f 70 20 75 73 65 64 20 66 6f  f VdbeOp used fo
0e50: 72 20 74 68 65 20 56 64 62 65 41 64 64 4f 70 4c  r the VdbeAddOpL
0e60: 69 73 74 28 29 20 66 75 6e 63 74 69 6f 6e 20 62  ist() function b
0e70: 65 63 61 75 73 65 0a 2a 2a 20 69 74 20 74 61 6b  ecause.** it tak
0e80: 65 73 20 75 70 20 6c 65 73 73 20 73 70 61 63 65  es up less space
0e90: 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 56 64 62 65  ..*/.struct Vdbe
0ea0: 4f 70 4c 69 73 74 20 7b 0a 20 20 75 38 20 6f 70  OpList {.  u8 op
0eb0: 63 6f 64 65 3b 20 20 20 20 20 20 20 20 20 20 2f  code;          /
0ec0: 2a 20 57 68 61 74 20 6f 70 65 72 61 74 69 6f 6e  * What operation
0ed0: 20 74 6f 20 70 65 72 66 6f 72 6d 20 2a 2f 0a 20   to perform */. 
0ee0: 20 73 69 67 6e 65 64 20 63 68 61 72 20 70 31 3b   signed char p1;
0ef0: 20 20 20 20 20 2f 2a 20 46 69 72 73 74 20 6f 70       /* First op
0f00: 65 72 61 6e 64 20 2a 2f 0a 20 20 73 69 67 6e 65  erand */.  signe
0f10: 64 20 63 68 61 72 20 70 32 3b 20 20 20 20 20 2f  d char p2;     /
0f20: 2a 20 53 65 63 6f 6e 64 20 70 61 72 61 6d 65 74  * Second paramet
0f30: 65 72 20 28 6f 66 74 65 6e 20 74 68 65 20 6a 75  er (often the ju
0f40: 6d 70 20 64 65 73 74 69 6e 61 74 69 6f 6e 29 20  mp destination) 
0f50: 2a 2f 0a 20 20 73 69 67 6e 65 64 20 63 68 61 72  */.  signed char
0f60: 20 70 33 3b 20 20 20 20 20 2f 2a 20 54 68 69 72   p3;     /* Thir
0f70: 64 20 70 61 72 61 6d 65 74 65 72 20 2a 2f 0a 7d  d parameter */.}
0f80: 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75 63 74  ;.typedef struct
0f90: 20 56 64 62 65 4f 70 4c 69 73 74 20 56 64 62 65   VdbeOpList Vdbe
0fa0: 4f 70 4c 69 73 74 3b 0a 0a 2f 2a 0a 2a 2a 20 41  OpList;../*.** A
0fb0: 6c 6c 6f 77 65 64 20 76 61 6c 75 65 73 20 6f 66  llowed values of
0fc0: 20 56 64 62 65 4f 70 2e 70 34 74 79 70 65 0a 2a   VdbeOp.p4type.*
0fd0: 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 4e 4f 54  /.#define P4_NOT
0fe0: 55 53 45 44 20 20 20 20 30 20 20 20 2f 2a 20 54  USED    0   /* T
0ff0: 68 65 20 50 34 20 70 61 72 61 6d 65 74 65 72 20  he P4 parameter 
1000: 69 73 20 6e 6f 74 20 75 73 65 64 20 2a 2f 0a 23  is not used */.#
1010: 64 65 66 69 6e 65 20 50 34 5f 44 59 4e 41 4d 49  define P4_DYNAMI
1020: 43 20 20 28 2d 31 29 20 20 2f 2a 20 50 6f 69 6e  C  (-1)  /* Poin
1030: 74 65 72 20 74 6f 20 61 20 73 74 72 69 6e 67 20  ter to a string 
1040: 6f 62 74 61 69 6e 65 64 20 66 72 6f 6d 20 73 71  obtained from sq
1050: 6c 69 74 65 4d 61 6c 6c 6f 63 28 29 20 2a 2f 0a  liteMalloc() */.
1060: 23 64 65 66 69 6e 65 20 50 34 5f 53 54 41 54 49  #define P4_STATI
1070: 43 20 20 20 28 2d 32 29 20 20 2f 2a 20 50 6f 69  C   (-2)  /* Poi
1080: 6e 74 65 72 20 74 6f 20 61 20 73 74 61 74 69 63  nter to a static
1090: 20 73 74 72 69 6e 67 20 2a 2f 0a 23 64 65 66 69   string */.#defi
10a0: 6e 65 20 50 34 5f 43 4f 4c 4c 53 45 51 20 20 28  ne P4_COLLSEQ  (
10b0: 2d 33 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20  -3)  /* P4 is a 
10c0: 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 43 6f 6c  pointer to a Col
10d0: 6c 53 65 71 20 73 74 72 75 63 74 75 72 65 20 2a  lSeq structure *
10e0: 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 46 55 4e  /.#define P4_FUN
10f0: 43 44 45 46 20 20 28 2d 34 29 20 20 2f 2a 20 50  CDEF  (-4)  /* P
1100: 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74  4 is a pointer t
1110: 6f 20 61 20 46 75 6e 63 44 65 66 20 73 74 72 75  o a FuncDef stru
1120: 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65  cture */.#define
1130: 20 50 34 5f 4b 45 59 49 4e 46 4f 20 20 28 2d 35   P4_KEYINFO  (-5
1140: 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f  )  /* P4 is a po
1150: 69 6e 74 65 72 20 74 6f 20 61 20 4b 65 79 49 6e  inter to a KeyIn
1160: 66 6f 20 73 74 72 75 63 74 75 72 65 20 2a 2f 0a  fo structure */.
1170: 23 64 65 66 69 6e 65 20 50 34 5f 45 58 50 52 20  #define P4_EXPR 
1180: 20 20 20 20 28 2d 36 29 20 20 2f 2a 20 50 34 20      (-6)  /* P4 
1190: 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  is a pointer to 
11a0: 61 6e 20 45 78 70 72 20 74 72 65 65 20 2a 2f 0a  an Expr tree */.
11b0: 23 64 65 66 69 6e 65 20 50 34 5f 4d 45 4d 20 20  #define P4_MEM  
11c0: 20 20 20 20 28 2d 37 29 20 20 2f 2a 20 50 34 20      (-7)  /* P4 
11d0: 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  is a pointer to 
11e0: 61 20 4d 65 6d 2a 20 20 20 20 73 74 72 75 63 74  a Mem*    struct
11f0: 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50  ure */.#define P
1200: 34 5f 54 52 41 4e 53 49 45 4e 54 20 20 30 20 20  4_TRANSIENT  0  
1210: 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e   /* P4 is a poin
1220: 74 65 72 20 74 6f 20 61 20 74 72 61 6e 73 69 65  ter to a transie
1230: 6e 74 20 73 74 72 69 6e 67 20 2a 2f 0a 23 64 65  nt string */.#de
1240: 66 69 6e 65 20 50 34 5f 56 54 41 42 20 20 20 20  fine P4_VTAB    
1250: 20 28 2d 38 29 20 2f 2a 20 50 34 20 69 73 20 61   (-8) /* P4 is a
1260: 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 6e 20 73   pointer to an s
1270: 71 6c 69 74 65 33 5f 76 74 61 62 20 73 74 72 75  qlite3_vtab stru
1280: 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65  cture */.#define
1290: 20 50 34 5f 52 45 41 4c 20 20 20 20 20 28 2d 39   P4_REAL     (-9
12a0: 29 20 2f 2a 20 50 34 20 69 73 20 61 20 36 34 2d  ) /* P4 is a 64-
12b0: 62 69 74 20 66 6c 6f 61 74 69 6e 67 20 70 6f 69  bit floating poi
12c0: 6e 74 20 76 61 6c 75 65 20 2a 2f 0a 23 64 65 66  nt value */.#def
12d0: 69 6e 65 20 50 34 5f 49 4e 54 36 34 20 20 20 20  ine P4_INT64    
12e0: 28 2d 31 30 29 20 2f 2a 20 50 34 20 69 73 20 61  (-10) /* P4 is a
12f0: 20 36 34 2d 62 69 74 20 73 69 67 6e 65 64 20 69   64-bit signed i
1300: 6e 74 65 67 65 72 20 2a 2f 0a 23 64 65 66 69 6e  nteger */.#defin
1310: 65 20 50 34 5f 49 4e 54 33 32 20 20 20 20 28 2d  e P4_INT32    (-
1320: 31 31 29 20 2f 2a 20 50 34 20 69 73 20 61 20 33  11) /* P4 is a 3
1330: 32 2d 62 69 74 20 73 69 67 6e 65 64 20 69 6e 74  2-bit signed int
1340: 65 67 65 72 20 2a 2f 0a 23 64 65 66 69 6e 65 20  eger */.#define 
1350: 50 34 5f 49 4e 54 41 52 52 41 59 20 28 2d 31 32  P4_INTARRAY (-12
1360: 29 20 2f 2a 20 50 34 20 69 73 20 61 20 76 65 63  ) /* P4 is a vec
1370: 74 6f 72 20 6f 66 20 33 32 2d 62 69 74 20 69 6e  tor of 32-bit in
1380: 74 65 67 65 72 73 20 2a 2f 0a 23 64 65 66 69 6e  tegers */.#defin
1390: 65 20 50 34 5f 53 55 42 50 52 4f 47 52 41 4d 20  e P4_SUBPROGRAM 
13a0: 20 28 2d 31 33 29 20 2f 2a 20 50 34 20 69 73 20   (-13) /* P4 is 
13b0: 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 53  a pointer to a S
13c0: 75 62 50 72 6f 67 72 61 6d 20 73 74 72 75 63 74  ubProgram struct
13d0: 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50  ure */.#define P
13e0: 34 5f 41 44 56 41 4e 43 45 20 20 28 2d 31 34 29  4_ADVANCE  (-14)
13f0: 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e   /* P4 is a poin
1400: 74 65 72 20 74 6f 20 42 74 72 65 65 4e 65 78 74  ter to BtreeNext
1410: 28 29 20 6f 72 20 42 74 72 65 65 50 72 65 76 28  () or BtreePrev(
1420: 29 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f  ) */.#define P4_
1430: 54 41 42 4c 45 20 20 20 20 28 2d 31 35 29 20 2f  TABLE    (-15) /
1440: 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65  * P4 is a pointe
1450: 72 20 74 6f 20 61 20 54 61 62 6c 65 20 73 74 72  r to a Table str
1460: 75 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e  ucture */.#defin
1470: 65 20 50 34 5f 46 55 4e 43 43 54 58 20 20 28 2d  e P4_FUNCCTX  (-
1480: 31 36 29 20 2f 2a 20 50 34 20 69 73 20 61 20 70  16) /* P4 is a p
1490: 6f 69 6e 74 65 72 20 74 6f 20 61 6e 20 73 71 6c  ointer to an sql
14a0: 69 74 65 33 5f 63 6f 6e 74 65 78 74 20 6f 62 6a  ite3_context obj
14b0: 65 63 74 20 2a 2f 0a 0a 2f 2a 20 45 72 72 6f 72  ect */../* Error
14c0: 20 6d 65 73 73 61 67 65 20 63 6f 64 65 73 20 66   message codes f
14d0: 6f 72 20 4f 50 5f 48 61 6c 74 20 2a 2f 0a 23 64  or OP_Halt */.#d
14e0: 65 66 69 6e 65 20 50 35 5f 43 6f 6e 73 74 72 61  efine P5_Constra
14f0: 69 6e 74 4e 6f 74 4e 75 6c 6c 20 31 0a 23 64 65  intNotNull 1.#de
1500: 66 69 6e 65 20 50 35 5f 43 6f 6e 73 74 72 61 69  fine P5_Constrai
1510: 6e 74 55 6e 69 71 75 65 20 20 32 0a 23 64 65 66  ntUnique  2.#def
1520: 69 6e 65 20 50 35 5f 43 6f 6e 73 74 72 61 69 6e  ine P5_Constrain
1530: 74 43 68 65 63 6b 20 20 20 33 0a 23 64 65 66 69  tCheck   3.#defi
1540: 6e 65 20 50 35 5f 43 6f 6e 73 74 72 61 69 6e 74  ne P5_Constraint
1550: 46 4b 20 20 20 20 20 20 34 0a 0a 2f 2a 0a 2a 2a  FK      4../*.**
1560: 20 54 68 65 20 56 64 62 65 2e 61 43 6f 6c 4e 61   The Vdbe.aColNa
1570: 6d 65 20 61 72 72 61 79 20 63 6f 6e 74 61 69 6e  me array contain
1580: 73 20 35 6e 20 4d 65 6d 20 73 74 72 75 63 74 75  s 5n Mem structu
1590: 72 65 73 2c 20 77 68 65 72 65 20 6e 20 69 73 20  res, where n is 
15a0: 74 68 65 20 0a 2a 2a 20 6e 75 6d 62 65 72 20 6f  the .** number o
15b0: 66 20 63 6f 6c 75 6d 6e 73 20 6f 66 20 64 61 74  f columns of dat
15c0: 61 20 72 65 74 75 72 6e 65 64 20 62 79 20 74 68  a returned by th
15d0: 65 20 73 74 61 74 65 6d 65 6e 74 2e 0a 2a 2f 0a  e statement..*/.
15e0: 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f  #define COLNAME_
15f0: 4e 41 4d 45 20 20 20 20 20 30 0a 23 64 65 66 69  NAME     0.#defi
1600: 6e 65 20 43 4f 4c 4e 41 4d 45 5f 44 45 43 4c 54  ne COLNAME_DECLT
1610: 59 50 45 20 31 0a 23 64 65 66 69 6e 65 20 43 4f  YPE 1.#define CO
1620: 4c 4e 41 4d 45 5f 44 41 54 41 42 41 53 45 20 32  LNAME_DATABASE 2
1630: 0a 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45  .#define COLNAME
1640: 5f 54 41 42 4c 45 20 20 20 20 33 0a 23 64 65 66  _TABLE    3.#def
1650: 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 43 4f 4c 55  ine COLNAME_COLU
1660: 4d 4e 20 20 20 34 0a 23 69 66 64 65 66 20 53 51  MN   4.#ifdef SQ
1670: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 43 4f 4c 55  LITE_ENABLE_COLU
1680: 4d 4e 5f 4d 45 54 41 44 41 54 41 0a 23 20 64 65  MN_METADATA.# de
1690: 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 4e 20 20  fine COLNAME_N  
16a0: 20 20 20 20 20 20 35 20 20 20 20 20 20 2f 2a 20        5      /* 
16b0: 4e 75 6d 62 65 72 20 6f 66 20 43 4f 4c 4e 41 4d  Number of COLNAM
16c0: 45 5f 78 78 78 20 73 79 6d 62 6f 6c 73 20 2a 2f  E_xxx symbols */
16d0: 0a 23 65 6c 73 65 0a 23 20 69 66 64 65 66 20 53  .#else.# ifdef S
16e0: 51 4c 49 54 45 5f 4f 4d 49 54 5f 44 45 43 4c 54  QLITE_OMIT_DECLT
16f0: 59 50 45 0a 23 20 20 20 64 65 66 69 6e 65 20 43  YPE.#   define C
1700: 4f 4c 4e 41 4d 45 5f 4e 20 20 20 20 20 20 31 20  OLNAME_N      1 
1710: 20 20 20 20 20 2f 2a 20 53 74 6f 72 65 20 6f 6e       /* Store on
1720: 6c 79 20 74 68 65 20 6e 61 6d 65 20 2a 2f 0a 23  ly the name */.#
1730: 20 65 6c 73 65 0a 23 20 20 20 64 65 66 69 6e 65   else.#   define
1740: 20 43 4f 4c 4e 41 4d 45 5f 4e 20 20 20 20 20 20   COLNAME_N      
1750: 32 20 20 20 20 20 20 2f 2a 20 53 74 6f 72 65 20  2      /* Store 
1760: 74 68 65 20 6e 61 6d 65 20 61 6e 64 20 64 65 63  the name and dec
1770: 6c 74 79 70 65 20 2a 2f 0a 23 20 65 6e 64 69 66  ltype */.# endif
1780: 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54  .#endif../*.** T
1790: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 6d 61 63  he following mac
17a0: 72 6f 20 63 6f 6e 76 65 72 74 73 20 61 20 72 65  ro converts a re
17b0: 6c 61 74 69 76 65 20 61 64 64 72 65 73 73 20 69  lative address i
17c0: 6e 20 74 68 65 20 70 32 20 66 69 65 6c 64 0a 2a  n the p2 field.*
17d0: 2a 20 6f 66 20 61 20 56 64 62 65 4f 70 20 73 74  * of a VdbeOp st
17e0: 72 75 63 74 75 72 65 20 69 6e 74 6f 20 61 20 6e  ructure into a n
17f0: 65 67 61 74 69 76 65 20 6e 75 6d 62 65 72 20 73  egative number s
1800: 6f 20 74 68 61 74 20 0a 2a 2a 20 73 71 6c 69 74  o that .** sqlit
1810: 65 33 56 64 62 65 41 64 64 4f 70 4c 69 73 74 28  e3VdbeAddOpList(
1820: 29 20 6b 6e 6f 77 73 20 74 68 61 74 20 74 68 65  ) knows that the
1830: 20 61 64 64 72 65 73 73 20 69 73 20 72 65 6c 61   address is rela
1840: 74 69 76 65 2e 20 20 43 61 6c 6c 69 6e 67 0a 2a  tive.  Calling.*
1850: 2a 20 74 68 65 20 6d 61 63 72 6f 20 61 67 61 69  * the macro agai
1860: 6e 20 72 65 73 74 6f 72 65 73 20 74 68 65 20 61  n restores the a
1870: 64 64 72 65 73 73 2e 0a 2a 2f 0a 23 64 65 66 69  ddress..*/.#defi
1880: 6e 65 20 41 44 44 52 28 58 29 20 20 28 2d 31 2d  ne ADDR(X)  (-1-
1890: 28 58 29 29 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  (X))../*.** The 
18a0: 6d 61 6b 65 66 69 6c 65 20 73 63 61 6e 73 20 74  makefile scans t
18b0: 68 65 20 76 64 62 65 2e 63 20 73 6f 75 72 63 65  he vdbe.c source
18c0: 20 66 69 6c 65 20 61 6e 64 20 63 72 65 61 74 65   file and create
18d0: 73 20 74 68 65 20 22 6f 70 63 6f 64 65 73 2e 68  s the "opcodes.h
18e0: 22 0a 2a 2a 20 68 65 61 64 65 72 20 66 69 6c 65  ".** header file
18f0: 20 74 68 61 74 20 64 65 66 69 6e 65 73 20 61 20   that defines a 
1900: 6e 75 6d 62 65 72 20 66 6f 72 20 65 61 63 68 20  number for each 
1910: 6f 70 63 6f 64 65 20 75 73 65 64 20 62 79 20 74  opcode used by t
1920: 68 65 20 56 44 42 45 2e 0a 2a 2f 0a 23 69 6e 63  he VDBE..*/.#inc
1930: 6c 75 64 65 20 22 6f 70 63 6f 64 65 73 2e 68 22  lude "opcodes.h"
1940: 0a 0a 2f 2a 0a 2a 2a 20 50 72 6f 74 6f 74 79 70  ../*.** Prototyp
1950: 65 73 20 66 6f 72 20 74 68 65 20 56 44 42 45 20  es for the VDBE 
1960: 69 6e 74 65 72 66 61 63 65 2e 20 20 53 65 65 20  interface.  See 
1970: 63 6f 6d 6d 65 6e 74 73 20 6f 6e 20 74 68 65 20  comments on the 
1980: 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 0a 2a  implementation.*
1990: 2a 20 66 6f 72 20 61 20 64 65 73 63 72 69 70 74  * for a descript
19a0: 69 6f 6e 20 6f 66 20 77 68 61 74 20 65 61 63 68  ion of what each
19b0: 20 6f 66 20 74 68 65 73 65 20 72 6f 75 74 69 6e   of these routin
19c0: 65 73 20 64 6f 65 73 2e 0a 2a 2f 0a 56 64 62 65  es does..*/.Vdbe
19d0: 20 2a 73 71 6c 69 74 65 33 56 64 62 65 43 72 65   *sqlite3VdbeCre
19e0: 61 74 65 28 50 61 72 73 65 2a 29 3b 0a 69 6e 74  ate(Parse*);.int
19f0: 20 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f   sqlite3VdbeAddO
1a00: 70 30 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a 69  p0(Vdbe*,int);.i
1a10: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 41 64  nt sqlite3VdbeAd
1a20: 64 4f 70 31 28 56 64 62 65 2a 2c 69 6e 74 2c 69  dOp1(Vdbe*,int,i
1a30: 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33  nt);.int sqlite3
1a40: 56 64 62 65 41 64 64 4f 70 32 28 56 64 62 65 2a  VdbeAddOp2(Vdbe*
1a50: 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 29 3b 0a 69  ,int,int,int);.i
1a60: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 47 6f  nt sqlite3VdbeGo
1a70: 74 6f 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a 69  to(Vdbe*,int);.i
1a80: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 4c 6f  nt sqlite3VdbeLo
1a90: 61 64 53 74 72 69 6e 67 28 56 64 62 65 2a 2c 69  adString(Vdbe*,i
1aa0: 6e 74 2c 63 6f 6e 73 74 20 63 68 61 72 2a 29 3b  nt,const char*);
1ab0: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
1ac0: 65 4d 75 6c 74 69 4c 6f 61 64 28 56 64 62 65 2a  eMultiLoad(Vdbe*
1ad0: 2c 69 6e 74 2c 63 6f 6e 73 74 20 63 68 61 72 2a  ,int,const char*
1ae0: 2c 2e 2e 2e 29 3b 0a 69 6e 74 20 73 71 6c 69 74  ,...);.int sqlit
1af0: 65 33 56 64 62 65 41 64 64 4f 70 33 28 56 64 62  e3VdbeAddOp3(Vdb
1b00: 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69  e*,int,int,int,i
1b10: 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33  nt);.int sqlite3
1b20: 56 64 62 65 41 64 64 4f 70 34 28 56 64 62 65 2a  VdbeAddOp4(Vdbe*
1b30: 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74  ,int,int,int,int
1b40: 2c 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 50 34  ,const char *zP4
1b50: 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74  ,int);.int sqlit
1b60: 65 33 56 64 62 65 41 64 64 4f 70 34 44 75 70 38  e3VdbeAddOp4Dup8
1b70: 28 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69  (Vdbe*,int,int,i
1b80: 6e 74 2c 69 6e 74 2c 63 6f 6e 73 74 20 75 38 2a  nt,int,const u8*
1b90: 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74  ,int);.int sqlit
1ba0: 65 33 56 64 62 65 41 64 64 4f 70 34 49 6e 74 28  e3VdbeAddOp4Int(
1bb0: 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e  Vdbe*,int,int,in
1bc0: 74 2c 69 6e 74 2c 69 6e 74 29 3b 0a 76 6f 69 64  t,int,int);.void
1bd0: 20 73 71 6c 69 74 65 33 56 64 62 65 45 6e 64 43   sqlite3VdbeEndC
1be0: 6f 72 6f 75 74 69 6e 65 28 56 64 62 65 2a 2c 69  oroutine(Vdbe*,i
1bf0: 6e 74 29 3b 0a 23 69 66 20 64 65 66 69 6e 65 64  nt);.#if defined
1c00: 28 53 51 4c 49 54 45 5f 44 45 42 55 47 29 20 26  (SQLITE_DEBUG) &
1c10: 26 20 21 64 65 66 69 6e 65 64 28 53 51 4c 49 54  & !defined(SQLIT
1c20: 45 5f 54 45 53 54 5f 52 45 41 4c 4c 4f 43 5f 53  E_TEST_REALLOC_S
1c30: 54 52 45 53 53 29 0a 20 20 76 6f 69 64 20 73 71  TRESS).  void sq
1c40: 6c 69 74 65 33 56 64 62 65 56 65 72 69 66 79 4e  lite3VdbeVerifyN
1c50: 6f 4d 61 6c 6c 6f 63 52 65 71 75 69 72 65 64 28  oMallocRequired(
1c60: 56 64 62 65 20 2a 70 2c 20 69 6e 74 20 4e 29 3b  Vdbe *p, int N);
1c70: 0a 20 20 76 6f 69 64 20 73 71 6c 69 74 65 33 56  .  void sqlite3V
1c80: 64 62 65 56 65 72 69 66 79 4e 6f 52 65 73 75 6c  dbeVerifyNoResul
1c90: 74 52 6f 77 28 56 64 62 65 20 2a 70 29 3b 0a 23  tRow(Vdbe *p);.#
1ca0: 65 6c 73 65 0a 23 20 64 65 66 69 6e 65 20 73 71  else.# define sq
1cb0: 6c 69 74 65 33 56 64 62 65 56 65 72 69 66 79 4e  lite3VdbeVerifyN
1cc0: 6f 4d 61 6c 6c 6f 63 52 65 71 75 69 72 65 64 28  oMallocRequired(
1cd0: 41 2c 42 29 0a 23 20 64 65 66 69 6e 65 20 73 71  A,B).# define sq
1ce0: 6c 69 74 65 33 56 64 62 65 56 65 72 69 66 79 4e  lite3VdbeVerifyN
1cf0: 6f 52 65 73 75 6c 74 52 6f 77 28 41 29 0a 23 65  oResultRow(A).#e
1d00: 6e 64 69 66 0a 56 64 62 65 4f 70 20 2a 73 71 6c  ndif.VdbeOp *sql
1d10: 69 74 65 33 56 64 62 65 41 64 64 4f 70 4c 69 73  ite3VdbeAddOpLis
1d20: 74 28 56 64 62 65 2a 2c 20 69 6e 74 20 6e 4f 70  t(Vdbe*, int nOp
1d30: 2c 20 56 64 62 65 4f 70 4c 69 73 74 20 63 6f 6e  , VdbeOpList con
1d40: 73 74 20 2a 61 4f 70 2c 20 69 6e 74 20 69 4c 69  st *aOp, int iLi
1d50: 6e 65 6e 6f 29 3b 0a 76 6f 69 64 20 73 71 6c 69  neno);.void sqli
1d60: 74 65 33 56 64 62 65 41 64 64 50 61 72 73 65 53  te3VdbeAddParseS
1d70: 63 68 65 6d 61 4f 70 28 56 64 62 65 2a 2c 69 6e  chemaOp(Vdbe*,in
1d80: 74 2c 63 68 61 72 2a 29 3b 0a 76 6f 69 64 20 73  t,char*);.void s
1d90: 71 6c 69 74 65 33 56 64 62 65 43 68 61 6e 67 65  qlite3VdbeChange
1da0: 4f 70 63 6f 64 65 28 56 64 62 65 2a 2c 20 75 33  Opcode(Vdbe*, u3
1db0: 32 20 61 64 64 72 2c 20 75 38 29 3b 0a 76 6f 69  2 addr, u8);.voi
1dc0: 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 68 61  d sqlite3VdbeCha
1dd0: 6e 67 65 50 31 28 56 64 62 65 2a 2c 20 75 33 32  ngeP1(Vdbe*, u32
1de0: 20 61 64 64 72 2c 20 69 6e 74 20 50 31 29 3b 0a   addr, int P1);.
1df0: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
1e00: 43 68 61 6e 67 65 50 32 28 56 64 62 65 2a 2c 20  ChangeP2(Vdbe*, 
1e10: 75 33 32 20 61 64 64 72 2c 20 69 6e 74 20 50 32  u32 addr, int P2
1e20: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
1e30: 64 62 65 43 68 61 6e 67 65 50 33 28 56 64 62 65  dbeChangeP3(Vdbe
1e40: 2a 2c 20 75 33 32 20 61 64 64 72 2c 20 69 6e 74  *, u32 addr, int
1e50: 20 50 33 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74   P3);.void sqlit
1e60: 65 33 56 64 62 65 43 68 61 6e 67 65 50 35 28 56  e3VdbeChangeP5(V
1e70: 64 62 65 2a 2c 20 75 31 36 20 50 35 29 3b 0a 76  dbe*, u16 P5);.v
1e80: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 4a  oid sqlite3VdbeJ
1e90: 75 6d 70 48 65 72 65 28 56 64 62 65 2a 2c 20 69  umpHere(Vdbe*, i
1ea0: 6e 74 20 61 64 64 72 29 3b 0a 69 6e 74 20 73 71  nt addr);.int sq
1eb0: 6c 69 74 65 33 56 64 62 65 43 68 61 6e 67 65 54  lite3VdbeChangeT
1ec0: 6f 4e 6f 6f 70 28 56 64 62 65 2a 2c 20 69 6e 74  oNoop(Vdbe*, int
1ed0: 20 61 64 64 72 29 3b 0a 69 6e 74 20 73 71 6c 69   addr);.int sqli
1ee0: 74 65 33 56 64 62 65 44 65 6c 65 74 65 50 72 69  te3VdbeDeletePri
1ef0: 6f 72 4f 70 63 6f 64 65 28 56 64 62 65 2a 2c 20  orOpcode(Vdbe*, 
1f00: 75 38 20 6f 70 29 3b 0a 76 6f 69 64 20 73 71 6c  u8 op);.void sql
1f10: 69 74 65 33 56 64 62 65 43 68 61 6e 67 65 50 34  ite3VdbeChangeP4
1f20: 28 56 64 62 65 2a 2c 20 69 6e 74 20 61 64 64 72  (Vdbe*, int addr
1f30: 2c 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 50  , const char *zP
1f40: 34 2c 20 69 6e 74 20 4e 29 3b 0a 76 6f 69 64 20  4, int N);.void 
1f50: 73 71 6c 69 74 65 33 56 64 62 65 41 70 70 65 6e  sqlite3VdbeAppen
1f60: 64 50 34 28 56 64 62 65 2a 2c 20 76 6f 69 64 20  dP4(Vdbe*, void 
1f70: 2a 70 50 34 2c 20 69 6e 74 20 70 34 74 79 70 65  *pP4, int p4type
1f80: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
1f90: 64 62 65 53 65 74 50 34 4b 65 79 49 6e 66 6f 28  dbeSetP4KeyInfo(
1fa0: 50 61 72 73 65 2a 2c 20 49 6e 64 65 78 2a 29 3b  Parse*, Index*);
1fb0: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
1fc0: 65 55 73 65 73 42 74 72 65 65 28 56 64 62 65 2a  eUsesBtree(Vdbe*
1fd0: 2c 20 69 6e 74 29 3b 0a 56 64 62 65 4f 70 20 2a  , int);.VdbeOp *
1fe0: 73 71 6c 69 74 65 33 56 64 62 65 47 65 74 4f 70  sqlite3VdbeGetOp
1ff0: 28 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 69 6e  (Vdbe*, int);.in
2000: 74 20 73 71 6c 69 74 65 33 56 64 62 65 4d 61 6b  t sqlite3VdbeMak
2010: 65 4c 61 62 65 6c 28 56 64 62 65 2a 29 3b 0a 76  eLabel(Vdbe*);.v
2020: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 52  oid sqlite3VdbeR
2030: 75 6e 4f 6e 6c 79 4f 6e 63 65 28 56 64 62 65 2a  unOnlyOnce(Vdbe*
2040: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
2050: 64 62 65 52 65 75 73 61 62 6c 65 28 56 64 62 65  dbeReusable(Vdbe
2060: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
2070: 56 64 62 65 44 65 6c 65 74 65 28 56 64 62 65 2a  VdbeDelete(Vdbe*
2080: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
2090: 64 62 65 43 6c 65 61 72 4f 62 6a 65 63 74 28 73  dbeClearObject(s
20a0: 71 6c 69 74 65 33 2a 2c 56 64 62 65 2a 29 3b 0a  qlite3*,Vdbe*);.
20b0: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
20c0: 4d 61 6b 65 52 65 61 64 79 28 56 64 62 65 2a 2c  MakeReady(Vdbe*,
20d0: 50 61 72 73 65 2a 29 3b 0a 69 6e 74 20 73 71 6c  Parse*);.int sql
20e0: 69 74 65 33 56 64 62 65 46 69 6e 61 6c 69 7a 65  ite3VdbeFinalize
20f0: 28 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71  (Vdbe*);.void sq
2100: 6c 69 74 65 33 56 64 62 65 52 65 73 6f 6c 76 65  lite3VdbeResolve
2110: 4c 61 62 65 6c 28 56 64 62 65 2a 2c 20 69 6e 74  Label(Vdbe*, int
2120: 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64  );.int sqlite3Vd
2130: 62 65 43 75 72 72 65 6e 74 41 64 64 72 28 56 64  beCurrentAddr(Vd
2140: 62 65 2a 29 3b 0a 23 69 66 64 65 66 20 53 51 4c  be*);.#ifdef SQL
2150: 49 54 45 5f 44 45 42 55 47 0a 20 20 69 6e 74 20  ITE_DEBUG.  int 
2160: 73 71 6c 69 74 65 33 56 64 62 65 41 73 73 65 72  sqlite3VdbeAsser
2170: 74 4d 61 79 41 62 6f 72 74 28 56 64 62 65 20 2a  tMayAbort(Vdbe *
2180: 2c 20 69 6e 74 29 3b 0a 23 65 6e 64 69 66 0a 76  , int);.#endif.v
2190: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 52  oid sqlite3VdbeR
21a0: 65 73 65 74 53 74 65 70 52 65 73 75 6c 74 28 56  esetStepResult(V
21b0: 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69  dbe*);.void sqli
21c0: 74 65 33 56 64 62 65 52 65 77 69 6e 64 28 56 64  te3VdbeRewind(Vd
21d0: 62 65 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65  be*);.int sqlite
21e0: 33 56 64 62 65 52 65 73 65 74 28 56 64 62 65 2a  3VdbeReset(Vdbe*
21f0: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
2200: 64 62 65 53 65 74 4e 75 6d 43 6f 6c 73 28 56 64  dbeSetNumCols(Vd
2210: 62 65 2a 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71  be*,int);.int sq
2220: 6c 69 74 65 33 56 64 62 65 53 65 74 43 6f 6c 4e  lite3VdbeSetColN
2230: 61 6d 65 28 56 64 62 65 2a 2c 20 69 6e 74 2c 20  ame(Vdbe*, int, 
2240: 69 6e 74 2c 20 63 6f 6e 73 74 20 63 68 61 72 20  int, const char 
2250: 2a 2c 20 76 6f 69 64 28 2a 29 28 76 6f 69 64 2a  *, void(*)(void*
2260: 29 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  ));.void sqlite3
2270: 56 64 62 65 43 6f 75 6e 74 43 68 61 6e 67 65 73  VdbeCountChanges
2280: 28 56 64 62 65 2a 29 3b 0a 73 71 6c 69 74 65 33  (Vdbe*);.sqlite3
2290: 20 2a 73 71 6c 69 74 65 33 56 64 62 65 44 62 28   *sqlite3VdbeDb(
22a0: 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c  Vdbe*);.void sql
22b0: 69 74 65 33 56 64 62 65 53 65 74 53 71 6c 28 56  ite3VdbeSetSql(V
22c0: 64 62 65 2a 2c 20 63 6f 6e 73 74 20 63 68 61 72  dbe*, const char
22d0: 20 2a 7a 2c 20 69 6e 74 20 6e 2c 20 69 6e 74 29   *z, int n, int)
22e0: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
22f0: 62 65 53 77 61 70 28 56 64 62 65 2a 2c 56 64 62  beSwap(Vdbe*,Vdb
2300: 65 2a 29 3b 0a 56 64 62 65 4f 70 20 2a 73 71 6c  e*);.VdbeOp *sql
2310: 69 74 65 33 56 64 62 65 54 61 6b 65 4f 70 41 72  ite3VdbeTakeOpAr
2320: 72 61 79 28 56 64 62 65 2a 2c 20 69 6e 74 2a 2c  ray(Vdbe*, int*,
2330: 20 69 6e 74 2a 29 3b 0a 73 71 6c 69 74 65 33 5f   int*);.sqlite3_
2340: 76 61 6c 75 65 20 2a 73 71 6c 69 74 65 33 56 64  value *sqlite3Vd
2350: 62 65 47 65 74 42 6f 75 6e 64 56 61 6c 75 65 28  beGetBoundValue(
2360: 56 64 62 65 2a 2c 20 69 6e 74 2c 20 75 38 29 3b  Vdbe*, int, u8);
2370: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
2380: 65 53 65 74 56 61 72 6d 61 73 6b 28 56 64 62 65  eSetVarmask(Vdbe
2390: 2a 2c 20 69 6e 74 29 3b 0a 76 6f 69 64 20 73 71  *, int);.void sq
23a0: 6c 69 74 65 33 56 64 62 65 55 73 65 73 41 6c 74  lite3VdbeUsesAlt
23b0: 4d 61 70 28 56 64 62 65 2a 29 3b 0a 23 69 66 6e  Map(Vdbe*);.#ifn
23c0: 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f  def SQLITE_OMIT_
23d0: 54 52 41 43 45 0a 20 20 63 68 61 72 20 2a 73 71  TRACE.  char *sq
23e0: 6c 69 74 65 33 56 64 62 65 45 78 70 61 6e 64 53  lite3VdbeExpandS
23f0: 71 6c 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74 20  ql(Vdbe*, const 
2400: 63 68 61 72 2a 29 3b 0a 23 65 6e 64 69 66 0a 69  char*);.#endif.i
2410: 6e 74 20 73 71 6c 69 74 65 33 4d 65 6d 43 6f 6d  nt sqlite3MemCom
2420: 70 61 72 65 28 63 6f 6e 73 74 20 4d 65 6d 2a 2c  pare(const Mem*,
2430: 20 63 6f 6e 73 74 20 4d 65 6d 2a 2c 20 63 6f 6e   const Mem*, con
2440: 73 74 20 43 6f 6c 6c 53 65 71 2a 29 3b 0a 0a 76  st CollSeq*);..v
2450: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 52  oid sqlite3VdbeR
2460: 65 63 6f 72 64 55 6e 70 61 63 6b 28 4b 65 79 49  ecordUnpack(KeyI
2470: 6e 66 6f 2a 2c 69 6e 74 2c 63 6f 6e 73 74 20 76  nfo*,int,const v
2480: 6f 69 64 2a 2c 55 6e 70 61 63 6b 65 64 52 65 63  oid*,UnpackedRec
2490: 6f 72 64 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74  ord*);.int sqlit
24a0: 65 33 56 64 62 65 52 65 63 6f 72 64 43 6f 6d 70  e3VdbeRecordComp
24b0: 61 72 65 28 69 6e 74 2c 63 6f 6e 73 74 20 76 6f  are(int,const vo
24c0: 69 64 2a 2c 55 6e 70 61 63 6b 65 64 52 65 63 6f  id*,UnpackedReco
24d0: 72 64 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65  rd*);.int sqlite
24e0: 33 56 64 62 65 52 65 63 6f 72 64 43 6f 6d 70 61  3VdbeRecordCompa
24f0: 72 65 57 69 74 68 53 6b 69 70 28 69 6e 74 2c 20  reWithSkip(int, 
2500: 63 6f 6e 73 74 20 76 6f 69 64 20 2a 2c 20 55 6e  const void *, Un
2510: 70 61 63 6b 65 64 52 65 63 6f 72 64 20 2a 2c 20  packedRecord *, 
2520: 69 6e 74 29 3b 0a 55 6e 70 61 63 6b 65 64 52 65  int);.UnpackedRe
2530: 63 6f 72 64 20 2a 73 71 6c 69 74 65 33 56 64 62  cord *sqlite3Vdb
2540: 65 41 6c 6c 6f 63 55 6e 70 61 63 6b 65 64 52 65  eAllocUnpackedRe
2550: 63 6f 72 64 28 4b 65 79 49 6e 66 6f 2a 29 3b 0a  cord(KeyInfo*);.
2560: 0a 74 79 70 65 64 65 66 20 69 6e 74 20 28 2a 52  .typedef int (*R
2570: 65 63 6f 72 64 43 6f 6d 70 61 72 65 29 28 69 6e  ecordCompare)(in
2580: 74 2c 63 6f 6e 73 74 20 76 6f 69 64 2a 2c 55 6e  t,const void*,Un
2590: 70 61 63 6b 65 64 52 65 63 6f 72 64 2a 29 3b 0a  packedRecord*);.
25a0: 52 65 63 6f 72 64 43 6f 6d 70 61 72 65 20 73 71  RecordCompare sq
25b0: 6c 69 74 65 33 56 64 62 65 46 69 6e 64 43 6f 6d  lite3VdbeFindCom
25c0: 70 61 72 65 28 55 6e 70 61 63 6b 65 64 52 65 63  pare(UnpackedRec
25d0: 6f 72 64 2a 29 3b 0a 0a 23 69 66 6e 64 65 66 20  ord*);..#ifndef 
25e0: 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 54 52 49 47  SQLITE_OMIT_TRIG
25f0: 47 45 52 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  GER.void sqlite3
2600: 56 64 62 65 4c 69 6e 6b 53 75 62 50 72 6f 67 72  VdbeLinkSubProgr
2610: 61 6d 28 56 64 62 65 20 2a 2c 20 53 75 62 50 72  am(Vdbe *, SubPr
2620: 6f 67 72 61 6d 20 2a 29 3b 0a 23 65 6e 64 69 66  ogram *);.#endif
2630: 0a 0a 2f 2a 20 55 73 65 20 53 51 4c 49 54 45 5f  ../* Use SQLITE_
2640: 45 4e 41 42 4c 45 5f 43 4f 4d 4d 45 4e 54 53 20  ENABLE_COMMENTS 
2650: 74 6f 20 65 6e 61 62 6c 65 20 67 65 6e 65 72 61  to enable genera
2660: 74 69 6f 6e 20 6f 66 20 65 78 74 72 61 20 63 6f  tion of extra co
2670: 6d 6d 65 6e 74 73 20 6f 6e 0a 2a 2a 20 65 61 63  mments on.** eac
2680: 68 20 56 44 42 45 20 6f 70 63 6f 64 65 2e 0a 2a  h VDBE opcode..*
2690: 2a 0a 2a 2a 20 55 73 65 20 74 68 65 20 53 51 4c  *.** Use the SQL
26a0: 49 54 45 5f 45 4e 41 42 4c 45 5f 4d 4f 44 55 4c  ITE_ENABLE_MODUL
26b0: 45 5f 43 4f 4d 4d 45 4e 54 53 20 6d 61 63 72 6f  E_COMMENTS macro
26c0: 20 74 6f 20 73 65 65 20 73 6f 6d 65 20 65 78 74   to see some ext
26d0: 72 61 20 6e 6f 2d 6f 70 0a 2a 2a 20 63 6f 6d 6d  ra no-op.** comm
26e0: 65 6e 74 73 20 69 6e 20 56 44 42 45 20 70 72 6f  ents in VDBE pro
26f0: 67 72 61 6d 73 20 74 68 61 74 20 73 68 6f 77 20  grams that show 
2700: 6b 65 79 20 64 65 63 69 73 69 6f 6e 20 70 6f 69  key decision poi
2710: 6e 74 73 20 69 6e 20 74 68 65 20 63 6f 64 65 0a  nts in the code.
2720: 2a 2a 20 67 65 6e 65 72 61 74 6f 72 2e 0a 2a 2f  ** generator..*/
2730: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45  .#ifdef SQLITE_E
2740: 4e 41 42 4c 45 5f 45 58 50 4c 41 49 4e 5f 43 4f  NABLE_EXPLAIN_CO
2750: 4d 4d 45 4e 54 53 0a 20 20 76 6f 69 64 20 73 71  MMENTS.  void sq
2760: 6c 69 74 65 33 56 64 62 65 43 6f 6d 6d 65 6e 74  lite3VdbeComment
2770: 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74 20 63 68  (Vdbe*, const ch
2780: 61 72 2a 2c 20 2e 2e 2e 29 3b 0a 23 20 64 65 66  ar*, ...);.# def
2790: 69 6e 65 20 56 64 62 65 43 6f 6d 6d 65 6e 74 28  ine VdbeComment(
27a0: 58 29 20 20 73 71 6c 69 74 65 33 56 64 62 65 43  X)  sqlite3VdbeC
27b0: 6f 6d 6d 65 6e 74 20 58 0a 20 20 76 6f 69 64 20  omment X.  void 
27c0: 73 71 6c 69 74 65 33 56 64 62 65 4e 6f 6f 70 43  sqlite3VdbeNoopC
27d0: 6f 6d 6d 65 6e 74 28 56 64 62 65 2a 2c 20 63 6f  omment(Vdbe*, co
27e0: 6e 73 74 20 63 68 61 72 2a 2c 20 2e 2e 2e 29 3b  nst char*, ...);
27f0: 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 4e 6f  .# define VdbeNo
2800: 6f 70 43 6f 6d 6d 65 6e 74 28 58 29 20 20 73 71  opComment(X)  sq
2810: 6c 69 74 65 33 56 64 62 65 4e 6f 6f 70 43 6f 6d  lite3VdbeNoopCom
2820: 6d 65 6e 74 20 58 0a 23 20 69 66 64 65 66 20 53  ment X.# ifdef S
2830: 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 4d 4f 44  QLITE_ENABLE_MOD
2840: 55 4c 45 5f 43 4f 4d 4d 45 4e 54 53 0a 23 20 20  ULE_COMMENTS.#  
2850: 20 64 65 66 69 6e 65 20 56 64 62 65 4d 6f 64 75   define VdbeModu
2860: 6c 65 43 6f 6d 6d 65 6e 74 28 58 29 20 20 73 71  leComment(X)  sq
2870: 6c 69 74 65 33 56 64 62 65 4e 6f 6f 70 43 6f 6d  lite3VdbeNoopCom
2880: 6d 65 6e 74 20 58 0a 23 20 65 6c 73 65 0a 23 20  ment X.# else.# 
2890: 20 20 64 65 66 69 6e 65 20 56 64 62 65 4d 6f 64    define VdbeMod
28a0: 75 6c 65 43 6f 6d 6d 65 6e 74 28 58 29 0a 23 20  uleComment(X).# 
28b0: 65 6e 64 69 66 0a 23 65 6c 73 65 0a 23 20 64 65  endif.#else.# de
28c0: 66 69 6e 65 20 56 64 62 65 43 6f 6d 6d 65 6e 74  fine VdbeComment
28d0: 28 58 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62  (X).# define Vdb
28e0: 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 28 58 29 0a  eNoopComment(X).
28f0: 23 20 64 65 66 69 6e 65 20 56 64 62 65 4d 6f 64  # define VdbeMod
2900: 75 6c 65 43 6f 6d 6d 65 6e 74 28 58 29 0a 23 65  uleComment(X).#e
2910: 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20  ndif../*.** The 
2920: 56 64 62 65 43 6f 76 65 72 61 67 65 20 6d 61 63  VdbeCoverage mac
2930: 72 6f 73 20 61 72 65 20 75 73 65 64 20 74 6f 20  ros are used to 
2940: 73 65 74 20 61 20 63 6f 76 65 72 61 67 65 20 74  set a coverage t
2950: 65 73 74 69 6e 67 20 70 6f 69 6e 74 0a 2a 2a 20  esting point.** 
2960: 66 6f 72 20 56 44 42 45 20 62 72 61 6e 63 68 20  for VDBE branch 
2970: 69 6e 73 74 72 75 63 74 69 6f 6e 73 2e 20 20 54  instructions.  T
2980: 68 65 20 63 6f 76 65 72 61 67 65 20 74 65 73 74  he coverage test
2990: 69 6e 67 20 70 6f 69 6e 74 73 20 61 72 65 20 6c  ing points are l
29a0: 69 6e 65 0a 2a 2a 20 6e 75 6d 62 65 72 73 20 69  ine.** numbers i
29b0: 6e 20 74 68 65 20 73 71 6c 69 74 65 33 2e 63 20  n the sqlite3.c 
29c0: 73 6f 75 72 63 65 20 66 69 6c 65 2e 20 20 56 44  source file.  VD
29d0: 42 45 20 62 72 61 6e 63 68 20 63 6f 76 65 72 61  BE branch covera
29e0: 67 65 20 74 65 73 74 69 6e 67 0a 2a 2a 20 6f 6e  ge testing.** on
29f0: 6c 79 20 77 6f 72 6b 73 20 77 69 74 68 20 61 6e  ly works with an
2a00: 20 61 6d 61 6c 61 67 6d 61 74 69 6f 6e 20 62 75   amalagmation bu
2a10: 69 6c 64 2e 20 20 54 68 61 74 27 73 20 6f 6b 20  ild.  That's ok 
2a20: 73 69 6e 63 65 20 61 20 56 44 42 45 20 62 72 61  since a VDBE bra
2a30: 6e 63 68 0a 2a 2a 20 63 6f 76 65 72 61 67 65 20  nch.** coverage 
2a40: 62 75 69 6c 64 20 64 65 73 69 67 6e 65 64 20 66  build designed f
2a50: 6f 72 20 74 65 73 74 69 6e 67 20 74 68 65 20 74  or testing the t
2a60: 65 73 74 20 73 75 69 74 65 20 6f 6e 6c 79 2e 20  est suite only. 
2a70: 20 4e 6f 20 61 70 70 6c 69 63 61 74 69 6f 6e 0a   No application.
2a80: 2a 2a 20 73 68 6f 75 6c 64 20 65 76 65 72 20 73  ** should ever s
2a90: 68 69 70 20 77 69 74 68 20 56 44 42 45 20 62 72  hip with VDBE br
2aa0: 61 6e 63 68 20 63 6f 76 65 72 61 67 65 20 6d 65  anch coverage me
2ab0: 61 73 75 72 69 6e 67 20 74 75 72 6e 65 64 20 6f  asuring turned o
2ac0: 6e 2e 0a 2a 2a 0a 2a 2a 20 20 20 20 56 64 62 65  n..**.**    Vdbe
2ad0: 43 6f 76 65 72 61 67 65 28 76 29 20 20 20 20 20  Coverage(v)     
2ae0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20               // 
2af0: 4d 61 72 6b 20 74 68 65 20 70 72 65 76 69 6f 75  Mark the previou
2b00: 73 6c 79 20 63 6f 64 65 64 20 69 6e 73 74 72 75  sly coded instru
2b10: 63 74 69 6f 6e 0a 2a 2a 20 20 20 20 20 20 20 20  ction.**        
2b20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20               // 
2b40: 61 73 20 61 20 62 72 61 6e 63 68 0a 2a 2a 0a 2a  as a branch.**.*
2b50: 2a 20 20 20 20 56 64 62 65 43 6f 76 65 72 61 67  *    VdbeCoverag
2b60: 65 49 66 28 76 2c 20 63 6f 6e 64 69 74 69 6f 6e  eIf(v, condition
2b70: 61 6c 29 20 20 20 2f 2f 20 4d 61 72 6b 20 70 72  al)   // Mark pr
2b80: 65 76 69 6f 75 73 20 69 66 20 63 6f 6e 64 69 74  evious if condit
2b90: 69 6f 6e 61 6c 20 74 72 75 65 0a 2a 2a 0a 2a 2a  ional true.**.**
2ba0: 20 20 20 20 56 64 62 65 43 6f 76 65 72 61 67 65      VdbeCoverage
2bb0: 41 6c 77 61 79 73 54 61 6b 65 6e 28 76 29 20 20  AlwaysTaken(v)  
2bc0: 20 20 20 20 20 2f 2f 20 50 72 65 76 69 6f 75 73       // Previous
2bd0: 20 62 72 61 6e 63 68 20 69 73 20 61 6c 77 61 79   branch is alway
2be0: 73 20 74 61 6b 65 6e 0a 2a 2a 0a 2a 2a 20 20 20  s taken.**.**   
2bf0: 20 56 64 62 65 43 6f 76 65 72 61 67 65 4e 65 76   VdbeCoverageNev
2c00: 65 72 54 61 6b 65 6e 28 76 29 20 20 20 20 20 20  erTaken(v)      
2c10: 20 20 2f 2f 20 50 72 65 76 69 6f 75 73 20 62 72    // Previous br
2c20: 61 6e 63 68 20 69 73 20 6e 65 76 65 72 20 74 61  anch is never ta
2c30: 6b 65 6e 0a 2a 2a 0a 2a 2a 20 45 76 65 72 79 20  ken.**.** Every 
2c40: 56 44 42 45 20 62 72 61 6e 63 68 20 6f 70 65 72  VDBE branch oper
2c50: 61 74 69 6f 6e 20 6d 75 73 74 20 62 65 20 74 61  ation must be ta
2c60: 67 67 65 64 20 77 69 74 68 20 6f 6e 65 20 6f 66  gged with one of
2c70: 20 74 68 65 20 6d 61 63 72 6f 73 20 61 62 6f 76   the macros abov
2c80: 65 2e 0a 2a 2a 20 49 66 20 6e 6f 74 2c 20 74 68  e..** If not, th
2c90: 65 6e 20 77 68 65 6e 20 22 6d 61 6b 65 20 74 65  en when "make te
2ca0: 73 74 22 20 69 73 20 72 75 6e 20 77 69 74 68 20  st" is run with 
2cb0: 2d 44 53 51 4c 49 54 45 5f 56 44 42 45 5f 43 4f  -DSQLITE_VDBE_CO
2cc0: 56 45 52 41 47 45 20 61 6e 64 0a 2a 2a 20 2d 44  VERAGE and.** -D
2cd0: 53 51 4c 49 54 45 5f 44 45 42 55 47 20 74 68 65  SQLITE_DEBUG the
2ce0: 6e 20 61 6e 20 41 4c 57 41 59 53 28 29 20 77 69  n an ALWAYS() wi
2cf0: 6c 6c 20 66 61 69 6c 20 69 6e 20 74 68 65 20 76  ll fail in the v
2d00: 64 62 65 54 61 6b 65 42 72 61 6e 63 68 28 29 0a  dbeTakeBranch().
2d10: 2a 2a 20 72 6f 75 74 69 6e 65 20 69 6e 20 76 64  ** routine in vd
2d20: 62 65 2e 63 2c 20 61 6c 65 72 74 69 6e 67 20 74  be.c, alerting t
2d30: 68 65 20 64 65 76 65 6c 6f 70 65 72 20 74 6f 20  he developer to 
2d40: 74 68 65 20 6d 69 73 73 65 64 20 74 61 67 2e 0a  the missed tag..
2d50: 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  */.#ifdef SQLITE
2d60: 5f 56 44 42 45 5f 43 4f 56 45 52 41 47 45 0a 20  _VDBE_COVERAGE. 
2d70: 20 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62   void sqlite3Vdb
2d80: 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 56  eSetLineNumber(V
2d90: 64 62 65 2a 2c 69 6e 74 29 3b 0a 23 20 64 65 66  dbe*,int);.# def
2da0: 69 6e 65 20 56 64 62 65 43 6f 76 65 72 61 67 65  ine VdbeCoverage
2db0: 28 76 29 20 73 71 6c 69 74 65 33 56 64 62 65 53  (v) sqlite3VdbeS
2dc0: 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76 2c 5f  etLineNumber(v,_
2dd0: 5f 4c 49 4e 45 5f 5f 29 0a 23 20 64 65 66 69 6e  _LINE__).# defin
2de0: 65 20 56 64 62 65 43 6f 76 65 72 61 67 65 49 66  e VdbeCoverageIf
2df0: 28 76 2c 78 29 20 69 66 28 78 29 73 71 6c 69 74  (v,x) if(x)sqlit
2e00: 65 33 56 64 62 65 53 65 74 4c 69 6e 65 4e 75 6d  e3VdbeSetLineNum
2e10: 62 65 72 28 76 2c 5f 5f 4c 49 4e 45 5f 5f 29 0a  ber(v,__LINE__).
2e20: 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76  # define VdbeCov
2e30: 65 72 61 67 65 41 6c 77 61 79 73 54 61 6b 65 6e  erageAlwaysTaken
2e40: 28 76 29 20 73 71 6c 69 74 65 33 56 64 62 65 53  (v) sqlite3VdbeS
2e50: 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76 2c 32  etLineNumber(v,2
2e60: 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65  );.# define Vdbe
2e70: 43 6f 76 65 72 61 67 65 4e 65 76 65 72 54 61 6b  CoverageNeverTak
2e80: 65 6e 28 76 29 20 73 71 6c 69 74 65 33 56 64 62  en(v) sqlite3Vdb
2e90: 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76  eSetLineNumber(v
2ea0: 2c 31 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 44  ,1);.# define VD
2eb0: 42 45 5f 4f 46 46 53 45 54 5f 4c 49 4e 45 4e 4f  BE_OFFSET_LINENO
2ec0: 28 78 29 20 28 5f 5f 4c 49 4e 45 5f 5f 2b 78 29  (x) (__LINE__+x)
2ed0: 0a 23 65 6c 73 65 0a 23 20 64 65 66 69 6e 65 20  .#else.# define 
2ee0: 56 64 62 65 43 6f 76 65 72 61 67 65 28 76 29 0a  VdbeCoverage(v).
2ef0: 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76  # define VdbeCov
2f00: 65 72 61 67 65 49 66 28 76 2c 78 29 0a 23 20 64  erageIf(v,x).# d
2f10: 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72 61  efine VdbeCovera
2f20: 67 65 41 6c 77 61 79 73 54 61 6b 65 6e 28 76 29  geAlwaysTaken(v)
2f30: 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f  .# define VdbeCo
2f40: 76 65 72 61 67 65 4e 65 76 65 72 54 61 6b 65 6e  verageNeverTaken
2f50: 28 76 29 0a 23 20 64 65 66 69 6e 65 20 56 44 42  (v).# define VDB
2f60: 45 5f 4f 46 46 53 45 54 5f 4c 49 4e 45 4e 4f 28  E_OFFSET_LINENO(
2f70: 78 29 20 30 0a 23 65 6e 64 69 66 0a 0a 23 69 66  x) 0.#endif..#if
2f80: 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c  def SQLITE_ENABL
2f90: 45 5f 53 54 4d 54 5f 53 43 41 4e 53 54 41 54 55  E_STMT_SCANSTATU
2fa0: 53 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  S.void sqlite3Vd
2fb0: 62 65 53 63 61 6e 53 74 61 74 75 73 28 56 64 62  beScanStatus(Vdb
2fc0: 65 2a 2c 20 69 6e 74 2c 20 69 6e 74 2c 20 69 6e  e*, int, int, in
2fd0: 74 2c 20 4c 6f 67 45 73 74 2c 20 63 6f 6e 73 74  t, LogEst, const
2fe0: 20 63 68 61 72 2a 29 3b 0a 23 65 6c 73 65 0a 23   char*);.#else.#
2ff0: 20 64 65 66 69 6e 65 20 73 71 6c 69 74 65 33 56   define sqlite3V
3000: 64 62 65 53 63 61 6e 53 74 61 74 75 73 28 61 2c  dbeScanStatus(a,
3010: 62 2c 63 2c 64 2c 65 29 0a 23 65 6e 64 69 66 0a  b,c,d,e).#endif.
3020: 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c 49 54  .#endif /* SQLIT
3030: 45 5f 56 44 42 45 5f 48 20 2a 2f 0a              E_VDBE_H */.