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

Artifact 6631430dddd1450dfe749ba6fa8e2acdda3933f6:


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: 5f 53 51 4c 49 54 45 5f 56 44 42 45 5f 48 5f 0a  _SQLITE_VDBE_H_.
0290: 23 64 65 66 69 6e 65 20 5f 53 51 4c 49 54 45 5f  #define _SQLITE_
02a0: 56 44 42 45 5f 48 5f 0a 23 69 6e 63 6c 75 64 65  VDBE_H_.#include
02b0: 20 3c 73 74 64 69 6f 2e 68 3e 0a 0a 2f 2a 0a 2a   <stdio.h>../*.*
02c0: 2a 20 41 20 73 69 6e 67 6c 65 20 56 44 42 45 20  * A single VDBE 
02d0: 69 73 20 61 6e 20 6f 70 61 71 75 65 20 73 74 72  is an opaque str
02e0: 75 63 74 75 72 65 20 6e 61 6d 65 64 20 22 56 64  ucture named "Vd
02f0: 62 65 22 2e 20 20 4f 6e 6c 79 20 72 6f 75 74 69  be".  Only routi
0300: 6e 65 73 0a 2a 2a 20 69 6e 20 74 68 65 20 73 6f  nes.** in the so
0310: 75 72 63 65 20 66 69 6c 65 20 73 71 6c 69 74 65  urce file sqlite
0320: 56 64 62 65 2e 63 20 61 72 65 20 61 6c 6c 6f 77  Vdbe.c are allow
0330: 65 64 20 74 6f 20 73 65 65 20 74 68 65 20 69 6e  ed to see the in
0340: 73 69 64 65 73 0a 2a 2a 20 6f 66 20 74 68 69 73  sides.** of this
0350: 20 73 74 72 75 63 74 75 72 65 2e 0a 2a 2f 0a 74   structure..*/.t
0360: 79 70 65 64 65 66 20 73 74 72 75 63 74 20 56 64  ypedef struct Vd
0370: 62 65 20 56 64 62 65 3b 0a 0a 2f 2a 0a 2a 2a 20  be Vdbe;../*.** 
0380: 54 68 65 20 6e 61 6d 65 73 20 6f 66 20 74 68 65  The names of the
0390: 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 79 70 65 73   following types
03a0: 20 64 65 63 6c 61 72 65 64 20 69 6e 20 76 64 62   declared in vdb
03b0: 65 49 6e 74 2e 68 20 61 72 65 20 72 65 71 75 69  eInt.h are requi
03c0: 72 65 64 0a 2a 2a 20 66 6f 72 20 74 68 65 20 56  red.** for the V
03d0: 64 62 65 4f 70 20 64 65 66 69 6e 69 74 69 6f 6e  dbeOp definition
03e0: 2e 0a 2a 2f 0a 74 79 70 65 64 65 66 20 73 74 72  ..*/.typedef str
03f0: 75 63 74 20 4d 65 6d 20 4d 65 6d 3b 0a 74 79 70  uct Mem Mem;.typ
0400: 65 64 65 66 20 73 74 72 75 63 74 20 53 75 62 50  edef struct SubP
0410: 72 6f 67 72 61 6d 20 53 75 62 50 72 6f 67 72 61  rogram SubProgra
0420: 6d 3b 0a 0a 2f 2a 0a 2a 2a 20 41 20 73 69 6e 67  m;../*.** A sing
0430: 6c 65 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 6f  le instruction o
0440: 66 20 74 68 65 20 76 69 72 74 75 61 6c 20 6d 61  f the virtual ma
0450: 63 68 69 6e 65 20 68 61 73 20 61 6e 20 6f 70 63  chine has an opc
0460: 6f 64 65 0a 2a 2a 20 61 6e 64 20 61 73 20 6d 61  ode.** and as ma
0470: 6e 79 20 61 73 20 74 68 72 65 65 20 6f 70 65 72  ny as three oper
0480: 61 6e 64 73 2e 20 20 54 68 65 20 69 6e 73 74 72  ands.  The instr
0490: 75 63 74 69 6f 6e 20 69 73 20 72 65 63 6f 72 64  uction is record
04a0: 65 64 0a 2a 2a 20 61 73 20 61 6e 20 69 6e 73 74  ed.** as an inst
04b0: 61 6e 63 65 20 6f 66 20 74 68 65 20 66 6f 6c 6c  ance of the foll
04c0: 6f 77 69 6e 67 20 73 74 72 75 63 74 75 72 65 3a  owing structure:
04d0: 0a 2a 2f 0a 73 74 72 75 63 74 20 56 64 62 65 4f  .*/.struct VdbeO
04e0: 70 20 7b 0a 20 20 75 38 20 6f 70 63 6f 64 65 3b  p {.  u8 opcode;
04f0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 57 68 61            /* Wha
0500: 74 20 6f 70 65 72 61 74 69 6f 6e 20 74 6f 20 70  t operation to p
0510: 65 72 66 6f 72 6d 20 2a 2f 0a 20 20 73 69 67 6e  erform */.  sign
0520: 65 64 20 63 68 61 72 20 70 34 74 79 70 65 3b 20  ed char p4type; 
0530: 2f 2a 20 4f 6e 65 20 6f 66 20 74 68 65 20 50 34  /* One of the P4
0540: 5f 78 78 78 20 63 6f 6e 73 74 61 6e 74 73 20 66  _xxx constants f
0550: 6f 72 20 70 34 20 2a 2f 0a 20 20 75 38 20 6f 70  or p4 */.  u8 op
0560: 66 6c 61 67 73 3b 20 20 20 20 20 20 20 20 20 2f  flags;         /
0570: 2a 20 4d 61 73 6b 20 6f 66 20 74 68 65 20 4f 50  * Mask of the OP
0580: 46 4c 47 5f 2a 20 66 6c 61 67 73 20 69 6e 20 6f  FLG_* flags in o
0590: 70 63 6f 64 65 73 2e 68 20 2a 2f 0a 20 20 75 38  pcodes.h */.  u8
05a0: 20 70 35 3b 20 20 20 20 20 20 20 20 20 20 20 20   p5;            
05b0: 20 20 2f 2a 20 46 69 66 74 68 20 70 61 72 61 6d    /* Fifth param
05c0: 65 74 65 72 20 69 73 20 61 6e 20 75 6e 73 69 67  eter is an unsig
05d0: 6e 65 64 20 63 68 61 72 61 63 74 65 72 20 2a 2f  ned character */
05e0: 0a 20 20 69 6e 74 20 70 31 3b 20 20 20 20 20 20  .  int p1;      
05f0: 20 20 20 20 20 20 20 2f 2a 20 46 69 72 73 74 20         /* First 
0600: 6f 70 65 72 61 6e 64 20 2a 2f 0a 20 20 69 6e 74  operand */.  int
0610: 20 70 32 3b 20 20 20 20 20 20 20 20 20 20 20 20   p2;            
0620: 20 2f 2a 20 53 65 63 6f 6e 64 20 70 61 72 61 6d   /* Second param
0630: 65 74 65 72 20 28 6f 66 74 65 6e 20 74 68 65 20  eter (often the 
0640: 6a 75 6d 70 20 64 65 73 74 69 6e 61 74 69 6f 6e  jump destination
0650: 29 20 2a 2f 0a 20 20 69 6e 74 20 70 33 3b 20 20  ) */.  int p3;  
0660: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68             /* Th
0670: 65 20 74 68 69 72 64 20 70 61 72 61 6d 65 74 65  e third paramete
0680: 72 20 2a 2f 0a 20 20 75 6e 69 6f 6e 20 7b 20 20  r */.  union {  
0690: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 66 6f             /* fo
06a0: 75 72 74 68 20 70 61 72 61 6d 65 74 65 72 20 2a  urth parameter *
06b0: 2f 0a 20 20 20 20 69 6e 74 20 69 3b 20 20 20 20  /.    int i;    
06c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
06d0: 49 6e 74 65 67 65 72 20 76 61 6c 75 65 20 69 66  Integer value if
06e0: 20 70 34 74 79 70 65 3d 3d 50 34 5f 49 4e 54 33   p4type==P4_INT3
06f0: 32 20 2a 2f 0a 20 20 20 20 76 6f 69 64 20 2a 70  2 */.    void *p
0700: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0710: 2f 2a 20 47 65 6e 65 72 69 63 20 70 6f 69 6e 74  /* Generic point
0720: 65 72 20 2a 2f 0a 20 20 20 20 63 68 61 72 20 2a  er */.    char *
0730: 7a 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  z;              
0740: 20 2f 2a 20 50 6f 69 6e 74 65 72 20 74 6f 20 64   /* Pointer to d
0750: 61 74 61 20 66 6f 72 20 73 74 72 69 6e 67 20 28  ata for string (
0760: 63 68 61 72 20 61 72 72 61 79 29 20 74 79 70 65  char array) type
0770: 73 20 2a 2f 0a 20 20 20 20 69 36 34 20 2a 70 49  s */.    i64 *pI
0780: 36 34 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  64;             
0790: 2f 2a 20 55 73 65 64 20 77 68 65 6e 20 70 34 74  /* Used when p4t
07a0: 79 70 65 20 69 73 20 50 34 5f 49 4e 54 36 34 20  ype is P4_INT64 
07b0: 2a 2f 0a 20 20 20 20 64 6f 75 62 6c 65 20 2a 70  */.    double *p
07c0: 52 65 61 6c 3b 20 20 20 20 20 20 20 20 20 2f 2a  Real;         /*
07d0: 20 55 73 65 64 20 77 68 65 6e 20 70 34 74 79 70   Used when p4typ
07e0: 65 20 69 73 20 50 34 5f 52 45 41 4c 20 2a 2f 0a  e is P4_REAL */.
07f0: 20 20 20 20 46 75 6e 63 44 65 66 20 2a 70 46 75      FuncDef *pFu
0800: 6e 63 3b 20 20 20 20 20 20 20 20 2f 2a 20 55 73  nc;        /* Us
0810: 65 64 20 77 68 65 6e 20 70 34 74 79 70 65 20 69  ed when p4type i
0820: 73 20 50 34 5f 46 55 4e 43 44 45 46 20 2a 2f 0a  s P4_FUNCDEF */.
0830: 20 20 20 20 43 6f 6c 6c 53 65 71 20 2a 70 43 6f      CollSeq *pCo
0840: 6c 6c 3b 20 20 20 20 20 20 20 20 2f 2a 20 55 73  ll;        /* Us
0850: 65 64 20 77 68 65 6e 20 70 34 74 79 70 65 20 69  ed when p4type i
0860: 73 20 50 34 5f 43 4f 4c 4c 53 45 51 20 2a 2f 0a  s P4_COLLSEQ */.
0870: 20 20 20 20 4d 65 6d 20 2a 70 4d 65 6d 3b 20 20      Mem *pMem;  
0880: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 55 73             /* Us
0890: 65 64 20 77 68 65 6e 20 70 34 74 79 70 65 20 69  ed when p4type i
08a0: 73 20 50 34 5f 4d 45 4d 20 2a 2f 0a 20 20 20 20  s P4_MEM */.    
08b0: 56 54 61 62 6c 65 20 2a 70 56 74 61 62 3b 20 20  VTable *pVtab;  
08c0: 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64 20 77         /* Used w
08d0: 68 65 6e 20 70 34 74 79 70 65 20 69 73 20 50 34  hen p4type is P4
08e0: 5f 56 54 41 42 20 2a 2f 0a 20 20 20 20 4b 65 79  _VTAB */.    Key
08f0: 49 6e 66 6f 20 2a 70 4b 65 79 49 6e 66 6f 3b 20  Info *pKeyInfo; 
0900: 20 20 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e      /* Used when
0910: 20 70 34 74 79 70 65 20 69 73 20 50 34 5f 4b 45   p4type is P4_KE
0920: 59 49 4e 46 4f 20 2a 2f 0a 20 20 20 20 69 6e 74  YINFO */.    int
0930: 20 2a 61 69 3b 20 20 20 20 20 20 20 20 20 20 20   *ai;           
0940: 20 20 20 20 2f 2a 20 55 73 65 64 20 77 68 65 6e      /* Used when
0950: 20 70 34 74 79 70 65 20 69 73 20 50 34 5f 49 4e   p4type is P4_IN
0960: 54 41 52 52 41 59 20 2a 2f 0a 20 20 20 20 53 75  TARRAY */.    Su
0970: 62 50 72 6f 67 72 61 6d 20 2a 70 50 72 6f 67 72  bProgram *pProgr
0980: 61 6d 3b 20 20 2f 2a 20 55 73 65 64 20 77 68 65  am;  /* Used whe
0990: 6e 20 70 34 74 79 70 65 20 69 73 20 50 34 5f 53  n p4type is P4_S
09a0: 55 42 50 52 4f 47 52 41 4d 20 2a 2f 0a 20 20 20  UBPROGRAM */.   
09b0: 20 54 61 62 6c 65 20 2a 70 54 61 62 3b 20 20 20   Table *pTab;   
09c0: 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65 64 20          /* Used 
09d0: 77 68 65 6e 20 70 34 74 79 70 65 20 69 73 20 50  when p4type is P
09e0: 34 5f 54 41 42 4c 45 20 2a 2f 0a 20 20 20 20 69  4_TABLE */.    i
09f0: 6e 74 20 28 2a 78 41 64 76 61 6e 63 65 29 28 42  nt (*xAdvance)(B
0a00: 74 43 75 72 73 6f 72 20 2a 2c 20 69 6e 74 20 2a  tCursor *, int *
0a10: 29 3b 0a 20 20 7d 20 70 34 3b 0a 23 69 66 64 65  );.  } p4;.#ifde
0a20: 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f  f SQLITE_ENABLE_
0a30: 45 58 50 4c 41 49 4e 5f 43 4f 4d 4d 45 4e 54 53  EXPLAIN_COMMENTS
0a40: 0a 20 20 63 68 61 72 20 2a 7a 43 6f 6d 6d 65 6e  .  char *zCommen
0a50: 74 3b 20 20 20 20 20 20 20 20 20 20 2f 2a 20 43  t;          /* C
0a60: 6f 6d 6d 65 6e 74 20 74 6f 20 69 6d 70 72 6f 76  omment to improv
0a70: 65 20 72 65 61 64 61 62 69 6c 69 74 79 20 2a 2f  e readability */
0a80: 0a 23 65 6e 64 69 66 0a 23 69 66 64 65 66 20 56  .#endif.#ifdef V
0a90: 44 42 45 5f 50 52 4f 46 49 4c 45 0a 20 20 75 33  DBE_PROFILE.  u3
0aa0: 32 20 63 6e 74 3b 20 20 20 20 20 20 20 20 20 20  2 cnt;          
0ab0: 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72         /* Number
0ac0: 20 6f 66 20 74 69 6d 65 73 20 74 68 69 73 20 69   of times this i
0ad0: 6e 73 74 72 75 63 74 69 6f 6e 20 77 61 73 20 65  nstruction was e
0ae0: 78 65 63 75 74 65 64 20 2a 2f 0a 20 20 75 36 34  xecuted */.  u64
0af0: 20 63 79 63 6c 65 73 3b 20 20 20 20 20 20 20 20   cycles;        
0b00: 20 20 20 20 20 20 2f 2a 20 54 6f 74 61 6c 20 74        /* Total t
0b10: 69 6d 65 20 73 70 65 6e 74 20 65 78 65 63 75 74  ime spent execut
0b20: 69 6e 67 20 74 68 69 73 20 69 6e 73 74 72 75 63  ing this instruc
0b30: 74 69 6f 6e 20 2a 2f 0a 23 65 6e 64 69 66 0a 23  tion */.#endif.#
0b40: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 56 44 42  ifdef SQLITE_VDB
0b50: 45 5f 43 4f 56 45 52 41 47 45 0a 20 20 69 6e 74  E_COVERAGE.  int
0b60: 20 69 53 72 63 4c 69 6e 65 3b 20 20 20 20 20 20   iSrcLine;      
0b70: 20 20 20 20 20 20 2f 2a 20 53 6f 75 72 63 65 2d        /* Source-
0b80: 63 6f 64 65 20 6c 69 6e 65 20 74 68 61 74 20 67  code line that g
0b90: 65 6e 65 72 61 74 65 64 20 74 68 69 73 20 6f 70  enerated this op
0ba0: 63 6f 64 65 20 2a 2f 0a 23 65 6e 64 69 66 0a 7d  code */.#endif.}
0bb0: 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75 63 74  ;.typedef struct
0bc0: 20 56 64 62 65 4f 70 20 56 64 62 65 4f 70 3b 0a   VdbeOp VdbeOp;.
0bd0: 0a 0a 2f 2a 0a 2a 2a 20 41 20 73 75 62 2d 72 6f  ../*.** A sub-ro
0be0: 75 74 69 6e 65 20 75 73 65 64 20 74 6f 20 69 6d  utine used to im
0bf0: 70 6c 65 6d 65 6e 74 20 61 20 74 72 69 67 67 65  plement a trigge
0c00: 72 20 70 72 6f 67 72 61 6d 2e 0a 2a 2f 0a 73 74  r program..*/.st
0c10: 72 75 63 74 20 53 75 62 50 72 6f 67 72 61 6d 20  ruct SubProgram 
0c20: 7b 0a 20 20 56 64 62 65 4f 70 20 2a 61 4f 70 3b  {.  VdbeOp *aOp;
0c30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0c40: 20 20 2f 2a 20 41 72 72 61 79 20 6f 66 20 6f 70    /* Array of op
0c50: 63 6f 64 65 73 20 66 6f 72 20 73 75 62 2d 70 72  codes for sub-pr
0c60: 6f 67 72 61 6d 20 2a 2f 0a 20 20 69 6e 74 20 6e  ogram */.  int n
0c70: 4f 70 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  Op;             
0c80: 20 20 20 20 20 20 20 20 20 2f 2a 20 45 6c 65 6d           /* Elem
0c90: 65 6e 74 73 20 69 6e 20 61 4f 70 5b 5d 20 2a 2f  ents in aOp[] */
0ca0: 0a 20 20 69 6e 74 20 6e 4d 65 6d 3b 20 20 20 20  .  int nMem;    
0cb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0cc0: 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 6d 65   /* Number of me
0cd0: 6d 6f 72 79 20 63 65 6c 6c 73 20 72 65 71 75 69  mory cells requi
0ce0: 72 65 64 20 2a 2f 0a 20 20 69 6e 74 20 6e 43 73  red */.  int nCs
0cf0: 72 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  r;              
0d00: 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72         /* Number
0d10: 20 6f 66 20 63 75 72 73 6f 72 73 20 72 65 71 75   of cursors requ
0d20: 69 72 65 64 20 2a 2f 0a 20 20 69 6e 74 20 6e 4f  ired */.  int nO
0d30: 6e 63 65 3b 20 20 20 20 20 20 20 20 20 20 20 20  nce;            
0d40: 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65          /* Numbe
0d50: 72 20 6f 66 20 4f 50 5f 4f 6e 63 65 20 69 6e 73  r of OP_Once ins
0d60: 74 72 75 63 74 69 6f 6e 73 20 2a 2f 0a 20 20 76  tructions */.  v
0d70: 6f 69 64 20 2a 74 6f 6b 65 6e 3b 20 20 20 20 20  oid *token;     
0d80: 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20               /* 
0d90: 69 64 20 74 68 61 74 20 6d 61 79 20 62 65 20 75  id that may be u
0da0: 73 65 64 20 74 6f 20 72 65 63 75 72 73 69 76 65  sed to recursive
0db0: 20 74 72 69 67 67 65 72 73 20 2a 2f 0a 20 20 53   triggers */.  S
0dc0: 75 62 50 72 6f 67 72 61 6d 20 2a 70 4e 65 78 74  ubProgram *pNext
0dd0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20  ;            /* 
0de0: 4e 65 78 74 20 73 75 62 2d 70 72 6f 67 72 61 6d  Next sub-program
0df0: 20 61 6c 72 65 61 64 79 20 76 69 73 69 74 65 64   already visited
0e00: 20 2a 2f 0a 7d 3b 0a 0a 2f 2a 0a 2a 2a 20 41 20   */.};../*.** A 
0e10: 73 6d 61 6c 6c 65 72 20 76 65 72 73 69 6f 6e 20  smaller version 
0e20: 6f 66 20 56 64 62 65 4f 70 20 75 73 65 64 20 66  of VdbeOp used f
0e30: 6f 72 20 74 68 65 20 56 64 62 65 41 64 64 4f 70  or the VdbeAddOp
0e40: 4c 69 73 74 28 29 20 66 75 6e 63 74 69 6f 6e 20  List() function 
0e50: 62 65 63 61 75 73 65 0a 2a 2a 20 69 74 20 74 61  because.** it ta
0e60: 6b 65 73 20 75 70 20 6c 65 73 73 20 73 70 61 63  kes up less spac
0e70: 65 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 56 64 62  e..*/.struct Vdb
0e80: 65 4f 70 4c 69 73 74 20 7b 0a 20 20 75 38 20 6f  eOpList {.  u8 o
0e90: 70 63 6f 64 65 3b 20 20 20 20 20 20 20 20 20 20  pcode;          
0ea0: 2f 2a 20 57 68 61 74 20 6f 70 65 72 61 74 69 6f  /* What operatio
0eb0: 6e 20 74 6f 20 70 65 72 66 6f 72 6d 20 2a 2f 0a  n to perform */.
0ec0: 20 20 73 69 67 6e 65 64 20 63 68 61 72 20 70 31    signed char p1
0ed0: 3b 20 20 20 20 20 2f 2a 20 46 69 72 73 74 20 6f  ;     /* First o
0ee0: 70 65 72 61 6e 64 20 2a 2f 0a 20 20 73 69 67 6e  perand */.  sign
0ef0: 65 64 20 63 68 61 72 20 70 32 3b 20 20 20 20 20  ed char p2;     
0f00: 2f 2a 20 53 65 63 6f 6e 64 20 70 61 72 61 6d 65  /* Second parame
0f10: 74 65 72 20 28 6f 66 74 65 6e 20 74 68 65 20 6a  ter (often the j
0f20: 75 6d 70 20 64 65 73 74 69 6e 61 74 69 6f 6e 29  ump destination)
0f30: 20 2a 2f 0a 20 20 73 69 67 6e 65 64 20 63 68 61   */.  signed cha
0f40: 72 20 70 33 3b 20 20 20 20 20 2f 2a 20 54 68 69  r p3;     /* Thi
0f50: 72 64 20 70 61 72 61 6d 65 74 65 72 20 2a 2f 0a  rd parameter */.
0f60: 7d 3b 0a 74 79 70 65 64 65 66 20 73 74 72 75 63  };.typedef struc
0f70: 74 20 56 64 62 65 4f 70 4c 69 73 74 20 56 64 62  t VdbeOpList Vdb
0f80: 65 4f 70 4c 69 73 74 3b 0a 0a 2f 2a 0a 2a 2a 20  eOpList;../*.** 
0f90: 41 6c 6c 6f 77 65 64 20 76 61 6c 75 65 73 20 6f  Allowed values o
0fa0: 66 20 56 64 62 65 4f 70 2e 70 34 74 79 70 65 0a  f VdbeOp.p4type.
0fb0: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 4e 4f  */.#define P4_NO
0fc0: 54 55 53 45 44 20 20 20 20 30 20 20 20 2f 2a 20  TUSED    0   /* 
0fd0: 54 68 65 20 50 34 20 70 61 72 61 6d 65 74 65 72  The P4 parameter
0fe0: 20 69 73 20 6e 6f 74 20 75 73 65 64 20 2a 2f 0a   is not used */.
0ff0: 23 64 65 66 69 6e 65 20 50 34 5f 44 59 4e 41 4d  #define P4_DYNAM
1000: 49 43 20 20 28 2d 31 29 20 20 2f 2a 20 50 6f 69  IC  (-1)  /* Poi
1010: 6e 74 65 72 20 74 6f 20 61 20 73 74 72 69 6e 67  nter to a string
1020: 20 6f 62 74 61 69 6e 65 64 20 66 72 6f 6d 20 73   obtained from s
1030: 71 6c 69 74 65 4d 61 6c 6c 6f 63 28 29 20 2a 2f  qliteMalloc() */
1040: 0a 23 64 65 66 69 6e 65 20 50 34 5f 53 54 41 54  .#define P4_STAT
1050: 49 43 20 20 20 28 2d 32 29 20 20 2f 2a 20 50 6f  IC   (-2)  /* Po
1060: 69 6e 74 65 72 20 74 6f 20 61 20 73 74 61 74 69  inter to a stati
1070: 63 20 73 74 72 69 6e 67 20 2a 2f 0a 23 64 65 66  c string */.#def
1080: 69 6e 65 20 50 34 5f 43 4f 4c 4c 53 45 51 20 20  ine P4_COLLSEQ  
1090: 28 2d 34 29 20 20 2f 2a 20 50 34 20 69 73 20 61  (-4)  /* P4 is a
10a0: 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 43 6f   pointer to a Co
10b0: 6c 6c 53 65 71 20 73 74 72 75 63 74 75 72 65 20  llSeq structure 
10c0: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 46 55  */.#define P4_FU
10d0: 4e 43 44 45 46 20 20 28 2d 35 29 20 20 2f 2a 20  NCDEF  (-5)  /* 
10e0: 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20  P4 is a pointer 
10f0: 74 6f 20 61 20 46 75 6e 63 44 65 66 20 73 74 72  to a FuncDef str
1100: 75 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e  ucture */.#defin
1110: 65 20 50 34 5f 4b 45 59 49 4e 46 4f 20 20 28 2d  e P4_KEYINFO  (-
1120: 36 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20 70  6)  /* P4 is a p
1130: 6f 69 6e 74 65 72 20 74 6f 20 61 20 4b 65 79 49  ointer to a KeyI
1140: 6e 66 6f 20 73 74 72 75 63 74 75 72 65 20 2a 2f  nfo structure */
1150: 0a 23 64 65 66 69 6e 65 20 50 34 5f 4d 45 4d 20  .#define P4_MEM 
1160: 20 20 20 20 20 28 2d 38 29 20 20 2f 2a 20 50 34       (-8)  /* P4
1170: 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f   is a pointer to
1180: 20 61 20 4d 65 6d 2a 20 20 20 20 73 74 72 75 63   a Mem*    struc
1190: 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20  ture */.#define 
11a0: 50 34 5f 54 52 41 4e 53 49 45 4e 54 20 20 30 20  P4_TRANSIENT  0 
11b0: 20 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69    /* P4 is a poi
11c0: 6e 74 65 72 20 74 6f 20 61 20 74 72 61 6e 73 69  nter to a transi
11d0: 65 6e 74 20 73 74 72 69 6e 67 20 2a 2f 0a 23 64  ent string */.#d
11e0: 65 66 69 6e 65 20 50 34 5f 56 54 41 42 20 20 20  efine P4_VTAB   
11f0: 20 20 28 2d 31 30 29 20 2f 2a 20 50 34 20 69 73    (-10) /* P4 is
1200: 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61 6e   a pointer to an
1210: 20 73 71 6c 69 74 65 33 5f 76 74 61 62 20 73 74   sqlite3_vtab st
1220: 72 75 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69  ructure */.#defi
1230: 6e 65 20 50 34 5f 4d 50 52 49 4e 54 46 20 20 28  ne P4_MPRINTF  (
1240: 2d 31 31 29 20 2f 2a 20 50 34 20 69 73 20 61 20  -11) /* P4 is a 
1250: 73 74 72 69 6e 67 20 6f 62 74 61 69 6e 65 64 20  string obtained 
1260: 66 72 6f 6d 20 73 71 6c 69 74 65 33 5f 6d 70 72  from sqlite3_mpr
1270: 69 6e 74 66 28 29 20 2a 2f 0a 23 64 65 66 69 6e  intf() */.#defin
1280: 65 20 50 34 5f 52 45 41 4c 20 20 20 20 20 28 2d  e P4_REAL     (-
1290: 31 32 29 20 2f 2a 20 50 34 20 69 73 20 61 20 36  12) /* P4 is a 6
12a0: 34 2d 62 69 74 20 66 6c 6f 61 74 69 6e 67 20 70  4-bit floating p
12b0: 6f 69 6e 74 20 76 61 6c 75 65 20 2a 2f 0a 23 64  oint value */.#d
12c0: 65 66 69 6e 65 20 50 34 5f 49 4e 54 36 34 20 20  efine P4_INT64  
12d0: 20 20 28 2d 31 33 29 20 2f 2a 20 50 34 20 69 73    (-13) /* P4 is
12e0: 20 61 20 36 34 2d 62 69 74 20 73 69 67 6e 65 64   a 64-bit signed
12f0: 20 69 6e 74 65 67 65 72 20 2a 2f 0a 23 64 65 66   integer */.#def
1300: 69 6e 65 20 50 34 5f 49 4e 54 33 32 20 20 20 20  ine P4_INT32    
1310: 28 2d 31 34 29 20 2f 2a 20 50 34 20 69 73 20 61  (-14) /* P4 is a
1320: 20 33 32 2d 62 69 74 20 73 69 67 6e 65 64 20 69   32-bit signed i
1330: 6e 74 65 67 65 72 20 2a 2f 0a 23 64 65 66 69 6e  nteger */.#defin
1340: 65 20 50 34 5f 49 4e 54 41 52 52 41 59 20 28 2d  e P4_INTARRAY (-
1350: 31 35 29 20 2f 2a 20 50 34 20 69 73 20 61 20 76  15) /* P4 is a v
1360: 65 63 74 6f 72 20 6f 66 20 33 32 2d 62 69 74 20  ector of 32-bit 
1370: 69 6e 74 65 67 65 72 73 20 2a 2f 0a 23 64 65 66  integers */.#def
1380: 69 6e 65 20 50 34 5f 53 55 42 50 52 4f 47 52 41  ine P4_SUBPROGRA
1390: 4d 20 20 28 2d 31 38 29 20 2f 2a 20 50 34 20 69  M  (-18) /* P4 i
13a0: 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20 61  s a pointer to a
13b0: 20 53 75 62 50 72 6f 67 72 61 6d 20 73 74 72 75   SubProgram stru
13c0: 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65  cture */.#define
13d0: 20 50 34 5f 41 44 56 41 4e 43 45 20 20 28 2d 31   P4_ADVANCE  (-1
13e0: 39 29 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f  9) /* P4 is a po
13f0: 69 6e 74 65 72 20 74 6f 20 42 74 72 65 65 4e 65  inter to BtreeNe
1400: 78 74 28 29 20 6f 72 20 42 74 72 65 65 50 72 65  xt() or BtreePre
1410: 76 28 29 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50  v() */.#define P
1420: 34 5f 54 41 42 4c 45 20 20 20 20 28 2d 32 30 29  4_TABLE    (-20)
1430: 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e   /* P4 is a poin
1440: 74 65 72 20 74 6f 20 61 20 54 61 62 6c 65 20 73  ter to a Table s
1450: 74 72 75 63 74 75 72 65 20 2a 2f 0a 0a 2f 2a 20  tructure */../* 
1460: 45 72 72 6f 72 20 6d 65 73 73 61 67 65 20 63 6f  Error message co
1470: 64 65 73 20 66 6f 72 20 4f 50 5f 48 61 6c 74 20  des for OP_Halt 
1480: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f  */.#define P5_Co
1490: 6e 73 74 72 61 69 6e 74 4e 6f 74 4e 75 6c 6c 20  nstraintNotNull 
14a0: 31 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f 6e  1.#define P5_Con
14b0: 73 74 72 61 69 6e 74 55 6e 69 71 75 65 20 20 32  straintUnique  2
14c0: 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f 6e 73  .#define P5_Cons
14d0: 74 72 61 69 6e 74 43 68 65 63 6b 20 20 20 33 0a  traintCheck   3.
14e0: 23 64 65 66 69 6e 65 20 50 35 5f 43 6f 6e 73 74  #define P5_Const
14f0: 72 61 69 6e 74 46 4b 20 20 20 20 20 20 34 0a 0a  raintFK      4..
1500: 2f 2a 0a 2a 2a 20 54 68 65 20 56 64 62 65 2e 61  /*.** The Vdbe.a
1510: 43 6f 6c 4e 61 6d 65 20 61 72 72 61 79 20 63 6f  ColName array co
1520: 6e 74 61 69 6e 73 20 35 6e 20 4d 65 6d 20 73 74  ntains 5n Mem st
1530: 72 75 63 74 75 72 65 73 2c 20 77 68 65 72 65 20  ructures, where 
1540: 6e 20 69 73 20 74 68 65 20 0a 2a 2a 20 6e 75 6d  n is the .** num
1550: 62 65 72 20 6f 66 20 63 6f 6c 75 6d 6e 73 20 6f  ber of columns o
1560: 66 20 64 61 74 61 20 72 65 74 75 72 6e 65 64 20  f data returned 
1570: 62 79 20 74 68 65 20 73 74 61 74 65 6d 65 6e 74  by the statement
1580: 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20 43 4f 4c  ..*/.#define COL
1590: 4e 41 4d 45 5f 4e 41 4d 45 20 20 20 20 20 30 0a  NAME_NAME     0.
15a0: 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f  #define COLNAME_
15b0: 44 45 43 4c 54 59 50 45 20 31 0a 23 64 65 66 69  DECLTYPE 1.#defi
15c0: 6e 65 20 43 4f 4c 4e 41 4d 45 5f 44 41 54 41 42  ne COLNAME_DATAB
15d0: 41 53 45 20 32 0a 23 64 65 66 69 6e 65 20 43 4f  ASE 2.#define CO
15e0: 4c 4e 41 4d 45 5f 54 41 42 4c 45 20 20 20 20 33  LNAME_TABLE    3
15f0: 0a 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45  .#define COLNAME
1600: 5f 43 4f 4c 55 4d 4e 20 20 20 34 0a 23 69 66 64  _COLUMN   4.#ifd
1610: 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  ef SQLITE_ENABLE
1620: 5f 43 4f 4c 55 4d 4e 5f 4d 45 54 41 44 41 54 41  _COLUMN_METADATA
1630: 0a 23 20 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d  .# define COLNAM
1640: 45 5f 4e 20 20 20 20 20 20 20 20 35 20 20 20 20  E_N        5    
1650: 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 43    /* Number of C
1660: 4f 4c 4e 41 4d 45 5f 78 78 78 20 73 79 6d 62 6f  OLNAME_xxx symbo
1670: 6c 73 20 2a 2f 0a 23 65 6c 73 65 0a 23 20 69 66  ls */.#else.# if
1680: 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f  def SQLITE_OMIT_
1690: 44 45 43 4c 54 59 50 45 0a 23 20 20 20 64 65 66  DECLTYPE.#   def
16a0: 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 4e 20 20 20  ine COLNAME_N   
16b0: 20 20 20 31 20 20 20 20 20 20 2f 2a 20 53 74 6f     1      /* Sto
16c0: 72 65 20 6f 6e 6c 79 20 74 68 65 20 6e 61 6d 65  re only the name
16d0: 20 2a 2f 0a 23 20 65 6c 73 65 0a 23 20 20 20 64   */.# else.#   d
16e0: 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 4e 20  efine COLNAME_N 
16f0: 20 20 20 20 20 32 20 20 20 20 20 20 2f 2a 20 53       2      /* S
1700: 74 6f 72 65 20 74 68 65 20 6e 61 6d 65 20 61 6e  tore the name an
1710: 64 20 64 65 63 6c 74 79 70 65 20 2a 2f 0a 23 20  d decltype */.# 
1720: 65 6e 64 69 66 0a 23 65 6e 64 69 66 0a 0a 2f 2a  endif.#endif../*
1730: 0a 2a 2a 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e  .** The followin
1740: 67 20 6d 61 63 72 6f 20 63 6f 6e 76 65 72 74 73  g macro converts
1750: 20 61 20 72 65 6c 61 74 69 76 65 20 61 64 64 72   a relative addr
1760: 65 73 73 20 69 6e 20 74 68 65 20 70 32 20 66 69  ess in the p2 fi
1770: 65 6c 64 0a 2a 2a 20 6f 66 20 61 20 56 64 62 65  eld.** of a Vdbe
1780: 4f 70 20 73 74 72 75 63 74 75 72 65 20 69 6e 74  Op structure int
1790: 6f 20 61 20 6e 65 67 61 74 69 76 65 20 6e 75 6d  o a negative num
17a0: 62 65 72 20 73 6f 20 74 68 61 74 20 0a 2a 2a 20  ber so that .** 
17b0: 73 71 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70  sqlite3VdbeAddOp
17c0: 4c 69 73 74 28 29 20 6b 6e 6f 77 73 20 74 68 61  List() knows tha
17d0: 74 20 74 68 65 20 61 64 64 72 65 73 73 20 69 73  t the address is
17e0: 20 72 65 6c 61 74 69 76 65 2e 20 20 43 61 6c 6c   relative.  Call
17f0: 69 6e 67 0a 2a 2a 20 74 68 65 20 6d 61 63 72 6f  ing.** the macro
1800: 20 61 67 61 69 6e 20 72 65 73 74 6f 72 65 73 20   again restores 
1810: 74 68 65 20 61 64 64 72 65 73 73 2e 0a 2a 2f 0a  the address..*/.
1820: 23 64 65 66 69 6e 65 20 41 44 44 52 28 58 29 20  #define ADDR(X) 
1830: 20 28 2d 31 2d 28 58 29 29 0a 0a 2f 2a 0a 2a 2a   (-1-(X))../*.**
1840: 20 54 68 65 20 6d 61 6b 65 66 69 6c 65 20 73 63   The makefile sc
1850: 61 6e 73 20 74 68 65 20 76 64 62 65 2e 63 20 73  ans the vdbe.c s
1860: 6f 75 72 63 65 20 66 69 6c 65 20 61 6e 64 20 63  ource file and c
1870: 72 65 61 74 65 73 20 74 68 65 20 22 6f 70 63 6f  reates the "opco
1880: 64 65 73 2e 68 22 0a 2a 2a 20 68 65 61 64 65 72  des.h".** header
1890: 20 66 69 6c 65 20 74 68 61 74 20 64 65 66 69 6e   file that defin
18a0: 65 73 20 61 20 6e 75 6d 62 65 72 20 66 6f 72 20  es a number for 
18b0: 65 61 63 68 20 6f 70 63 6f 64 65 20 75 73 65 64  each opcode used
18c0: 20 62 79 20 74 68 65 20 56 44 42 45 2e 0a 2a 2f   by the VDBE..*/
18d0: 0a 23 69 6e 63 6c 75 64 65 20 22 6f 70 63 6f 64  .#include "opcod
18e0: 65 73 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20 50 72 6f  es.h"../*.** Pro
18f0: 74 6f 74 79 70 65 73 20 66 6f 72 20 74 68 65 20  totypes for the 
1900: 56 44 42 45 20 69 6e 74 65 72 66 61 63 65 2e 20  VDBE interface. 
1910: 20 53 65 65 20 63 6f 6d 6d 65 6e 74 73 20 6f 6e   See comments on
1920: 20 74 68 65 20 69 6d 70 6c 65 6d 65 6e 74 61 74   the implementat
1930: 69 6f 6e 0a 2a 2a 20 66 6f 72 20 61 20 64 65 73  ion.** for a des
1940: 63 72 69 70 74 69 6f 6e 20 6f 66 20 77 68 61 74  cription of what
1950: 20 65 61 63 68 20 6f 66 20 74 68 65 73 65 20 72   each of these r
1960: 6f 75 74 69 6e 65 73 20 64 6f 65 73 2e 0a 2a 2f  outines does..*/
1970: 0a 56 64 62 65 20 2a 73 71 6c 69 74 65 33 56 64  .Vdbe *sqlite3Vd
1980: 62 65 43 72 65 61 74 65 28 50 61 72 73 65 2a 29  beCreate(Parse*)
1990: 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62  ;.int sqlite3Vdb
19a0: 65 41 64 64 4f 70 30 28 56 64 62 65 2a 2c 69 6e  eAddOp0(Vdbe*,in
19b0: 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  t);.int sqlite3V
19c0: 64 62 65 41 64 64 4f 70 31 28 56 64 62 65 2a 2c  dbeAddOp1(Vdbe*,
19d0: 69 6e 74 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71  int,int);.int sq
19e0: 6c 69 74 65 33 56 64 62 65 41 64 64 4f 70 32 28  lite3VdbeAddOp2(
19f0: 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e  Vdbe*,int,int,in
1a00: 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  t);.int sqlite3V
1a10: 64 62 65 41 64 64 4f 70 33 28 56 64 62 65 2a 2c  dbeAddOp3(Vdbe*,
1a20: 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 29  int,int,int,int)
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 34 28 56 64 62 65 2a 2c 69 6e  eAddOp4(Vdbe*,in
1a50: 74 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 63 6f  t,int,int,int,co
1a60: 6e 73 74 20 63 68 61 72 20 2a 7a 50 34 2c 69 6e  nst char *zP4,in
1a70: 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56  t);.int sqlite3V
1a80: 64 62 65 41 64 64 4f 70 34 49 6e 74 28 56 64 62  dbeAddOp4Int(Vdb
1a90: 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69  e*,int,int,int,i
1aa0: 6e 74 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c  nt,int);.int sql
1ab0: 69 74 65 33 56 64 62 65 41 64 64 4f 70 4c 69 73  ite3VdbeAddOpLis
1ac0: 74 28 56 64 62 65 2a 2c 20 69 6e 74 20 6e 4f 70  t(Vdbe*, int nOp
1ad0: 2c 20 56 64 62 65 4f 70 4c 69 73 74 20 63 6f 6e  , VdbeOpList con
1ae0: 73 74 20 2a 61 4f 70 2c 20 69 6e 74 20 69 4c 69  st *aOp, int iLi
1af0: 6e 65 6e 6f 29 3b 0a 76 6f 69 64 20 73 71 6c 69  neno);.void sqli
1b00: 74 65 33 56 64 62 65 41 64 64 50 61 72 73 65 53  te3VdbeAddParseS
1b10: 63 68 65 6d 61 4f 70 28 56 64 62 65 2a 2c 69 6e  chemaOp(Vdbe*,in
1b20: 74 2c 63 68 61 72 2a 29 3b 0a 76 6f 69 64 20 73  t,char*);.void s
1b30: 71 6c 69 74 65 33 56 64 62 65 43 68 61 6e 67 65  qlite3VdbeChange
1b40: 50 31 28 56 64 62 65 2a 2c 20 75 33 32 20 61 64  P1(Vdbe*, u32 ad
1b50: 64 72 2c 20 69 6e 74 20 50 31 29 3b 0a 76 6f 69  dr, int P1);.voi
1b60: 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 68 61  d sqlite3VdbeCha
1b70: 6e 67 65 50 32 28 56 64 62 65 2a 2c 20 75 33 32  ngeP2(Vdbe*, u32
1b80: 20 61 64 64 72 2c 20 69 6e 74 20 50 32 29 3b 0a   addr, int P2);.
1b90: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
1ba0: 43 68 61 6e 67 65 50 33 28 56 64 62 65 2a 2c 20  ChangeP3(Vdbe*, 
1bb0: 75 33 32 20 61 64 64 72 2c 20 69 6e 74 20 50 33  u32 addr, int P3
1bc0: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
1bd0: 64 62 65 43 68 61 6e 67 65 50 35 28 56 64 62 65  dbeChangeP5(Vdbe
1be0: 2a 2c 20 75 38 20 50 35 29 3b 0a 76 6f 69 64 20  *, u8 P5);.void 
1bf0: 73 71 6c 69 74 65 33 56 64 62 65 4a 75 6d 70 48  sqlite3VdbeJumpH
1c00: 65 72 65 28 56 64 62 65 2a 2c 20 69 6e 74 20 61  ere(Vdbe*, int a
1c10: 64 64 72 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74  ddr);.void sqlit
1c20: 65 33 56 64 62 65 43 68 61 6e 67 65 54 6f 4e 6f  e3VdbeChangeToNo
1c30: 6f 70 28 56 64 62 65 2a 2c 20 69 6e 74 20 61 64  op(Vdbe*, int ad
1c40: 64 72 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33  dr);.int sqlite3
1c50: 56 64 62 65 44 65 6c 65 74 65 50 72 69 6f 72 4f  VdbeDeletePriorO
1c60: 70 63 6f 64 65 28 56 64 62 65 2a 2c 20 75 38 20  pcode(Vdbe*, u8 
1c70: 6f 70 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65  op);.void sqlite
1c80: 33 56 64 62 65 43 68 61 6e 67 65 50 34 28 56 64  3VdbeChangeP4(Vd
1c90: 62 65 2a 2c 20 69 6e 74 20 61 64 64 72 2c 20 63  be*, int addr, c
1ca0: 6f 6e 73 74 20 63 68 61 72 20 2a 7a 50 34 2c 20  onst char *zP4, 
1cb0: 69 6e 74 20 4e 29 3b 0a 76 6f 69 64 20 73 71 6c  int N);.void sql
1cc0: 69 74 65 33 56 64 62 65 53 65 74 50 34 4b 65 79  ite3VdbeSetP4Key
1cd0: 49 6e 66 6f 28 50 61 72 73 65 2a 2c 20 49 6e 64  Info(Parse*, Ind
1ce0: 65 78 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74  ex*);.void sqlit
1cf0: 65 33 56 64 62 65 55 73 65 73 42 74 72 65 65 28  e3VdbeUsesBtree(
1d00: 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 56 64 62  Vdbe*, int);.Vdb
1d10: 65 4f 70 20 2a 73 71 6c 69 74 65 33 56 64 62 65  eOp *sqlite3Vdbe
1d20: 47 65 74 4f 70 28 56 64 62 65 2a 2c 20 69 6e 74  GetOp(Vdbe*, int
1d30: 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64  );.int sqlite3Vd
1d40: 62 65 4d 61 6b 65 4c 61 62 65 6c 28 56 64 62 65  beMakeLabel(Vdbe
1d50: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
1d60: 56 64 62 65 52 75 6e 4f 6e 6c 79 4f 6e 63 65 28  VdbeRunOnlyOnce(
1d70: 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c  Vdbe*);.void sql
1d80: 69 74 65 33 56 64 62 65 44 65 6c 65 74 65 28 56  ite3VdbeDelete(V
1d90: 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69  dbe*);.void sqli
1da0: 74 65 33 56 64 62 65 43 6c 65 61 72 4f 62 6a 65  te3VdbeClearObje
1db0: 63 74 28 73 71 6c 69 74 65 33 2a 2c 56 64 62 65  ct(sqlite3*,Vdbe
1dc0: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
1dd0: 56 64 62 65 4d 61 6b 65 52 65 61 64 79 28 56 64  VdbeMakeReady(Vd
1de0: 62 65 2a 2c 50 61 72 73 65 2a 29 3b 0a 69 6e 74  be*,Parse*);.int
1df0: 20 73 71 6c 69 74 65 33 56 64 62 65 46 69 6e 61   sqlite3VdbeFina
1e00: 6c 69 7a 65 28 56 64 62 65 2a 29 3b 0a 76 6f 69  lize(Vdbe*);.voi
1e10: 64 20 73 71 6c 69 74 65 33 56 64 62 65 52 65 73  d sqlite3VdbeRes
1e20: 6f 6c 76 65 4c 61 62 65 6c 28 56 64 62 65 2a 2c  olveLabel(Vdbe*,
1e30: 20 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74   int);.int sqlit
1e40: 65 33 56 64 62 65 43 75 72 72 65 6e 74 41 64 64  e3VdbeCurrentAdd
1e50: 72 28 56 64 62 65 2a 29 3b 0a 23 69 66 64 65 66  r(Vdbe*);.#ifdef
1e60: 20 53 51 4c 49 54 45 5f 44 45 42 55 47 0a 20 20   SQLITE_DEBUG.  
1e70: 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 41  int sqlite3VdbeA
1e80: 73 73 65 72 74 4d 61 79 41 62 6f 72 74 28 56 64  ssertMayAbort(Vd
1e90: 62 65 20 2a 2c 20 69 6e 74 29 3b 0a 23 65 6e 64  be *, int);.#end
1ea0: 69 66 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  if.void sqlite3V
1eb0: 64 62 65 52 65 73 65 74 53 74 65 70 52 65 73 75  dbeResetStepResu
1ec0: 6c 74 28 56 64 62 65 2a 29 3b 0a 76 6f 69 64 20  lt(Vdbe*);.void 
1ed0: 73 71 6c 69 74 65 33 56 64 62 65 52 65 77 69 6e  sqlite3VdbeRewin
1ee0: 64 28 56 64 62 65 2a 29 3b 0a 69 6e 74 20 73 71  d(Vdbe*);.int sq
1ef0: 6c 69 74 65 33 56 64 62 65 52 65 73 65 74 28 56  lite3VdbeReset(V
1f00: 64 62 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69  dbe*);.void sqli
1f10: 74 65 33 56 64 62 65 53 65 74 4e 75 6d 43 6f 6c  te3VdbeSetNumCol
1f20: 73 28 56 64 62 65 2a 2c 69 6e 74 29 3b 0a 69 6e  s(Vdbe*,int);.in
1f30: 74 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74  t sqlite3VdbeSet
1f40: 43 6f 6c 4e 61 6d 65 28 56 64 62 65 2a 2c 20 69  ColName(Vdbe*, i
1f50: 6e 74 2c 20 69 6e 74 2c 20 63 6f 6e 73 74 20 63  nt, int, const c
1f60: 68 61 72 20 2a 2c 20 76 6f 69 64 28 2a 29 28 76  har *, void(*)(v
1f70: 6f 69 64 2a 29 29 3b 0a 76 6f 69 64 20 73 71 6c  oid*));.void sql
1f80: 69 74 65 33 56 64 62 65 43 6f 75 6e 74 43 68 61  ite3VdbeCountCha
1f90: 6e 67 65 73 28 56 64 62 65 2a 29 3b 0a 73 71 6c  nges(Vdbe*);.sql
1fa0: 69 74 65 33 20 2a 73 71 6c 69 74 65 33 56 64 62  ite3 *sqlite3Vdb
1fb0: 65 44 62 28 56 64 62 65 2a 29 3b 0a 76 6f 69 64  eDb(Vdbe*);.void
1fc0: 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74 53   sqlite3VdbeSetS
1fd0: 71 6c 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74 20  ql(Vdbe*, const 
1fe0: 63 68 61 72 20 2a 7a 2c 20 69 6e 74 20 6e 2c 20  char *z, int n, 
1ff0: 69 6e 74 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74  int);.void sqlit
2000: 65 33 56 64 62 65 53 77 61 70 28 56 64 62 65 2a  e3VdbeSwap(Vdbe*
2010: 2c 56 64 62 65 2a 29 3b 0a 56 64 62 65 4f 70 20  ,Vdbe*);.VdbeOp 
2020: 2a 73 71 6c 69 74 65 33 56 64 62 65 54 61 6b 65  *sqlite3VdbeTake
2030: 4f 70 41 72 72 61 79 28 56 64 62 65 2a 2c 20 69  OpArray(Vdbe*, i
2040: 6e 74 2a 2c 20 69 6e 74 2a 29 3b 0a 73 71 6c 69  nt*, int*);.sqli
2050: 74 65 33 5f 76 61 6c 75 65 20 2a 73 71 6c 69 74  te3_value *sqlit
2060: 65 33 56 64 62 65 47 65 74 42 6f 75 6e 64 56 61  e3VdbeGetBoundVa
2070: 6c 75 65 28 56 64 62 65 2a 2c 20 69 6e 74 2c 20  lue(Vdbe*, int, 
2080: 75 38 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65  u8);.void sqlite
2090: 33 56 64 62 65 53 65 74 56 61 72 6d 61 73 6b 28  3VdbeSetVarmask(
20a0: 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 23 69 66  Vdbe*, int);.#if
20b0: 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49 54  ndef SQLITE_OMIT
20c0: 5f 54 52 41 43 45 0a 20 20 63 68 61 72 20 2a 73  _TRACE.  char *s
20d0: 71 6c 69 74 65 33 56 64 62 65 45 78 70 61 6e 64  qlite3VdbeExpand
20e0: 53 71 6c 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74  Sql(Vdbe*, const
20f0: 20 63 68 61 72 2a 29 3b 0a 23 65 6e 64 69 66 0a   char*);.#endif.
2100: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
2110: 65 52 65 63 6f 72 64 55 6e 70 61 63 6b 28 4b 65  eRecordUnpack(Ke
2120: 79 49 6e 66 6f 2a 2c 69 6e 74 2c 63 6f 6e 73 74  yInfo*,int,const
2130: 20 76 6f 69 64 2a 2c 55 6e 70 61 63 6b 65 64 52   void*,UnpackedR
2140: 65 63 6f 72 64 2a 29 3b 0a 69 6e 74 20 73 71 6c  ecord*);.int sql
2150: 69 74 65 33 56 64 62 65 52 65 63 6f 72 64 43 6f  ite3VdbeRecordCo
2160: 6d 70 61 72 65 28 69 6e 74 2c 63 6f 6e 73 74 20  mpare(int,const 
2170: 76 6f 69 64 2a 2c 63 6f 6e 73 74 20 55 6e 70 61  void*,const Unpa
2180: 63 6b 65 64 52 65 63 6f 72 64 2a 2c 69 6e 74 29  ckedRecord*,int)
2190: 3b 0a 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64  ;.UnpackedRecord
21a0: 20 2a 73 71 6c 69 74 65 33 56 64 62 65 41 6c 6c   *sqlite3VdbeAll
21b0: 6f 63 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64  ocUnpackedRecord
21c0: 28 4b 65 79 49 6e 66 6f 20 2a 2c 20 63 68 61 72  (KeyInfo *, char
21d0: 20 2a 2c 20 69 6e 74 2c 20 63 68 61 72 20 2a 2a   *, int, char **
21e0: 29 3b 0a 0a 74 79 70 65 64 65 66 20 69 6e 74 20  );..typedef int 
21f0: 28 2a 52 65 63 6f 72 64 43 6f 6d 70 61 72 65 29  (*RecordCompare)
2200: 28 69 6e 74 2c 63 6f 6e 73 74 20 76 6f 69 64 2a  (int,const void*
2210: 2c 63 6f 6e 73 74 20 55 6e 70 61 63 6b 65 64 52  ,const UnpackedR
2220: 65 63 6f 72 64 2a 2c 69 6e 74 29 3b 0a 52 65 63  ecord*,int);.Rec
2230: 6f 72 64 43 6f 6d 70 61 72 65 20 73 71 6c 69 74  ordCompare sqlit
2240: 65 33 56 64 62 65 46 69 6e 64 43 6f 6d 70 61 72  e3VdbeFindCompar
2250: 65 28 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64  e(UnpackedRecord
2260: 2a 29 3b 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c  *);..#ifndef SQL
2270: 49 54 45 5f 4f 4d 49 54 5f 54 52 49 47 47 45 52  ITE_OMIT_TRIGGER
2280: 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62  .void sqlite3Vdb
2290: 65 4c 69 6e 6b 53 75 62 50 72 6f 67 72 61 6d 28  eLinkSubProgram(
22a0: 56 64 62 65 20 2a 2c 20 53 75 62 50 72 6f 67 72  Vdbe *, SubProgr
22b0: 61 6d 20 2a 29 3b 0a 23 65 6e 64 69 66 0a 0a 2f  am *);.#endif../
22c0: 2a 20 55 73 65 20 53 51 4c 49 54 45 5f 45 4e 41  * Use SQLITE_ENA
22d0: 42 4c 45 5f 43 4f 4d 4d 45 4e 54 53 20 74 6f 20  BLE_COMMENTS to 
22e0: 65 6e 61 62 6c 65 20 67 65 6e 65 72 61 74 69 6f  enable generatio
22f0: 6e 20 6f 66 20 65 78 74 72 61 20 63 6f 6d 6d 65  n of extra comme
2300: 6e 74 73 20 6f 6e 0a 2a 2a 20 65 61 63 68 20 56  nts on.** each V
2310: 44 42 45 20 6f 70 63 6f 64 65 2e 0a 2a 2a 0a 2a  DBE opcode..**.*
2320: 2a 20 55 73 65 20 74 68 65 20 53 51 4c 49 54 45  * Use the SQLITE
2330: 5f 45 4e 41 42 4c 45 5f 4d 4f 44 55 4c 45 5f 43  _ENABLE_MODULE_C
2340: 4f 4d 4d 45 4e 54 53 20 6d 61 63 72 6f 20 74 6f  OMMENTS macro to
2350: 20 73 65 65 20 73 6f 6d 65 20 65 78 74 72 61 20   see some extra 
2360: 6e 6f 2d 6f 70 0a 2a 2a 20 63 6f 6d 6d 65 6e 74  no-op.** comment
2370: 73 20 69 6e 20 56 44 42 45 20 70 72 6f 67 72 61  s in VDBE progra
2380: 6d 73 20 74 68 61 74 20 73 68 6f 77 20 6b 65 79  ms that show key
2390: 20 64 65 63 69 73 69 6f 6e 20 70 6f 69 6e 74 73   decision points
23a0: 20 69 6e 20 74 68 65 20 63 6f 64 65 0a 2a 2a 20   in the code.** 
23b0: 67 65 6e 65 72 61 74 6f 72 2e 0a 2a 2f 0a 23 69  generator..*/.#i
23c0: 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42  fdef SQLITE_ENAB
23d0: 4c 45 5f 45 58 50 4c 41 49 4e 5f 43 4f 4d 4d 45  LE_EXPLAIN_COMME
23e0: 4e 54 53 0a 20 20 76 6f 69 64 20 73 71 6c 69 74  NTS.  void sqlit
23f0: 65 33 56 64 62 65 43 6f 6d 6d 65 6e 74 28 56 64  e3VdbeComment(Vd
2400: 62 65 2a 2c 20 63 6f 6e 73 74 20 63 68 61 72 2a  be*, const char*
2410: 2c 20 2e 2e 2e 29 3b 0a 23 20 64 65 66 69 6e 65  , ...);.# define
2420: 20 56 64 62 65 43 6f 6d 6d 65 6e 74 28 58 29 20   VdbeComment(X) 
2430: 20 73 71 6c 69 74 65 33 56 64 62 65 43 6f 6d 6d   sqlite3VdbeComm
2440: 65 6e 74 20 58 0a 20 20 76 6f 69 64 20 73 71 6c  ent X.  void sql
2450: 69 74 65 33 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d  ite3VdbeNoopComm
2460: 65 6e 74 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74  ent(Vdbe*, const
2470: 20 63 68 61 72 2a 2c 20 2e 2e 2e 29 3b 0a 23 20   char*, ...);.# 
2480: 64 65 66 69 6e 65 20 56 64 62 65 4e 6f 6f 70 43  define VdbeNoopC
2490: 6f 6d 6d 65 6e 74 28 58 29 20 20 73 71 6c 69 74  omment(X)  sqlit
24a0: 65 33 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e  e3VdbeNoopCommen
24b0: 74 20 58 0a 23 20 69 66 64 65 66 20 53 51 4c 49  t X.# ifdef SQLI
24c0: 54 45 5f 45 4e 41 42 4c 45 5f 4d 4f 44 55 4c 45  TE_ENABLE_MODULE
24d0: 5f 43 4f 4d 4d 45 4e 54 53 0a 23 20 20 20 64 65  _COMMENTS.#   de
24e0: 66 69 6e 65 20 56 64 62 65 4d 6f 64 75 6c 65 43  fine VdbeModuleC
24f0: 6f 6d 6d 65 6e 74 28 58 29 20 20 73 71 6c 69 74  omment(X)  sqlit
2500: 65 33 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e  e3VdbeNoopCommen
2510: 74 20 58 0a 23 20 65 6c 73 65 0a 23 20 20 20 64  t X.# else.#   d
2520: 65 66 69 6e 65 20 56 64 62 65 4d 6f 64 75 6c 65  efine VdbeModule
2530: 43 6f 6d 6d 65 6e 74 28 58 29 0a 23 20 65 6e 64  Comment(X).# end
2540: 69 66 0a 23 65 6c 73 65 0a 23 20 64 65 66 69 6e  if.#else.# defin
2550: 65 20 56 64 62 65 43 6f 6d 6d 65 6e 74 28 58 29  e VdbeComment(X)
2560: 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 4e 6f  .# define VdbeNo
2570: 6f 70 43 6f 6d 6d 65 6e 74 28 58 29 0a 23 20 64  opComment(X).# d
2580: 65 66 69 6e 65 20 56 64 62 65 4d 6f 64 75 6c 65  efine VdbeModule
2590: 43 6f 6d 6d 65 6e 74 28 58 29 0a 23 65 6e 64 69  Comment(X).#endi
25a0: 66 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 56 64 62  f../*.** The Vdb
25b0: 65 43 6f 76 65 72 61 67 65 20 6d 61 63 72 6f 73  eCoverage macros
25c0: 20 61 72 65 20 75 73 65 64 20 74 6f 20 73 65 74   are used to set
25d0: 20 61 20 63 6f 76 65 72 61 67 65 20 74 65 73 74   a coverage test
25e0: 69 6e 67 20 70 6f 69 6e 74 0a 2a 2a 20 66 6f 72  ing point.** for
25f0: 20 56 44 42 45 20 62 72 61 6e 63 68 20 69 6e 73   VDBE branch ins
2600: 74 72 75 63 74 69 6f 6e 73 2e 20 20 54 68 65 20  tructions.  The 
2610: 63 6f 76 65 72 61 67 65 20 74 65 73 74 69 6e 67  coverage testing
2620: 20 70 6f 69 6e 74 73 20 61 72 65 20 6c 69 6e 65   points are line
2630: 0a 2a 2a 20 6e 75 6d 62 65 72 73 20 69 6e 20 74  .** numbers in t
2640: 68 65 20 73 71 6c 69 74 65 33 2e 63 20 73 6f 75  he sqlite3.c sou
2650: 72 63 65 20 66 69 6c 65 2e 20 20 56 44 42 45 20  rce file.  VDBE 
2660: 62 72 61 6e 63 68 20 63 6f 76 65 72 61 67 65 20  branch coverage 
2670: 74 65 73 74 69 6e 67 0a 2a 2a 20 6f 6e 6c 79 20  testing.** only 
2680: 77 6f 72 6b 73 20 77 69 74 68 20 61 6e 20 61 6d  works with an am
2690: 61 6c 61 67 6d 61 74 69 6f 6e 20 62 75 69 6c 64  alagmation build
26a0: 2e 20 20 54 68 61 74 27 73 20 6f 6b 20 73 69 6e  .  That's ok sin
26b0: 63 65 20 61 20 56 44 42 45 20 62 72 61 6e 63 68  ce a VDBE branch
26c0: 0a 2a 2a 20 63 6f 76 65 72 61 67 65 20 62 75 69  .** coverage bui
26d0: 6c 64 20 64 65 73 69 67 6e 65 64 20 66 6f 72 20  ld designed for 
26e0: 74 65 73 74 69 6e 67 20 74 68 65 20 74 65 73 74  testing the test
26f0: 20 73 75 69 74 65 20 6f 6e 6c 79 2e 20 20 4e 6f   suite only.  No
2700: 20 61 70 70 6c 69 63 61 74 69 6f 6e 0a 2a 2a 20   application.** 
2710: 73 68 6f 75 6c 64 20 65 76 65 72 20 73 68 69 70  should ever ship
2720: 20 77 69 74 68 20 56 44 42 45 20 62 72 61 6e 63   with VDBE branc
2730: 68 20 63 6f 76 65 72 61 67 65 20 6d 65 61 73 75  h coverage measu
2740: 72 69 6e 67 20 74 75 72 6e 65 64 20 6f 6e 2e 0a  ring turned on..
2750: 2a 2a 0a 2a 2a 20 20 20 20 56 64 62 65 43 6f 76  **.**    VdbeCov
2760: 65 72 61 67 65 28 76 29 20 20 20 20 20 20 20 20  erage(v)        
2770: 20 20 20 20 20 20 20 20 20 20 2f 2f 20 4d 61 72            // Mar
2780: 6b 20 74 68 65 20 70 72 65 76 69 6f 75 73 6c 79  k the previously
2790: 20 63 6f 64 65 64 20 69 6e 73 74 72 75 63 74 69   coded instructi
27a0: 6f 6e 0a 2a 2a 20 20 20 20 20 20 20 20 20 20 20  on.**           
27b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
27c0: 20 20 20 20 20 20 20 20 20 20 2f 2f 20 61 73 20            // as 
27d0: 61 20 62 72 61 6e 63 68 0a 2a 2a 0a 2a 2a 20 20  a branch.**.**  
27e0: 20 20 56 64 62 65 43 6f 76 65 72 61 67 65 49 66    VdbeCoverageIf
27f0: 28 76 2c 20 63 6f 6e 64 69 74 69 6f 6e 61 6c 29  (v, conditional)
2800: 20 20 20 2f 2f 20 4d 61 72 6b 20 70 72 65 76 69     // Mark previ
2810: 6f 75 73 20 69 66 20 63 6f 6e 64 69 74 69 6f 6e  ous if condition
2820: 61 6c 20 74 72 75 65 0a 2a 2a 0a 2a 2a 20 20 20  al true.**.**   
2830: 20 56 64 62 65 43 6f 76 65 72 61 67 65 41 6c 77   VdbeCoverageAlw
2840: 61 79 73 54 61 6b 65 6e 28 76 29 20 20 20 20 20  aysTaken(v)     
2850: 20 20 2f 2f 20 50 72 65 76 69 6f 75 73 20 62 72    // Previous br
2860: 61 6e 63 68 20 69 73 20 61 6c 77 61 79 73 20 74  anch is always t
2870: 61 6b 65 6e 0a 2a 2a 0a 2a 2a 20 20 20 20 56 64  aken.**.**    Vd
2880: 62 65 43 6f 76 65 72 61 67 65 4e 65 76 65 72 54  beCoverageNeverT
2890: 61 6b 65 6e 28 76 29 20 20 20 20 20 20 20 20 2f  aken(v)        /
28a0: 2f 20 50 72 65 76 69 6f 75 73 20 62 72 61 6e 63  / Previous branc
28b0: 68 20 69 73 20 6e 65 76 65 72 20 74 61 6b 65 6e  h is never taken
28c0: 0a 2a 2a 0a 2a 2a 20 45 76 65 72 79 20 56 44 42  .**.** Every VDB
28d0: 45 20 62 72 61 6e 63 68 20 6f 70 65 72 61 74 69  E branch operati
28e0: 6f 6e 20 6d 75 73 74 20 62 65 20 74 61 67 67 65  on must be tagge
28f0: 64 20 77 69 74 68 20 6f 6e 65 20 6f 66 20 74 68  d with one of th
2900: 65 20 6d 61 63 72 6f 73 20 61 62 6f 76 65 2e 0a  e macros above..
2910: 2a 2a 20 49 66 20 6e 6f 74 2c 20 74 68 65 6e 20  ** If not, then 
2920: 77 68 65 6e 20 22 6d 61 6b 65 20 74 65 73 74 22  when "make test"
2930: 20 69 73 20 72 75 6e 20 77 69 74 68 20 2d 44 53   is run with -DS
2940: 51 4c 49 54 45 5f 56 44 42 45 5f 43 4f 56 45 52  QLITE_VDBE_COVER
2950: 41 47 45 20 61 6e 64 0a 2a 2a 20 2d 44 53 51 4c  AGE and.** -DSQL
2960: 49 54 45 5f 44 45 42 55 47 20 74 68 65 6e 20 61  ITE_DEBUG then a
2970: 6e 20 41 4c 57 41 59 53 28 29 20 77 69 6c 6c 20  n ALWAYS() will 
2980: 66 61 69 6c 20 69 6e 20 74 68 65 20 76 64 62 65  fail in the vdbe
2990: 54 61 6b 65 42 72 61 6e 63 68 28 29 0a 2a 2a 20  TakeBranch().** 
29a0: 72 6f 75 74 69 6e 65 20 69 6e 20 76 64 62 65 2e  routine in vdbe.
29b0: 63 2c 20 61 6c 65 72 74 69 6e 67 20 74 68 65 20  c, alerting the 
29c0: 64 65 76 65 6c 6f 70 65 72 20 74 6f 20 74 68 65  developer to the
29d0: 20 6d 69 73 73 65 64 20 74 61 67 2e 0a 2a 2f 0a   missed tag..*/.
29e0: 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f 56 44  #ifdef SQLITE_VD
29f0: 42 45 5f 43 4f 56 45 52 41 47 45 0a 20 20 76 6f  BE_COVERAGE.  vo
2a00: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 53 65  id sqlite3VdbeSe
2a10: 74 4c 69 6e 65 4e 75 6d 62 65 72 28 56 64 62 65  tLineNumber(Vdbe
2a20: 2a 2c 69 6e 74 29 3b 0a 23 20 64 65 66 69 6e 65  *,int);.# define
2a30: 20 56 64 62 65 43 6f 76 65 72 61 67 65 28 76 29   VdbeCoverage(v)
2a40: 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74 4c   sqlite3VdbeSetL
2a50: 69 6e 65 4e 75 6d 62 65 72 28 76 2c 5f 5f 4c 49  ineNumber(v,__LI
2a60: 4e 45 5f 5f 29 0a 23 20 64 65 66 69 6e 65 20 56  NE__).# define V
2a70: 64 62 65 43 6f 76 65 72 61 67 65 49 66 28 76 2c  dbeCoverageIf(v,
2a80: 78 29 20 69 66 28 78 29 73 71 6c 69 74 65 33 56  x) if(x)sqlite3V
2a90: 64 62 65 53 65 74 4c 69 6e 65 4e 75 6d 62 65 72  dbeSetLineNumber
2aa0: 28 76 2c 5f 5f 4c 49 4e 45 5f 5f 29 0a 23 20 64  (v,__LINE__).# d
2ab0: 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72 61  efine VdbeCovera
2ac0: 67 65 41 6c 77 61 79 73 54 61 6b 65 6e 28 76 29  geAlwaysTaken(v)
2ad0: 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74 4c   sqlite3VdbeSetL
2ae0: 69 6e 65 4e 75 6d 62 65 72 28 76 2c 32 29 3b 0a  ineNumber(v,2);.
2af0: 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76  # define VdbeCov
2b00: 65 72 61 67 65 4e 65 76 65 72 54 61 6b 65 6e 28  erageNeverTaken(
2b10: 76 29 20 73 71 6c 69 74 65 33 56 64 62 65 53 65  v) sqlite3VdbeSe
2b20: 74 4c 69 6e 65 4e 75 6d 62 65 72 28 76 2c 31 29  tLineNumber(v,1)
2b30: 3b 0a 23 65 6c 73 65 0a 23 20 64 65 66 69 6e 65  ;.#else.# define
2b40: 20 56 64 62 65 43 6f 76 65 72 61 67 65 28 76 29   VdbeCoverage(v)
2b50: 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43 6f  .# define VdbeCo
2b60: 76 65 72 61 67 65 49 66 28 76 2c 78 29 0a 23 20  verageIf(v,x).# 
2b70: 64 65 66 69 6e 65 20 56 64 62 65 43 6f 76 65 72  define VdbeCover
2b80: 61 67 65 41 6c 77 61 79 73 54 61 6b 65 6e 28 76  ageAlwaysTaken(v
2b90: 29 0a 23 20 64 65 66 69 6e 65 20 56 64 62 65 43  ).# define VdbeC
2ba0: 6f 76 65 72 61 67 65 4e 65 76 65 72 54 61 6b 65  overageNeverTake
2bb0: 6e 28 76 29 0a 23 65 6e 64 69 66 0a 0a 23 65 6e  n(v).#endif..#en
2bc0: 64 69 66 0a                                      dif.