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

Artifact 69a9f51eb37e3548068df660a1a5b9a40ef0ad70c338079da765c54a813ac56f:


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: 73 71 6c 69 74 65 33 5f 76 61 6c 75 65 20 4d 65  sqlite3_value Me
0400: 6d 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75 63  m;.typedef struc
0410: 74 20 53 75 62 50 72 6f 67 72 61 6d 20 53 75 62  t SubProgram Sub
0420: 50 72 6f 67 72 61 6d 3b 0a 0a 2f 2a 0a 2a 2a 20  Program;../*.** 
0430: 41 20 73 69 6e 67 6c 65 20 69 6e 73 74 72 75 63  A single instruc
0440: 74 69 6f 6e 20 6f 66 20 74 68 65 20 76 69 72 74  tion of the virt
0450: 75 61 6c 20 6d 61 63 68 69 6e 65 20 68 61 73 20  ual machine has 
0460: 61 6e 20 6f 70 63 6f 64 65 0a 2a 2a 20 61 6e 64  an opcode.** and
0470: 20 61 73 20 6d 61 6e 79 20 61 73 20 74 68 72 65   as many as thre
0480: 65 20 6f 70 65 72 61 6e 64 73 2e 20 20 54 68 65  e operands.  The
0490: 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 69 73 20   instruction is 
04a0: 72 65 63 6f 72 64 65 64 0a 2a 2a 20 61 73 20 61  recorded.** as a
04b0: 6e 20 69 6e 73 74 61 6e 63 65 20 6f 66 20 74 68  n instance of th
04c0: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 74 72 75  e following stru
04d0: 63 74 75 72 65 3a 0a 2a 2f 0a 73 74 72 75 63 74  cture:.*/.struct
04e0: 20 56 64 62 65 4f 70 20 7b 0a 20 20 75 38 20 6f   VdbeOp {.  u8 o
04f0: 70 63 6f 64 65 3b 20 20 20 20 20 20 20 20 20 20  pcode;          
0500: 2f 2a 20 57 68 61 74 20 6f 70 65 72 61 74 69 6f  /* What operatio
0510: 6e 20 74 6f 20 70 65 72 66 6f 72 6d 20 2a 2f 0a  n to perform */.
0520: 20 20 73 69 67 6e 65 64 20 63 68 61 72 20 70 34    signed char p4
0530: 74 79 70 65 3b 20 2f 2a 20 4f 6e 65 20 6f 66 20  type; /* One of 
0540: 74 68 65 20 50 34 5f 78 78 78 20 63 6f 6e 73 74  the P4_xxx const
0550: 61 6e 74 73 20 66 6f 72 20 70 34 20 2a 2f 0a 20  ants for p4 */. 
0560: 20 75 31 36 20 70 35 3b 20 20 20 20 20 20 20 20   u16 p5;        
0570: 20 20 20 20 20 2f 2a 20 46 69 66 74 68 20 70 61       /* Fifth pa
0580: 72 61 6d 65 74 65 72 20 69 73 20 61 6e 20 75 6e  rameter is an un
0590: 73 69 67 6e 65 64 20 31 36 2d 62 69 74 20 69 6e  signed 16-bit in
05a0: 74 65 67 65 72 20 2a 2f 0a 20 20 69 6e 74 20 70  teger */.  int p
05b0: 31 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 2f  1;             /
05c0: 2a 20 46 69 72 73 74 20 6f 70 65 72 61 6e 64 20  * First operand 
05d0: 2a 2f 0a 20 20 69 6e 74 20 70 32 3b 20 20 20 20  */.  int p2;    
05e0: 20 20 20 20 20 20 20 20 20 2f 2a 20 53 65 63 6f           /* Seco
05f0: 6e 64 20 70 61 72 61 6d 65 74 65 72 20 28 6f 66  nd parameter (of
0600: 74 65 6e 20 74 68 65 20 6a 75 6d 70 20 64 65 73  ten the jump des
0610: 74 69 6e 61 74 69 6f 6e 29 20 2a 2f 0a 20 20 69  tination) */.  i
0620: 6e 74 20 70 33 3b 20 20 20 20 20 20 20 20 20 20  nt p3;          
0630: 20 20 20 2f 2a 20 54 68 65 20 74 68 69 72 64 20     /* The third 
0640: 70 61 72 61 6d 65 74 65 72 20 2a 2f 0a 20 20 75  parameter */.  u
0650: 6e 69 6f 6e 20 70 34 75 6e 69 6f 6e 20 7b 20 20  nion p4union {  
0660: 20 20 20 2f 2a 20 66 6f 75 72 74 68 20 70 61 72     /* fourth par
0670: 61 6d 65 74 65 72 20 2a 2f 0a 20 20 20 20 69 6e  ameter */.    in
0680: 74 20 69 3b 20 20 20 20 20 20 20 20 20 20 20 20  t i;            
0690: 20 20 20 20 20 2f 2a 20 49 6e 74 65 67 65 72 20       /* Integer 
06a0: 76 61 6c 75 65 20 69 66 20 70 34 74 79 70 65 3d  value if p4type=
06b0: 3d 50 34 5f 49 4e 54 33 32 20 2a 2f 0a 20 20 20  =P4_INT32 */.   
06c0: 20 76 6f 69 64 20 2a 70 3b 20 20 20 20 20 20 20   void *p;       
06d0: 20 20 20 20 20 20 20 20 2f 2a 20 47 65 6e 65 72          /* Gener
06e0: 69 63 20 70 6f 69 6e 74 65 72 20 2a 2f 0a 20 20  ic pointer */.  
06f0: 20 20 63 68 61 72 20 2a 7a 3b 20 20 20 20 20 20    char *z;      
0700: 20 20 20 20 20 20 20 20 20 2f 2a 20 50 6f 69 6e           /* Poin
0710: 74 65 72 20 74 6f 20 64 61 74 61 20 66 6f 72 20  ter to data for 
0720: 73 74 72 69 6e 67 20 28 63 68 61 72 20 61 72 72  string (char arr
0730: 61 79 29 20 74 79 70 65 73 20 2a 2f 0a 20 20 20  ay) types */.   
0740: 20 69 36 34 20 2a 70 49 36 34 3b 20 20 20 20 20   i64 *pI64;     
0750: 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64 20          /* Used 
0760: 77 68 65 6e 20 70 34 74 79 70 65 20 69 73 20 50  when p4type is P
0770: 34 5f 49 4e 54 36 34 20 2a 2f 0a 20 20 20 20 64  4_INT64 */.    d
0780: 6f 75 62 6c 65 20 2a 70 52 65 61 6c 3b 20 20 20  ouble *pReal;   
0790: 20 20 20 20 20 20 2f 2a 20 55 73 65 64 20 77 68        /* Used wh
07a0: 65 6e 20 70 34 74 79 70 65 20 69 73 20 50 34 5f  en p4type is P4_
07b0: 52 45 41 4c 20 2a 2f 0a 20 20 20 20 46 75 6e 63  REAL */.    Func
07c0: 44 65 66 20 2a 70 46 75 6e 63 3b 20 20 20 20 20  Def *pFunc;     
07d0: 20 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20     /* Used when 
07e0: 70 34 74 79 70 65 20 69 73 20 50 34 5f 46 55 4e  p4type is P4_FUN
07f0: 43 44 45 46 20 2a 2f 0a 20 20 20 20 73 71 6c 69  CDEF */.    sqli
0800: 74 65 33 5f 63 6f 6e 74 65 78 74 20 2a 70 43 74  te3_context *pCt
0810: 78 3b 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20  x; /* Used when 
0820: 70 34 74 79 70 65 20 69 73 20 50 34 5f 46 55 4e  p4type is P4_FUN
0830: 43 43 54 58 20 2a 2f 0a 20 20 20 20 43 6f 6c 6c  CCTX */.    Coll
0840: 53 65 71 20 2a 70 43 6f 6c 6c 3b 20 20 20 20 20  Seq *pColl;     
0850: 20 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20     /* Used when 
0860: 70 34 74 79 70 65 20 69 73 20 50 34 5f 43 4f 4c  p4type is P4_COL
0870: 4c 53 45 51 20 2a 2f 0a 20 20 20 20 4d 65 6d 20  LSEQ */.    Mem 
0880: 2a 70 4d 65 6d 3b 20 20 20 20 20 20 20 20 20 20  *pMem;          
0890: 20 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e 20     /* Used when 
08a0: 70 34 74 79 70 65 20 69 73 20 50 34 5f 4d 45 4d  p4type is P4_MEM
08b0: 20 2a 2f 0a 20 20 20 20 56 54 61 62 6c 65 20 2a   */.    VTable *
08c0: 70 56 74 61 62 3b 20 20 20 20 20 20 20 20 20 2f  pVtab;         /
08d0: 2a 20 55 73 65 64 20 77 68 65 6e 20 70 34 74 79  * Used when p4ty
08e0: 70 65 20 69 73 20 50 34 5f 56 54 41 42 20 2a 2f  pe is P4_VTAB */
08f0: 0a 20 20 20 20 4b 65 79 49 6e 66 6f 20 2a 70 4b  .    KeyInfo *pK
0900: 65 79 49 6e 66 6f 3b 20 20 20 20 20 2f 2a 20 55  eyInfo;     /* U
0910: 73 65 64 20 77 68 65 6e 20 70 34 74 79 70 65 20  sed when p4type 
0920: 69 73 20 50 34 5f 4b 45 59 49 4e 46 4f 20 2a 2f  is P4_KEYINFO */
0930: 0a 20 20 20 20 69 6e 74 20 2a 61 69 3b 20 20 20  .    int *ai;   
0940: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 55              /* U
0950: 73 65 64 20 77 68 65 6e 20 70 34 74 79 70 65 20  sed when p4type 
0960: 69 73 20 50 34 5f 49 4e 54 41 52 52 41 59 20 2a  is P4_INTARRAY *
0970: 2f 0a 20 20 20 20 53 75 62 50 72 6f 67 72 61 6d  /.    SubProgram
0980: 20 2a 70 50 72 6f 67 72 61 6d 3b 20 20 2f 2a 20   *pProgram;  /* 
0990: 55 73 65 64 20 77 68 65 6e 20 70 34 74 79 70 65  Used when p4type
09a0: 20 69 73 20 50 34 5f 53 55 42 50 52 4f 47 52 41   is P4_SUBPROGRA
09b0: 4d 20 2a 2f 0a 20 20 20 20 54 61 62 6c 65 20 2a  M */.    Table *
09c0: 70 54 61 62 3b 20 20 20 20 20 20 20 20 20 20 20  pTab;           
09d0: 2f 2a 20 55 73 65 64 20 77 68 65 6e 20 70 34 74  /* Used when p4t
09e0: 79 70 65 20 69 73 20 50 34 5f 54 41 42 4c 45 20  ype is P4_TABLE 
09f0: 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  */.#ifdef SQLITE
0a00: 5f 45 4e 41 42 4c 45 5f 43 55 52 53 4f 52 5f 48  _ENABLE_CURSOR_H
0a10: 49 4e 54 53 0a 20 20 20 20 45 78 70 72 20 2a 70  INTS.    Expr *p
0a20: 45 78 70 72 3b 20 20 20 20 20 20 20 20 20 20 20  Expr;           
0a30: 2f 2a 20 55 73 65 64 20 77 68 65 6e 20 70 34 74  /* Used when p4t
0a40: 79 70 65 20 69 73 20 50 34 5f 45 58 50 52 20 2a  ype is P4_EXPR *
0a50: 2f 0a 23 65 6e 64 69 66 0a 20 20 20 20 69 6e 74  /.#endif.    int
0a60: 20 28 2a 78 41 64 76 61 6e 63 65 29 28 42 74 43   (*xAdvance)(BtC
0a70: 75 72 73 6f 72 20 2a 2c 20 69 6e 74 29 3b 0a 20  ursor *, int);. 
0a80: 20 7d 20 70 34 3b 0a 23 69 66 64 65 66 20 53 51   } p4;.#ifdef SQ
0a90: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 45 58 50 4c  LITE_ENABLE_EXPL
0aa0: 41 49 4e 5f 43 4f 4d 4d 45 4e 54 53 0a 20 20 63  AIN_COMMENTS.  c
0ab0: 68 61 72 20 2a 7a 43 6f 6d 6d 65 6e 74 3b 20 20  har *zComment;  
0ac0: 20 20 20 20 20 20 20 20 2f 2a 20 43 6f 6d 6d 65          /* Comme
0ad0: 6e 74 20 74 6f 20 69 6d 70 72 6f 76 65 20 72 65  nt to improve re
0ae0: 61 64 61 62 69 6c 69 74 79 20 2a 2f 0a 23 65 6e  adability */.#en
0af0: 64 69 66 0a 23 69 66 64 65 66 20 56 44 42 45 5f  dif.#ifdef VDBE_
0b00: 50 52 4f 46 49 4c 45 0a 20 20 75 33 32 20 63 6e  PROFILE.  u32 cn
0b10: 74 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  t;              
0b20: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20     /* Number of 
0b30: 74 69 6d 65 73 20 74 68 69 73 20 69 6e 73 74 72  times this instr
0b40: 75 63 74 69 6f 6e 20 77 61 73 20 65 78 65 63 75  uction was execu
0b50: 74 65 64 20 2a 2f 0a 20 20 75 36 34 20 63 79 63  ted */.  u64 cyc
0b60: 6c 65 73 3b 20 20 20 20 20 20 20 20 20 20 20 20  les;            
0b70: 20 20 2f 2a 20 54 6f 74 61 6c 20 74 69 6d 65 20    /* Total time 
0b80: 73 70 65 6e 74 20 65 78 65 63 75 74 69 6e 67 20  spent executing 
0b90: 74 68 69 73 20 69 6e 73 74 72 75 63 74 69 6f 6e  this instruction
0ba0: 20 2a 2f 0a 23 65 6e 64 69 66 0a 23 69 66 64 65   */.#endif.#ifde
0bb0: 66 20 53 51 4c 49 54 45 5f 56 44 42 45 5f 43 4f  f SQLITE_VDBE_CO
0bc0: 56 45 52 41 47 45 0a 20 20 75 33 32 20 69 53 72  VERAGE.  u32 iSr
0bd0: 63 4c 69 6e 65 3b 20 20 20 20 20 20 20 20 20 20  cLine;          
0be0: 20 20 2f 2a 20 53 6f 75 72 63 65 2d 63 6f 64 65    /* Source-code
0bf0: 20 6c 69 6e 65 20 74 68 61 74 20 67 65 6e 65 72   line that gener
0c00: 61 74 65 64 20 74 68 69 73 20 6f 70 63 6f 64 65  ated this opcode
0c10: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  .               
0c20: 20 20 20 20 20 20 20 20 20 20 20 20 2a 2a 20 77              ** w
0c30: 69 74 68 20 66 6c 61 67 73 20 69 6e 20 74 68 65  ith flags in the
0c40: 20 75 70 70 65 72 20 38 20 62 69 74 73 20 2a 2f   upper 8 bits */
0c50: 0a 23 65 6e 64 69 66 0a 7d 3b 0a 74 79 70 65 64  .#endif.};.typed
0c60: 65 66 20 73 74 72 75 63 74 20 56 64 62 65 4f 70  ef struct VdbeOp
0c70: 20 56 64 62 65 4f 70 3b 0a 0a 0a 2f 2a 0a 2a 2a   VdbeOp;.../*.**
0c80: 20 41 20 73 75 62 2d 72 6f 75 74 69 6e 65 20 75   A sub-routine u
0c90: 73 65 64 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74  sed to implement
0ca0: 20 61 20 74 72 69 67 67 65 72 20 70 72 6f 67 72   a trigger progr
0cb0: 61 6d 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 53 75  am..*/.struct Su
0cc0: 62 50 72 6f 67 72 61 6d 20 7b 0a 20 20 56 64 62  bProgram {.  Vdb
0cd0: 65 4f 70 20 2a 61 4f 70 3b 20 20 20 20 20 20 20  eOp *aOp;       
0ce0: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 41 72             /* Ar
0cf0: 72 61 79 20 6f 66 20 6f 70 63 6f 64 65 73 20 66  ray of opcodes f
0d00: 6f 72 20 73 75 62 2d 70 72 6f 67 72 61 6d 20 2a  or sub-program *
0d10: 2f 0a 20 20 69 6e 74 20 6e 4f 70 3b 20 20 20 20  /.  int nOp;    
0d20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0d30: 20 20 2f 2a 20 45 6c 65 6d 65 6e 74 73 20 69 6e    /* Elements in
0d40: 20 61 4f 70 5b 5d 20 2a 2f 0a 20 20 69 6e 74 20   aOp[] */.  int 
0d50: 6e 4d 65 6d 3b 20 20 20 20 20 20 20 20 20 20 20  nMem;           
0d60: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d            /* Num
0d70: 62 65 72 20 6f 66 20 6d 65 6d 6f 72 79 20 63 65  ber of memory ce
0d80: 6c 6c 73 20 72 65 71 75 69 72 65 64 20 2a 2f 0a  lls required */.
0d90: 20 20 69 6e 74 20 6e 43 73 72 3b 20 20 20 20 20    int nCsr;     
0da0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0db0: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 63 75 72  /* Number of cur
0dc0: 73 6f 72 73 20 72 65 71 75 69 72 65 64 20 2a 2f  sors required */
0dd0: 0a 20 20 75 38 20 2a 61 4f 6e 63 65 3b 20 20 20  .  u8 *aOnce;   
0de0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0df0: 20 2f 2a 20 41 72 72 61 79 20 6f 66 20 4f 50 5f   /* Array of OP_
0e00: 4f 6e 63 65 20 66 6c 61 67 73 20 2a 2f 0a 20 20  Once flags */.  
0e10: 76 6f 69 64 20 2a 74 6f 6b 65 6e 3b 20 20 20 20  void *token;    
0e20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
0e30: 20 69 64 20 74 68 61 74 20 6d 61 79 20 62 65 20   id that may be 
0e40: 75 73 65 64 20 74 6f 20 72 65 63 75 72 73 69 76  used to recursiv
0e50: 65 20 74 72 69 67 67 65 72 73 20 2a 2f 0a 20 20  e triggers */.  
0e60: 53 75 62 50 72 6f 67 72 61 6d 20 2a 70 4e 65 78  SubProgram *pNex
0e70: 74 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a  t;            /*
0e80: 20 4e 65 78 74 20 73 75 62 2d 70 72 6f 67 72 61   Next sub-progra
0e90: 6d 20 61 6c 72 65 61 64 79 20 76 69 73 69 74 65  m already visite
0ea0: 64 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 41  d */.};../*.** A
0eb0: 20 73 6d 61 6c 6c 65 72 20 76 65 72 73 69 6f 6e   smaller version
0ec0: 20 6f 66 20 56 64 62 65 4f 70 20 75 73 65 64 20   of VdbeOp used 
0ed0: 66 6f 72 20 74 68 65 20 56 64 62 65 41 64 64 4f  for the VdbeAddO
0ee0: 70 4c 69 73 74 28 29 20 66 75 6e 63 74 69 6f 6e  pList() function
0ef0: 20 62 65 63 61 75 73 65 0a 2a 2a 20 69 74 20 74   because.** it t
0f00: 61 6b 65 73 20 75 70 20 6c 65 73 73 20 73 70 61  akes up less spa
0f10: 63 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 56 64  ce..*/.struct Vd
0f20: 62 65 4f 70 4c 69 73 74 20 7b 0a 20 20 75 38 20  beOpList {.  u8 
0f30: 6f 70 63 6f 64 65 3b 20 20 20 20 20 20 20 20 20  opcode;         
0f40: 20 2f 2a 20 57 68 61 74 20 6f 70 65 72 61 74 69   /* What operati
0f50: 6f 6e 20 74 6f 20 70 65 72 66 6f 72 6d 20 2a 2f  on to perform */
0f60: 0a 20 20 73 69 67 6e 65 64 20 63 68 61 72 20 70  .  signed char p
0f70: 31 3b 20 20 20 20 20 2f 2a 20 46 69 72 73 74 20  1;     /* First 
0f80: 6f 70 65 72 61 6e 64 20 2a 2f 0a 20 20 73 69 67  operand */.  sig
0f90: 6e 65 64 20 63 68 61 72 20 70 32 3b 20 20 20 20  ned char p2;    
0fa0: 20 2f 2a 20 53 65 63 6f 6e 64 20 70 61 72 61 6d   /* Second param
0fb0: 65 74 65 72 20 28 6f 66 74 65 6e 20 74 68 65 20  eter (often the 
0fc0: 6a 75 6d 70 20 64 65 73 74 69 6e 61 74 69 6f 6e  jump destination
0fd0: 29 20 2a 2f 0a 20 20 73 69 67 6e 65 64 20 63 68  ) */.  signed ch
0fe0: 61 72 20 70 33 3b 20 20 20 20 20 2f 2a 20 54 68  ar p3;     /* Th
0ff0: 69 72 64 20 70 61 72 61 6d 65 74 65 72 20 2a 2f  ird parameter */
1000: 0a 7d 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75  .};.typedef stru
1010: 63 74 20 56 64 62 65 4f 70 4c 69 73 74 20 56 64  ct VdbeOpList Vd
1020: 62 65 4f 70 4c 69 73 74 3b 0a 0a 2f 2a 0a 2a 2a  beOpList;../*.**
1030: 20 41 6c 6c 6f 77 65 64 20 76 61 6c 75 65 73 20   Allowed values 
1040: 6f 66 20 56 64 62 65 4f 70 2e 70 34 74 79 70 65  of VdbeOp.p4type
1050: 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 4e  .*/.#define P4_N
1060: 4f 54 55 53 45 44 20 20 20 20 20 20 30 20 20 20  OTUSED      0   
1070: 2f 2a 20 54 68 65 20 50 34 20 70 61 72 61 6d 65  /* The P4 parame
1080: 74 65 72 20 69 73 20 6e 6f 74 20 75 73 65 64 20  ter is not used 
1090: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 54 52  */.#define P4_TR
10a0: 41 4e 53 49 45 4e 54 20 20 20 20 30 20 20 20 2f  ANSIENT    0   /
10b0: 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65  * P4 is a pointe
10c0: 72 20 74 6f 20 61 20 74 72 61 6e 73 69 65 6e 74  r to a transient
10d0: 20 73 74 72 69 6e 67 20 2a 2f 0a 23 64 65 66 69   string */.#defi
10e0: 6e 65 20 50 34 5f 53 54 41 54 49 43 20 20 20 20  ne P4_STATIC    
10f0: 20 28 2d 31 29 20 20 2f 2a 20 50 6f 69 6e 74 65   (-1)  /* Pointe
1100: 72 20 74 6f 20 61 20 73 74 61 74 69 63 20 73 74  r to a static st
1110: 72 69 6e 67 20 2a 2f 0a 23 64 65 66 69 6e 65 20  ring */.#define 
1120: 50 34 5f 43 4f 4c 4c 53 45 51 20 20 20 20 28 2d  P4_COLLSEQ    (-
1130: 32 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20 70  2)  /* P4 is a p
1140: 6f 69 6e 74 65 72 20 74 6f 20 61 20 43 6f 6c 6c  ointer to a Coll
1150: 53 65 71 20 73 74 72 75 63 74 75 72 65 20 2a 2f  Seq structure */
1160: 0a 23 64 65 66 69 6e 65 20 50 34 5f 49 4e 54 33  .#define P4_INT3
1170: 32 20 20 20 20 20 20 28 2d 33 29 20 20 2f 2a 20  2      (-3)  /* 
1180: 50 34 20 69 73 20 61 20 33 32 2d 62 69 74 20 73  P4 is a 32-bit s
1190: 69 67 6e 65 64 20 69 6e 74 65 67 65 72 20 2a 2f  igned integer */
11a0: 0a 23 64 65 66 69 6e 65 20 50 34 5f 53 55 42 50  .#define P4_SUBP
11b0: 52 4f 47 52 41 4d 20 28 2d 34 29 20 20 2f 2a 20  ROGRAM (-4)  /* 
11c0: 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20  P4 is a pointer 
11d0: 74 6f 20 61 20 53 75 62 50 72 6f 67 72 61 6d 20  to a SubProgram 
11e0: 73 74 72 75 63 74 75 72 65 20 2a 2f 0a 23 64 65  structure */.#de
11f0: 66 69 6e 65 20 50 34 5f 41 44 56 41 4e 43 45 20  fine P4_ADVANCE 
1200: 20 20 20 28 2d 35 29 20 20 2f 2a 20 50 34 20 69     (-5)  /* P4 i
1210: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 42  s a pointer to B
1220: 74 72 65 65 4e 65 78 74 28 29 20 6f 72 20 42 74  treeNext() or Bt
1230: 72 65 65 50 72 65 76 28 29 20 2a 2f 0a 23 64 65  reePrev() */.#de
1240: 66 69 6e 65 20 50 34 5f 54 41 42 4c 45 20 20 20  fine P4_TABLE   
1250: 20 20 20 28 2d 36 29 20 20 2f 2a 20 50 34 20 69     (-6)  /* P4 i
1260: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61  s a pointer to a
1270: 20 54 61 62 6c 65 20 73 74 72 75 63 74 75 72 65   Table structure
1280: 20 2a 2f 0a 2f 2a 20 41 62 6f 76 65 20 64 6f 20   */./* Above do 
1290: 6e 6f 74 20 6f 77 6e 20 61 6e 79 20 72 65 73 6f  not own any reso
12a0: 75 72 63 65 73 2e 20 20 4d 75 73 74 20 66 72 65  urces.  Must fre
12b0: 65 20 74 68 6f 73 65 20 62 65 6c 6f 77 20 2a 2f  e those below */
12c0: 0a 23 64 65 66 69 6e 65 20 50 34 5f 46 52 45 45  .#define P4_FREE
12d0: 5f 49 46 5f 4c 45 20 28 2d 37 29 0a 23 64 65 66  _IF_LE (-7).#def
12e0: 69 6e 65 20 50 34 5f 44 59 4e 41 4d 49 43 20 20  ine P4_DYNAMIC  
12f0: 20 20 28 2d 37 29 20 20 2f 2a 20 50 6f 69 6e 74    (-7)  /* Point
1300: 65 72 20 74 6f 20 6d 65 6d 6f 72 79 20 66 72 6f  er to memory fro
1310: 6d 20 73 71 6c 69 74 65 4d 61 6c 6c 6f 63 28 29  m sqliteMalloc()
1320: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 46   */.#define P4_F
1330: 55 4e 43 44 45 46 20 20 20 20 28 2d 38 29 20 20  UNCDEF    (-8)  
1340: 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74  /* P4 is a point
1350: 65 72 20 74 6f 20 61 20 46 75 6e 63 44 65 66 20  er to a FuncDef 
1360: 73 74 72 75 63 74 75 72 65 20 2a 2f 0a 23 64 65  structure */.#de
1370: 66 69 6e 65 20 50 34 5f 4b 45 59 49 4e 46 4f 20  fine P4_KEYINFO 
1380: 20 20 20 28 2d 39 29 20 20 2f 2a 20 50 34 20 69     (-9)  /* P4 i
1390: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61  s a pointer to a
13a0: 20 4b 65 79 49 6e 66 6f 20 73 74 72 75 63 74 75   KeyInfo structu
13b0: 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34  re */.#define P4
13c0: 5f 45 58 50 52 20 20 20 20 20 20 20 28 2d 31 30  _EXPR       (-10
13d0: 29 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69  ) /* P4 is a poi
13e0: 6e 74 65 72 20 74 6f 20 61 6e 20 45 78 70 72 20  nter to an Expr 
13f0: 74 72 65 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20  tree */.#define 
1400: 50 34 5f 4d 45 4d 20 20 20 20 20 20 20 20 28 2d  P4_MEM        (-
1410: 31 31 29 20 2f 2a 20 50 34 20 69 73 20 61 20 70  11) /* P4 is a p
1420: 6f 69 6e 74 65 72 20 74 6f 20 61 20 4d 65 6d 2a  ointer to a Mem*
1430: 20 20 20 20 73 74 72 75 63 74 75 72 65 20 2a 2f      structure */
1440: 0a 23 64 65 66 69 6e 65 20 50 34 5f 56 54 41 42  .#define P4_VTAB
1450: 20 20 20 20 20 20 20 28 2d 31 32 29 20 2f 2a 20         (-12) /* 
1460: 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20  P4 is a pointer 
1470: 74 6f 20 61 6e 20 73 71 6c 69 74 65 33 5f 76 74  to an sqlite3_vt
1480: 61 62 20 73 74 72 75 63 74 75 72 65 20 2a 2f 0a  ab structure */.
1490: 23 64 65 66 69 6e 65 20 50 34 5f 52 45 41 4c 20  #define P4_REAL 
14a0: 20 20 20 20 20 20 28 2d 31 33 29 20 2f 2a 20 50        (-13) /* P
14b0: 34 20 69 73 20 61 20 36 34 2d 62 69 74 20 66 6c  4 is a 64-bit fl
14c0: 6f 61 74 69 6e 67 20 70 6f 69 6e 74 20 76 61 6c  oating point val
14d0: 75 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34  ue */.#define P4
14e0: 5f 49 4e 54 36 34 20 20 20 20 20 20 28 2d 31 34  _INT64      (-14
14f0: 29 20 2f 2a 20 50 34 20 69 73 20 61 20 36 34 2d  ) /* P4 is a 64-
1500: 62 69 74 20 73 69 67 6e 65 64 20 69 6e 74 65 67  bit signed integ
1510: 65 72 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34  er */.#define P4
1520: 5f 49 4e 54 41 52 52 41 59 20 20 20 28 2d 31 35  _INTARRAY   (-15
1530: 29 20 2f 2a 20 50 34 20 69 73 20 61 20 76 65 63  ) /* P4 is a vec
1540: 74 6f 72 20 6f 66 20 33 32 2d 62 69 74 20 69 6e  tor of 32-bit in
1550: 74 65 67 65 72 73 20 2a 2f 0a 23 64 65 66 69 6e  tegers */.#defin
1560: 65 20 50 34 5f 46 55 4e 43 43 54 58 20 20 20 20  e P4_FUNCCTX    
1570: 28 2d 31 36 29 20 2f 2a 20 50 34 20 69 73 20 61  (-16) /* P4 is a
1580: 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 6e 20 73   pointer to an s
1590: 71 6c 69 74 65 33 5f 63 6f 6e 74 65 78 74 20 6f  qlite3_context o
15a0: 62 6a 65 63 74 20 2a 2f 0a 23 64 65 66 69 6e 65  bject */.#define
15b0: 20 50 34 5f 44 59 4e 42 4c 4f 42 20 20 20 20 28   P4_DYNBLOB    (
15c0: 2d 31 37 29 20 2f 2a 20 50 6f 69 6e 74 65 72 20  -17) /* Pointer 
15d0: 74 6f 20 6d 65 6d 6f 72 79 20 66 72 6f 6d 20 73  to memory from s
15e0: 71 6c 69 74 65 4d 61 6c 6c 6f 63 28 29 20 2a 2f  qliteMalloc() */
15f0: 0a 0a 2f 2a 20 45 72 72 6f 72 20 6d 65 73 73 61  ../* Error messa
1600: 67 65 20 63 6f 64 65 73 20 66 6f 72 20 4f 50 5f  ge codes for OP_
1610: 48 61 6c 74 20 2a 2f 0a 23 64 65 66 69 6e 65 20  Halt */.#define 
1620: 50 35 5f 43 6f 6e 73 74 72 61 69 6e 74 4e 6f 74  P5_ConstraintNot
1630: 4e 75 6c 6c 20 31 0a 23 64 65 66 69 6e 65 20 50  Null 1.#define P
1640: 35 5f 43 6f 6e 73 74 72 61 69 6e 74 55 6e 69 71  5_ConstraintUniq
1650: 75 65 20 20 32 0a 23 64 65 66 69 6e 65 20 50 35  ue  2.#define P5
1660: 5f 43 6f 6e 73 74 72 61 69 6e 74 43 68 65 63 6b  _ConstraintCheck
1670: 20 20 20 33 0a 23 64 65 66 69 6e 65 20 50 35 5f     3.#define P5_
1680: 43 6f 6e 73 74 72 61 69 6e 74 46 4b 20 20 20 20  ConstraintFK    
1690: 20 20 34 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 56    4../*.** The V
16a0: 64 62 65 2e 61 43 6f 6c 4e 61 6d 65 20 61 72 72  dbe.aColName arr
16b0: 61 79 20 63 6f 6e 74 61 69 6e 73 20 35 6e 20 4d  ay contains 5n M
16c0: 65 6d 20 73 74 72 75 63 74 75 72 65 73 2c 20 77  em structures, w
16d0: 68 65 72 65 20 6e 20 69 73 20 74 68 65 20 0a 2a  here n is the .*
16e0: 2a 20 6e 75 6d 62 65 72 20 6f 66 20 63 6f 6c 75  * number of colu
16f0: 6d 6e 73 20 6f 66 20 64 61 74 61 20 72 65 74 75  mns of data retu
1700: 72 6e 65 64 20 62 79 20 74 68 65 20 73 74 61 74  rned by the stat
1710: 65 6d 65 6e 74 2e 0a 2a 2f 0a 23 64 65 66 69 6e  ement..*/.#defin
1720: 65 20 43 4f 4c 4e 41 4d 45 5f 4e 41 4d 45 20 20  e COLNAME_NAME  
1730: 20 20 20 30 0a 23 64 65 66 69 6e 65 20 43 4f 4c     0.#define COL
1740: 4e 41 4d 45 5f 44 45 43 4c 54 59 50 45 20 31 0a  NAME_DECLTYPE 1.
1750: 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f  #define COLNAME_
1760: 44 41 54 41 42 41 53 45 20 32 0a 23 64 65 66 69  DATABASE 2.#defi
1770: 6e 65 20 43 4f 4c 4e 41 4d 45 5f 54 41 42 4c 45  ne COLNAME_TABLE
1780: 20 20 20 20 33 0a 23 64 65 66 69 6e 65 20 43 4f      3.#define CO
1790: 4c 4e 41 4d 45 5f 43 4f 4c 55 4d 4e 20 20 20 34  LNAME_COLUMN   4
17a0: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45  .#ifdef SQLITE_E
17b0: 4e 41 42 4c 45 5f 43 4f 4c 55 4d 4e 5f 4d 45 54  NABLE_COLUMN_MET
17c0: 41 44 41 54 41 0a 23 20 64 65 66 69 6e 65 20 43  ADATA.# define C
17d0: 4f 4c 4e 41 4d 45 5f 4e 20 20 20 20 20 20 20 20  OLNAME_N        
17e0: 35 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72  5      /* Number
17f0: 20 6f 66 20 43 4f 4c 4e 41 4d 45 5f 78 78 78 20   of COLNAME_xxx 
1800: 73 79 6d 62 6f 6c 73 20 2a 2f 0a 23 65 6c 73 65  symbols */.#else
1810: 0a 23 20 69 66 64 65 66 20 53 51 4c 49 54 45 5f  .# ifdef SQLITE_
1820: 4f 4d 49 54 5f 44 45 43 4c 54 59 50 45 0a 23 20  OMIT_DECLTYPE.# 
1830: 20 20 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45    define COLNAME
1840: 5f 4e 20 20 20 20 20 20 31 20 20 20 20 20 20 2f  _N      1      /
1850: 2a 20 53 74 6f 72 65 20 6f 6e 6c 79 20 74 68 65  * Store only the
1860: 20 6e 61 6d 65 20 2a 2f 0a 23 20 65 6c 73 65 0a   name */.# else.
1870: 23 20 20 20 64 65 66 69 6e 65 20 43 4f 4c 4e 41  #   define COLNA
1880: 4d 45 5f 4e 20 20 20 20 20 20 32 20 20 20 20 20  ME_N      2     
1890: 20 2f 2a 20 53 74 6f 72 65 20 74 68 65 20 6e 61   /* Store the na
18a0: 6d 65 20 61 6e 64 20 64 65 63 6c 74 79 70 65 20  me and decltype 
18b0: 2a 2f 0a 23 20 65 6e 64 69 66 0a 23 65 6e 64 69  */.# endif.#endi
18c0: 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 66 6f 6c  f../*.** The fol
18d0: 6c 6f 77 69 6e 67 20 6d 61 63 72 6f 20 63 6f 6e  lowing macro con
18e0: 76 65 72 74 73 20 61 20 6c 61 62 65 6c 20 72 65  verts a label re
18f0: 74 75 72 6e 65 64 20 62 79 20 73 71 6c 69 74 65  turned by sqlite
1900: 33 56 64 62 65 4d 61 6b 65 4c 61 62 65 6c 28 29  3VdbeMakeLabel()
1910: 0a 2a 2a 20 69 6e 74 6f 20 61 6e 20 69 6e 64 65  .** into an inde
1920: 78 20 69 6e 74 6f 20 74 68 65 20 50 61 72 73 65  x into the Parse
1930: 2e 61 4c 61 62 65 6c 5b 5d 20 61 72 72 61 79 20  .aLabel[] array 
1940: 74 68 61 74 20 63 6f 6e 74 61 69 6e 73 20 74 68  that contains th
1950: 65 20 72 65 73 6f 6c 76 65 64 0a 2a 2a 20 61 64  e resolved.** ad
1960: 64 72 65 73 73 20 6f 66 20 74 68 61 74 20 6c 61  dress of that la
1970: 62 65 6c 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20  bel..*/.#define 
1980: 41 44 44 52 28 58 29 20 20 28 7e 28 58 29 29 0a  ADDR(X)  (~(X)).
1990: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 6d 61 6b 65 66  ./*.** The makef
19a0: 69 6c 65 20 73 63 61 6e 73 20 74 68 65 20 76 64  ile scans the vd
19b0: 62 65 2e 63 20 73 6f 75 72 63 65 20 66 69 6c 65  be.c source file
19c0: 20 61 6e 64 20 63 72 65 61 74 65 73 20 74 68 65   and creates the
19d0: 20 22 6f 70 63 6f 64 65 73 2e 68 22 0a 2a 2a 20   "opcodes.h".** 
19e0: 68 65 61 64 65 72 20 66 69 6c 65 20 74 68 61 74  header file that
19f0: 20 64 65 66 69 6e 65 73 20 61 20 6e 75 6d 62 65   defines a numbe
1a00: 72 20 66 6f 72 20 65 61 63 68 20 6f 70 63 6f 64  r for each opcod
1a10: 65 20 75 73 65 64 20 62 79 20 74 68 65 20 56 44  e used by the VD
1a20: 42 45 2e 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20  BE..*/.#include 
1a30: 22 6f 70 63 6f 64 65 73 2e 68 22 0a 0a 2f 2a 0a  "opcodes.h"../*.
1a40: 2a 2a 20 41 64 64 69 74 69 6f 6e 61 6c 20 6e 6f  ** Additional no
1a50: 6e 2d 70 75 62 6c 69 63 20 53 51 4c 49 54 45 5f  n-public SQLITE_
1a60: 50 52 45 50 41 52 45 5f 2a 20 66 6c 61 67 73 0a  PREPARE_* flags.
1a70: 2a 2f 0a 23 64 65 66 69 6e 65 20 53 51 4c 49 54  */.#define SQLIT
1a80: 45 5f 50 52 45 50 41 52 45 5f 53 41 56 45 53 51  E_PREPARE_SAVESQ
1a90: 4c 20 20 30 78 38 30 20 20 2f 2a 20 50 72 65 73  L  0x80  /* Pres
1aa0: 65 72 76 65 20 53 51 4c 20 74 65 78 74 20 2a 2f  erve SQL text */
1ab0: 0a 23 64 65 66 69 6e 65 20 53 51 4c 49 54 45 5f  .#define SQLITE_
1ac0: 50 52 45 50 41 52 45 5f 4d 41 53 4b 20 20 20 20  PREPARE_MASK    
1ad0: 20 30 78 30 66 20 20 2f 2a 20 4d 61 73 6b 20 6f   0x0f  /* Mask o
1ae0: 66 20 70 75 62 6c 69 63 20 66 6c 61 67 73 20 2a  f public flags *
1af0: 2f 0a 0a 2f 2a 0a 2a 2a 20 50 72 6f 74 6f 74 79  /../*.** Prototy
1b00: 70 65 73 20 66 6f 72 20 74 68 65 20 56 44 42 45  pes for the VDBE
1b10: 20 69 6e 74 65 72 66 61 63 65 2e 20 20 53 65 65   interface.  See
1b20: 20 63 6f 6d 6d 65 6e 74 73 20 6f 6e 20 74 68 65   comments on the
1b30: 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 0a   implementation.
1b40: 2a 2a 20 66 6f 72 20 61 20 64 65 73 63 72 69 70  ** for a descrip
1b50: 74 69 6f 6e 20 6f 66 20 77 68 61 74 20 65 61 63  tion of what eac
1b60: 68 20 6f 66 20 74 68 65 73 65 20 72 6f 75 74 69  h of these routi
1b70: 6e 65 73 20 64 6f 65 73 2e 0a 2a 2f 0a 56 64 62  nes does..*/.Vdb
1b80: 65 20 2a 73 71 6c 69 74 65 33 56 64 62 65 43 72  e *sqlite3VdbeCr
1b90: 65 61 74 65 28 50 61 72 73 65 2a 29 3b 0a 69 6e  eate(Parse*);.in
1ba0: 74 20 73 71 6c 69 74 65 33 56 64 62 65 41 64 64  t sqlite3VdbeAdd
1bb0: 4f 70 30 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a  Op0(Vdbe*,int);.
1bc0: 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 41  int sqlite3VdbeA
1bd0: 64 64 4f 70 31 28 56 64 62 65 2a 2c 69 6e 74 2c  ddOp1(Vdbe*,int,
1be0: 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65  int);.int sqlite
1bf0: 33 56 64 62 65 41 64 64 4f 70 32 28 56 64 62 65  3VdbeAddOp2(Vdbe
1c00: 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 29 3b 0a  *,int,int,int);.
1c10: 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 47  int sqlite3VdbeG
1c20: 6f 74 6f 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a  oto(Vdbe*,int);.
1c30: 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 4c  int sqlite3VdbeL
1c40: 6f 61 64 53 74 72 69 6e 67 28 56 64 62 65 2a 2c  oadString(Vdbe*,
1c50: 69 6e 74 2c 63 6f 6e 73 74 20 63 68 61 72 2a 29  int,const char*)
1c60: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
1c70: 62 65 4d 75 6c 74 69 4c 6f 61 64 28 56 64 62 65  beMultiLoad(Vdbe
1c80: 2a 2c 69 6e 74 2c 63 6f 6e 73 74 20 63 68 61 72  *,int,const char
1c90: 2a 2c 2e 2e 2e 29 3b 0a 69 6e 74 20 73 71 6c 69  *,...);.int sqli
1ca0: 74 65 33 56 64 62 65 41 64 64 4f 70 33 28 56 64  te3VdbeAddOp3(Vd
1cb0: 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c  be*,int,int,int,
1cc0: 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65  int);.int sqlite
1cd0: 33 56 64 62 65 41 64 64 4f 70 34 28 56 64 62 65  3VdbeAddOp4(Vdbe
1ce0: 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69 6e  *,int,int,int,in
1cf0: 74 2c 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 50  t,const char *zP
1d00: 34 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69  4,int);.int sqli
1d10: 74 65 33 56 64 62 65 41 64 64 4f 70 34 44 75 70  te3VdbeAddOp4Dup
1d20: 38 28 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c  8(Vdbe*,int,int,
1d30: 69 6e 74 2c 69 6e 74 2c 63 6f 6e 73 74 20 75 38  int,int,const u8
1d40: 2a 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69  *,int);.int sqli
1d50: 74 65 33 56 64 62 65 41 64 64 4f 70 34 49 6e 74  te3VdbeAddOp4Int
1d60: 28 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69  (Vdbe*,int,int,i
1d70: 6e 74 2c 69 6e 74 2c 69 6e 74 29 3b 0a 76 6f 69  nt,int,int);.voi
1d80: 64 20 73 71 6c 69 74 65 33 56 64 62 65 45 6e 64  d sqlite3VdbeEnd
1d90: 43 6f 72 6f 75 74 69 6e 65 28 56 64 62 65 2a 2c  Coroutine(Vdbe*,
1da0: 69 6e 74 29 3b 0a 23 69 66 20 64 65 66 69 6e 65  int);.#if define
1db0: 64 28 53 51 4c 49 54 45 5f 44 45 42 55 47 29 20  d(SQLITE_DEBUG) 
1dc0: 26 26 20 21 64 65 66 69 6e 65 64 28 53 51 4c 49  && !defined(SQLI
1dd0: 54 45 5f 54 45 53 54 5f 52 45 41 4c 4c 4f 43 5f  TE_TEST_REALLOC_
1de0: 53 54 52 45 53 53 29 0a 20 20 76 6f 69 64 20 73  STRESS).  void s
1df0: 71 6c 69 74 65 33 56 64 62 65 56 65 72 69 66 79  qlite3VdbeVerify
1e00: 4e 6f 4d 61 6c 6c 6f 63 52 65 71 75 69 72 65 64  NoMallocRequired
1e10: 28 56 64 62 65 20 2a 70 2c 20 69 6e 74 20 4e 29  (Vdbe *p, int N)
1e20: 3b 0a 20 20 76 6f 69 64 20 73 71 6c 69 74 65 33  ;.  void sqlite3
1e30: 56 64 62 65 56 65 72 69 66 79 4e 6f 52 65 73 75  VdbeVerifyNoResu
1e40: 6c 74 52 6f 77 28 56 64 62 65 20 2a 70 29 3b 0a  ltRow(Vdbe *p);.
1e50: 23 65 6c 73 65 0a 23 20 64 65 66 69 6e 65 20 73  #else.# define s
1e60: 71 6c 69 74 65 33 56 64 62 65 56 65 72 69 66 79  qlite3VdbeVerify
1e70: 4e 6f 4d 61 6c 6c 6f 63 52 65 71 75 69 72 65 64  NoMallocRequired
1e80: 28 41 2c 42 29 0a 23 20 64 65 66 69 6e 65 20 73  (A,B).# define s
1e90: 71 6c 69 74 65 33 56 64 62 65 56 65 72 69 66 79  qlite3VdbeVerify
1ea0: 4e 6f 52 65 73 75 6c 74 52 6f 77 28 41 29 0a 23  NoResultRow(A).#
1eb0: 65 6e 64 69 66 0a 23 69 66 20 64 65 66 69 6e 65  endif.#if define
1ec0: 64 28 53 51 4c 49 54 45 5f 44 45 42 55 47 29 0a  d(SQLITE_DEBUG).
1ed0: 20 20 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64    void sqlite3Vd
1ee0: 62 65 56 65 72 69 66 79 41 62 6f 72 74 61 62 6c  beVerifyAbortabl
1ef0: 65 28 56 64 62 65 20 2a 70 2c 20 69 6e 74 29 3b  e(Vdbe *p, int);
1f00: 0a 23 65 6c 73 65 0a 23 20 64 65 66 69 6e 65 20  .#else.# define 
1f10: 73 71 6c 69 74 65 33 56 64 62 65 56 65 72 69 66  sqlite3VdbeVerif
1f20: 79 41 62 6f 72 74 61 62 6c 65 28 41 2c 42 29 0a  yAbortable(A,B).
1f30: 23 65 6e 64 69 66 0a 56 64 62 65 4f 70 20 2a 73  #endif.VdbeOp *s
1f40: 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 4c  qlite3VdbeAddOpL
1f50: 69 73 74 28 56 64 62 65 2a 2c 20 69 6e 74 20 6e  ist(Vdbe*, int n
1f60: 4f 70 2c 20 56 64 62 65 4f 70 4c 69 73 74 20 63  Op, VdbeOpList c
1f70: 6f 6e 73 74 20 2a 61 4f 70 2c 69 6e 74 20 69 4c  onst *aOp,int iL
1f80: 69 6e 65 6e 6f 29 3b 0a 23 69 66 6e 64 65 66 20  ineno);.#ifndef 
1f90: 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 45 58 50 4c  SQLITE_OMIT_EXPL
1fa0: 41 49 4e 0a 20 20 76 6f 69 64 20 73 71 6c 69 74  AIN.  void sqlit
1fb0: 65 33 56 64 62 65 45 78 70 6c 61 69 6e 28 50 61  e3VdbeExplain(Pa
1fc0: 72 73 65 2a 2c 75 38 2c 63 6f 6e 73 74 20 63 68  rse*,u8,const ch
1fd0: 61 72 2a 2c 2e 2e 2e 29 3b 0a 20 20 76 6f 69 64  ar*,...);.  void
1fe0: 20 73 71 6c 69 74 65 33 56 64 62 65 45 78 70 6c   sqlite3VdbeExpl
1ff0: 61 69 6e 50 6f 70 28 50 61 72 73 65 2a 29 3b 0a  ainPop(Parse*);.
2000: 20 20 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62    int sqlite3Vdb
2010: 65 45 78 70 6c 61 69 6e 50 61 72 65 6e 74 28 50  eExplainParent(P
2020: 61 72 73 65 2a 29 3b 0a 23 20 64 65 66 69 6e 65  arse*);.# define
2030: 20 45 78 70 6c 61 69 6e 51 75 65 72 79 50 6c 61   ExplainQueryPla
2040: 6e 28 50 29 20 20 20 20 20 20 20 20 73 71 6c 69  n(P)        sqli
2050: 74 65 33 56 64 62 65 45 78 70 6c 61 69 6e 20 50  te3VdbeExplain P
2060: 0a 23 20 64 65 66 69 6e 65 20 45 78 70 6c 61 69  .# define Explai
2070: 6e 51 75 65 72 79 50 6c 61 6e 50 6f 70 28 50 29  nQueryPlanPop(P)
2080: 20 20 20 20 20 73 71 6c 69 74 65 33 56 64 62 65       sqlite3Vdbe
2090: 45 78 70 6c 61 69 6e 50 6f 70 28 50 29 0a 23 20  ExplainPop(P).# 
20a0: 64 65 66 69 6e 65 20 45 78 70 6c 61 69 6e 51 75  define ExplainQu
20b0: 65 72 79 50 6c 61 6e 50 61 72 65 6e 74 28 50 29  eryPlanParent(P)
20c0: 20 20 73 71 6c 69 74 65 33 56 64 62 65 45 78 70    sqlite3VdbeExp
20d0: 6c 61 69 6e 50 61 72 65 6e 74 28 50 29 0a 23 65  lainParent(P).#e
20e0: 6c 73 65 0a 23 20 64 65 66 69 6e 65 20 45 78 70  lse.# define Exp
20f0: 6c 61 69 6e 51 75 65 72 79 50 6c 61 6e 28 50 29  lainQueryPlan(P)
2100: 0a 23 20 64 65 66 69 6e 65 20 45 78 70 6c 61 69  .# define Explai
2110: 6e 51 75 65 72 79 50 6c 61 6e 50 6f 70 28 50 29  nQueryPlanPop(P)
2120: 0a 23 20 64 65 66 69 6e 65 20 45 78 70 6c 61 69  .# define Explai
2130: 6e 51 75 65 72 79 50 6c 61 6e 50 61 72 65 6e 74  nQueryPlanParent
2140: 28 50 29 20 30 0a 23 20 64 65 66 69 6e 65 20 73  (P) 0.# define s
2150: 71 6c 69 74 65 33 45 78 70 6c 61 69 6e 42 72 65  qlite3ExplainBre
2160: 61 6b 70 6f 69 6e 74 28 41 2c 42 29 20 2f 2a 6e  akpoint(A,B) /*n
2170: 6f 2d 6f 70 2a 2f 0a 23 65 6e 64 69 66 0a 23 69  o-op*/.#endif.#i
2180: 66 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45  f defined(SQLITE
2190: 5f 44 45 42 55 47 29 20 26 26 20 21 64 65 66 69  _DEBUG) && !defi
21a0: 6e 65 64 28 53 51 4c 49 54 45 5f 4f 4d 49 54 5f  ned(SQLITE_OMIT_
21b0: 45 58 50 4c 41 49 4e 29 0a 20 20 76 6f 69 64 20  EXPLAIN).  void 
21c0: 73 71 6c 69 74 65 33 45 78 70 6c 61 69 6e 42 72  sqlite3ExplainBr
21d0: 65 61 6b 70 6f 69 6e 74 28 63 6f 6e 73 74 20 63  eakpoint(const c
21e0: 68 61 72 2a 2c 63 6f 6e 73 74 20 63 68 61 72 2a  har*,const char*
21f0: 29 3b 0a 23 65 6c 73 65 0a 23 20 64 65 66 69 6e  );.#else.# defin
2200: 65 20 73 71 6c 69 74 65 33 45 78 70 6c 61 69 6e  e sqlite3Explain
2210: 42 72 65 61 6b 70 6f 69 6e 74 28 41 2c 42 29 20  Breakpoint(A,B) 
2220: 2f 2a 6e 6f 2d 6f 70 2a 2f 0a 23 65 6e 64 69 66  /*no-op*/.#endif
2230: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
2240: 65 41 64 64 50 61 72 73 65 53 63 68 65 6d 61 4f  eAddParseSchemaO
2250: 70 28 56 64 62 65 2a 2c 69 6e 74 2c 63 68 61 72  p(Vdbe*,int,char
2260: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
2270: 56 64 62 65 43 68 61 6e 67 65 4f 70 63 6f 64 65  VdbeChangeOpcode
2280: 28 56 64 62 65 2a 2c 20 75 33 32 20 61 64 64 72  (Vdbe*, u32 addr
2290: 2c 20 75 38 29 3b 0a 76 6f 69 64 20 73 71 6c 69  , u8);.void sqli
22a0: 74 65 33 56 64 62 65 43 68 61 6e 67 65 50 31 28  te3VdbeChangeP1(
22b0: 56 64 62 65 2a 2c 20 75 33 32 20 61 64 64 72 2c  Vdbe*, u32 addr,
22c0: 20 69 6e 74 20 50 31 29 3b 0a 76 6f 69 64 20 73   int P1);.void s
22d0: 71 6c 69 74 65 33 56 64 62 65 43 68 61 6e 67 65  qlite3VdbeChange
22e0: 50 32 28 56 64 62 65 2a 2c 20 75 33 32 20 61 64  P2(Vdbe*, u32 ad
22f0: 64 72 2c 20 69 6e 74 20 50 32 29 3b 0a 76 6f 69  dr, int P2);.voi
2300: 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 68 61  d sqlite3VdbeCha
2310: 6e 67 65 50 33 28 56 64 62 65 2a 2c 20 75 33 32  ngeP3(Vdbe*, u32
2320: 20 61 64 64 72 2c 20 69 6e 74 20 50 33 29 3b 0a   addr, int P3);.
2330: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
2340: 43 68 61 6e 67 65 50 35 28 56 64 62 65 2a 2c 20  ChangeP5(Vdbe*, 
2350: 75 31 36 20 50 35 29 3b 0a 76 6f 69 64 20 73 71  u16 P5);.void sq
2360: 6c 69 74 65 33 56 64 62 65 4a 75 6d 70 48 65 72  lite3VdbeJumpHer
2370: 65 28 56 64 62 65 2a 2c 20 69 6e 74 20 61 64 64  e(Vdbe*, int add
2380: 72 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  r);.int sqlite3V
2390: 64 62 65 43 68 61 6e 67 65 54 6f 4e 6f 6f 70 28  dbeChangeToNoop(
23a0: 56 64 62 65 2a 2c 20 69 6e 74 20 61 64 64 72 29  Vdbe*, int addr)
23b0: 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62  ;.int sqlite3Vdb
23c0: 65 44 65 6c 65 74 65 50 72 69 6f 72 4f 70 63 6f  eDeletePriorOpco
23d0: 64 65 28 56 64 62 65 2a 2c 20 75 38 20 6f 70 29  de(Vdbe*, u8 op)
23e0: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
23f0: 62 65 43 68 61 6e 67 65 50 34 28 56 64 62 65 2a  beChangeP4(Vdbe*
2400: 2c 20 69 6e 74 20 61 64 64 72 2c 20 63 6f 6e 73  , int addr, cons
2410: 74 20 63 68 61 72 20 2a 7a 50 34 2c 20 69 6e 74  t char *zP4, int
2420: 20 4e 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65   N);.void sqlite
2430: 33 56 64 62 65 41 70 70 65 6e 64 50 34 28 56 64  3VdbeAppendP4(Vd
2440: 62 65 2a 2c 20 76 6f 69 64 20 2a 70 50 34 2c 20  be*, void *pP4, 
2450: 69 6e 74 20 70 34 74 79 70 65 29 3b 0a 76 6f 69  int p4type);.voi
2460: 64 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74  d sqlite3VdbeSet
2470: 50 34 4b 65 79 49 6e 66 6f 28 50 61 72 73 65 2a  P4KeyInfo(Parse*
2480: 2c 20 49 6e 64 65 78 2a 29 3b 0a 76 6f 69 64 20  , Index*);.void 
2490: 73 71 6c 69 74 65 33 56 64 62 65 55 73 65 73 42  sqlite3VdbeUsesB
24a0: 74 72 65 65 28 56 64 62 65 2a 2c 20 69 6e 74 29  tree(Vdbe*, int)
24b0: 3b 0a 56 64 62 65 4f 70 20 2a 73 71 6c 69 74 65  ;.VdbeOp *sqlite
24c0: 33 56 64 62 65 47 65 74 4f 70 28 56 64 62 65 2a  3VdbeGetOp(Vdbe*
24d0: 2c 20 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69  , int);.int sqli
24e0: 74 65 33 56 64 62 65 4d 61 6b 65 4c 61 62 65 6c  te3VdbeMakeLabel
24f0: 28 50 61 72 73 65 2a 29 3b 0a 76 6f 69 64 20 73  (Parse*);.void s
2500: 71 6c 69 74 65 33 56 64 62 65 52 75 6e 4f 6e 6c  qlite3VdbeRunOnl
2510: 79 4f 6e 63 65 28 56 64 62 65 2a 29 3b 0a 76 6f  yOnce(Vdbe*);.vo
2520: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 52 65  id sqlite3VdbeRe
2530: 75 73 61 62 6c 65 28 56 64 62 65 2a 29 3b 0a 76  usable(Vdbe*);.v
2540: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 44  oid sqlite3VdbeD
2550: 65 6c 65 74 65 28 56 64 62 65 2a 29 3b 0a 76 6f  elete(Vdbe*);.vo
2560: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 6c  id sqlite3VdbeCl
2570: 65 61 72 4f 62 6a 65 63 74 28 73 71 6c 69 74 65  earObject(sqlite
2580: 33 2a 2c 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20  3*,Vdbe*);.void 
2590: 73 71 6c 69 74 65 33 56 64 62 65 4d 61 6b 65 52  sqlite3VdbeMakeR
25a0: 65 61 64 79 28 56 64 62 65 2a 2c 50 61 72 73 65  eady(Vdbe*,Parse
25b0: 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  *);.int sqlite3V
25c0: 64 62 65 46 69 6e 61 6c 69 7a 65 28 56 64 62 65  dbeFinalize(Vdbe
25d0: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
25e0: 56 64 62 65 52 65 73 6f 6c 76 65 4c 61 62 65 6c  VdbeResolveLabel
25f0: 28 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 69 6e  (Vdbe*, int);.in
2600: 74 20 73 71 6c 69 74 65 33 56 64 62 65 43 75 72  t sqlite3VdbeCur
2610: 72 65 6e 74 41 64 64 72 28 56 64 62 65 2a 29 3b  rentAddr(Vdbe*);
2620: 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 44  .#ifdef SQLITE_D
2630: 45 42 55 47 0a 20 20 69 6e 74 20 73 71 6c 69 74  EBUG.  int sqlit
2640: 65 33 56 64 62 65 41 73 73 65 72 74 4d 61 79 41  e3VdbeAssertMayA
2650: 62 6f 72 74 28 56 64 62 65 20 2a 2c 20 69 6e 74  bort(Vdbe *, int
2660: 29 3b 0a 23 65 6e 64 69 66 0a 76 6f 69 64 20 73  );.#endif.void s
2670: 71 6c 69 74 65 33 56 64 62 65 52 65 73 65 74 53  qlite3VdbeResetS
2680: 74 65 70 52 65 73 75 6c 74 28 56 64 62 65 2a 29  tepResult(Vdbe*)
2690: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
26a0: 62 65 52 65 77 69 6e 64 28 56 64 62 65 2a 29 3b  beRewind(Vdbe*);
26b0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65  .int sqlite3Vdbe
26c0: 52 65 73 65 74 28 56 64 62 65 2a 29 3b 0a 76 6f  Reset(Vdbe*);.vo
26d0: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 53 65  id sqlite3VdbeSe
26e0: 74 4e 75 6d 43 6f 6c 73 28 56 64 62 65 2a 2c 69  tNumCols(Vdbe*,i
26f0: 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33  nt);.int sqlite3
2700: 56 64 62 65 53 65 74 43 6f 6c 4e 61 6d 65 28 56  VdbeSetColName(V
2710: 64 62 65 2a 2c 20 69 6e 74 2c 20 69 6e 74 2c 20  dbe*, int, int, 
2720: 63 6f 6e 73 74 20 63 68 61 72 20 2a 2c 20 76 6f  const char *, vo
2730: 69 64 28 2a 29 28 76 6f 69 64 2a 29 29 3b 0a 76  id(*)(void*));.v
2740: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 43  oid sqlite3VdbeC
2750: 6f 75 6e 74 43 68 61 6e 67 65 73 28 56 64 62 65  ountChanges(Vdbe
2760: 2a 29 3b 0a 73 71 6c 69 74 65 33 20 2a 73 71 6c  *);.sqlite3 *sql
2770: 69 74 65 33 56 64 62 65 44 62 28 56 64 62 65 2a  ite3VdbeDb(Vdbe*
2780: 29 3b 0a 75 38 20 73 71 6c 69 74 65 33 56 64 62  );.u8 sqlite3Vdb
2790: 65 50 72 65 70 61 72 65 46 6c 61 67 73 28 56 64  ePrepareFlags(Vd
27a0: 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74  be*);.void sqlit
27b0: 65 33 56 64 62 65 53 65 74 53 71 6c 28 56 64 62  e3VdbeSetSql(Vdb
27c0: 65 2a 2c 20 63 6f 6e 73 74 20 63 68 61 72 20 2a  e*, const char *
27d0: 7a 2c 20 69 6e 74 20 6e 2c 20 75 38 29 3b 0a 23  z, int n, u8);.#
27e0: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41  ifdef SQLITE_ENA
27f0: 42 4c 45 5f 4e 4f 52 4d 41 4c 49 5a 45 0a 76 6f  BLE_NORMALIZE.vo
2800: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 41 64  id sqlite3VdbeAd
2810: 64 44 62 6c 71 75 6f 74 65 53 74 72 28 73 71 6c  dDblquoteStr(sql
2820: 69 74 65 33 2a 2c 56 64 62 65 2a 2c 63 6f 6e 73  ite3*,Vdbe*,cons
2830: 74 20 63 68 61 72 2a 29 3b 0a 69 6e 74 20 73 71  t char*);.int sq
2840: 6c 69 74 65 33 56 64 62 65 55 73 65 73 44 6f 75  lite3VdbeUsesDou
2850: 62 6c 65 51 75 6f 74 65 64 53 74 72 69 6e 67 28  bleQuotedString(
2860: 56 64 62 65 2a 2c 63 6f 6e 73 74 20 63 68 61 72  Vdbe*,const char
2870: 2a 29 3b 0a 23 65 6e 64 69 66 0a 76 6f 69 64 20  *);.#endif.void 
2880: 73 71 6c 69 74 65 33 56 64 62 65 53 77 61 70 28  sqlite3VdbeSwap(
2890: 56 64 62 65 2a 2c 56 64 62 65 2a 29 3b 0a 56 64  Vdbe*,Vdbe*);.Vd
28a0: 62 65 4f 70 20 2a 73 71 6c 69 74 65 33 56 64 62  beOp *sqlite3Vdb
28b0: 65 54 61 6b 65 4f 70 41 72 72 61 79 28 56 64 62  eTakeOpArray(Vdb
28c0: 65 2a 2c 20 69 6e 74 2a 2c 20 69 6e 74 2a 29 3b  e*, int*, int*);
28d0: 0a 73 71 6c 69 74 65 33 5f 76 61 6c 75 65 20 2a  .sqlite3_value *
28e0: 73 71 6c 69 74 65 33 56 64 62 65 47 65 74 42 6f  sqlite3VdbeGetBo
28f0: 75 6e 64 56 61 6c 75 65 28 56 64 62 65 2a 2c 20  undValue(Vdbe*, 
2900: 69 6e 74 2c 20 75 38 29 3b 0a 76 6f 69 64 20 73  int, u8);.void s
2910: 71 6c 69 74 65 33 56 64 62 65 53 65 74 56 61 72  qlite3VdbeSetVar
2920: 6d 61 73 6b 28 56 64 62 65 2a 2c 20 69 6e 74 29  mask(Vdbe*, int)
2930: 3b 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45  ;.#ifndef SQLITE
2940: 5f 4f 4d 49 54 5f 54 52 41 43 45 0a 20 20 63 68  _OMIT_TRACE.  ch
2950: 61 72 20 2a 73 71 6c 69 74 65 33 56 64 62 65 45  ar *sqlite3VdbeE
2960: 78 70 61 6e 64 53 71 6c 28 56 64 62 65 2a 2c 20  xpandSql(Vdbe*, 
2970: 63 6f 6e 73 74 20 63 68 61 72 2a 29 3b 0a 23 65  const char*);.#e
2980: 6e 64 69 66 0a 69 6e 74 20 73 71 6c 69 74 65 33  ndif.int sqlite3
2990: 4d 65 6d 43 6f 6d 70 61 72 65 28 63 6f 6e 73 74  MemCompare(const
29a0: 20 4d 65 6d 2a 2c 20 63 6f 6e 73 74 20 4d 65 6d   Mem*, const Mem
29b0: 2a 2c 20 63 6f 6e 73 74 20 43 6f 6c 6c 53 65 71  *, const CollSeq
29c0: 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 42  *);.int sqlite3B
29d0: 6c 6f 62 43 6f 6d 70 61 72 65 28 63 6f 6e 73 74  lobCompare(const
29e0: 20 4d 65 6d 2a 2c 20 63 6f 6e 73 74 20 4d 65 6d   Mem*, const Mem
29f0: 2a 29 3b 0a 0a 76 6f 69 64 20 73 71 6c 69 74 65  *);..void sqlite
2a00: 33 56 64 62 65 52 65 63 6f 72 64 55 6e 70 61 63  3VdbeRecordUnpac
2a10: 6b 28 4b 65 79 49 6e 66 6f 2a 2c 69 6e 74 2c 63  k(KeyInfo*,int,c
2a20: 6f 6e 73 74 20 76 6f 69 64 2a 2c 55 6e 70 61 63  onst void*,Unpac
2a30: 6b 65 64 52 65 63 6f 72 64 2a 29 3b 0a 69 6e 74  kedRecord*);.int
2a40: 20 73 71 6c 69 74 65 33 56 64 62 65 52 65 63 6f   sqlite3VdbeReco
2a50: 72 64 43 6f 6d 70 61 72 65 28 69 6e 74 2c 63 6f  rdCompare(int,co
2a60: 6e 73 74 20 76 6f 69 64 2a 2c 55 6e 70 61 63 6b  nst void*,Unpack
2a70: 65 64 52 65 63 6f 72 64 2a 29 3b 0a 69 6e 74 20  edRecord*);.int 
2a80: 73 71 6c 69 74 65 33 56 64 62 65 52 65 63 6f 72  sqlite3VdbeRecor
2a90: 64 43 6f 6d 70 61 72 65 57 69 74 68 53 6b 69 70  dCompareWithSkip
2aa0: 28 69 6e 74 2c 20 63 6f 6e 73 74 20 76 6f 69 64  (int, const void
2ab0: 20 2a 2c 20 55 6e 70 61 63 6b 65 64 52 65 63 6f   *, UnpackedReco
2ac0: 72 64 20 2a 2c 20 69 6e 74 29 3b 0a 55 6e 70 61  rd *, int);.Unpa
2ad0: 63 6b 65 64 52 65 63 6f 72 64 20 2a 73 71 6c 69  ckedRecord *sqli
2ae0: 74 65 33 56 64 62 65 41 6c 6c 6f 63 55 6e 70 61  te3VdbeAllocUnpa
2af0: 63 6b 65 64 52 65 63 6f 72 64 28 4b 65 79 49 6e  ckedRecord(KeyIn
2b00: 66 6f 2a 29 3b 0a 0a 74 79 70 65 64 65 66 20 69  fo*);..typedef i
2b10: 6e 74 20 28 2a 52 65 63 6f 72 64 43 6f 6d 70 61  nt (*RecordCompa
2b20: 72 65 29 28 69 6e 74 2c 63 6f 6e 73 74 20 76 6f  re)(int,const vo
2b30: 69 64 2a 2c 55 6e 70 61 63 6b 65 64 52 65 63 6f  id*,UnpackedReco
2b40: 72 64 2a 29 3b 0a 52 65 63 6f 72 64 43 6f 6d 70  rd*);.RecordComp
2b50: 61 72 65 20 73 71 6c 69 74 65 33 56 64 62 65 46  are sqlite3VdbeF
2b60: 69 6e 64 43 6f 6d 70 61 72 65 28 55 6e 70 61 63  indCompare(Unpac
2b70: 6b 65 64 52 65 63 6f 72 64 2a 29 3b 0a 0a 23 69  kedRecord*);..#i
2b80: 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49  fndef SQLITE_OMI
2b90: 54 5f 54 52 49 47 47 45 52 0a 76 6f 69 64 20 73  T_TRIGGER.void s
2ba0: 71 6c 69 74 65 33 56 64 62 65 4c 69 6e 6b 53 75  qlite3VdbeLinkSu
2bb0: 62 50 72 6f 67 72 61 6d 28 56 64 62 65 20 2a 2c  bProgram(Vdbe *,
2bc0: 20 53 75 62 50 72 6f 67 72 61 6d 20 2a 29 3b 0a   SubProgram *);.
2bd0: 23 65 6e 64 69 66 0a 0a 69 6e 74 20 73 71 6c 69  #endif..int sqli
2be0: 74 65 33 4e 6f 74 50 75 72 65 46 75 6e 63 28 73  te3NotPureFunc(s
2bf0: 71 6c 69 74 65 33 5f 63 6f 6e 74 65 78 74 2a 29  qlite3_context*)
2c00: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
2c10: 62 65 49 6e 63 72 52 65 67 28 73 71 6c 69 74 65  beIncrReg(sqlite
2c20: 33 5f 63 6f 6e 74 65 78 74 2a 2c 20 69 6e 74 2c  3_context*, int,
2c30: 20 69 6e 74 29 3b 0a 0a 2f 2a 20 55 73 65 20 53   int);../* Use S
2c40: 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 43 4f 4d  QLITE_ENABLE_COM
2c50: 4d 45 4e 54 53 20 74 6f 20 65 6e 61 62 6c 65 20  MENTS to enable 
2c60: 67 65 6e 65 72 61 74 69 6f 6e 20 6f 66 20 65 78  generation of ex
2c70: 74 72 61 20 63 6f 6d 6d 65 6e 74 73 20 6f 6e 0a  tra comments on.
2c80: 2a 2a 20 65 61 63 68 20 56 44 42 45 20 6f 70 63  ** each VDBE opc
2c90: 6f 64 65 2e 0a 2a 2a 0a 2a 2a 20 55 73 65 20 74  ode..**.** Use t
2ca0: 68 65 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  he SQLITE_ENABLE
2cb0: 5f 4d 4f 44 55 4c 45 5f 43 4f 4d 4d 45 4e 54 53  _MODULE_COMMENTS
2cc0: 20 6d 61 63 72 6f 20 74 6f 20 73 65 65 20 73 6f   macro to see so
2cd0: 6d 65 20 65 78 74 72 61 20 6e 6f 2d 6f 70 0a 2a  me extra no-op.*
2ce0: 2a 20 63 6f 6d 6d 65 6e 74 73 20 69 6e 20 56 44  * comments in VD
2cf0: 42 45 20 70 72 6f 67 72 61 6d 73 20 74 68 61 74  BE programs that
2d00: 20 73 68 6f 77 20 6b 65 79 20 64 65 63 69 73 69   show key decisi
2d10: 6f 6e 20 70 6f 69 6e 74 73 20 69 6e 20 74 68 65  on points in the
2d20: 20 63 6f 64 65 0a 2a 2a 20 67 65 6e 65 72 61 74   code.** generat
2d30: 6f 72 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51  or..*/.#ifdef SQ
2d40: 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 45 58 50 4c  LITE_ENABLE_EXPL
2d50: 41 49 4e 5f 43 4f 4d 4d 45 4e 54 53 0a 20 20 76  AIN_COMMENTS.  v
2d60: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 43  oid sqlite3VdbeC
2d70: 6f 6d 6d 65 6e 74 28 56 64 62 65 2a 2c 20 63 6f  omment(Vdbe*, co
2d80: 6e 73 74 20 63 68 61 72 2a 2c 20 2e 2e 2e 29 3b  nst char*, ...);
2d90: 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f  .# define VdbeCo
2da0: 6d 6d 65 6e 74 28 58 29 20 20 73 71 6c 69 74 65  mment(X)  sqlite
2db0: 33 56 64 62 65 43 6f 6d 6d 65 6e 74 20 58 0a 20  3VdbeComment X. 
2dc0: 20 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62   void sqlite3Vdb
2dd0: 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 28 56 64 62  eNoopComment(Vdb
2de0: 65 2a 2c 20 63 6f 6e 73 74 20 63 68 61 72 2a 2c  e*, const char*,
2df0: 20 2e 2e 2e 29 3b 0a 23 20 64 65 66 69 6e 65 20   ...);.# define 
2e00: 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 28  VdbeNoopComment(
2e10: 58 29 20 20 73 71 6c 69 74 65 33 56 64 62 65 4e  X)  sqlite3VdbeN
2e20: 6f 6f 70 43 6f 6d 6d 65 6e 74 20 58 0a 23 20 69  oopComment X.# i
2e30: 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42  fdef SQLITE_ENAB
2e40: 4c 45 5f 4d 4f 44 55 4c 45 5f 43 4f 4d 4d 45 4e  LE_MODULE_COMMEN
2e50: 54 53 0a 23 20 20 20 64 65 66 69 6e 65 20 56 64  TS.#   define Vd
2e60: 62 65 4d 6f 64 75 6c 65 43 6f 6d 6d 65 6e 74 28  beModuleComment(
2e70: 58 29 20 20 73 71 6c 69 74 65 33 56 64 62 65 4e  X)  sqlite3VdbeN
2e80: 6f 6f 70 43 6f 6d 6d 65 6e 74 20 58 0a 23 20 65  oopComment X.# e
2e90: 6c 73 65 0a 23 20 20 20 64 65 66 69 6e 65 20 56  lse.#   define V
2ea0: 64 62 65 4d 6f 64 75 6c 65 43 6f 6d 6d 65 6e 74  dbeModuleComment
2eb0: 28 58 29 0a 23 20 65 6e 64 69 66 0a 23 65 6c 73  (X).# endif.#els
2ec0: 65 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43  e.# define VdbeC
2ed0: 6f 6d 6d 65 6e 74 28 58 29 0a 23 20 64 65 66 69  omment(X).# defi
2ee0: 6e 65 20 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65  ne VdbeNoopComme
2ef0: 6e 74 28 58 29 0a 23 20 64 65 66 69 6e 65 20 56  nt(X).# define V
2f00: 64 62 65 4d 6f 64 75 6c 65 43 6f 6d 6d 65 6e 74  dbeModuleComment
2f10: 28 58 29 0a 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a  (X).#endif../*.*
2f20: 2a 20 54 68 65 20 56 64 62 65 43 6f 76 65 72 61  * The VdbeCovera
2f30: 67 65 20 6d 61 63 72 6f 73 20 61 72 65 20 75 73  ge macros are us
2f40: 65 64 20 74 6f 20 73 65 74 20 61 20 63 6f 76 65  ed to set a cove
2f50: 72 61 67 65 20 74 65 73 74 69 6e 67 20 70 6f 69  rage testing poi
2f60: 6e 74 0a 2a 2a 20 66 6f 72 20 56 44 42 45 20 62  nt.** for VDBE b
2f70: 72 61 6e 63 68 20 69 6e 73 74 72 75 63 74 69 6f  ranch instructio
2f80: 6e 73 2e 20 20 54 68 65 20 63 6f 76 65 72 61 67  ns.  The coverag
2f90: 65 20 74 65 73 74 69 6e 67 20 70 6f 69 6e 74 73  e testing points
2fa0: 20 61 72 65 20 6c 69 6e 65 0a 2a 2a 20 6e 75 6d   are line.** num
2fb0: 62 65 72 73 20 69 6e 20 74 68 65 20 73 71 6c 69  bers in the sqli
2fc0: 74 65 33 2e 63 20 73 6f 75 72 63 65 20 66 69 6c  te3.c source fil
2fd0: 65 2e 20 20 56 44 42 45 20 62 72 61 6e 63 68 20  e.  VDBE branch 
2fe0: 63 6f 76 65 72 61 67 65 20 74 65 73 74 69 6e 67  coverage testing
2ff0: 0a 2a 2a 20 6f 6e 6c 79 20 77 6f 72 6b 73 20 77  .** only works w
3000: 69 74 68 20 61 6e 20 61 6d 61 6c 61 67 6d 61 74  ith an amalagmat
3010: 69 6f 6e 20 62 75 69 6c 64 2e 20 20 54 68 61 74  ion build.  That
3020: 27 73 20 6f 6b 20 73 69 6e 63 65 20 61 20 56 44  's ok since a VD
3030: 42 45 20 62 72 61 6e 63 68 0a 2a 2a 20 63 6f 76  BE branch.** cov
3040: 65 72 61 67 65 20 62 75 69 6c 64 20 64 65 73 69  erage build desi
3050: 67 6e 65 64 20 66 6f 72 20 74 65 73 74 69 6e 67  gned for testing
3060: 20 74 68 65 20 74 65 73 74 20 73 75 69 74 65 20   the test suite 
3070: 6f 6e 6c 79 2e 20 20 4e 6f 20 61 70 70 6c 69 63  only.  No applic
3080: 61 74 69 6f 6e 0a 2a 2a 20 73 68 6f 75 6c 64 20  ation.** should 
3090: 65 76 65 72 20 73 68 69 70 20 77 69 74 68 20 56  ever ship with V
30a0: 44 42 45 20 62 72 61 6e 63 68 20 63 6f 76 65 72  DBE branch cover
30b0: 61 67 65 20 6d 65 61 73 75 72 69 6e 67 20 74 75  age measuring tu
30c0: 72 6e 65 64 20 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 20  rned on..**.**  
30d0: 20 20 56 64 62 65 43 6f 76 65 72 61 67 65 28 76    VdbeCoverage(v
30e0: 29 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  )               
30f0: 20 20 20 2f 2f 20 4d 61 72 6b 20 74 68 65 20 70     // Mark the p
3100: 72 65 76 69 6f 75 73 6c 79 20 63 6f 64 65 64 20  reviously coded 
3110: 69 6e 73 74 72 75 63 74 69 6f 6e 0a 2a 2a 20 20  instruction.**  
3120: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3130: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3140: 20 20 20 2f 2f 20 61 73 20 61 20 62 72 61 6e 63     // as a branc
3150: 68 0a 2a 2a 0a 2a 2a 20 20 20 20 56 64 62 65 43  h.**.**    VdbeC
3160: 6f 76 65 72 61 67 65 49 66 28 76 2c 20 63 6f 6e  overageIf(v, con
3170: 64 69 74 69 6f 6e 61 6c 29 20 20 20 2f 2f 20 4d  ditional)   // M
3180: 61 72 6b 20 70 72 65 76 69 6f 75 73 20 69 66 20  ark previous if 
3190: 63 6f 6e 64 69 74 69 6f 6e 61 6c 20 74 72 75 65  conditional true
31a0: 0a 2a 2a 0a 2a 2a 20 20 20 20 56 64 62 65 43 6f  .**.**    VdbeCo
31b0: 76 65 72 61 67 65 41 6c 77 61 79 73 54 61 6b 65  verageAlwaysTake
31c0: 6e 28 76 29 20 20 20 20 20 20 20 2f 2f 20 50 72  n(v)       // Pr
31d0: 65 76 69 6f 75 73 20 62 72 61 6e 63 68 20 69 73  evious branch is
31e0: 20 61 6c 77 61 79 73 20 74 61 6b 65 6e 0a 2a 2a   always taken.**
31f0: 0a 2a 2a 20 20 20 20 56 64 62 65 43 6f 76 65 72  .**    VdbeCover
3200: 61 67 65 4e 65 76 65 72 54 61 6b 65 6e 28 76 29  ageNeverTaken(v)
3210: 20 20 20 20 20 20 20 20 2f 2f 20 50 72 65 76 69          // Previ
3220: 6f 75 73 20 62 72 61 6e 63 68 20 69 73 20 6e 65  ous branch is ne
3230: 76 65 72 20 74 61 6b 65 6e 0a 2a 2a 0a 2a 2a 20  ver taken.**.** 
3240: 20 20 20 56 64 62 65 43 6f 76 65 72 61 67 65 4e     VdbeCoverageN
3250: 65 76 65 72 4e 75 6c 6c 28 76 29 20 20 20 20 20  everNull(v)     
3260: 20 20 20 20 2f 2f 20 50 72 65 76 69 6f 75 73 20      // Previous 
3270: 74 68 72 65 65 2d 77 61 79 20 62 72 61 6e 63 68  three-way branch
3280: 20 69 73 20 6f 6e 6c 79 0a 2a 2a 20 20 20 20 20   is only.**     
3290: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
32a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
32b0: 2f 2f 20 74 61 6b 65 6e 20 6f 6e 20 74 68 65 20  // taken on the 
32c0: 66 69 72 73 74 20 74 77 6f 20 77 61 79 73 2e 20  first two ways. 
32d0: 20 54 68 65 0a 2a 2a 20 20 20 20 20 20 20 20 20   The.**         
32e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
32f0: 20 20 20 20 20 20 20 20 20 20 20 20 2f 2f 20 4e              // N
3300: 55 4c 4c 20 6f 70 74 69 6f 6e 20 69 73 20 6e 6f  ULL option is no
3310: 74 20 70 6f 73 73 69 62 6c 65 0a 2a 2a 0a 2a 2a  t possible.**.**
3320: 20 20 20 20 56 64 62 65 43 6f 76 65 72 61 67 65      VdbeCoverage
3330: 45 71 4e 65 28 76 29 20 20 20 20 20 20 20 20 20  EqNe(v)         
3340: 20 20 20 20 20 2f 2f 20 50 72 65 76 69 6f 75 73       // Previous
3350: 20 4f 50 5f 4a 75 6d 70 20 69 73 20 6f 6e 6c 79   OP_Jump is only
3360: 20 69 6e 74 65 72 65 73 74 65 64 0a 2a 2a 20 20   interested.**  
3370: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3380: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
3390: 20 20 20 2f 2f 20 69 6e 20 64 69 73 74 69 6e 67     // in disting
33a0: 69 73 68 69 6e 67 20 65 71 75 61 6c 20 61 6e 64  ishing equal and
33b0: 20 6e 6f 74 2d 65 71 75 61 6c 2e 0a 2a 2a 0a 2a   not-equal..**.*
33c0: 2a 20 45 76 65 72 79 20 56 44 42 45 20 62 72 61  * Every VDBE bra
33d0: 6e 63 68 20 6f 70 65 72 61 74 69 6f 6e 20 6d 75  nch operation mu
33e0: 73 74 20 62 65 20 74 61 67 67 65 64 20 77 69 74  st be tagged wit
33f0: 68 20 6f 6e 65 20 6f 66 20 74 68 65 20 6d 61 63  h one of the mac
3400: 72 6f 73 20 61 62 6f 76 65 2e 0a 2a 2a 20 49 66  ros above..** If
3410: 20 6e 6f 74 2c 20 74 68 65 6e 20 77 68 65 6e 20   not, then when 
3420: 22 6d 61 6b 65 20 74 65 73 74 22 20 69 73 20 72  "make test" is r
3430: 75 6e 20 77 69 74 68 20 2d 44 53 51 4c 49 54 45  un with -DSQLITE
3440: 5f 56 44 42 45 5f 43 4f 56 45 52 41 47 45 20 61  _VDBE_COVERAGE a
3450: 6e 64 0a 2a 2a 20 2d 44 53 51 4c 49 54 45 5f 44  nd.** -DSQLITE_D
3460: 45 42 55 47 20 74 68 65 6e 20 61 6e 20 41 4c 57  EBUG then an ALW
3470: 41 59 53 28 29 20 77 69 6c 6c 20 66 61 69 6c 20  AYS() will fail 
3480: 69 6e 20 74 68 65 20 76 64 62 65 54 61 6b 65 42  in the vdbeTakeB
3490: 72 61 6e 63 68 28 29 0a 2a 2a 20 72 6f 75 74 69  ranch().** routi
34a0: 6e 65 20 69 6e 20 76 64 62 65 2e 63 2c 20 61 6c  ne in vdbe.c, al
34b0: 65 72 74 69 6e 67 20 74 68 65 20 64 65 76 65 6c  erting the devel
34c0: 6f 70 65 72 20 74 6f 20 74 68 65 20 6d 69 73 73  oper to the miss
34d0: 65 64 20 74 61 67 2e 0a 2a 2a 0a 2a 2a 20 44 75  ed tag..**.** Du
34e0: 72 69 6e 67 20 74 65 73 74 69 6e 67 2c 20 74 68  ring testing, th
34f0: 65 20 74 65 73 74 20 61 70 70 6c 69 63 61 74 69  e test applicati
3500: 6f 6e 20 77 69 6c 6c 20 69 6e 76 6f 6b 65 0a 2a  on will invoke.*
3510: 2a 20 73 71 6c 69 74 65 33 5f 74 65 73 74 5f 63  * sqlite3_test_c
3520: 6f 6e 74 72 6f 6c 28 53 51 4c 49 54 45 5f 54 45  ontrol(SQLITE_TE
3530: 53 54 43 54 52 4c 5f 56 44 42 45 5f 43 4f 56 45  STCTRL_VDBE_COVE
3540: 52 41 47 45 2c 2e 2e 2e 29 20 74 6f 20 73 65 74  RAGE,...) to set
3550: 20 61 20 63 61 6c 6c 62 61 63 6b 0a 2a 2a 20 72   a callback.** r
3560: 6f 75 74 69 6e 65 20 74 68 61 74 20 69 73 20 69  outine that is i
3570: 6e 76 6f 6b 65 64 20 61 73 20 65 61 63 68 20 62  nvoked as each b
3580: 79 74 65 63 6f 64 65 20 62 72 61 6e 63 68 20 69  ytecode branch i
3590: 73 20 74 61 6b 65 6e 2e 20 20 54 68 65 20 63 61  s taken.  The ca
35a0: 6c 6c 62 61 63 6b 0a 2a 2a 20 63 6f 6e 74 61 69  llback.** contai
35b0: 6e 73 20 74 68 65 20 73 71 6c 69 74 65 33 2e 63  ns the sqlite3.c
35c0: 20 73 6f 75 72 63 65 20 6c 69 6e 65 20 6e 75 6d   source line num
35d0: 62 65 72 20 6f 76 20 74 68 65 20 56 64 62 65 43  ber ov the VdbeC
35e0: 6f 76 65 72 61 67 65 20 6d 61 63 72 6f 20 61 6e  overage macro an
35f0: 64 0a 2a 2a 20 66 6c 61 67 73 20 74 6f 20 69 6e  d.** flags to in
3600: 64 69 63 61 74 65 20 77 68 65 74 68 65 72 20 6f  dicate whether o
3610: 72 20 6e 6f 74 20 74 68 65 20 62 72 61 6e 63 68  r not the branch
3620: 20 77 61 73 20 74 61 6b 65 6e 2e 20 20 54 68 65   was taken.  The
3630: 20 74 65 73 74 20 61 70 70 6c 69 63 61 74 69 6f   test applicatio
3640: 6e 0a 2a 2a 20 69 73 20 72 65 73 70 6f 6e 73 69  n.** is responsi
3650: 62 6c 65 20 66 6f 72 20 6b 65 65 70 69 6e 67 20  ble for keeping 
3660: 74 72 61 63 6b 20 6f 66 20 74 68 69 73 20 61 6e  track of this an
3670: 64 20 72 65 70 6f 72 74 69 6e 67 20 62 79 74 65  d reporting byte
3680: 2d 63 6f 64 65 20 62 72 61 6e 63 68 65 73 0a 2a  -code branches.*
3690: 2a 20 74 68 61 74 20 61 72 65 20 6e 65 76 65 72  * that are never
36a0: 20 74 61 6b 65 6e 2e 0a 2a 2a 0a 2a 2a 20 53 65   taken..**.** Se
36b0: 65 20 74 68 65 20 56 64 62 65 42 72 61 6e 63 68  e the VdbeBranch
36c0: 54 61 6b 65 6e 28 29 20 6d 61 63 72 6f 20 61 6e  Taken() macro an
36d0: 64 20 76 64 62 65 54 61 6b 65 42 72 61 6e 63 68  d vdbeTakeBranch
36e0: 28 29 20 66 75 6e 63 74 69 6f 6e 20 69 6e 20 74  () function in t
36f0: 68 65 0a 2a 2a 20 76 64 62 65 2e 63 20 73 6f 75  he.** vdbe.c sou
3700: 72 63 65 20 66 69 6c 65 20 66 6f 72 20 61 64 64  rce file for add
3710: 69 74 69 6f 6e 61 6c 20 69 6e 66 6f 72 6d 61 74  itional informat
3720: 69 6f 6e 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53  ion..*/.#ifdef S
3730: 51 4c 49 54 45 5f 56 44 42 45 5f 43 4f 56 45 52  QLITE_VDBE_COVER
3740: 41 47 45 0a 20 20 76 6f 69 64 20 73 71 6c 69 74  AGE.  void sqlit
3750: 65 33 56 64 62 65 53 65 74 4c 69 6e 65 4e 75 6d  e3VdbeSetLineNum
3760: 62 65 72 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a  ber(Vdbe*,int);.
3770: 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76  # define VdbeCov
3780: 65 72 61 67 65 28 76 29 20 73 71 6c 69 74 65 33  erage(v) sqlite3
3790: 56 64 62 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65  VdbeSetLineNumbe
37a0: 72 28 76 2c 5f 5f 4c 49 4e 45 5f 5f 29 0a 23 20  r(v,__LINE__).# 
37b0: 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72  define VdbeCover
37c0: 61 67 65 49 66 28 76 2c 78 29 20 69 66 28 78 29  ageIf(v,x) if(x)
37d0: 73 71 6c 69 74 65 33 56 64 62 65 53 65 74 4c 69  sqlite3VdbeSetLi
37e0: 6e 65 4e 75 6d 62 65 72 28 76 2c 5f 5f 4c 49 4e  neNumber(v,__LIN
37f0: 45 5f 5f 29 0a 23 20 64 65 66 69 6e 65 20 56 64  E__).# define Vd
3800: 62 65 43 6f 76 65 72 61 67 65 41 6c 77 61 79 73  beCoverageAlways
3810: 54 61 6b 65 6e 28 76 29 20 5c 0a 20 20 20 20 20  Taken(v) \.     
3820: 20 20 20 20 73 71 6c 69 74 65 33 56 64 62 65 53      sqlite3VdbeS
3830: 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76 2c 5f  etLineNumber(v,_
3840: 5f 4c 49 4e 45 5f 5f 7c 30 78 35 30 30 30 30 30  _LINE__|0x500000
3850: 30 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 64 62  0);.# define Vdb
3860: 65 43 6f 76 65 72 61 67 65 4e 65 76 65 72 54 61  eCoverageNeverTa
3870: 6b 65 6e 28 76 29 20 5c 0a 20 20 20 20 20 20 20  ken(v) \.       
3880: 20 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74    sqlite3VdbeSet
3890: 4c 69 6e 65 4e 75 6d 62 65 72 28 76 2c 5f 5f 4c  LineNumber(v,__L
38a0: 49 4e 45 5f 5f 7c 30 78 36 30 30 30 30 30 30 29  INE__|0x6000000)
38b0: 3b 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43  ;.# define VdbeC
38c0: 6f 76 65 72 61 67 65 4e 65 76 65 72 4e 75 6c 6c  overageNeverNull
38d0: 28 76 29 20 5c 0a 20 20 20 20 20 20 20 20 20 73  (v) \.         s
38e0: 71 6c 69 74 65 33 56 64 62 65 53 65 74 4c 69 6e  qlite3VdbeSetLin
38f0: 65 4e 75 6d 62 65 72 28 76 2c 5f 5f 4c 49 4e 45  eNumber(v,__LINE
3900: 5f 5f 7c 30 78 34 30 30 30 30 30 30 29 3b 0a 23  __|0x4000000);.#
3910: 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65   define VdbeCove
3920: 72 61 67 65 4e 65 76 65 72 4e 75 6c 6c 49 66 28  rageNeverNullIf(
3930: 76 2c 78 29 20 5c 0a 20 20 20 20 20 20 20 20 20  v,x) \.         
3940: 69 66 28 78 29 73 71 6c 69 74 65 33 56 64 62 65  if(x)sqlite3Vdbe
3950: 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76 2c  SetLineNumber(v,
3960: 5f 5f 4c 49 4e 45 5f 5f 7c 30 78 34 30 30 30 30  __LINE__|0x40000
3970: 30 30 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 64  00);.# define Vd
3980: 62 65 43 6f 76 65 72 61 67 65 45 71 4e 65 28 76  beCoverageEqNe(v
3990: 29 20 5c 0a 20 20 20 20 20 20 20 20 20 73 71 6c  ) \.         sql
39a0: 69 74 65 33 56 64 62 65 53 65 74 4c 69 6e 65 4e  ite3VdbeSetLineN
39b0: 75 6d 62 65 72 28 76 2c 5f 5f 4c 49 4e 45 5f 5f  umber(v,__LINE__
39c0: 7c 30 78 38 30 30 30 30 30 30 29 3b 0a 23 20 64  |0x8000000);.# d
39d0: 65 66 69 6e 65 20 56 44 42 45 5f 4f 46 46 53 45  efine VDBE_OFFSE
39e0: 54 5f 4c 49 4e 45 4e 4f 28 78 29 20 28 5f 5f 4c  T_LINENO(x) (__L
39f0: 49 4e 45 5f 5f 2b 78 29 0a 23 65 6c 73 65 0a 23  INE__+x).#else.#
3a00: 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65   define VdbeCove
3a10: 72 61 67 65 28 76 29 0a 23 20 64 65 66 69 6e 65  rage(v).# define
3a20: 20 56 64 62 65 43 6f 76 65 72 61 67 65 49 66 28   VdbeCoverageIf(
3a30: 76 2c 78 29 0a 23 20 64 65 66 69 6e 65 20 56 64  v,x).# define Vd
3a40: 62 65 43 6f 76 65 72 61 67 65 41 6c 77 61 79 73  beCoverageAlways
3a50: 54 61 6b 65 6e 28 76 29 0a 23 20 64 65 66 69 6e  Taken(v).# defin
3a60: 65 20 56 64 62 65 43 6f 76 65 72 61 67 65 4e 65  e VdbeCoverageNe
3a70: 76 65 72 54 61 6b 65 6e 28 76 29 0a 23 20 64 65  verTaken(v).# de
3a80: 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72 61 67  fine VdbeCoverag
3a90: 65 4e 65 76 65 72 4e 75 6c 6c 28 76 29 0a 23 20  eNeverNull(v).# 
3aa0: 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72  define VdbeCover
3ab0: 61 67 65 4e 65 76 65 72 4e 75 6c 6c 49 66 28 76  ageNeverNullIf(v
3ac0: 2c 78 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62  ,x).# define Vdb
3ad0: 65 43 6f 76 65 72 61 67 65 45 71 4e 65 28 76 29  eCoverageEqNe(v)
3ae0: 0a 23 20 64 65 66 69 6e 65 20 56 44 42 45 5f 4f  .# define VDBE_O
3af0: 46 46 53 45 54 5f 4c 49 4e 45 4e 4f 28 78 29 20  FFSET_LINENO(x) 
3b00: 30 0a 23 65 6e 64 69 66 0a 0a 23 69 66 64 65 66  0.#endif..#ifdef
3b10: 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 53   SQLITE_ENABLE_S
3b20: 54 4d 54 5f 53 43 41 4e 53 54 41 54 55 53 0a 76  TMT_SCANSTATUS.v
3b30: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 53  oid sqlite3VdbeS
3b40: 63 61 6e 53 74 61 74 75 73 28 56 64 62 65 2a 2c  canStatus(Vdbe*,
3b50: 20 69 6e 74 2c 20 69 6e 74 2c 20 69 6e 74 2c 20   int, int, int, 
3b60: 4c 6f 67 45 73 74 2c 20 63 6f 6e 73 74 20 63 68  LogEst, const ch
3b70: 61 72 2a 29 3b 0a 23 65 6c 73 65 0a 23 20 64 65  ar*);.#else.# de
3b80: 66 69 6e 65 20 73 71 6c 69 74 65 33 56 64 62 65  fine sqlite3Vdbe
3b90: 53 63 61 6e 53 74 61 74 75 73 28 61 2c 62 2c 63  ScanStatus(a,b,c
3ba0: 2c 64 2c 65 29 0a 23 65 6e 64 69 66 0a 0a 23 69  ,d,e).#endif..#i
3bb0: 66 20 64 65 66 69 6e 65 64 28 53 51 4c 49 54 45  f defined(SQLITE
3bc0: 5f 44 45 42 55 47 29 20 7c 7c 20 64 65 66 69 6e  _DEBUG) || defin
3bd0: 65 64 28 56 44 42 45 5f 50 52 4f 46 49 4c 45 29  ed(VDBE_PROFILE)
3be0: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
3bf0: 65 50 72 69 6e 74 4f 70 28 46 49 4c 45 2a 2c 20  ePrintOp(FILE*, 
3c00: 69 6e 74 2c 20 56 64 62 65 4f 70 2a 29 3b 0a 23  int, VdbeOp*);.#
3c10: 65 6e 64 69 66 0a 0a 23 65 6e 64 69 66 20 2f 2a  endif..#endif /*
3c20: 20 53 51 4c 49 54 45 5f 56 44 42 45 5f 48 20 2a   SQLITE_VDBE_H *
3c30: 2f 0a                                            /.