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

Artifact 57b87844270b2e92647b8b82a8948f7a29efae8d:


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 23 69 66  UBPROGRAM */.#if
09b0: 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c  def SQLITE_ENABL
09c0: 45 5f 43 55 52 53 4f 52 5f 48 49 4e 54 53 0a 20  E_CURSOR_HINTS. 
09d0: 20 20 20 45 78 70 72 20 2a 70 45 78 70 72 3b 20     Expr *pExpr; 
09e0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 55 73 65            /* Use
09f0: 64 20 77 68 65 6e 20 70 34 74 79 70 65 20 69 73  d when p4type is
0a00: 20 50 34 5f 45 58 50 52 20 2a 2f 0a 23 65 6e 64   P4_EXPR */.#end
0a10: 69 66 0a 20 20 20 20 69 6e 74 20 28 2a 78 41 64  if.    int (*xAd
0a20: 76 61 6e 63 65 29 28 42 74 43 75 72 73 6f 72 20  vance)(BtCursor 
0a30: 2a 2c 20 69 6e 74 20 2a 29 3b 0a 20 20 7d 20 70  *, int *);.  } p
0a40: 34 3b 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45  4;.#ifdef SQLITE
0a50: 5f 45 4e 41 42 4c 45 5f 45 58 50 4c 41 49 4e 5f  _ENABLE_EXPLAIN_
0a60: 43 4f 4d 4d 45 4e 54 53 0a 20 20 63 68 61 72 20  COMMENTS.  char 
0a70: 2a 7a 43 6f 6d 6d 65 6e 74 3b 20 20 20 20 20 20  *zComment;      
0a80: 20 20 20 20 2f 2a 20 43 6f 6d 6d 65 6e 74 20 74      /* Comment t
0a90: 6f 20 69 6d 70 72 6f 76 65 20 72 65 61 64 61 62  o improve readab
0aa0: 69 6c 69 74 79 20 2a 2f 0a 23 65 6e 64 69 66 0a  ility */.#endif.
0ab0: 23 69 66 64 65 66 20 56 44 42 45 5f 50 52 4f 46  #ifdef VDBE_PROF
0ac0: 49 4c 45 0a 20 20 69 6e 74 20 63 6e 74 3b 20 20  ILE.  int cnt;  
0ad0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
0ae0: 2a 20 4e 75 6d 62 65 72 20 6f 66 20 74 69 6d 65  * Number of time
0af0: 73 20 74 68 69 73 20 69 6e 73 74 72 75 63 74 69  s this instructi
0b00: 6f 6e 20 77 61 73 20 65 78 65 63 75 74 65 64 20  on was executed 
0b10: 2a 2f 0a 20 20 75 36 34 20 63 79 63 6c 65 73 3b  */.  u64 cycles;
0b20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a                /*
0b30: 20 54 6f 74 61 6c 20 74 69 6d 65 20 73 70 65 6e   Total time spen
0b40: 74 20 65 78 65 63 75 74 69 6e 67 20 74 68 69 73  t executing this
0b50: 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 2a 2f 0a   instruction */.
0b60: 23 65 6e 64 69 66 0a 7d 3b 0a 74 79 70 65 64 65  #endif.};.typede
0b70: 66 20 73 74 72 75 63 74 20 56 64 62 65 4f 70 20  f struct VdbeOp 
0b80: 56 64 62 65 4f 70 3b 0a 0a 0a 2f 2a 0a 2a 2a 20  VdbeOp;.../*.** 
0b90: 41 20 73 75 62 2d 72 6f 75 74 69 6e 65 20 75 73  A sub-routine us
0ba0: 65 64 20 74 6f 20 69 6d 70 6c 65 6d 65 6e 74 20  ed to implement 
0bb0: 61 20 74 72 69 67 67 65 72 20 70 72 6f 67 72 61  a trigger progra
0bc0: 6d 2e 0a 2a 2f 0a 73 74 72 75 63 74 20 53 75 62  m..*/.struct Sub
0bd0: 50 72 6f 67 72 61 6d 20 7b 0a 20 20 56 64 62 65  Program {.  Vdbe
0be0: 4f 70 20 2a 61 4f 70 3b 20 20 20 20 20 20 20 20  Op *aOp;        
0bf0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 41 72 72            /* Arr
0c00: 61 79 20 6f 66 20 6f 70 63 6f 64 65 73 20 66 6f  ay of opcodes fo
0c10: 72 20 73 75 62 2d 70 72 6f 67 72 61 6d 20 2a 2f  r sub-program */
0c20: 0a 20 20 69 6e 74 20 6e 4f 70 3b 20 20 20 20 20  .  int nOp;     
0c30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0c40: 20 2f 2a 20 45 6c 65 6d 65 6e 74 73 20 69 6e 20   /* Elements in 
0c50: 61 4f 70 5b 5d 20 2a 2f 0a 20 20 69 6e 74 20 6e  aOp[] */.  int n
0c60: 4d 65 6d 3b 20 20 20 20 20 20 20 20 20 20 20 20  Mem;            
0c70: 20 20 20 20 20 20 20 20 20 2f 2a 20 4e 75 6d 62           /* Numb
0c80: 65 72 20 6f 66 20 6d 65 6d 6f 72 79 20 63 65 6c  er of memory cel
0c90: 6c 73 20 72 65 71 75 69 72 65 64 20 2a 2f 0a 20  ls required */. 
0ca0: 20 69 6e 74 20 6e 43 73 72 3b 20 20 20 20 20 20   int nCsr;      
0cb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2f                 /
0cc0: 2a 20 4e 75 6d 62 65 72 20 6f 66 20 63 75 72 73  * Number of curs
0cd0: 6f 72 73 20 72 65 71 75 69 72 65 64 20 2a 2f 0a  ors required */.
0ce0: 20 20 69 6e 74 20 6e 4f 6e 63 65 3b 20 20 20 20    int nOnce;    
0cf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0d00: 2f 2a 20 4e 75 6d 62 65 72 20 6f 66 20 4f 50 5f  /* Number of OP_
0d10: 4f 6e 63 65 20 69 6e 73 74 72 75 63 74 69 6f 6e  Once instruction
0d20: 73 20 2a 2f 0a 20 20 76 6f 69 64 20 2a 74 6f 6b  s */.  void *tok
0d30: 65 6e 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  en;             
0d40: 20 20 20 20 20 2f 2a 20 69 64 20 74 68 61 74 20       /* id that 
0d50: 6d 61 79 20 62 65 20 75 73 65 64 20 74 6f 20 72  may be used to r
0d60: 65 63 75 72 73 69 76 65 20 74 72 69 67 67 65 72  ecursive trigger
0d70: 73 20 2a 2f 0a 20 20 53 75 62 50 72 6f 67 72 61  s */.  SubProgra
0d80: 6d 20 2a 70 4e 65 78 74 3b 20 20 20 20 20 20 20  m *pNext;       
0d90: 20 20 20 20 20 2f 2a 20 4e 65 78 74 20 73 75 62       /* Next sub
0da0: 2d 70 72 6f 67 72 61 6d 20 61 6c 72 65 61 64 79  -program already
0db0: 20 76 69 73 69 74 65 64 20 2a 2f 0a 7d 3b 0a 0a   visited */.};..
0dc0: 2f 2a 0a 2a 2a 20 41 20 73 6d 61 6c 6c 65 72 20  /*.** A smaller 
0dd0: 76 65 72 73 69 6f 6e 20 6f 66 20 56 64 62 65 4f  version of VdbeO
0de0: 70 20 75 73 65 64 20 66 6f 72 20 74 68 65 20 56  p used for the V
0df0: 64 62 65 41 64 64 4f 70 4c 69 73 74 28 29 20 66  dbeAddOpList() f
0e00: 75 6e 63 74 69 6f 6e 20 62 65 63 61 75 73 65 0a  unction because.
0e10: 2a 2a 20 69 74 20 74 61 6b 65 73 20 75 70 20 6c  ** it takes up l
0e20: 65 73 73 20 73 70 61 63 65 2e 0a 2a 2f 0a 73 74  ess space..*/.st
0e30: 72 75 63 74 20 56 64 62 65 4f 70 4c 69 73 74 20  ruct VdbeOpList 
0e40: 7b 0a 20 20 75 38 20 6f 70 63 6f 64 65 3b 20 20  {.  u8 opcode;  
0e50: 20 20 20 20 20 20 20 20 2f 2a 20 57 68 61 74 20          /* What 
0e60: 6f 70 65 72 61 74 69 6f 6e 20 74 6f 20 70 65 72  operation to per
0e70: 66 6f 72 6d 20 2a 2f 0a 20 20 73 69 67 6e 65 64  form */.  signed
0e80: 20 63 68 61 72 20 70 31 3b 20 20 20 20 20 2f 2a   char p1;     /*
0e90: 20 46 69 72 73 74 20 6f 70 65 72 61 6e 64 20 2a   First operand *
0ea0: 2f 0a 20 20 73 69 67 6e 65 64 20 63 68 61 72 20  /.  signed char 
0eb0: 70 32 3b 20 20 20 20 20 2f 2a 20 53 65 63 6f 6e  p2;     /* Secon
0ec0: 64 20 70 61 72 61 6d 65 74 65 72 20 28 6f 66 74  d parameter (oft
0ed0: 65 6e 20 74 68 65 20 6a 75 6d 70 20 64 65 73 74  en the jump dest
0ee0: 69 6e 61 74 69 6f 6e 29 20 2a 2f 0a 20 20 73 69  ination) */.  si
0ef0: 67 6e 65 64 20 63 68 61 72 20 70 33 3b 20 20 20  gned char p3;   
0f00: 20 20 2f 2a 20 54 68 69 72 64 20 70 61 72 61 6d    /* Third param
0f10: 65 74 65 72 20 2a 2f 0a 7d 3b 0a 74 79 70 65 64  eter */.};.typed
0f20: 65 66 20 73 74 72 75 63 74 20 56 64 62 65 4f 70  ef struct VdbeOp
0f30: 4c 69 73 74 20 56 64 62 65 4f 70 4c 69 73 74 3b  List VdbeOpList;
0f40: 0a 0a 2f 2a 0a 2a 2a 20 41 6c 6c 6f 77 65 64 20  ../*.** Allowed 
0f50: 76 61 6c 75 65 73 20 6f 66 20 56 64 62 65 4f 70  values of VdbeOp
0f60: 2e 70 34 74 79 70 65 0a 2a 2f 0a 23 64 65 66 69  .p4type.*/.#defi
0f70: 6e 65 20 50 34 5f 4e 4f 54 55 53 45 44 20 20 20  ne P4_NOTUSED   
0f80: 20 30 20 20 20 2f 2a 20 54 68 65 20 50 34 20 70   0   /* The P4 p
0f90: 61 72 61 6d 65 74 65 72 20 69 73 20 6e 6f 74 20  arameter is not 
0fa0: 75 73 65 64 20 2a 2f 0a 23 64 65 66 69 6e 65 20  used */.#define 
0fb0: 50 34 5f 44 59 4e 41 4d 49 43 20 20 28 2d 31 29  P4_DYNAMIC  (-1)
0fc0: 20 20 2f 2a 20 50 6f 69 6e 74 65 72 20 74 6f 20    /* Pointer to 
0fd0: 61 20 73 74 72 69 6e 67 20 6f 62 74 61 69 6e 65  a string obtaine
0fe0: 64 20 66 72 6f 6d 20 73 71 6c 69 74 65 4d 61 6c  d from sqliteMal
0ff0: 6c 6f 63 28 29 20 2a 2f 0a 23 64 65 66 69 6e 65  loc() */.#define
1000: 20 50 34 5f 53 54 41 54 49 43 20 20 20 28 2d 32   P4_STATIC   (-2
1010: 29 20 20 2f 2a 20 50 6f 69 6e 74 65 72 20 74 6f  )  /* Pointer to
1020: 20 61 20 73 74 61 74 69 63 20 73 74 72 69 6e 67   a static string
1030: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 43   */.#define P4_C
1040: 4f 4c 4c 53 45 51 20 20 28 2d 34 29 20 20 2f 2a  OLLSEQ  (-4)  /*
1050: 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72   P4 is a pointer
1060: 20 74 6f 20 61 20 43 6f 6c 6c 53 65 71 20 73 74   to a CollSeq st
1070: 72 75 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69  ructure */.#defi
1080: 6e 65 20 50 34 5f 46 55 4e 43 44 45 46 20 20 28  ne P4_FUNCDEF  (
1090: 2d 35 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20  -5)  /* P4 is a 
10a0: 70 6f 69 6e 74 65 72 20 74 6f 20 61 20 46 75 6e  pointer to a Fun
10b0: 63 44 65 66 20 73 74 72 75 63 74 75 72 65 20 2a  cDef structure *
10c0: 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 4b 45 59  /.#define P4_KEY
10d0: 49 4e 46 4f 20 20 28 2d 36 29 20 20 2f 2a 20 50  INFO  (-6)  /* P
10e0: 34 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74  4 is a pointer t
10f0: 6f 20 61 20 4b 65 79 49 6e 66 6f 20 73 74 72 75  o a KeyInfo stru
1100: 63 74 75 72 65 20 2a 2f 0a 23 64 65 66 69 6e 65  cture */.#define
1110: 20 50 34 5f 45 58 50 52 20 20 20 20 20 28 2d 37   P4_EXPR     (-7
1120: 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f  )  /* P4 is a po
1130: 69 6e 74 65 72 20 74 6f 20 61 6e 20 45 78 70 72  inter to an Expr
1140: 20 74 72 65 65 20 2a 2f 0a 23 64 65 66 69 6e 65   tree */.#define
1150: 20 50 34 5f 4d 45 4d 20 20 20 20 20 20 28 2d 38   P4_MEM      (-8
1160: 29 20 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f  )  /* P4 is a po
1170: 69 6e 74 65 72 20 74 6f 20 61 20 4d 65 6d 2a 20  inter to a Mem* 
1180: 20 20 20 73 74 72 75 63 74 75 72 65 20 2a 2f 0a     structure */.
1190: 23 64 65 66 69 6e 65 20 50 34 5f 54 52 41 4e 53  #define P4_TRANS
11a0: 49 45 4e 54 20 20 30 20 20 20 2f 2a 20 50 34 20  IENT  0   /* P4 
11b0: 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f 20  is a pointer to 
11c0: 61 20 74 72 61 6e 73 69 65 6e 74 20 73 74 72 69  a transient stri
11d0: 6e 67 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34  ng */.#define P4
11e0: 5f 56 54 41 42 20 20 20 20 20 28 2d 31 30 29 20  _VTAB     (-10) 
11f0: 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e 74  /* P4 is a point
1200: 65 72 20 74 6f 20 61 6e 20 73 71 6c 69 74 65 33  er to an sqlite3
1210: 5f 76 74 61 62 20 73 74 72 75 63 74 75 72 65 20  _vtab structure 
1220: 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 4d 50  */.#define P4_MP
1230: 52 49 4e 54 46 20 20 28 2d 31 31 29 20 2f 2a 20  RINTF  (-11) /* 
1240: 50 34 20 69 73 20 61 20 73 74 72 69 6e 67 20 6f  P4 is a string o
1250: 62 74 61 69 6e 65 64 20 66 72 6f 6d 20 73 71 6c  btained from sql
1260: 69 74 65 33 5f 6d 70 72 69 6e 74 66 28 29 20 2a  ite3_mprintf() *
1270: 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 52 45 41  /.#define P4_REA
1280: 4c 20 20 20 20 20 28 2d 31 32 29 20 2f 2a 20 50  L     (-12) /* P
1290: 34 20 69 73 20 61 20 36 34 2d 62 69 74 20 66 6c  4 is a 64-bit fl
12a0: 6f 61 74 69 6e 67 20 70 6f 69 6e 74 20 76 61 6c  oating point val
12b0: 75 65 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34  ue */.#define P4
12c0: 5f 49 4e 54 36 34 20 20 20 20 28 2d 31 33 29 20  _INT64    (-13) 
12d0: 2f 2a 20 50 34 20 69 73 20 61 20 36 34 2d 62 69  /* P4 is a 64-bi
12e0: 74 20 73 69 67 6e 65 64 20 69 6e 74 65 67 65 72  t signed integer
12f0: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 49   */.#define P4_I
1300: 4e 54 33 32 20 20 20 20 28 2d 31 34 29 20 2f 2a  NT32    (-14) /*
1310: 20 50 34 20 69 73 20 61 20 33 32 2d 62 69 74 20   P4 is a 32-bit 
1320: 73 69 67 6e 65 64 20 69 6e 74 65 67 65 72 20 2a  signed integer *
1330: 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 49 4e 54  /.#define P4_INT
1340: 41 52 52 41 59 20 28 2d 31 35 29 20 2f 2a 20 50  ARRAY (-15) /* P
1350: 34 20 69 73 20 61 20 76 65 63 74 6f 72 20 6f 66  4 is a vector of
1360: 20 33 32 2d 62 69 74 20 69 6e 74 65 67 65 72 73   32-bit integers
1370: 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 34 5f 53   */.#define P4_S
1380: 55 42 50 52 4f 47 52 41 4d 20 20 28 2d 31 38 29  UBPROGRAM  (-18)
1390: 20 2f 2a 20 50 34 20 69 73 20 61 20 70 6f 69 6e   /* P4 is a poin
13a0: 74 65 72 20 74 6f 20 61 20 53 75 62 50 72 6f 67  ter to a SubProg
13b0: 72 61 6d 20 73 74 72 75 63 74 75 72 65 20 2a 2f  ram structure */
13c0: 0a 23 64 65 66 69 6e 65 20 50 34 5f 41 44 56 41  .#define P4_ADVA
13d0: 4e 43 45 20 20 28 2d 31 39 29 20 2f 2a 20 50 34  NCE  (-19) /* P4
13e0: 20 69 73 20 61 20 70 6f 69 6e 74 65 72 20 74 6f   is a pointer to
13f0: 20 42 74 72 65 65 4e 65 78 74 28 29 20 6f 72 20   BtreeNext() or 
1400: 42 74 72 65 65 50 72 65 76 28 29 20 2a 2f 0a 0a  BtreePrev() */..
1410: 2f 2a 20 45 72 72 6f 72 20 6d 65 73 73 61 67 65  /* Error message
1420: 20 63 6f 64 65 73 20 66 6f 72 20 4f 50 5f 48 61   codes for OP_Ha
1430: 6c 74 20 2a 2f 0a 23 64 65 66 69 6e 65 20 50 35  lt */.#define P5
1440: 5f 43 6f 6e 73 74 72 61 69 6e 74 4e 6f 74 4e 75  _ConstraintNotNu
1450: 6c 6c 20 31 0a 23 64 65 66 69 6e 65 20 50 35 5f  ll 1.#define P5_
1460: 43 6f 6e 73 74 72 61 69 6e 74 55 6e 69 71 75 65  ConstraintUnique
1470: 20 20 32 0a 23 64 65 66 69 6e 65 20 50 35 5f 43    2.#define P5_C
1480: 6f 6e 73 74 72 61 69 6e 74 43 68 65 63 6b 20 20  onstraintCheck  
1490: 20 33 0a 23 64 65 66 69 6e 65 20 50 35 5f 43 6f   3.#define P5_Co
14a0: 6e 73 74 72 61 69 6e 74 46 4b 20 20 20 20 20 20  nstraintFK      
14b0: 34 0a 0a 2f 2a 0a 2a 2a 20 54 68 65 20 56 64 62  4../*.** The Vdb
14c0: 65 2e 61 43 6f 6c 4e 61 6d 65 20 61 72 72 61 79  e.aColName array
14d0: 20 63 6f 6e 74 61 69 6e 73 20 35 6e 20 4d 65 6d   contains 5n Mem
14e0: 20 73 74 72 75 63 74 75 72 65 73 2c 20 77 68 65   structures, whe
14f0: 72 65 20 6e 20 69 73 20 74 68 65 20 0a 2a 2a 20  re n is the .** 
1500: 6e 75 6d 62 65 72 20 6f 66 20 63 6f 6c 75 6d 6e  number of column
1510: 73 20 6f 66 20 64 61 74 61 20 72 65 74 75 72 6e  s of data return
1520: 65 64 20 62 79 20 74 68 65 20 73 74 61 74 65 6d  ed by the statem
1530: 65 6e 74 2e 0a 2a 2f 0a 23 64 65 66 69 6e 65 20  ent..*/.#define 
1540: 43 4f 4c 4e 41 4d 45 5f 4e 41 4d 45 20 20 20 20  COLNAME_NAME    
1550: 20 30 0a 23 64 65 66 69 6e 65 20 43 4f 4c 4e 41   0.#define COLNA
1560: 4d 45 5f 44 45 43 4c 54 59 50 45 20 31 0a 23 64  ME_DECLTYPE 1.#d
1570: 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 44 41  efine COLNAME_DA
1580: 54 41 42 41 53 45 20 32 0a 23 64 65 66 69 6e 65  TABASE 2.#define
1590: 20 43 4f 4c 4e 41 4d 45 5f 54 41 42 4c 45 20 20   COLNAME_TABLE  
15a0: 20 20 33 0a 23 64 65 66 69 6e 65 20 43 4f 4c 4e    3.#define COLN
15b0: 41 4d 45 5f 43 4f 4c 55 4d 4e 20 20 20 34 0a 23  AME_COLUMN   4.#
15c0: 69 66 64 65 66 20 53 51 4c 49 54 45 5f 45 4e 41  ifdef SQLITE_ENA
15d0: 42 4c 45 5f 43 4f 4c 55 4d 4e 5f 4d 45 54 41 44  BLE_COLUMN_METAD
15e0: 41 54 41 0a 23 20 64 65 66 69 6e 65 20 43 4f 4c  ATA.# define COL
15f0: 4e 41 4d 45 5f 4e 20 20 20 20 20 20 20 20 35 20  NAME_N        5 
1600: 20 20 20 20 20 2f 2a 20 4e 75 6d 62 65 72 20 6f       /* Number o
1610: 66 20 43 4f 4c 4e 41 4d 45 5f 78 78 78 20 73 79  f COLNAME_xxx sy
1620: 6d 62 6f 6c 73 20 2a 2f 0a 23 65 6c 73 65 0a 23  mbols */.#else.#
1630: 20 69 66 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d   ifdef SQLITE_OM
1640: 49 54 5f 44 45 43 4c 54 59 50 45 0a 23 20 20 20  IT_DECLTYPE.#   
1650: 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45 5f 4e  define COLNAME_N
1660: 20 20 20 20 20 20 31 20 20 20 20 20 20 2f 2a 20        1      /* 
1670: 53 74 6f 72 65 20 6f 6e 6c 79 20 74 68 65 20 6e  Store only the n
1680: 61 6d 65 20 2a 2f 0a 23 20 65 6c 73 65 0a 23 20  ame */.# else.# 
1690: 20 20 64 65 66 69 6e 65 20 43 4f 4c 4e 41 4d 45    define COLNAME
16a0: 5f 4e 20 20 20 20 20 20 32 20 20 20 20 20 20 2f  _N      2      /
16b0: 2a 20 53 74 6f 72 65 20 74 68 65 20 6e 61 6d 65  * Store the name
16c0: 20 61 6e 64 20 64 65 63 6c 74 79 70 65 20 2a 2f   and decltype */
16d0: 0a 23 20 65 6e 64 69 66 0a 23 65 6e 64 69 66 0a  .# endif.#endif.
16e0: 0a 2f 2a 0a 2a 2a 20 54 68 65 20 66 6f 6c 6c 6f  ./*.** The follo
16f0: 77 69 6e 67 20 6d 61 63 72 6f 20 63 6f 6e 76 65  wing macro conve
1700: 72 74 73 20 61 20 72 65 6c 61 74 69 76 65 20 61  rts a relative a
1710: 64 64 72 65 73 73 20 69 6e 20 74 68 65 20 70 32  ddress in the p2
1720: 20 66 69 65 6c 64 0a 2a 2a 20 6f 66 20 61 20 56   field.** of a V
1730: 64 62 65 4f 70 20 73 74 72 75 63 74 75 72 65 20  dbeOp structure 
1740: 69 6e 74 6f 20 61 20 6e 65 67 61 74 69 76 65 20  into a negative 
1750: 6e 75 6d 62 65 72 20 73 6f 20 74 68 61 74 20 0a  number so that .
1760: 2a 2a 20 73 71 6c 69 74 65 33 56 64 62 65 41 64  ** sqlite3VdbeAd
1770: 64 4f 70 4c 69 73 74 28 29 20 6b 6e 6f 77 73 20  dOpList() knows 
1780: 74 68 61 74 20 74 68 65 20 61 64 64 72 65 73 73  that the address
1790: 20 69 73 20 72 65 6c 61 74 69 76 65 2e 20 20 43   is relative.  C
17a0: 61 6c 6c 69 6e 67 0a 2a 2a 20 74 68 65 20 6d 61  alling.** the ma
17b0: 63 72 6f 20 61 67 61 69 6e 20 72 65 73 74 6f 72  cro again restor
17c0: 65 73 20 74 68 65 20 61 64 64 72 65 73 73 2e 0a  es the address..
17d0: 2a 2f 0a 23 64 65 66 69 6e 65 20 41 44 44 52 28  */.#define ADDR(
17e0: 58 29 20 20 28 2d 31 2d 28 58 29 29 0a 0a 2f 2a  X)  (-1-(X))../*
17f0: 0a 2a 2a 20 54 68 65 20 6d 61 6b 65 66 69 6c 65  .** The makefile
1800: 20 73 63 61 6e 73 20 74 68 65 20 76 64 62 65 2e   scans the vdbe.
1810: 63 20 73 6f 75 72 63 65 20 66 69 6c 65 20 61 6e  c source file an
1820: 64 20 63 72 65 61 74 65 73 20 74 68 65 20 22 6f  d creates the "o
1830: 70 63 6f 64 65 73 2e 68 22 0a 2a 2a 20 68 65 61  pcodes.h".** hea
1840: 64 65 72 20 66 69 6c 65 20 74 68 61 74 20 64 65  der file that de
1850: 66 69 6e 65 73 20 61 20 6e 75 6d 62 65 72 20 66  fines a number f
1860: 6f 72 20 65 61 63 68 20 6f 70 63 6f 64 65 20 75  or each opcode u
1870: 73 65 64 20 62 79 20 74 68 65 20 56 44 42 45 2e  sed by the VDBE.
1880: 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22 6f 70  .*/.#include "op
1890: 63 6f 64 65 73 2e 68 22 0a 0a 2f 2a 0a 2a 2a 20  codes.h"../*.** 
18a0: 50 72 6f 74 6f 74 79 70 65 73 20 66 6f 72 20 74  Prototypes for t
18b0: 68 65 20 56 44 42 45 20 69 6e 74 65 72 66 61 63  he VDBE interfac
18c0: 65 2e 20 20 53 65 65 20 63 6f 6d 6d 65 6e 74 73  e.  See comments
18d0: 20 6f 6e 20 74 68 65 20 69 6d 70 6c 65 6d 65 6e   on the implemen
18e0: 74 61 74 69 6f 6e 0a 2a 2a 20 66 6f 72 20 61 20  tation.** for a 
18f0: 64 65 73 63 72 69 70 74 69 6f 6e 20 6f 66 20 77  description of w
1900: 68 61 74 20 65 61 63 68 20 6f 66 20 74 68 65 73  hat each of thes
1910: 65 20 72 6f 75 74 69 6e 65 73 20 64 6f 65 73 2e  e routines does.
1920: 0a 2a 2f 0a 56 64 62 65 20 2a 73 71 6c 69 74 65  .*/.Vdbe *sqlite
1930: 33 56 64 62 65 43 72 65 61 74 65 28 73 71 6c 69  3VdbeCreate(sqli
1940: 74 65 33 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74  te3*);.int sqlit
1950: 65 33 56 64 62 65 41 64 64 4f 70 30 28 56 64 62  e3VdbeAddOp0(Vdb
1960: 65 2a 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c  e*,int);.int sql
1970: 69 74 65 33 56 64 62 65 41 64 64 4f 70 31 28 56  ite3VdbeAddOp1(V
1980: 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 29 3b 0a 69  dbe*,int,int);.i
1990: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 41 64  nt sqlite3VdbeAd
19a0: 64 4f 70 32 28 56 64 62 65 2a 2c 69 6e 74 2c 69  dOp2(Vdbe*,int,i
19b0: 6e 74 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c  nt,int);.int sql
19c0: 69 74 65 33 56 64 62 65 41 64 64 4f 70 33 28 56  ite3VdbeAddOp3(V
19d0: 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74  dbe*,int,int,int
19e0: 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74  ,int);.int sqlit
19f0: 65 33 56 64 62 65 41 64 64 4f 70 34 28 56 64 62  e3VdbeAddOp4(Vdb
1a00: 65 2a 2c 69 6e 74 2c 69 6e 74 2c 69 6e 74 2c 69  e*,int,int,int,i
1a10: 6e 74 2c 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a  nt,const char *z
1a20: 50 34 2c 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c  P4,int);.int sql
1a30: 69 74 65 33 56 64 62 65 41 64 64 4f 70 34 49 6e  ite3VdbeAddOp4In
1a40: 74 28 56 64 62 65 2a 2c 69 6e 74 2c 69 6e 74 2c  t(Vdbe*,int,int,
1a50: 69 6e 74 2c 69 6e 74 2c 69 6e 74 29 3b 0a 69 6e  int,int,int);.in
1a60: 74 20 73 71 6c 69 74 65 33 56 64 62 65 41 64 64  t sqlite3VdbeAdd
1a70: 4f 70 4c 69 73 74 28 56 64 62 65 2a 2c 20 69 6e  OpList(Vdbe*, in
1a80: 74 20 6e 4f 70 2c 20 56 64 62 65 4f 70 4c 69 73  t nOp, VdbeOpLis
1a90: 74 20 63 6f 6e 73 74 20 2a 61 4f 70 29 3b 0a 76  t const *aOp);.v
1aa0: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 41  oid sqlite3VdbeA
1ab0: 64 64 50 61 72 73 65 53 63 68 65 6d 61 4f 70 28  ddParseSchemaOp(
1ac0: 56 64 62 65 2a 2c 69 6e 74 2c 63 68 61 72 2a 29  Vdbe*,int,char*)
1ad0: 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64  ;.void sqlite3Vd
1ae0: 62 65 43 68 61 6e 67 65 50 31 28 56 64 62 65 2a  beChangeP1(Vdbe*
1af0: 2c 20 75 33 32 20 61 64 64 72 2c 20 69 6e 74 20  , u32 addr, int 
1b00: 50 31 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65  P1);.void sqlite
1b10: 33 56 64 62 65 43 68 61 6e 67 65 50 32 28 56 64  3VdbeChangeP2(Vd
1b20: 62 65 2a 2c 20 75 33 32 20 61 64 64 72 2c 20 69  be*, u32 addr, i
1b30: 6e 74 20 50 32 29 3b 0a 76 6f 69 64 20 73 71 6c  nt P2);.void sql
1b40: 69 74 65 33 56 64 62 65 43 68 61 6e 67 65 50 33  ite3VdbeChangeP3
1b50: 28 56 64 62 65 2a 2c 20 75 33 32 20 61 64 64 72  (Vdbe*, u32 addr
1b60: 2c 20 69 6e 74 20 50 33 29 3b 0a 76 6f 69 64 20  , int P3);.void 
1b70: 73 71 6c 69 74 65 33 56 64 62 65 43 68 61 6e 67  sqlite3VdbeChang
1b80: 65 50 35 28 56 64 62 65 2a 2c 20 75 38 20 50 35  eP5(Vdbe*, u8 P5
1b90: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
1ba0: 64 62 65 4a 75 6d 70 48 65 72 65 28 56 64 62 65  dbeJumpHere(Vdbe
1bb0: 2a 2c 20 69 6e 74 20 61 64 64 72 29 3b 0a 76 6f  *, int addr);.vo
1bc0: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 68  id sqlite3VdbeCh
1bd0: 61 6e 67 65 54 6f 4e 6f 6f 70 28 56 64 62 65 2a  angeToNoop(Vdbe*
1be0: 2c 20 69 6e 74 20 61 64 64 72 29 3b 0a 76 6f 69  , int addr);.voi
1bf0: 64 20 73 71 6c 69 74 65 33 56 64 62 65 43 68 61  d sqlite3VdbeCha
1c00: 6e 67 65 50 34 28 56 64 62 65 2a 2c 20 69 6e 74  ngeP4(Vdbe*, int
1c10: 20 61 64 64 72 2c 20 63 6f 6e 73 74 20 63 68 61   addr, const cha
1c20: 72 20 2a 7a 50 34 2c 20 69 6e 74 20 4e 29 3b 0a  r *zP4, int N);.
1c30: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
1c40: 53 65 74 50 34 4b 65 79 49 6e 66 6f 28 50 61 72  SetP4KeyInfo(Par
1c50: 73 65 2a 2c 20 49 6e 64 65 78 2a 29 3b 0a 76 6f  se*, Index*);.vo
1c60: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 55 73  id sqlite3VdbeUs
1c70: 65 73 42 74 72 65 65 28 56 64 62 65 2a 2c 20 69  esBtree(Vdbe*, i
1c80: 6e 74 29 3b 0a 56 64 62 65 4f 70 20 2a 73 71 6c  nt);.VdbeOp *sql
1c90: 69 74 65 33 56 64 62 65 47 65 74 4f 70 28 56 64  ite3VdbeGetOp(Vd
1ca0: 62 65 2a 2c 20 69 6e 74 29 3b 0a 69 6e 74 20 73  be*, int);.int s
1cb0: 71 6c 69 74 65 33 56 64 62 65 4d 61 6b 65 4c 61  qlite3VdbeMakeLa
1cc0: 62 65 6c 28 56 64 62 65 2a 29 3b 0a 76 6f 69 64  bel(Vdbe*);.void
1cd0: 20 73 71 6c 69 74 65 33 56 64 62 65 52 75 6e 4f   sqlite3VdbeRunO
1ce0: 6e 6c 79 4f 6e 63 65 28 56 64 62 65 2a 29 3b 0a  nlyOnce(Vdbe*);.
1cf0: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
1d00: 44 65 6c 65 74 65 28 56 64 62 65 2a 29 3b 0a 76  Delete(Vdbe*);.v
1d10: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 43  oid sqlite3VdbeC
1d20: 6c 65 61 72 4f 62 6a 65 63 74 28 73 71 6c 69 74  learObject(sqlit
1d30: 65 33 2a 2c 56 64 62 65 2a 29 3b 0a 76 6f 69 64  e3*,Vdbe*);.void
1d40: 20 73 71 6c 69 74 65 33 56 64 62 65 4d 61 6b 65   sqlite3VdbeMake
1d50: 52 65 61 64 79 28 56 64 62 65 2a 2c 50 61 72 73  Ready(Vdbe*,Pars
1d60: 65 2a 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33  e*);.int sqlite3
1d70: 56 64 62 65 46 69 6e 61 6c 69 7a 65 28 56 64 62  VdbeFinalize(Vdb
1d80: 65 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65  e*);.void sqlite
1d90: 33 56 64 62 65 52 65 73 6f 6c 76 65 4c 61 62 65  3VdbeResolveLabe
1da0: 6c 28 56 64 62 65 2a 2c 20 69 6e 74 29 3b 0a 69  l(Vdbe*, int);.i
1db0: 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65 43 75  nt sqlite3VdbeCu
1dc0: 72 72 65 6e 74 41 64 64 72 28 56 64 62 65 2a 29  rrentAddr(Vdbe*)
1dd0: 3b 0a 23 69 66 64 65 66 20 53 51 4c 49 54 45 5f  ;.#ifdef SQLITE_
1de0: 44 45 42 55 47 0a 20 20 69 6e 74 20 73 71 6c 69  DEBUG.  int sqli
1df0: 74 65 33 56 64 62 65 41 73 73 65 72 74 4d 61 79  te3VdbeAssertMay
1e00: 41 62 6f 72 74 28 56 64 62 65 20 2a 2c 20 69 6e  Abort(Vdbe *, in
1e10: 74 29 3b 0a 23 65 6e 64 69 66 0a 76 6f 69 64 20  t);.#endif.void 
1e20: 73 71 6c 69 74 65 33 56 64 62 65 52 65 73 65 74  sqlite3VdbeReset
1e30: 53 74 65 70 52 65 73 75 6c 74 28 56 64 62 65 2a  StepResult(Vdbe*
1e40: 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33 56  );.void sqlite3V
1e50: 64 62 65 52 65 77 69 6e 64 28 56 64 62 65 2a 29  dbeRewind(Vdbe*)
1e60: 3b 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62  ;.int sqlite3Vdb
1e70: 65 52 65 73 65 74 28 56 64 62 65 2a 29 3b 0a 76  eReset(Vdbe*);.v
1e80: 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 53  oid sqlite3VdbeS
1e90: 65 74 4e 75 6d 43 6f 6c 73 28 56 64 62 65 2a 2c  etNumCols(Vdbe*,
1ea0: 69 6e 74 29 3b 0a 69 6e 74 20 73 71 6c 69 74 65  int);.int sqlite
1eb0: 33 56 64 62 65 53 65 74 43 6f 6c 4e 61 6d 65 28  3VdbeSetColName(
1ec0: 56 64 62 65 2a 2c 20 69 6e 74 2c 20 69 6e 74 2c  Vdbe*, int, int,
1ed0: 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 2c 20 76   const char *, v
1ee0: 6f 69 64 28 2a 29 28 76 6f 69 64 2a 29 29 3b 0a  oid(*)(void*));.
1ef0: 76 6f 69 64 20 73 71 6c 69 74 65 33 56 64 62 65  void sqlite3Vdbe
1f00: 43 6f 75 6e 74 43 68 61 6e 67 65 73 28 56 64 62  CountChanges(Vdb
1f10: 65 2a 29 3b 0a 73 71 6c 69 74 65 33 20 2a 73 71  e*);.sqlite3 *sq
1f20: 6c 69 74 65 33 56 64 62 65 44 62 28 56 64 62 65  lite3VdbeDb(Vdbe
1f30: 2a 29 3b 0a 76 6f 69 64 20 73 71 6c 69 74 65 33  *);.void sqlite3
1f40: 56 64 62 65 53 65 74 53 71 6c 28 56 64 62 65 2a  VdbeSetSql(Vdbe*
1f50: 2c 20 63 6f 6e 73 74 20 63 68 61 72 20 2a 7a 2c  , const char *z,
1f60: 20 69 6e 74 20 6e 2c 20 69 6e 74 29 3b 0a 76 6f   int n, int);.vo
1f70: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 53 77  id sqlite3VdbeSw
1f80: 61 70 28 56 64 62 65 2a 2c 56 64 62 65 2a 29 3b  ap(Vdbe*,Vdbe*);
1f90: 0a 56 64 62 65 4f 70 20 2a 73 71 6c 69 74 65 33  .VdbeOp *sqlite3
1fa0: 56 64 62 65 54 61 6b 65 4f 70 41 72 72 61 79 28  VdbeTakeOpArray(
1fb0: 56 64 62 65 2a 2c 20 69 6e 74 2a 2c 20 69 6e 74  Vdbe*, int*, int
1fc0: 2a 29 3b 0a 73 71 6c 69 74 65 33 5f 76 61 6c 75  *);.sqlite3_valu
1fd0: 65 20 2a 73 71 6c 69 74 65 33 56 64 62 65 47 65  e *sqlite3VdbeGe
1fe0: 74 42 6f 75 6e 64 56 61 6c 75 65 28 56 64 62 65  tBoundValue(Vdbe
1ff0: 2a 2c 20 69 6e 74 2c 20 75 38 29 3b 0a 76 6f 69  *, int, u8);.voi
2000: 64 20 73 71 6c 69 74 65 33 56 64 62 65 53 65 74  d sqlite3VdbeSet
2010: 56 61 72 6d 61 73 6b 28 56 64 62 65 2a 2c 20 69  Varmask(Vdbe*, i
2020: 6e 74 29 3b 0a 23 69 66 6e 64 65 66 20 53 51 4c  nt);.#ifndef SQL
2030: 49 54 45 5f 4f 4d 49 54 5f 54 52 41 43 45 0a 20  ITE_OMIT_TRACE. 
2040: 20 63 68 61 72 20 2a 73 71 6c 69 74 65 33 56 64   char *sqlite3Vd
2050: 62 65 45 78 70 61 6e 64 53 71 6c 28 56 64 62 65  beExpandSql(Vdbe
2060: 2a 2c 20 63 6f 6e 73 74 20 63 68 61 72 2a 29 3b  *, const char*);
2070: 0a 23 65 6e 64 69 66 0a 0a 76 6f 69 64 20 73 71  .#endif..void sq
2080: 6c 69 74 65 33 56 64 62 65 52 65 63 6f 72 64 55  lite3VdbeRecordU
2090: 6e 70 61 63 6b 28 4b 65 79 49 6e 66 6f 2a 2c 69  npack(KeyInfo*,i
20a0: 6e 74 2c 63 6f 6e 73 74 20 76 6f 69 64 2a 2c 55  nt,const void*,U
20b0: 6e 70 61 63 6b 65 64 52 65 63 6f 72 64 2a 29 3b  npackedRecord*);
20c0: 0a 69 6e 74 20 73 71 6c 69 74 65 33 56 64 62 65  .int sqlite3Vdbe
20d0: 52 65 63 6f 72 64 43 6f 6d 70 61 72 65 28 69 6e  RecordCompare(in
20e0: 74 2c 63 6f 6e 73 74 20 76 6f 69 64 2a 2c 55 6e  t,const void*,Un
20f0: 70 61 63 6b 65 64 52 65 63 6f 72 64 2a 29 3b 0a  packedRecord*);.
2100: 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64 20 2a  UnpackedRecord *
2110: 73 71 6c 69 74 65 33 56 64 62 65 41 6c 6c 6f 63  sqlite3VdbeAlloc
2120: 55 6e 70 61 63 6b 65 64 52 65 63 6f 72 64 28 4b  UnpackedRecord(K
2130: 65 79 49 6e 66 6f 20 2a 2c 20 63 68 61 72 20 2a  eyInfo *, char *
2140: 2c 20 69 6e 74 2c 20 63 68 61 72 20 2a 2a 29 3b  , int, char **);
2150: 0a 0a 23 69 66 6e 64 65 66 20 53 51 4c 49 54 45  ..#ifndef SQLITE
2160: 5f 4f 4d 49 54 5f 54 52 49 47 47 45 52 0a 76 6f  _OMIT_TRIGGER.vo
2170: 69 64 20 73 71 6c 69 74 65 33 56 64 62 65 4c 69  id sqlite3VdbeLi
2180: 6e 6b 53 75 62 50 72 6f 67 72 61 6d 28 56 64 62  nkSubProgram(Vdb
2190: 65 20 2a 2c 20 53 75 62 50 72 6f 67 72 61 6d 20  e *, SubProgram 
21a0: 2a 29 3b 0a 23 65 6e 64 69 66 0a 0a 2f 2a 20 55  *);.#endif../* U
21b0: 73 65 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45  se SQLITE_ENABLE
21c0: 5f 43 4f 4d 4d 45 4e 54 53 20 74 6f 20 65 6e 61  _COMMENTS to ena
21d0: 62 6c 65 20 67 65 6e 65 72 61 74 69 6f 6e 20 6f  ble generation o
21e0: 66 20 65 78 74 72 61 20 63 6f 6d 6d 65 6e 74 73  f extra comments
21f0: 20 6f 6e 0a 2a 2a 20 65 61 63 68 20 56 44 42 45   on.** each VDBE
2200: 20 6f 70 63 6f 64 65 2e 0a 2a 2a 0a 2a 2a 20 55   opcode..**.** U
2210: 73 65 20 74 68 65 20 53 51 4c 49 54 45 5f 45 4e  se the SQLITE_EN
2220: 41 42 4c 45 5f 4d 4f 44 55 4c 45 5f 43 4f 4d 4d  ABLE_MODULE_COMM
2230: 45 4e 54 53 20 6d 61 63 72 6f 20 74 6f 20 73 65  ENTS macro to se
2240: 65 20 73 6f 6d 65 20 65 78 74 72 61 20 6e 6f 2d  e some extra no-
2250: 6f 70 0a 2a 2a 20 63 6f 6d 6d 65 6e 74 73 20 69  op.** comments i
2260: 6e 20 56 44 42 45 20 70 72 6f 67 72 61 6d 73 20  n VDBE programs 
2270: 74 68 61 74 20 73 68 6f 77 20 6b 65 79 20 64 65  that show key de
2280: 63 69 73 69 6f 6e 20 70 6f 69 6e 74 73 20 69 6e  cision points in
2290: 20 74 68 65 20 63 6f 64 65 0a 2a 2a 20 67 65 6e   the code.** gen
22a0: 65 72 61 74 6f 72 2e 0a 2a 2f 0a 23 69 66 64 65  erator..*/.#ifde
22b0: 66 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f  f SQLITE_ENABLE_
22c0: 45 58 50 4c 41 49 4e 5f 43 4f 4d 4d 45 4e 54 53  EXPLAIN_COMMENTS
22d0: 0a 20 20 76 6f 69 64 20 73 71 6c 69 74 65 33 56  .  void sqlite3V
22e0: 64 62 65 43 6f 6d 6d 65 6e 74 28 56 64 62 65 2a  dbeComment(Vdbe*
22f0: 2c 20 63 6f 6e 73 74 20 63 68 61 72 2a 2c 20 2e  , const char*, .
2300: 2e 2e 29 3b 0a 23 20 64 65 66 69 6e 65 20 56 64  ..);.# define Vd
2310: 62 65 43 6f 6d 6d 65 6e 74 28 58 29 20 20 73 71  beComment(X)  sq
2320: 6c 69 74 65 33 56 64 62 65 43 6f 6d 6d 65 6e 74  lite3VdbeComment
2330: 20 58 0a 20 20 76 6f 69 64 20 73 71 6c 69 74 65   X.  void sqlite
2340: 33 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74  3VdbeNoopComment
2350: 28 56 64 62 65 2a 2c 20 63 6f 6e 73 74 20 63 68  (Vdbe*, const ch
2360: 61 72 2a 2c 20 2e 2e 2e 29 3b 0a 23 20 64 65 66  ar*, ...);.# def
2370: 69 6e 65 20 56 64 62 65 4e 6f 6f 70 43 6f 6d 6d  ine VdbeNoopComm
2380: 65 6e 74 28 58 29 20 20 73 71 6c 69 74 65 33 56  ent(X)  sqlite3V
2390: 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 20 58  dbeNoopComment X
23a0: 0a 23 20 69 66 64 65 66 20 53 51 4c 49 54 45 5f  .# ifdef SQLITE_
23b0: 45 4e 41 42 4c 45 5f 4d 4f 44 55 4c 45 5f 43 4f  ENABLE_MODULE_CO
23c0: 4d 4d 45 4e 54 53 0a 23 20 20 20 64 65 66 69 6e  MMENTS.#   defin
23d0: 65 20 56 64 62 65 4d 6f 64 75 6c 65 43 6f 6d 6d  e VdbeModuleComm
23e0: 65 6e 74 28 58 29 20 20 73 71 6c 69 74 65 33 56  ent(X)  sqlite3V
23f0: 64 62 65 4e 6f 6f 70 43 6f 6d 6d 65 6e 74 20 58  dbeNoopComment X
2400: 0a 23 20 65 6c 73 65 0a 23 20 20 20 64 65 66 69  .# else.#   defi
2410: 6e 65 20 56 64 62 65 4d 6f 64 75 6c 65 43 6f 6d  ne VdbeModuleCom
2420: 6d 65 6e 74 28 58 29 0a 23 20 65 6e 64 69 66 0a  ment(X).# endif.
2430: 23 65 6c 73 65 0a 23 20 64 65 66 69 6e 65 20 56  #else.# define V
2440: 64 62 65 43 6f 6d 6d 65 6e 74 28 58 29 0a 23 20  dbeComment(X).# 
2450: 64 65 66 69 6e 65 20 56 64 62 65 4e 6f 6f 70 43  define VdbeNoopC
2460: 6f 6d 6d 65 6e 74 28 58 29 0a 23 20 64 65 66 69  omment(X).# defi
2470: 6e 65 20 56 64 62 65 4d 6f 64 75 6c 65 43 6f 6d  ne VdbeModuleCom
2480: 6d 65 6e 74 28 58 29 0a 23 65 6e 64 69 66 0a 0a  ment(X).#endif..
2490: 23 65 6e 64 69 66 0a                             #endif.