/ Hex Artifact Content
Login

Artifact 70a409d171d4e51b962f0d53abf15c33c404c6aa4c9d62fb3a931b5a62ba9615:


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 69 6e 74 20 69 53 72  VERAGE.  int 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: 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d 3b 0a 74 79   */.#endif.};.ty
0c20: 70 65 64 65 66 20 73 74 72 75 63 74 20 56 64 62  pedef struct Vdb
0c30: 65 4f 70 20 56 64 62 65 4f 70 3b 0a 0a 0a 2f 2a  eOp VdbeOp;.../*
0c40: 0a 2a 2a 20 41 20 73 75 62 2d 72 6f 75 74 69 6e  .** A sub-routin
0c50: 65 20 75 73 65 64 20 74 6f 20 69 6d 70 6c 65 6d  e used to implem
0c60: 65 6e 74 20 61 20 74 72 69 67 67 65 72 20 70 72  ent a trigger pr
0c70: 6f 67 72 61 6d 2e 0a 2a 2f 0a 73 74 72 75 63 74  ogram..*/.struct
0c80: 20 53 75 62 50 72 6f 67 72 61 6d 20 7b 0a 20 20   SubProgram {.  
0c90: 56 64 62 65 4f 70 20 2a 61 4f 70 3b 20 20 20 20  VdbeOp *aOp;    
0ca0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
0cb0: 20 41 72 72 61 79 20 6f 66 20 6f 70 63 6f 64 65   Array of opcode
0cc0: 73 20 66 6f 72 20 73 75 62 2d 70 72 6f 67 72 61  s for sub-progra
0cd0: 6d 20 2a 2f 0a 20 20 69 6e 74 20 6e 4f 70 3b 20  m */.  int nOp; 
0ce0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0cf0: 20 20 20 20 20 2f 2a 20 45 6c 65 6d 65 6e 74 73       /* Elements
0d00: 20 69 6e 20 61 4f 70 5b 5d 20 2a 2f 0a 20 20 69   in aOp[] */.  i
0d10: 6e 74 20 6e 4d 65 6d 3b 20 20 20 20 20 20 20 20  nt nMem;        
0d20: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
0d30: 4e 75 6d 62 65 72 20 6f 66 20 6d 65 6d 6f 72 79  Number of memory
0d40: 20 63 65 6c 6c 73 20 72 65 71 75 69 72 65 64 20   cells required 
0d50: 2a 2f 0a 20 20 69 6e 74 20 6e 43 73 72 3b 20 20  */.  int nCsr;  
0d60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0d70: 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20     /* Number of 
0d80: 63 75 72 73 6f 72 73 20 72 65 71 75 69 72 65 64  cursors required
0d90: 20 2a 2f 0a 20 20 75 38 20 2a 61 4f 6e 63 65 3b   */.  u8 *aOnce;
0da0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0db0: 20 20 20 20 2f 2a 20 41 72 72 61 79 20 6f 66 20      /* Array of 
0dc0: 4f 50 5f 4f 6e 63 65 20 66 6c 61 67 73 20 2a 2f  OP_Once flags */
0dd0: 0a 20 20 76 6f 69 64 20 2a 74 6f 6b 65 6e 3b 20  .  void *token; 
0de0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0df0: 20 2f 2a 20 69 64 20 74 68 61 74 20 6d 61 79 20   /* id that may 
0e00: 62 65 20 75 73 65 64 20 74 6f 20 72 65 63 75 72  be used to recur
0e10: 73 69 76 65 20 74 72 69 67 67 65 72 73 20 2a 2f  sive triggers */
0e20: 0a 20 20 53 75 62 50 72 6f 67 72 61 6d 20 2a 70  .  SubProgram *p
0e30: 4e 65 78 74 3b 20 20 20 20 20 20 20 20 20 20 20  Next;           
0e40: 20 2f 2a 20 4e 65 78 74 20 73 75 62 2d 70 72 6f   /* Next sub-pro
0e50: 67 72 61 6d 20 61 6c 72 65 61 64 79 20 76 69 73  gram already vis
0e60: 69 74 65 64 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a  ited */.};../*.*
0e70: 2a 20 41 20 73 6d 61 6c 6c 65 72 20 76 65 72 73  * A smaller vers
0e80: 69 6f 6e 20 6f 66 20 56 64 62 65 4f 70 20 75 73  ion of VdbeOp us
0e90: 65 64 20 66 6f 72 20 74 68 65 20 56 64 62 65 41  ed for the VdbeA
0ea0: 64 64 4f 70 4c 69 73 74 28 29 20 66 75 6e 63 74  ddOpList() funct
0eb0: 69 6f 6e 20 62 65 63 61 75 73 65 0a 2a 2a 20 69  ion because.** i
0ec0: 74 20 74 61 6b 65 73 20 75 70 20 6c 65 73 73 20  t takes up less 
0ed0: 73 70 61 63 65 2e 0a 2a 2f 0a 73 74 72 75 63 74  space..*/.struct
0ee0: 20 56 64 62 65 4f 70 4c 69 73 74 20 7b 0a 20 20   VdbeOpList {.  
0ef0: 75 38 20 6f 70 63 6f 64 65 3b 20 20 20 20 20 20  u8 opcode;      
0f00: 20 20 20 20 2f 2a 20 57 68 61 74 20 6f 70 65 72      /* What oper
0f10: 61 74 69 6f 6e 20 74 6f 20 70 65 72 66 6f 72 6d  ation to perform
0f20: 20 2a 2f 0a 20 20 73 69 67 6e 65 64 20 63 68 61   */.  signed cha
0f30: 72 20 70 31 3b 20 20 20 20 20 2f 2a 20 46 69 72  r p1;     /* Fir
0f40: 73 74 20 6f 70 65 72 61 6e 64 20 2a 2f 0a 20 20  st operand */.  
0f50: 73 69 67 6e 65 64 20 63 68 61 72 20 70 32 3b 20  signed char p2; 
0f60: 20 20 20 20 2f 2a 20 53 65 63 6f 6e 64 20 70 61      /* Second pa
0f70: 72 61 6d 65 74 65 72 20 28 6f 66 74 65 6e 20 74  rameter (often t
0f80: 68 65 20 6a 75 6d 70 20 64 65 73 74 69 6e 61 74  he jump destinat
0f90: 69 6f 6e 29 20 2a 2f 0a 20 20 73 69 67 6e 65 64  ion) */.  signed
0fa0: 20 63 68 61 72 20 70 33 3b 20 20 20 20 20 2f 2a   char p3;     /*
0fb0: 20 54 68 69 72 64 20 70 61 72 61 6d 65 74 65 72   Third parameter
0fc0: 20 2a 2f 0a 7d 3b 0a 74 79 70 65 64 65 66 20 73   */.};.typedef s
0fd0: 74 72 75 63 74 20 56 64 62 65 4f 70 4c 69 73 74  truct VdbeOpList
0fe0: 20 56 64 62 65 4f 70 4c 69 73 74 3b 0a 0a 2f 2a   VdbeOpList;../*
0ff0: 0a 2a 2a 20 41 6c 6c 6f 77 65 64 20 76 61 6c 75  .** Allowed valu
1000: 65 73 20 6f 66 20 56 64 62 65 4f 70 2e 70 34 74  es of VdbeOp.p4t
1010: 79 70 65 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 50  ype.*/.#define P
1020: 34 5f 4e 4f 54 55 53 45 44 20 20 20 20 30 20 20  4_NOTUSED    0  
1030: 20 2f 2a 20 54 68 65 20 50 34 20 70 61 72 61 6d   /* The P4 param
1040: 65 74 65 72 20 69 73 20 6e 6f 74 20 75 73 65 64  eter is not used
1050: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 44   */.#define P4_D
1060: 59 4e 41 4d 49 43 20 20 28 2d 31 29 20 20 2f 2a  YNAMIC  (-1)  /*
1070: 20 50 6f 69 6e 74 65 72 20 74 6f 20 61 20 73 74   Pointer to a st
1080: 72 69 6e 67 20 6f 62 74 61 69 6e 65 64 20 66 72  ring obtained fr
1090: 6f 6d 20 73 71 6c 69 74 65 4d 61 6c 6c 6f 63 28  om sqliteMalloc(
10a0: 29 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f  ) */.#define P4_
10b0: 53 54 41 54 49 43 20 20 20 28 2d 32 29 20 20 2f  STATIC   (-2)  /
10c0: 2a 20 50 6f 69 6e 74 65 72 20 74 6f 20 61 20 73  * Pointer to a s
10d0: 74 61 74 69 63 20 73 74 72 69 6e 67 20 2a 2f 0a  tatic string */.
10e0: 23 64 65 66 69 6e 65 20 50 34 5f 43 4f 4c 4c 53  #define P4_COLLS
10f0: 45 51 20 20 28 2d 33 29 20 20 2f 2a 20 50 34 20  EQ  (-3)  /* P4 
1100: 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  is a pointer to 
1110: 61 20 43 6f 6c 6c 53 65 71 20 73 74 72 75 63 74  a CollSeq struct
1120: 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50  ure */.#define P
1130: 34 5f 46 55 4e 43 44 45 46 20 20 28 2d 34 29 20  4_FUNCDEF  (-4) 
1140: 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e   /* P4 is a poin
1150: 74 65 72 20 74 6f 20 61 20 46 75 6e 63 44 65 66  ter to a FuncDef
1160: 20 73 74 72 75 63 74 75 72 65 20 2a 2f 0a 23 64   structure */.#d
1170: 65 66 69 6e 65 20 50 34 5f 4b 45 59 49 4e 46 4f  efine P4_KEYINFO
1180: 20 20 28 2d 35 29 20 20 2f 2a 20 50 34 20 69 73    (-5)  /* P4 is
1190: 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20   a pointer to a 
11a0: 4b 65 79 49 6e 66 6f 20 73 74 72 75 63 74 75 72  KeyInfo structur
11b0: 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f  e */.#define P4_
11c0: 45 58 50 52 20 20 20 20 20 28 2d 36 29 20 20 2f  EXPR     (-6)  /
11d0: 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65  * P4 is a pointe
11e0: 72 20 74 6f 20 61 6e 20 45 78 70 72 20 74 72 65  r to an Expr tre
11f0: 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f  e */.#define P4_
1200: 4d 45 4d 20 20 20 20 20 20 28 2d 37 29 20 20 2f  MEM      (-7)  /
1210: 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65  * P4 is a pointe
1220: 72 20 74 6f 20 61 20 4d 65 6d 2a 20 20 20 20 73  r to a Mem*    s
1230: 74 72 75 63 74 75 72 65 20 2a 2f 0a 23 64 65 66  tructure */.#def
1240: 69 6e 65 20 50 34 5f 54 52 41 4e 53 49 45 4e 54  ine P4_TRANSIENT
1250: 20 20 30 20 20 20 2f 2a 20 50 34 20 69 73 20 61    0   /* P4 is a
1260: 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 74 72   pointer to a tr
1270: 61 6e 73 69 65 6e 74 20 73 74 72 69 6e 67 20 2a  ansient string *
1280: 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 56 54 41  /.#define P4_VTA
1290: 42 20 20 20 20 20 28 2d 38 29 20 2f 2a 20 50 34  B     (-8) /* P4
12a0: 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f   is a pointer to
12b0: 20 61 6e 20 73 71 6c 69 74 65 33 5f 76 74 61 62   an sqlite3_vtab
12c0: 20 73 74 72 75 63 74 75 72 65 20 2a 2f 0a 23 64   structure */.#d
12d0: 65 66 69 6e 65 20 50 34 5f 52 45 41 4c 20 20 20  efine P4_REAL   
12e0: 20 20 28 2d 39 29 20 2f 2a 20 50 34 20 69 73 20    (-9) /* P4 is 
12f0: 61 20 36 34 2d 62 69 74 20 66 6c 6f 61 74 69 6e  a 64-bit floatin
1300: 67 20 70 6f 69 6e 74 20 76 61 6c 75 65 20 2a 2f  g point value */
1310: 0a 23 64 65 66 69 6e 65 20 50 34 5f 49 4e 54 36  .#define P4_INT6
1320: 34 20 20 20 20 28 2d 31 30 29 20 2f 2a 20 50 34  4    (-10) /* P4
1330: 20 69 73 20 61 20 36 34 2d 62 69 74 20 73 69 67   is a 64-bit sig
1340: 6e 65 64 20 69 6e 74 65 67 65 72 20 2a 2f 0a 23  ned integer */.#
1350: 64 65 66 69 6e 65 20 50 34 5f 49 4e 54 33 32 20  define P4_INT32 
1360: 20 20 20 28 2d 31 31 29 20 2f 2a 20 50 34 20 69     (-11) /* P4 i
1370: 73 20 61 20 33 32 2d 62 69 74 20 73 69 67 6e 65  s a 32-bit signe
1380: 64 20 69 6e 74 65 67 65 72 20 2a 2f 0a 23 64 65  d integer */.#de
1390: 66 69 6e 65 20 50 34 5f 49 4e 54 41 52 52 41 59  fine P4_INTARRAY
13a0: 20 28 2d 31 32 29 20 2f 2a 20 50 34 20 69 73 20   (-12) /* P4 is 
13b0: 61 20 76 65 63 74 6f 72 20 6f 66 20 33 32 2d 62  a vector of 32-b
13c0: 69 74 20 69 6e 74 65 67 65 72 73 20 2a 2f 0a 23  it integers */.#
13d0: 64 65 66 69 6e 65 20 50 34 5f 53 55 42 50 52 4f  define P4_SUBPRO
13e0: 47 52 41 4d 20 20 28 2d 31 33 29 20 2f 2a 20 50  GRAM  (-13) /* P
13f0: 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74  4 is a pointer t
1400: 6f 20 61 20 53 75 62 50 72 6f 67 72 61 6d 20 73  o a SubProgram s
1410: 74 72 75 63 74 75 72 65 20 2a 2f 0a 23 64 65 66  tructure */.#def
1420: 69 6e 65 20 50 34 5f 41 44 56 41 4e 43 45 20 20  ine P4_ADVANCE  
1430: 28 2d 31 34 29 20 2f 2a 20 50 34 20 69 73 20 61  (-14) /* P4 is a
1440: 20 70 6f 69 6e 74 65 72 20 74 6f 20 42 74 72 65   pointer to Btre
1450: 65 4e 65 78 74 28 29 20 6f 72 20 42 74 72 65 65  eNext() or Btree
1460: 50 72 65 76 28 29 20 2a 2f 0a 23 64 65 66 69 6e  Prev() */.#defin
1470: 65 20 50 34 5f 54 41 42 4c 45 20 20 20 20 28 2d  e P4_TABLE    (-
1480: 31 35 29 20 2f 2a 20 50 34 20 69 73 20 61 20 70  15) /* P4 is a p
1490: 6f 69 6e 74 65 72 20 74 6f 20 61 20 54 61 62 6c  ointer to a Tabl
14a0: 65 20 73 74 72 75 63 74 75 72 65 20 2a 2f 0a 23  e structure */.#
14b0: 64 65 66 69 6e 65 20 50 34 5f 46 55 4e 43 43 54  define P4_FUNCCT
14c0: 58 20 20 28 2d 31 36 29 20 2f 2a 20 50 34 20 69  X  (-16) /* P4 i
14d0: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61  s a pointer to a
14e0: 6e 20 73 71 6c 69 74 65 33 5f 63 6f 6e 74 65 78  n sqlite3_contex
14f0: 74 20 6f 62 6a 65 63 74 20 2a 2f 0a 0a 2f 2a 20  t object */../* 
1500: 45 72 72 6f 72 20 6d 65 73 73 61 67 65 20 63 6f  Error message co
1510: 64 65 73 20 66 6f 72 20 4f 50 5f 48 61 6c 74 20  des for OP_Halt 
1520: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f  */.#define P5_Co
1530: 6e 73 74 72 61 69 6e 74 4e 6f 74 4e 75 6c 6c 20  nstraintNotNull 
1540: 31 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f 6e  1.#define P5_Con
1550: 73 74 72 61 69 6e 74 55 6e 69 71 75 65 20 20 32  straintUnique  2
1560: 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f 6e 73  .#define P5_Cons
1570: 74 72 61 69 6e 74 43 68 65 63 6b 20 20 20 33 0a  traintCheck   3.
1580: 23 64 65 66 69 6e 65 20 50 35 5f 43 6f 6e 73 74  #define P5_Const
1590: 72 61 69 6e 74 46 4b 20 20 20 20 20 20 34 0a 0a  raintFK      4..
15a0: 2f 2a 0a 2a 2a 20 54 68 65 20 56 64 62 65 2e 61  /*.** The Vdbe.a
15b0: 43 6f 6c 4e 61 6d 65 20 61 72 72 61 79 20 63 6f  ColName array co
15c0: 6e 74 61 69 6e 73 20 35 6e 20 4d 65 6d 20 73 74  ntains 5n Mem st
15d0: 72 75 63 74 75 72 65 73 2c 20 77 68 65 72 65 20  ructures, where 
15e0: 6e 20 69 73 20 74 68 65 20 0a 2a 2a 20 6e 75 6d  n is the .** num
15f0: 62 65 72 20 6f 66 20 63 6f 6c 75 6d 6e 73 20 6f  ber of columns o
1600: 66 20 64 61 74 61 20 72 65 74 75 72 6e 65 64 20  f data returned 
1610: 62 79 20 74 68 65 20 73 74 61 74 65 6d 65 6e 74  by the statement
1620: 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 43 4f 4c  ..*/.#define COL
1630: 4e 41 4d 45 5f 4e 41 4d 45 20 20 20 20 20 30 0a  NAME_NAME     0.
1640: 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f  #define COLNAME_
1650: 44 45 43 4c 54 59 50 45 20 31 0a 23 64 65 66 69  DECLTYPE 1.#defi
1660: 6e 65 20 43 4f 4c 4e 41 4d 45 5f 44 41 54 41 42  ne COLNAME_DATAB
1670: 41 53 45 20 32 0a 23 64 65 66 69 6e 65 20 43 4f  ASE 2.#define CO
1680: 4c 4e 41 4d 45 5f 54 41 42 4c 45 20 20 20 20 33  LNAME_TABLE    3
1690: 0a 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45  .#define COLNAME
16a0: 5f 43 4f 4c 55 4d 4e 20 20 20 34 0a 23 69 66 64  _COLUMN   4.#ifd
16b0: 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  ef SQLITE_ENABLE
16c0: 5f 43 4f 4c 55 4d 4e 5f 4d 45 54 41 44 41 54 41  _COLUMN_METADATA
16d0: 0a 23 20 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d  .# define COLNAM
16e0: 45 5f 4e 20 20 20 20 20 20 20 20 35 20 20 20 20  E_N        5    
16f0: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 43    /* Number of C
1700: 4f 4c 4e 41 4d 45 5f 78 78 78 20 73 79 6d 62 6f  OLNAME_xxx symbo
1710: 6c 73 20 2a 2f 0a 23 65 6c 73 65 0a 23 20 69 66  ls */.#else.# if
1720: 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f  def SQLITE_OMIT_
1730: 44 45 43 4c 54 59 50 45 0a 23 20 20 20 64 65 66  DECLTYPE.#   def
1740: 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 4e 20 20 20  ine COLNAME_N   
1750: 20 20 20 31 20 20 20 20 20 20 2f 2a 20 53 74 6f     1      /* Sto
1760: 72 65 20 6f 6e 6c 79 20 74 68 65 20 6e 61 6d 65  re only the name
1770: 20 2a 2f 0a 23 20 65 6c 73 65 0a 23 20 20 20 64   */.# else.#   d
1780: 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 4e 20  efine COLNAME_N 
1790: 20 20 20 20 20 32 20 20 20 20 20 20 2f 2a 20 53       2      /* S
17a0: 74 6f 72 65 20 74 68 65 20 6e 61 6d 65 20 61 6e  tore the name an
17b0: 64 20 64 65 63 6c 74 79 70 65 20 2a 2f 0a 23 20  d decltype */.# 
17c0: 65 6e 64 69 66 0a 23 65 6e 64 69 66 0a 0a 2f 2a  endif.#endif../*
17d0: 0a 2a 2a 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e  .** The followin
17e0: 67 20 6d 61 63 72 6f 20 63 6f 6e 76 65 72 74 73  g macro converts
17f0: 20 61 20 72 65 6c 61 74 69 76 65 20 61 64 64 72   a relative addr
1800: 65 73 73 20 69 6e 20 74 68 65 20 70 32 20 66 69  ess in the p2 fi
1810: 65 6c 64 0a 2a 2a 20 6f 66 20 61 20 56 64 62 65  eld.** of a Vdbe
1820: 4f 70 20 73 74 72 75 63 74 75 72 65 20 69 6e 74  Op structure int
1830: 6f 20 61 20 6e 65 67 61 74 69 76 65 20 6e 75 6d  o a negative num
1840: 62 65 72 20 73 6f 20 74 68 61 74 20 0a 2a 2a 20  ber so that .** 
1850: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
1860: 4c 69 73 74 28 29 20 6b 6e 6f 77 73 20 74 68 61  List() knows tha
1870: 74 20 74 68 65 20 61 64 64 72 65 73 73 20 69 73  t the address is
1880: 20 72 65 6c 61 74 69 76 65 2e 20 20 43 61 6c 6c   relative.  Call
1890: 69 6e 67 0a 2a 2a 20 74 68 65 20 6d 61 63 72 6f  ing.** the macro
18a0: 20 61 67 61 69 6e 20 72 65 73 74 6f 72 65 73 20   again restores 
18b0: 74 68 65 20 61 64 64 72 65 73 73 2e 0a 2a 2f 0a  the address..*/.
18c0: 23 64 65 66 69 6e 65 20 41 44 44 52 28 58 29 20  #define ADDR(X) 
18d0: 20 28 2d 31 2d 28 58 29 29 0a 0a 2f 2a 0a 2a 2a   (-1-(X))../*.**
18e0: 20 54 68 65 20 6d 61 6b 65 66 69 6c 65 20 73 63   The makefile sc
18f0: 61 6e 73 20 74 68 65 20 76 64 62 65 2e 63 20 73  ans the vdbe.c s
1900: 6f 75 72 63 65 20 66 69 6c 65 20 61 6e 64 20 63  ource file and c
1910: 72 65 61 74 65 73 20 74 68 65 20 22 6f 70 63 6f  reates the "opco
1920: 64 65 73 2e 68 22 0a 2a 2a 20 68 65 61 64 65 72  des.h".** header
1930: 20 66 69 6c 65 20 74 68 61 74 20 64 65 66 69 6e   file that defin
1940: 65 73 20 61 20 6e 75 6d 62 65 72 20 66 6f 72 20  es a number for 
1950: 65 61 63 68 20 6f 70 63 6f 64 65 20 75 73 65 64  each opcode used
1960: 20 62 79 20 74 68 65 20 56 44 42 45 2e 0a 2a 2f   by the VDBE..*/
1970: 0a 23 69 6e 63 6c 75 64 65 20 22 6f 70 63 6f 64  .#include "opcod
1980: 65 73 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 50 72 6f  es.h"../*.** Pro
1990: 74 6f 74 79 70 65 73 20 66 6f 72 20 74 68 65 20  totypes for the 
19a0: 56 44 42 45 20 69 6e 74 65 72 66 61 63 65 2e 20  VDBE interface. 
19b0: 20 53 65 65 20 63 6f 6d 6d 65 6e 74 73 20 6f 6e   See comments on
19c0: 20 74 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74   the implementat
19d0: 69 6f 6e 0a 2a 2a 20 66 6f 72 20 61 20 64 65 73  ion.** for a des
19e0: 63 72 69 70 74 69 6f 6e 20 6f 66 20 77 68 61 74  cription of what
19f0: 20 65 61 63 68 20 6f 66 20 74 68 65 73 65 20 72   each of these r
1a00: 6f 75 74 69 6e 65 73 20 64 6f 65 73 2e 0a 2a 2f  outines does..*/
1a10: 0a 56 64 62 65 20 2a 73 71 6c 69 74 65 33 56 64  .Vdbe *sqlite3Vd
1a20: 62 65 43 72 65 61 74 65 28 50 61 72 73 65 2a 29  beCreate(Parse*)
1a30: 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62  ;.int sqlite3Vdb
1a40: 65 41 64 64 4f 70 30 28 56 64 62 65 2a 2c 69 6e  eAddOp0(Vdbe*,in
1a50: 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  t);.int sqlite3V
1a60: 64 62 65 41 64 64 4f 70 31 28 56 64 62 65 2a 2c  dbeAddOp1(Vdbe*,
1a70: 69 6e 74 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71  int,int);.int sq
1a80: 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32 28  lite3VdbeAddOp2(
1a90: 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e  Vdbe*,int,int,in
1aa0: 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  t);.int sqlite3V
1ab0: 64 62 65 47 6f 74 6f 28 56 64 62 65 2a 2c 69 6e  dbeGoto(Vdbe*,in
1ac0: 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  t);.int sqlite3V
1ad0: 64 62 65 4c 6f 61 64 53 74 72 69 6e 67 28 56 64  dbeLoadString(Vd
1ae0: 62 65 2a 2c 69 6e 74 2c 63 6f 6e 73 74 20 63 68  be*,int,const ch
1af0: 61 72 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74  ar*);.void sqlit
1b00: 65 33 56 64 62 65 4d 75 6c 74 69 4c 6f 61 64 28  e3VdbeMultiLoad(
1b10: 56 64 62 65 2a 2c 69 6e 74 2c 63 6f 6e 73 74 20  Vdbe*,int,const 
1b20: 63 68 61 72 2a 2c 2e 2e 2e 29 3b 0a 69 6e 74 20  char*,...);.int 
1b30: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
1b40: 33 28 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c  3(Vdbe*,int,int,
1b50: 69 6e 74 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71  int,int);.int sq
1b60: 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 34 28  lite3VdbeAddOp4(
1b70: 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e  Vdbe*,int,int,in
1b80: 74 2c 69 6e 74 2c 63 6f 6e 73 74 20 63 68 61 72  t,int,const char
1b90: 20 2a 7a 50 34 2c 69 6e 74 29 3b 0a 69 6e 74 20   *zP4,int);.int 
1ba0: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
1bb0: 34 44 75 70 38 28 56 64 62 65 2a 2c 69 6e 74 2c  4Dup8(Vdbe*,int,
1bc0: 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 63 6f 6e 73  int,int,int,cons
1bd0: 74 20 75 38 2a 2c 69 6e 74 29 3b 0a 69 6e 74 20  t u8*,int);.int 
1be0: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
1bf0: 34 49 6e 74 28 56 64 62 65 2a 2c 69 6e 74 2c 69  4Int(Vdbe*,int,i
1c00: 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 29 3b  nt,int,int,int);
1c10: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
1c20: 65 45 6e 64 43 6f 72 6f 75 74 69 6e 65 28 56 64  eEndCoroutine(Vd
1c30: 62 65 2a 2c 69 6e 74 29 3b 0a 23 69 66 20 64 65  be*,int);.#if de
1c40: 66 69 6e 65 64 28 53 51 4c 49 54 45 5f 44 45 42  fined(SQLITE_DEB
1c50: 55 47 29 20 26 26 20 21 64 65 66 69 6e 65 64 28  UG) && !defined(
1c60: 53 51 4c 49 54 45 5f 54 45 53 54 5f 52 45 41 4c  SQLITE_TEST_REAL
1c70: 4c 4f 43 5f 53 54 52 45 53 53 29 0a 20 20 76 6f  LOC_STRESS).  vo
1c80: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 56 65  id sqlite3VdbeVe
1c90: 72 69 66 79 4e 6f 4d 61 6c 6c 6f 63 52 65 71 75  rifyNoMallocRequ
1ca0: 69 72 65 64 28 56 64 62 65 20 2a 70 2c 20 69 6e  ired(Vdbe *p, in
1cb0: 74 20 4e 29 3b 0a 20 20 76 6f 69 64 20 73 71 6c  t N);.  void sql
1cc0: 69 74 65 33 56 64 62 65 56 65 72 69 66 79 4e 6f  ite3VdbeVerifyNo
1cd0: 52 65 73 75 6c 74 52 6f 77 28 56 64 62 65 20 2a  ResultRow(Vdbe *
1ce0: 70 29 3b 0a 23 65 6c 73 65 0a 23 20 64 65 66 69  p);.#else.# defi
1cf0: 6e 65 20 73 71 6c 69 74 65 33 56 64 62 65 56 65  ne sqlite3VdbeVe
1d00: 72 69 66 79 4e 6f 4d 61 6c 6c 6f 63 52 65 71 75  rifyNoMallocRequ
1d10: 69 72 65 64 28 41 2c 42 29 0a 23 20 64 65 66 69  ired(A,B).# defi
1d20: 6e 65 20 73 71 6c 69 74 65 33 56 64 62 65 56 65  ne sqlite3VdbeVe
1d30: 72 69 66 79 4e 6f 52 65 73 75 6c 74 52 6f 77 28  rifyNoResultRow(
1d40: 41 29 0a 23 65 6e 64 69 66 0a 56 64 62 65 4f 70  A).#endif.VdbeOp
1d50: 20 2a 73 71 6c 69 74 65 33 56 64 62 65 41 64 64   *sqlite3VdbeAdd
1d60: 4f 70 4c 69 73 74 28 56 64 62 65 2a 2c 20 69 6e  OpList(Vdbe*, in
1d70: 74 20 6e 4f 70 2c 20 56 64 62 65 4f 70 4c 69 73  t nOp, VdbeOpLis
1d80: 74 20 63 6f 6e 73 74 20 2a 61 4f 70 2c 20 69 6e  t const *aOp, in
1d90: 74 20 69 4c 69 6e 65 6e 6f 29 3b 0a 76 6f 69 64  t iLineno);.void
1da0: 20 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 50   sqlite3VdbeAddP
1db0: 61 72 73 65 53 63 68 65 6d 61 4f 70 28 56 64 62  arseSchemaOp(Vdb
1dc0: 65 2a 2c 69 6e 74 2c 63 68 61 72 2a 29 3b 0a 76  e*,int,char*);.v
1dd0: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 43  oid sqlite3VdbeC
1de0: 68 61 6e 67 65 4f 70 63 6f 64 65 28 56 64 62 65  hangeOpcode(Vdbe
1df0: 2a 2c 20 75 33 32 20 61 64 64 72 2c 20 75 38 29  *, u32 addr, u8)
1e00: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
1e10: 62 65 43 68 61 6e 67 65 50 31 28 56 64 62 65 2a  beChangeP1(Vdbe*
1e20: 2c 20 75 33 32 20 61 64 64 72 2c 20 69 6e 74 20  , u32 addr, int 
1e30: 50 31 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65  P1);.void sqlite
1e40: 33 56 64 62 65 43 68 61 6e 67 65 50 32 28 56 64  3VdbeChangeP2(Vd
1e50: 62 65 2a 2c 20 75 33 32 20 61 64 64 72 2c 20 69  be*, u32 addr, i
1e60: 6e 74 20 50 32 29 3b 0a 76 6f 69 64 20 73 71 6c  nt P2);.void sql
1e70: 69 74 65 33 56 64 62 65 43 68 61 6e 67 65 50 33  ite3VdbeChangeP3
1e80: 28 56 64 62 65 2a 2c 20 75 33 32 20 61 64 64 72  (Vdbe*, u32 addr
1e90: 2c 20 69 6e 74 20 50 33 29 3b 0a 76 6f 69 64 20  , int P3);.void 
1ea0: 73 71 6c 69 74 65 33 56 64 62 65 43 68 61 6e 67  sqlite3VdbeChang
1eb0: 65 50 35 28 56 64 62 65 2a 2c 20 75 31 36 20 50  eP5(Vdbe*, u16 P
1ec0: 35 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  5);.void sqlite3
1ed0: 56 64 62 65 4a 75 6d 70 48 65 72 65 28 56 64 62  VdbeJumpHere(Vdb
1ee0: 65 2a 2c 20 69 6e 74 20 61 64 64 72 29 3b 0a 69  e*, int addr);.i
1ef0: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 43 68  nt sqlite3VdbeCh
1f00: 61 6e 67 65 54 6f 4e 6f 6f 70 28 56 64 62 65 2a  angeToNoop(Vdbe*
1f10: 2c 20 69 6e 74 20 61 64 64 72 29 3b 0a 69 6e 74  , int addr);.int
1f20: 20 73 71 6c 69 74 65 33 56 64 62 65 44 65 6c 65   sqlite3VdbeDele
1f30: 74 65 50 72 69 6f 72 4f 70 63 6f 64 65 28 56 64  tePriorOpcode(Vd
1f40: 62 65 2a 2c 20 75 38 20 6f 70 29 3b 0a 76 6f 69  be*, u8 op);.voi
1f50: 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 68 61  d sqlite3VdbeCha
1f60: 6e 67 65 50 34 28 56 64 62 65 2a 2c 20 69 6e 74  ngeP4(Vdbe*, int
1f70: 20 61 64 64 72 2c 20 63 6f 6e 73 74 20 63 68 61   addr, const cha
1f80: 72 20 2a 7a 50 34 2c 20 69 6e 74 20 4e 29 3b 0a  r *zP4, int N);.
1f90: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
1fa0: 41 70 70 65 6e 64 50 34 28 56 64 62 65 2a 2c 20  AppendP4(Vdbe*, 
1fb0: 76 6f 69 64 20 2a 70 50 34 2c 20 69 6e 74 20 70  void *pP4, int p
1fc0: 34 74 79 70 65 29 3b 0a 76 6f 69 64 20 73 71 6c  4type);.void sql
1fd0: 69 74 65 33 56 64 62 65 53 65 74 50 34 4b 65 79  ite3VdbeSetP4Key
1fe0: 49 6e 66 6f 28 50 61 72 73 65 2a 2c 20 49 6e 64  Info(Parse*, Ind
1ff0: 65 78 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74  ex*);.void sqlit
2000: 65 33 56 64 62 65 55 73 65 73 42 74 72 65 65 28  e3VdbeUsesBtree(
2010: 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 56 64 62  Vdbe*, int);.Vdb
2020: 65 4f 70 20 2a 73 71 6c 69 74 65 33 56 64 62 65  eOp *sqlite3Vdbe
2030: 47 65 74 4f 70 28 56 64 62 65 2a 2c 20 69 6e 74  GetOp(Vdbe*, int
2040: 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64  );.int sqlite3Vd
2050: 62 65 4d 61 6b 65 4c 61 62 65 6c 28 56 64 62 65  beMakeLabel(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 52 75 6e 4f 6e 6c 79 4f 6e 63 65 28  VdbeRunOnlyOnce(
2080: 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c  Vdbe*);.void sql
2090: 69 74 65 33 56 64 62 65 52 65 75 73 61 62 6c 65  ite3VdbeReusable
20a0: 28 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71  (Vdbe*);.void sq
20b0: 6c 69 74 65 33 56 64 62 65 44 65 6c 65 74 65 28  lite3VdbeDelete(
20c0: 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c  Vdbe*);.void sql
20d0: 69 74 65 33 56 64 62 65 43 6c 65 61 72 4f 62 6a  ite3VdbeClearObj
20e0: 65 63 74 28 73 71 6c 69 74 65 33 2a 2c 56 64 62  ect(sqlite3*,Vdb
20f0: 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65  e*);.void sqlite
2100: 33 56 64 62 65 4d 61 6b 65 52 65 61 64 79 28 56  3VdbeMakeReady(V
2110: 64 62 65 2a 2c 50 61 72 73 65 2a 29 3b 0a 69 6e  dbe*,Parse*);.in
2120: 74 20 73 71 6c 69 74 65 33 56 64 62 65 46 69 6e  t sqlite3VdbeFin
2130: 61 6c 69 7a 65 28 56 64 62 65 2a 29 3b 0a 76 6f  alize(Vdbe*);.vo
2140: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 52 65  id sqlite3VdbeRe
2150: 73 6f 6c 76 65 4c 61 62 65 6c 28 56 64 62 65 2a  solveLabel(Vdbe*
2160: 2c 20 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69  , int);.int sqli
2170: 74 65 33 56 64 62 65 43 75 72 72 65 6e 74 41 64  te3VdbeCurrentAd
2180: 64 72 28 56 64 62 65 2a 29 3b 0a 23 69 66 64 65  dr(Vdbe*);.#ifde
2190: 66 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20  f SQLITE_DEBUG. 
21a0: 20 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65   int sqlite3Vdbe
21b0: 41 73 73 65 72 74 4d 61 79 41 62 6f 72 74 28 56  AssertMayAbort(V
21c0: 64 62 65 20 2a 2c 20 69 6e 74 29 3b 0a 23 65 6e  dbe *, int);.#en
21d0: 64 69 66 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  dif.void sqlite3
21e0: 56 64 62 65 52 65 73 65 74 53 74 65 70 52 65 73  VdbeResetStepRes
21f0: 75 6c 74 28 56 64 62 65 2a 29 3b 0a 76 6f 69 64  ult(Vdbe*);.void
2200: 20 73 71 6c 69 74 65 33 56 64 62 65 52 65 77 69   sqlite3VdbeRewi
2210: 6e 64 28 56 64 62 65 2a 29 3b 0a 69 6e 74 20 73  nd(Vdbe*);.int s
2220: 71 6c 69 74 65 33 56 64 62 65 52 65 73 65 74 28  qlite3VdbeReset(
2230: 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c  Vdbe*);.void sql
2240: 69 74 65 33 56 64 62 65 53 65 74 4e 75 6d 43 6f  ite3VdbeSetNumCo
2250: 6c 73 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a 69  ls(Vdbe*,int);.i
2260: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 53 65  nt sqlite3VdbeSe
2270: 74 43 6f 6c 4e 61 6d 65 28 56 64 62 65 2a 2c 20  tColName(Vdbe*, 
2280: 69 6e 74 2c 20 69 6e 74 2c 20 63 6f 6e 73 74 20  int, int, const 
2290: 63 68 61 72 20 2a 2c 20 76 6f 69 64 28 2a 29 28  char *, void(*)(
22a0: 76 6f 69 64 2a 29 29 3b 0a 76 6f 69 64 20 73 71  void*));.void sq
22b0: 6c 69 74 65 33 56 64 62 65 43 6f 75 6e 74 43 68  lite3VdbeCountCh
22c0: 61 6e 67 65 73 28 56 64 62 65 2a 29 3b 0a 73 71  anges(Vdbe*);.sq
22d0: 6c 69 74 65 33 20 2a 73 71 6c 69 74 65 33 56 64  lite3 *sqlite3Vd
22e0: 62 65 44 62 28 56 64 62 65 2a 29 3b 0a 76 6f 69  beDb(Vdbe*);.voi
22f0: 64 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74  d sqlite3VdbeSet
2300: 53 71 6c 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74  Sql(Vdbe*, const
2310: 20 63 68 61 72 20 2a 7a 2c 20 69 6e 74 20 6e 2c   char *z, int n,
2320: 20 69 6e 74 29 3b 0a 76 6f 69 64 20 73 71 6c 69   int);.void sqli
2330: 74 65 33 56 64 62 65 53 77 61 70 28 56 64 62 65  te3VdbeSwap(Vdbe
2340: 2a 2c 56 64 62 65 2a 29 3b 0a 56 64 62 65 4f 70  *,Vdbe*);.VdbeOp
2350: 20 2a 73 71 6c 69 74 65 33 56 64 62 65 54 61 6b   *sqlite3VdbeTak
2360: 65 4f 70 41 72 72 61 79 28 56 64 62 65 2a 2c 20  eOpArray(Vdbe*, 
2370: 69 6e 74 2a 2c 20 69 6e 74 2a 29 3b 0a 73 71 6c  int*, int*);.sql
2380: 69 74 65 33 5f 76 61 6c 75 65 20 2a 73 71 6c 69  ite3_value *sqli
2390: 74 65 33 56 64 62 65 47 65 74 42 6f 75 6e 64 56  te3VdbeGetBoundV
23a0: 61 6c 75 65 28 56 64 62 65 2a 2c 20 69 6e 74 2c  alue(Vdbe*, int,
23b0: 20 75 38 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74   u8);.void sqlit
23c0: 65 33 56 64 62 65 53 65 74 56 61 72 6d 61 73 6b  e3VdbeSetVarmask
23d0: 28 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 23 69  (Vdbe*, int);.#i
23e0: 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49  fndef SQLITE_OMI
23f0: 54 5f 54 52 41 43 45 0a 20 20 63 68 61 72 20 2a  T_TRACE.  char *
2400: 73 71 6c 69 74 65 33 56 64 62 65 45 78 70 61 6e  sqlite3VdbeExpan
2410: 64 53 71 6c 28 56 64 62 65 2a 2c 20 63 6f 6e 73  dSql(Vdbe*, cons
2420: 74 20 63 68 61 72 2a 29 3b 0a 23 65 6e 64 69 66  t char*);.#endif
2430: 0a 69 6e 74 20 73 71 6c 69 74 65 33 4d 65 6d 43  .int sqlite3MemC
2440: 6f 6d 70 61 72 65 28 63 6f 6e 73 74 20 4d 65 6d  ompare(const Mem
2450: 2a 2c 20 63 6f 6e 73 74 20 4d 65 6d 2a 2c 20 63  *, const Mem*, c
2460: 6f 6e 73 74 20 43 6f 6c 6c 53 65 71 2a 29 3b 0a  onst CollSeq*);.
2470: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
2480: 65 52 65 63 6f 72 64 55 6e 70 61 63 6b 28 4b 65  eRecordUnpack(Ke
2490: 79 49 6e 66 6f 2a 2c 69 6e 74 2c 63 6f 6e 73 74  yInfo*,int,const
24a0: 20 76 6f 69 64 2a 2c 55 6e 70 61 63 6b 65 64 52   void*,UnpackedR
24b0: 65 63 6f 72 64 2a 29 3b 0a 69 6e 74 20 73 71 6c  ecord*);.int sql
24c0: 69 74 65 33 56 64 62 65 52 65 63 6f 72 64 43 6f  ite3VdbeRecordCo
24d0: 6d 70 61 72 65 28 69 6e 74 2c 63 6f 6e 73 74 20  mpare(int,const 
24e0: 76 6f 69 64 2a 2c 55 6e 70 61 63 6b 65 64 52 65  void*,UnpackedRe
24f0: 63 6f 72 64 2a 29 3b 0a 69 6e 74 20 73 71 6c 69  cord*);.int sqli
2500: 74 65 33 56 64 62 65 52 65 63 6f 72 64 43 6f 6d  te3VdbeRecordCom
2510: 70 61 72 65 57 69 74 68 53 6b 69 70 28 69 6e 74  pareWithSkip(int
2520: 2c 20 63 6f 6e 73 74 20 76 6f 69 64 20 2a 2c 20  , const void *, 
2530: 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64 20 2a  UnpackedRecord *
2540: 2c 20 69 6e 74 29 3b 0a 55 6e 70 61 63 6b 65 64  , int);.Unpacked
2550: 52 65 63 6f 72 64 20 2a 73 71 6c 69 74 65 33 56  Record *sqlite3V
2560: 64 62 65 41 6c 6c 6f 63 55 6e 70 61 63 6b 65 64  dbeAllocUnpacked
2570: 52 65 63 6f 72 64 28 4b 65 79 49 6e 66 6f 2a 29  Record(KeyInfo*)
2580: 3b 0a 0a 74 79 70 65 64 65 66 20 69 6e 74 20 28  ;..typedef int (
2590: 2a 52 65 63 6f 72 64 43 6f 6d 70 61 72 65 29 28  *RecordCompare)(
25a0: 69 6e 74 2c 63 6f 6e 73 74 20 76 6f 69 64 2a 2c  int,const void*,
25b0: 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64 2a 29  UnpackedRecord*)
25c0: 3b 0a 52 65 63 6f 72 64 43 6f 6d 70 61 72 65 20  ;.RecordCompare 
25d0: 73 71 6c 69 74 65 33 56 64 62 65 46 69 6e 64 43  sqlite3VdbeFindC
25e0: 6f 6d 70 61 72 65 28 55 6e 70 61 63 6b 65 64 52  ompare(UnpackedR
25f0: 65 63 6f 72 64 2a 29 3b 0a 0a 23 69 66 6e 64 65  ecord*);..#ifnde
2600: 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f 54 52  f SQLITE_OMIT_TR
2610: 49 47 47 45 52 0a 76 6f 69 64 20 73 71 6c 69 74  IGGER.void sqlit
2620: 65 33 56 64 62 65 4c 69 6e 6b 53 75 62 50 72 6f  e3VdbeLinkSubPro
2630: 67 72 61 6d 28 56 64 62 65 20 2a 2c 20 53 75 62  gram(Vdbe *, Sub
2640: 50 72 6f 67 72 61 6d 20 2a 29 3b 0a 23 65 6e 64  Program *);.#end
2650: 69 66 0a 0a 2f 2a 20 55 73 65 20 53 51 4c 49 54  if../* Use SQLIT
2660: 45 5f 45 4e 41 42 4c 45 5f 43 4f 4d 4d 45 4e 54  E_ENABLE_COMMENT
2670: 53 20 74 6f 20 65 6e 61 62 6c 65 20 67 65 6e 65  S to enable gene
2680: 72 61 74 69 6f 6e 20 6f 66 20 65 78 74 72 61 20  ration of extra 
2690: 63 6f 6d 6d 65 6e 74 73 20 6f 6e 0a 2a 2a 20 65  comments on.** e
26a0: 61 63 68 20 56 44 42 45 20 6f 70 63 6f 64 65 2e  ach VDBE opcode.
26b0: 0a 2a 2a 0a 2a 2a 20 55 73 65 20 74 68 65 20 53  .**.** Use the S
26c0: 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 4d 4f 44  QLITE_ENABLE_MOD
26d0: 55 4c 45 5f 43 4f 4d 4d 45 4e 54 53 20 6d 61 63  ULE_COMMENTS mac
26e0: 72 6f 20 74 6f 20 73 65 65 20 73 6f 6d 65 20 65  ro to see some e
26f0: 78 74 72 61 20 6e 6f 2d 6f 70 0a 2a 2a 20 63 6f  xtra no-op.** co
2700: 6d 6d 65 6e 74 73 20 69 6e 20 56 44 42 45 20 70  mments in VDBE p
2710: 72 6f 67 72 61 6d 73 20 74 68 61 74 20 73 68 6f  rograms that sho
2720: 77 20 6b 65 79 20 64 65 63 69 73 69 6f 6e 20 70  w key decision p
2730: 6f 69 6e 74 73 20 69 6e 20 74 68 65 20 63 6f 64  oints in the cod
2740: 65 0a 2a 2a 20 67 65 6e 65 72 61 74 6f 72 2e 0a  e.** generator..
2750: 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  */.#ifdef SQLITE
2760: 5f 45 4e 41 42 4c 45 5f 45 58 50 4c 41 49 4e 5f  _ENABLE_EXPLAIN_
2770: 43 4f 4d 4d 45 4e 54 53 0a 20 20 76 6f 69 64 20  COMMENTS.  void 
2780: 73 71 6c 69 74 65 33 56 64 62 65 43 6f 6d 6d 65  sqlite3VdbeComme
2790: 6e 74 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74 20  nt(Vdbe*, const 
27a0: 63 68 61 72 2a 2c 20 2e 2e 2e 29 3b 0a 23 20 64  char*, ...);.# d
27b0: 65 66 69 6e 65 20 56 64 62 65 43 6f 6d 6d 65 6e  efine VdbeCommen
27c0: 74 28 58 29 20 20 73 71 6c 69 74 65 33 56 64 62  t(X)  sqlite3Vdb
27d0: 65 43 6f 6d 6d 65 6e 74 20 58 0a 20 20 76 6f 69  eComment X.  voi
27e0: 64 20 73 71 6c 69 74 65 33 56 64 62 65 4e 6f 6f  d sqlite3VdbeNoo
27f0: 70 43 6f 6d 6d 65 6e 74 28 56 64 62 65 2a 2c 20  pComment(Vdbe*, 
2800: 63 6f 6e 73 74 20 63 68 61 72 2a 2c 20 2e 2e 2e  const char*, ...
2810: 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65  );.# define Vdbe
2820: 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 28 58 29 20 20  NoopComment(X)  
2830: 73 71 6c 69 74 65 33 56 64 62 65 4e 6f 6f 70 43  sqlite3VdbeNoopC
2840: 6f 6d 6d 65 6e 74 20 58 0a 23 20 69 66 64 65 66  omment X.# ifdef
2850: 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 4d   SQLITE_ENABLE_M
2860: 4f 44 55 4c 45 5f 43 4f 4d 4d 45 4e 54 53 0a 23  ODULE_COMMENTS.#
2870: 20 20 20 64 65 66 69 6e 65 20 56 64 62 65 4d 6f     define VdbeMo
2880: 64 75 6c 65 43 6f 6d 6d 65 6e 74 28 58 29 20 20  duleComment(X)  
2890: 73 71 6c 69 74 65 33 56 64 62 65 4e 6f 6f 70 43  sqlite3VdbeNoopC
28a0: 6f 6d 6d 65 6e 74 20 58 0a 23 20 65 6c 73 65 0a  omment X.# else.
28b0: 23 20 20 20 64 65 66 69 6e 65 20 56 64 62 65 4d  #   define VdbeM
28c0: 6f 64 75 6c 65 43 6f 6d 6d 65 6e 74 28 58 29 0a  oduleComment(X).
28d0: 23 20 65 6e 64 69 66 0a 23 65 6c 73 65 0a 23 20  # endif.#else.# 
28e0: 64 65 66 69 6e 65 20 56 64 62 65 43 6f 6d 6d 65  define VdbeComme
28f0: 6e 74 28 58 29 0a 23 20 64 65 66 69 6e 65 20 56  nt(X).# define V
2900: 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 28 58  dbeNoopComment(X
2910: 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 4d  ).# define VdbeM
2920: 6f 64 75 6c 65 43 6f 6d 6d 65 6e 74 28 58 29 0a  oduleComment(X).
2930: 23 65 6e 64 69 66 0a 0a 2f 2a 0a 2a 2a 20 54 68  #endif../*.** Th
2940: 65 20 56 64 62 65 43 6f 76 65 72 61 67 65 20 6d  e VdbeCoverage m
2950: 61 63 72 6f 73 20 61 72 65 20 75 73 65 64 20 74  acros are used t
2960: 6f 20 73 65 74 20 61 20 63 6f 76 65 72 61 67 65  o set a coverage
2970: 20 74 65 73 74 69 6e 67 20 70 6f 69 6e 74 0a 2a   testing point.*
2980: 2a 20 66 6f 72 20 56 44 42 45 20 62 72 61 6e 63  * for VDBE branc
2990: 68 20 69 6e 73 74 72 75 63 74 69 6f 6e 73 2e 20  h instructions. 
29a0: 20 54 68 65 20 63 6f 76 65 72 61 67 65 20 74 65   The coverage te
29b0: 73 74 69 6e 67 20 70 6f 69 6e 74 73 20 61 72 65  sting points are
29c0: 20 6c 69 6e 65 0a 2a 2a 20 6e 75 6d 62 65 72 73   line.** numbers
29d0: 20 69 6e 20 74 68 65 20 73 71 6c 69 74 65 33 2e   in the sqlite3.
29e0: 63 20 73 6f 75 72 63 65 20 66 69 6c 65 2e 20 20  c source file.  
29f0: 56 44 42 45 20 62 72 61 6e 63 68 20 63 6f 76 65  VDBE branch cove
2a00: 72 61 67 65 20 74 65 73 74 69 6e 67 0a 2a 2a 20  rage testing.** 
2a10: 6f 6e 6c 79 20 77 6f 72 6b 73 20 77 69 74 68 20  only works with 
2a20: 61 6e 20 61 6d 61 6c 61 67 6d 61 74 69 6f 6e 20  an amalagmation 
2a30: 62 75 69 6c 64 2e 20 20 54 68 61 74 27 73 20 6f  build.  That's o
2a40: 6b 20 73 69 6e 63 65 20 61 20 56 44 42 45 20 62  k since a VDBE b
2a50: 72 61 6e 63 68 0a 2a 2a 20 63 6f 76 65 72 61 67  ranch.** coverag
2a60: 65 20 62 75 69 6c 64 20 64 65 73 69 67 6e 65 64  e build designed
2a70: 20 66 6f 72 20 74 65 73 74 69 6e 67 20 74 68 65   for testing the
2a80: 20 74 65 73 74 20 73 75 69 74 65 20 6f 6e 6c 79   test suite only
2a90: 2e 20 20 4e 6f 20 61 70 70 6c 69 63 61 74 69 6f  .  No applicatio
2aa0: 6e 0a 2a 2a 20 73 68 6f 75 6c 64 20 65 76 65 72  n.** should ever
2ab0: 20 73 68 69 70 20 77 69 74 68 20 56 44 42 45 20   ship with VDBE 
2ac0: 62 72 61 6e 63 68 20 63 6f 76 65 72 61 67 65 20  branch coverage 
2ad0: 6d 65 61 73 75 72 69 6e 67 20 74 75 72 6e 65 64  measuring turned
2ae0: 20 6f 6e 2e 0a 2a 2a 0a 2a 2a 20 20 20 20 56 64   on..**.**    Vd
2af0: 62 65 43 6f 76 65 72 61 67 65 28 76 29 20 20 20  beCoverage(v)   
2b00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
2b10: 2f 20 4d 61 72 6b 20 74 68 65 20 70 72 65 76 69  / Mark the previ
2b20: 6f 75 73 6c 79 20 63 6f 64 65 64 20 69 6e 73 74  ously coded inst
2b30: 72 75 63 74 69 6f 6e 0a 2a 2a 20 20 20 20 20 20  ruction.**      
2b40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
2b50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
2b60: 2f 20 61 73 20 61 20 62 72 61 6e 63 68 0a 2a 2a  / as a branch.**
2b70: 0a 2a 2a 20 20 20 20 56 64 62 65 43 6f 76 65 72  .**    VdbeCover
2b80: 61 67 65 49 66 28 76 2c 20 63 6f 6e 64 69 74 69  ageIf(v, conditi
2b90: 6f 6e 61 6c 29 20 20 20 2f 2f 20 4d 61 72 6b 20  onal)   // Mark 
2ba0: 70 72 65 76 69 6f 75 73 20 69 66 20 63 6f 6e 64  previous if cond
2bb0: 69 74 69 6f 6e 61 6c 20 74 72 75 65 0a 2a 2a 0a  itional true.**.
2bc0: 2a 2a 20 20 20 20 56 64 62 65 43 6f 76 65 72 61  **    VdbeCovera
2bd0: 67 65 41 6c 77 61 79 73 54 61 6b 65 6e 28 76 29  geAlwaysTaken(v)
2be0: 20 20 20 20 20 20 20 2f 2f 20 50 72 65 76 69 6f         // Previo
2bf0: 75 73 20 62 72 61 6e 63 68 20 69 73 20 61 6c 77  us branch is alw
2c00: 61 79 73 20 74 61 6b 65 6e 0a 2a 2a 0a 2a 2a 20  ays taken.**.** 
2c10: 20 20 20 56 64 62 65 43 6f 76 65 72 61 67 65 4e     VdbeCoverageN
2c20: 65 76 65 72 54 61 6b 65 6e 28 76 29 20 20 20 20  everTaken(v)    
2c30: 20 20 20 20 2f 2f 20 50 72 65 76 69 6f 75 73 20      // Previous 
2c40: 62 72 61 6e 63 68 20 69 73 20 6e 65 76 65 72 20  branch is never 
2c50: 74 61 6b 65 6e 0a 2a 2a 0a 2a 2a 20 45 76 65 72  taken.**.** Ever
2c60: 79 20 56 44 42 45 20 62 72 61 6e 63 68 20 6f 70  y VDBE branch op
2c70: 65 72 61 74 69 6f 6e 20 6d 75 73 74 20 62 65 20  eration must be 
2c80: 74 61 67 67 65 64 20 77 69 74 68 20 6f 6e 65 20  tagged with one 
2c90: 6f 66 20 74 68 65 20 6d 61 63 72 6f 73 20 61 62  of the macros ab
2ca0: 6f 76 65 2e 0a 2a 2a 20 49 66 20 6e 6f 74 2c 20  ove..** If not, 
2cb0: 74 68 65 6e 20 77 68 65 6e 20 22 6d 61 6b 65 20  then when "make 
2cc0: 74 65 73 74 22 20 69 73 20 72 75 6e 20 77 69 74  test" is run wit
2cd0: 68 20 2d 44 53 51 4c 49 54 45 5f 56 44 42 45 5f  h -DSQLITE_VDBE_
2ce0: 43 4f 56 45 52 41 47 45 20 61 6e 64 0a 2a 2a 20  COVERAGE and.** 
2cf0: 2d 44 53 51 4c 49 54 45 5f 44 45 42 55 47 20 74  -DSQLITE_DEBUG t
2d00: 68 65 6e 20 61 6e 20 41 4c 57 41 59 53 28 29 20  hen an ALWAYS() 
2d10: 77 69 6c 6c 20 66 61 69 6c 20 69 6e 20 74 68 65  will fail in the
2d20: 20 76 64 62 65 54 61 6b 65 42 72 61 6e 63 68 28   vdbeTakeBranch(
2d30: 29 0a 2a 2a 20 72 6f 75 74 69 6e 65 20 69 6e 20  ).** routine in 
2d40: 76 64 62 65 2e 63 2c 20 61 6c 65 72 74 69 6e 67  vdbe.c, alerting
2d50: 20 74 68 65 20 64 65 76 65 6c 6f 70 65 72 20 74   the developer t
2d60: 6f 20 74 68 65 20 6d 69 73 73 65 64 20 74 61 67  o the missed tag
2d70: 2e 0a 2a 2f 0a 23 69 66 64 65 66 20 53 51 4c 49  ..*/.#ifdef SQLI
2d80: 54 45 5f 56 44 42 45 5f 43 4f 56 45 52 41 47 45  TE_VDBE_COVERAGE
2d90: 0a 20 20 76 6f 69 64 20 73 71 6c 69 74 65 33 56  .  void sqlite3V
2da0: 64 62 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72  dbeSetLineNumber
2db0: 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a 23 20 64  (Vdbe*,int);.# d
2dc0: 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72 61  efine VdbeCovera
2dd0: 67 65 28 76 29 20 73 71 6c 69 74 65 33 56 64 62  ge(v) sqlite3Vdb
2de0: 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76  eSetLineNumber(v
2df0: 2c 5f 5f 4c 49 4e 45 5f 5f 29 0a 23 20 64 65 66  ,__LINE__).# def
2e00: 69 6e 65 20 56 64 62 65 43 6f 76 65 72 61 67 65  ine VdbeCoverage
2e10: 49 66 28 76 2c 78 29 20 69 66 28 78 29 73 71 6c  If(v,x) if(x)sql
2e20: 69 74 65 33 56 64 62 65 53 65 74 4c 69 6e 65 4e  ite3VdbeSetLineN
2e30: 75 6d 62 65 72 28 76 2c 5f 5f 4c 49 4e 45 5f 5f  umber(v,__LINE__
2e40: 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43  ).# define VdbeC
2e50: 6f 76 65 72 61 67 65 41 6c 77 61 79 73 54 61 6b  overageAlwaysTak
2e60: 65 6e 28 76 29 20 73 71 6c 69 74 65 33 56 64 62  en(v) sqlite3Vdb
2e70: 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76  eSetLineNumber(v
2e80: 2c 32 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 64  ,2);.# define Vd
2e90: 62 65 43 6f 76 65 72 61 67 65 4e 65 76 65 72 54  beCoverageNeverT
2ea0: 61 6b 65 6e 28 76 29 20 73 71 6c 69 74 65 33 56  aken(v) sqlite3V
2eb0: 64 62 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72  dbeSetLineNumber
2ec0: 28 76 2c 31 29 3b 0a 23 20 64 65 66 69 6e 65 20  (v,1);.# define 
2ed0: 56 44 42 45 5f 4f 46 46 53 45 54 5f 4c 49 4e 45  VDBE_OFFSET_LINE
2ee0: 4e 4f 28 78 29 20 28 5f 5f 4c 49 4e 45 5f 5f 2b  NO(x) (__LINE__+
2ef0: 78 29 0a 23 65 6c 73 65 0a 23 20 64 65 66 69 6e  x).#else.# defin
2f00: 65 20 56 64 62 65 43 6f 76 65 72 61 67 65 28 76  e VdbeCoverage(v
2f10: 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43  ).# define VdbeC
2f20: 6f 76 65 72 61 67 65 49 66 28 76 2c 78 29 0a 23  overageIf(v,x).#
2f30: 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65   define VdbeCove
2f40: 72 61 67 65 41 6c 77 61 79 73 54 61 6b 65 6e 28  rageAlwaysTaken(
2f50: 76 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65  v).# define Vdbe
2f60: 43 6f 76 65 72 61 67 65 4e 65 76 65 72 54 61 6b  CoverageNeverTak
2f70: 65 6e 28 76 29 0a 23 20 64 65 66 69 6e 65 20 56  en(v).# define V
2f80: 44 42 45 5f 4f 46 46 53 45 54 5f 4c 49 4e 45 4e  DBE_OFFSET_LINEN
2f90: 4f 28 78 29 20 30 0a 23 65 6e 64 69 66 0a 0a 23  O(x) 0.#endif..#
2fa0: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41  ifdef SQLITE_ENA
2fb0: 42 4c 45 5f 53 54 4d 54 5f 53 43 41 4e 53 54 41  BLE_STMT_SCANSTA
2fc0: 54 55 53 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  TUS.void sqlite3
2fd0: 56 64 62 65 53 63 61 6e 53 74 61 74 75 73 28 56  VdbeScanStatus(V
2fe0: 64 62 65 2a 2c 20 69 6e 74 2c 20 69 6e 74 2c 20  dbe*, int, int, 
2ff0: 69 6e 74 2c 20 4c 6f 67 45 73 74 2c 20 63 6f 6e  int, LogEst, con
3000: 73 74 20 63 68 61 72 2a 29 3b 0a 23 65 6c 73 65  st char*);.#else
3010: 0a 23 20 64 65 66 69 6e 65 20 73 71 6c 69 74 65  .# define sqlite
3020: 33 56 64 62 65 53 63 61 6e 53 74 61 74 75 73 28  3VdbeScanStatus(
3030: 61 2c 62 2c 63 2c 64 2c 65 29 0a 23 65 6e 64 69  a,b,c,d,e).#endi
3040: 66 0a 0a 23 65 6e 64 69 66 20 2f 2a 20 53 51 4c  f..#endif /* SQL
3050: 49 54 45 5f 56 44 42 45 5f 48 20 2a 2f 0a        ITE_VDBE_H */.