/ Hex Artifact Content
Login

Artifact a500ebdc9058f40297a66d612fbdc6ea5edbea3b:


0000: 23 21 2f 75 73 72 2f 62 69 6e 2f 61 77 6b 20 2d  #!/usr/bin/awk -
0010: 66 0a 23 0a 23 20 47 65 6e 65 72 61 74 65 20 74  f.#.# Generate t
0020: 68 65 20 66 69 6c 65 20 6f 70 63 6f 64 65 73 2e  he file opcodes.
0030: 68 2e 0a 23 0a 23 20 54 68 69 73 20 41 57 4b 20  h..#.# This AWK 
0040: 73 63 72 69 70 74 20 73 63 61 6e 73 20 61 20 63  script scans a c
0050: 6f 6e 63 61 74 65 6e 61 74 69 6f 6e 20 6f 66 20  oncatenation of 
0060: 74 68 65 20 70 61 72 73 65 2e 68 20 6f 75 74 70  the parse.h outp
0070: 75 74 20 66 69 6c 65 20 66 72 6f 6d 20 74 68 65  ut file from the
0080: 0a 23 20 70 61 72 73 65 72 20 61 6e 64 20 74 68  .# parser and th
0090: 65 20 76 64 62 65 2e 63 20 73 6f 75 72 63 65 20  e vdbe.c source 
00a0: 66 69 6c 65 20 69 6e 20 6f 72 64 65 72 20 74 6f  file in order to
00b0: 20 67 65 6e 65 72 61 74 65 20 74 68 65 20 6f 70   generate the op
00c0: 63 6f 64 65 73 20 6e 75 6d 62 65 72 73 0a 23 20  codes numbers.# 
00d0: 66 6f 72 20 61 6c 6c 20 6f 70 63 6f 64 65 73 2e  for all opcodes.
00e0: 20 20 0a 23 0a 23 20 54 68 65 20 6c 69 6e 65 73    .#.# The lines
00f0: 20 6f 66 20 74 68 65 20 76 64 62 65 2e 63 20 74   of the vdbe.c t
0100: 68 61 74 20 77 65 20 61 72 65 20 69 6e 74 65 72  hat we are inter
0110: 65 73 74 65 64 20 69 6e 20 61 72 65 20 6f 66 20  ested in are of 
0120: 74 68 65 20 66 6f 72 6d 3a 0a 23 0a 23 20 20 20  the form:.#.#   
0130: 20 20 20 20 63 61 73 65 20 4f 50 5f 61 61 61 61      case OP_aaaa
0140: 3a 20 20 20 20 20 20 2f 2a 20 73 61 6d 65 20 61  :      /* same a
0150: 73 20 54 4b 5f 62 62 62 62 62 20 2a 2f 0a 23 0a  s TK_bbbbb */.#.
0160: 23 20 54 68 65 20 54 4b 5f 20 63 6f 6d 6d 65 6e  # The TK_ commen
0170: 74 20 69 73 20 6f 70 74 69 6f 6e 61 6c 2e 20 20  t is optional.  
0180: 49 66 20 69 74 20 69 73 20 70 72 65 73 65 6e 74  If it is present
0190: 2c 20 74 68 65 6e 20 74 68 65 20 76 61 6c 75 65  , then the value
01a0: 20 61 73 73 69 67 6e 65 64 20 74 6f 0a 23 20 74   assigned to.# t
01b0: 68 65 20 4f 50 5f 20 69 73 20 74 68 65 20 73 61  he OP_ is the sa
01c0: 6d 65 20 61 73 20 74 68 65 20 54 4b 5f 20 76 61  me as the TK_ va
01d0: 6c 75 65 2e 20 20 49 66 20 6d 69 73 73 69 6e 67  lue.  If missing
01e0: 2c 20 74 68 65 20 4f 50 5f 20 76 61 6c 75 65 20  , the OP_ value 
01f0: 69 73 20 61 73 73 69 67 6e 65 64 0a 23 20 61 20  is assigned.# a 
0200: 73 6d 61 6c 6c 20 69 6e 74 65 67 65 72 20 74 68  small integer th
0210: 61 74 20 69 73 20 64 69 66 66 65 72 65 6e 74 20  at is different 
0220: 66 72 6f 6d 20 65 76 65 72 79 20 6f 74 68 65 72  from every other
0230: 20 4f 50 5f 20 76 61 6c 75 65 2e 0a 23 0a 23 20   OP_ value..#.# 
0240: 57 65 20 67 6f 20 74 6f 20 74 68 65 20 74 72 6f  We go to the tro
0250: 75 62 6c 65 20 6f 66 20 6d 61 6b 69 6e 67 20 73  uble of making s
0260: 6f 6d 65 20 4f 50 5f 20 76 61 6c 75 65 73 20 74  ome OP_ values t
0270: 68 65 20 73 61 6d 65 20 61 73 20 54 4b 5f 20 76  he same as TK_ v
0280: 61 6c 75 65 73 0a 23 20 61 73 20 61 6e 20 6f 70  alues.# as an op
0290: 74 69 6d 69 7a 61 74 69 6f 6e 2e 20 20 44 75 72  timization.  Dur
02a0: 69 6e 67 20 70 61 72 73 69 6e 67 2c 20 74 68 69  ing parsing, thi
02b0: 6e 67 73 20 6c 69 6b 65 20 65 78 70 72 65 73 73  ngs like express
02c0: 69 6f 6e 20 6f 70 65 72 61 74 6f 72 73 0a 23 20  ion operators.# 
02d0: 61 72 65 20 63 6f 64 65 64 20 77 69 74 68 20 54  are coded with T
02e0: 4b 5f 20 76 61 6c 75 65 73 20 73 75 63 68 20 61  K_ values such a
02f0: 73 20 54 4b 5f 41 44 44 2c 20 54 4b 5f 44 49 56  s TK_ADD, TK_DIV
0300: 49 44 45 2c 20 61 6e 64 20 73 6f 20 66 6f 72 74  IDE, and so fort
0310: 68 2e 20 20 4c 61 74 65 72 0a 23 20 64 75 72 69  h.  Later.# duri
0320: 6e 67 20 63 6f 64 65 20 67 65 6e 65 72 61 74 69  ng code generati
0330: 6f 6e 2c 20 77 65 20 6e 65 65 64 20 74 6f 20 67  on, we need to g
0340: 65 6e 65 72 61 74 65 20 63 6f 72 72 65 73 70 6f  enerate correspo
0350: 6e 64 69 6e 67 20 6f 70 63 6f 64 65 73 20 6c 69  nding opcodes li
0360: 6b 65 0a 23 20 4f 50 5f 41 64 64 20 61 6e 64 20  ke.# OP_Add and 
0370: 4f 50 5f 44 69 76 69 64 65 2e 20 20 42 79 20 6d  OP_Divide.  By m
0380: 61 6b 69 6e 67 20 54 4b 5f 41 44 44 3d 3d 4f 50  aking TK_ADD==OP
0390: 5f 41 64 64 20 61 6e 64 20 54 4b 5f 44 49 56 49  _Add and TK_DIVI
03a0: 44 45 3d 3d 4f 50 5f 44 69 76 69 64 65 2c 0a 23  DE==OP_Divide,.#
03b0: 20 63 6f 64 65 20 74 6f 20 74 72 61 6e 73 6c 61   code to transla
03c0: 74 65 20 66 72 6f 6d 20 6f 6e 65 20 74 6f 20 74  te from one to t
03d0: 68 65 20 6f 74 68 65 72 20 69 73 20 61 76 6f 69  he other is avoi
03e0: 64 65 64 2e 20 20 54 68 69 73 20 6d 61 6b 65 73  ded.  This makes
03f0: 20 74 68 65 0a 23 20 63 6f 64 65 20 67 65 6e 65   the.# code gene
0400: 72 61 74 6f 72 20 72 75 6e 20 28 69 6e 66 69 6e  rator run (infin
0410: 69 74 65 73 69 6d 61 6c 6c 79 29 20 66 61 73 74  itesimally) fast
0420: 65 72 20 61 6e 64 20 6d 6f 72 65 20 69 6d 70 6f  er and more impo
0430: 72 74 61 6e 74 6c 79 20 69 74 20 6d 61 6b 65 73  rtantly it makes
0440: 0a 23 20 74 68 65 20 6c 69 62 72 61 72 79 20 66  .# the library f
0450: 6f 6f 74 70 72 69 6e 74 20 73 6d 61 6c 6c 65 72  ootprint smaller
0460: 2e 0a 23 0a 23 20 54 68 69 73 20 73 63 72 69 70  ..#.# This scrip
0470: 74 20 61 6c 73 6f 20 73 63 61 6e 73 20 66 6f 72  t also scans for
0480: 20 6c 69 6e 65 73 20 6f 66 20 74 68 65 20 66 6f   lines of the fo
0490: 72 6d 3a 0a 23 0a 23 20 20 20 20 20 20 20 63 61  rm:.#.#       ca
04a0: 73 65 20 4f 50 5f 61 61 61 61 3a 20 20 20 20 20  se OP_aaaa:     
04b0: 20 20 2f 2a 20 6e 6f 2d 70 75 73 68 20 2a 2f 0a    /* no-push */.
04c0: 23 0a 23 20 57 68 65 6e 20 74 68 65 20 6e 6f 2d  #.# When the no-
04d0: 70 75 73 68 20 63 6f 6d 6d 65 6e 74 20 69 73 20  push comment is 
04e0: 66 6f 75 6e 64 20 6f 6e 20 61 6e 20 6f 70 63 6f  found on an opco
04f0: 64 65 2c 20 69 74 20 6d 65 61 6e 73 20 74 68 61  de, it means tha
0500: 74 20 74 68 61 74 0a 23 20 6f 70 63 6f 64 65 20  t that.# opcode 
0510: 64 6f 65 73 20 6e 6f 74 20 6c 65 61 76 65 20 61  does not leave a
0520: 20 72 65 73 75 6c 74 20 6f 6e 20 74 68 65 20 73   result on the s
0530: 74 61 63 6b 2e 20 20 42 79 20 69 64 65 6e 74 69  tack.  By identi
0540: 66 79 69 6e 67 20 77 68 69 63 68 0a 23 20 6f 70  fying which.# op
0550: 63 6f 64 65 73 20 6c 65 61 76 65 20 72 65 73 75  codes leave resu
0560: 6c 74 73 20 6f 6e 20 74 68 65 20 73 74 61 63 6b  lts on the stack
0570: 20 69 74 20 69 73 20 70 6f 73 73 69 62 6c 65 20   it is possible 
0580: 74 6f 20 64 65 74 65 72 6d 69 6e 65 20 61 0a 23  to determine a.#
0590: 20 6d 75 63 68 20 73 6d 61 6c 6c 65 72 20 75 70   much smaller up
05a0: 70 65 72 20 62 6f 75 6e 64 20 6f 6e 20 74 68 65  per bound on the
05b0: 20 73 69 7a 65 20 6f 66 20 74 68 65 20 73 74 61   size of the sta
05c0: 63 6b 2e 20 20 54 68 69 73 20 61 6c 6c 6f 77 73  ck.  This allows
05d0: 0a 23 20 61 20 73 6d 61 6c 6c 65 72 20 73 74 61  .# a smaller sta
05e0: 63 6b 20 74 6f 20 62 65 20 61 6c 6c 6f 63 61 74  ck to be allocat
05f0: 65 64 2c 20 77 68 69 63 68 20 69 73 20 69 6d 70  ed, which is imp
0600: 6f 72 74 61 6e 74 20 74 6f 20 65 6d 62 65 64 64  ortant to embedd
0610: 65 64 0a 23 20 73 79 73 74 65 6d 73 20 77 69 74  ed.# systems wit
0620: 68 20 6c 69 6d 69 74 65 64 20 6d 65 6d 6f 72 79  h limited memory
0630: 20 73 70 61 63 65 2e 20 20 54 68 69 73 20 73 63   space.  This sc
0640: 72 69 70 74 20 67 65 6e 65 72 61 74 65 73 20 61  ript generates a
0650: 20 73 65 72 69 65 73 0a 23 20 6f 66 20 22 4e 4f   series.# of "NO
0660: 50 55 53 48 5f 4d 41 53 4b 22 20 64 65 66 69 6e  PUSH_MASK" defin
0670: 65 73 20 74 68 61 74 20 63 6f 6e 74 61 69 6e 20  es that contain 
0680: 62 69 74 6d 61 70 73 20 6f 66 20 6f 70 63 6f 64  bitmaps of opcod
0690: 65 73 20 74 68 61 74 20 6c 65 61 76 65 0a 23 20  es that leave.# 
06a0: 72 65 73 75 6c 74 73 20 6f 6e 20 74 68 65 20 73  results on the s
06b0: 74 61 63 6b 2e 20 20 54 68 65 20 4e 4f 50 55 53  tack.  The NOPUS
06c0: 48 5f 4d 41 53 4b 20 64 65 66 69 6e 65 73 20 61  H_MASK defines a
06d0: 72 65 20 75 73 65 64 20 69 6e 20 76 64 62 65 61  re used in vdbea
06e0: 75 78 2e 63 0a 23 20 74 6f 20 68 65 6c 70 20 64  ux.c.# to help d
06f0: 65 74 65 72 6d 69 6e 65 20 74 68 65 20 6d 61 78  etermine the max
0700: 69 6d 75 6d 20 73 74 61 63 6b 20 73 69 7a 65 2e  imum stack size.
0710: 0a 23 0a 0a 0a 23 20 52 65 6d 65 6d 62 65 72 20  .#...# Remember 
0720: 74 68 65 20 54 4b 5f 20 76 61 6c 75 65 73 20 66  the TK_ values f
0730: 72 6f 6d 20 74 68 65 20 70 61 72 73 65 2e 68 20  rom the parse.h 
0740: 66 69 6c 65 0a 2f 5e 23 64 65 66 69 6e 65 20 54  file./^#define T
0750: 4b 5f 2f 20 7b 0a 20 20 74 6b 5b 24 32 5d 20 3d  K_/ {.  tk[$2] =
0760: 20 30 2b 24 33 0a 7d 0a 0a 23 20 53 63 61 6e 20   0+$3.}..# Scan 
0770: 66 6f 72 20 22 63 61 73 65 20 4f 50 5f 61 61 61  for "case OP_aaa
0780: 61 3a 22 20 6c 69 6e 65 73 20 69 6e 20 74 68 65  a:" lines in the
0790: 20 76 64 62 65 2e 63 20 66 69 6c 65 0a 2f 5e 63   vdbe.c file./^c
07a0: 61 73 65 20 4f 50 5f 2f 20 7b 0a 20 20 6e 61 6d  ase OP_/ {.  nam
07b0: 65 20 3d 20 24 32 0a 20 20 73 75 62 28 2f 3a 2f  e = $2.  sub(/:/
07c0: 2c 22 22 2c 6e 61 6d 65 29 0a 20 20 73 75 62 28  ,"",name).  sub(
07d0: 22 5c 72 22 2c 22 22 2c 6e 61 6d 65 29 0a 20 20  "\r","",name).  
07e0: 6f 70 5b 6e 61 6d 65 5d 20 3d 20 2d 31 0a 20 20  op[name] = -1.  
07f0: 6f 75 74 31 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20  out1[name] = 0. 
0800: 20 6f 75 74 32 5b 6e 61 6d 65 5d 20 3d 20 30 0a   out2[name] = 0.
0810: 20 20 6f 75 74 33 5b 6e 61 6d 65 5d 20 3d 20 30    out3[name] = 0
0820: 0a 20 20 6a 75 6d 70 5b 6e 61 6d 65 5d 20 3d 20  .  jump[name] = 
0830: 30 0a 20 20 69 6e 31 5b 6e 61 6d 65 5d 20 3d 20  0.  in1[name] = 
0840: 30 0a 20 20 69 6e 32 5b 6e 61 6d 65 5d 20 3d 20  0.  in2[name] = 
0850: 30 0a 20 20 69 6e 33 5b 6e 61 6d 65 5d 20 3d 20  0.  in3[name] = 
0860: 30 0a 20 20 6e 6f 70 75 73 68 5b 6e 61 6d 65 5d  0.  nopush[name]
0870: 20 3d 20 30 0a 20 20 66 6f 72 28 69 3d 33 3b 20   = 0.  for(i=3; 
0880: 69 3c 4e 46 3b 20 69 2b 2b 29 7b 0a 20 20 20 20  i<NF; i++){.    
0890: 69 66 28 24 69 3d 3d 22 73 61 6d 65 22 20 26 26  if($i=="same" &&
08a0: 20 24 28 69 2b 31 29 3d 3d 22 61 73 22 29 7b 0a   $(i+1)=="as"){.
08b0: 20 20 20 20 20 20 73 79 6d 20 3d 20 24 28 69 2b        sym = $(i+
08c0: 32 29 0a 20 20 20 20 20 20 73 75 62 28 2f 2c 2f  2).      sub(/,/
08d0: 2c 22 22 2c 73 79 6d 29 0a 20 20 20 20 20 20 6f  ,"",sym).      o
08e0: 70 5b 6e 61 6d 65 5d 20 3d 20 74 6b 5b 73 79 6d  p[name] = tk[sym
08f0: 5d 0a 20 20 20 20 20 20 75 73 65 64 5b 6f 70 5b  ].      used[op[
0900: 6e 61 6d 65 5d 5d 20 3d 20 31 0a 20 20 20 20 20  name]] = 1.     
0910: 20 73 61 6d 65 61 73 5b 6f 70 5b 6e 61 6d 65 5d   sameas[op[name]
0920: 5d 20 3d 20 73 79 6d 0a 20 20 20 20 7d 0a 20 20  ] = sym.    }.  
0930: 20 20 78 20 3d 20 24 69 0a 20 20 20 20 73 75 62    x = $i.    sub
0940: 28 22 2c 22 2c 22 22 2c 78 29 0a 20 20 20 20 69  (",","",x).    i
0950: 66 28 78 3d 3d 22 6e 6f 2d 70 75 73 68 22 29 7b  f(x=="no-push"){
0960: 0a 20 20 20 20 20 20 6e 6f 70 75 73 68 5b 6e 61  .      nopush[na
0970: 6d 65 5d 20 3d 20 31 0a 20 20 20 20 7d 65 6c 73  me] = 1.    }els
0980: 65 20 69 66 28 78 3d 3d 22 6f 75 74 31 22 29 7b  e if(x=="out1"){
0990: 0a 20 20 20 20 20 20 6f 75 74 31 5b 6e 61 6d 65  .      out1[name
09a0: 5d 20 3d 20 31 0a 20 20 20 20 7d 65 6c 73 65 20  ] = 1.    }else 
09b0: 69 66 28 78 3d 3d 22 6f 75 74 32 22 29 7b 0a 20  if(x=="out2"){. 
09c0: 20 20 20 20 20 6f 75 74 32 5b 6e 61 6d 65 5d 20       out2[name] 
09d0: 3d 20 32 0a 20 20 20 20 7d 65 6c 73 65 20 69 66  = 2.    }else if
09e0: 28 78 3d 3d 22 6f 75 74 33 22 29 7b 0a 20 20 20  (x=="out3"){.   
09f0: 20 20 20 6f 75 74 33 5b 6e 61 6d 65 5d 20 3d 20     out3[name] = 
0a00: 33 0a 20 20 20 20 7d 65 6c 73 65 20 69 66 28 78  3.    }else if(x
0a10: 3d 3d 22 69 6e 31 22 29 7b 0a 20 20 20 20 20 20  =="in1"){.      
0a20: 69 6e 31 5b 6e 61 6d 65 5d 20 3d 20 31 0a 20 20  in1[name] = 1.  
0a30: 20 20 7d 65 6c 73 65 20 69 66 28 78 3d 3d 22 69    }else if(x=="i
0a40: 6e 32 22 29 7b 0a 20 20 20 20 20 20 69 6e 32 5b  n2"){.      in2[
0a50: 6e 61 6d 65 5d 20 3d 20 31 0a 20 20 20 20 7d 65  name] = 1.    }e
0a60: 6c 73 65 20 69 66 28 78 3d 3d 22 69 6e 33 22 29  lse if(x=="in3")
0a70: 7b 0a 20 20 20 20 20 20 69 6e 33 5b 6e 61 6d 65  {.      in3[name
0a80: 5d 20 3d 20 31 0a 20 20 20 20 7d 65 6c 73 65 20  ] = 1.    }else 
0a90: 69 66 28 78 3d 3d 22 6a 75 6d 70 22 29 7b 0a 20  if(x=="jump"){. 
0aa0: 20 20 20 20 20 6a 75 6d 70 5b 6e 61 6d 65 5d 20       jump[name] 
0ab0: 3d 20 31 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a  = 1.    }.  }.}.
0ac0: 0a 23 20 41 73 73 69 67 6e 20 6e 75 6d 62 65 72  .# Assign number
0ad0: 73 20 74 6f 20 61 6c 6c 20 6f 70 63 6f 64 65 73  s to all opcodes
0ae0: 20 61 6e 64 20 6f 75 74 70 75 74 20 74 68 65 20   and output the 
0af0: 72 65 73 75 6c 74 2e 0a 45 4e 44 20 7b 0a 20 20  result..END {.  
0b00: 63 6e 74 20 3d 20 30 0a 20 20 6d 61 78 20 3d 20  cnt = 0.  max = 
0b10: 30 0a 20 20 70 72 69 6e 74 20 22 2f 2a 20 41 75  0.  print "/* Au
0b20: 74 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65 6e 65  tomatically gene
0b30: 72 61 74 65 64 2e 20 20 44 6f 20 6e 6f 74 20 65  rated.  Do not e
0b40: 64 69 74 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20  dit */".  print 
0b50: 22 2f 2a 20 53 65 65 20 74 68 65 20 6d 6b 6f 70  "/* See the mkop
0b60: 63 6f 64 65 68 2e 61 77 6b 20 73 63 72 69 70 74  codeh.awk script
0b70: 20 66 6f 72 20 64 65 74 61 69 6c 73 20 2a 2f 22   for details */"
0b80: 0a 20 20 66 6f 72 28 6e 61 6d 65 20 69 6e 20 6f  .  for(name in o
0b90: 70 29 7b 0a 20 20 20 20 69 66 28 20 6f 70 5b 6e  p){.    if( op[n
0ba0: 61 6d 65 5d 3c 30 20 29 7b 0a 20 20 20 20 20 20  ame]<0 ){.      
0bb0: 63 6e 74 2b 2b 0a 20 20 20 20 20 20 77 68 69 6c  cnt++.      whil
0bc0: 65 28 20 75 73 65 64 5b 63 6e 74 5d 20 29 20 63  e( used[cnt] ) c
0bd0: 6e 74 2b 2b 0a 20 20 20 20 20 20 6f 70 5b 6e 61  nt++.      op[na
0be0: 6d 65 5d 20 3d 20 63 6e 74 0a 20 20 20 20 7d 0a  me] = cnt.    }.
0bf0: 20 20 20 20 75 73 65 64 5b 6f 70 5b 6e 61 6d 65      used[op[name
0c00: 5d 5d 20 3d 20 31 3b 0a 20 20 20 20 69 66 28 20  ]] = 1;.    if( 
0c10: 6f 70 5b 6e 61 6d 65 5d 3e 6d 61 78 20 29 20 6d  op[name]>max ) m
0c20: 61 78 20 3d 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20  ax = op[name].  
0c30: 20 20 70 72 69 6e 74 66 20 22 23 64 65 66 69 6e    printf "#defin
0c40: 65 20 25 2d 32 35 73 20 25 31 35 64 22 2c 20 6e  e %-25s %15d", n
0c50: 61 6d 65 2c 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20  ame, op[name].  
0c60: 20 20 69 66 28 20 73 61 6d 65 61 73 5b 6f 70 5b    if( sameas[op[
0c70: 6e 61 6d 65 5d 5d 20 29 20 7b 0a 20 20 20 20 20  name]] ) {.     
0c80: 20 70 72 69 6e 74 66 20 22 20 20 20 2f 2a 20 73   printf "   /* s
0c90: 61 6d 65 20 61 73 20 25 2d 31 32 73 2a 2f 22 2c  ame as %-12s*/",
0ca0: 20 73 61 6d 65 61 73 5b 6f 70 5b 6e 61 6d 65 5d   sameas[op[name]
0cb0: 5d 0a 20 20 20 20 7d 20 0a 20 20 20 20 70 72 69  ].    } .    pri
0cc0: 6e 74 66 20 22 5c 6e 22 0a 0a 20 20 7d 0a 20 20  ntf "\n"..  }.  
0cd0: 73 65 65 6e 55 6e 75 73 65 64 20 3d 20 30 3b 0a  seenUnused = 0;.
0ce0: 20 20 66 6f 72 28 69 3d 31 3b 20 69 3c 6d 61 78    for(i=1; i<max
0cf0: 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69 66 28 20  ; i++){.    if( 
0d00: 21 75 73 65 64 5b 69 5d 20 29 7b 0a 20 20 20 20  !used[i] ){.    
0d10: 20 20 69 66 28 20 21 73 65 65 6e 55 6e 75 73 65    if( !seenUnuse
0d20: 64 20 29 7b 0a 20 20 20 20 20 20 20 20 70 72 69  d ){.        pri
0d30: 6e 74 66 20 22 5c 6e 2f 2a 20 54 68 65 20 66 6f  ntf "\n/* The fo
0d40: 6c 6c 6f 77 69 6e 67 20 6f 70 63 6f 64 65 20 76  llowing opcode v
0d50: 61 6c 75 65 73 20 61 72 65 20 6e 65 76 65 72 20  alues are never 
0d60: 75 73 65 64 20 2a 2f 5c 6e 22 0a 20 20 20 20 20  used */\n".     
0d70: 20 20 20 73 65 65 6e 55 6e 75 73 65 64 20 3d 20     seenUnused = 
0d80: 31 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20  1.      }.      
0d90: 70 72 69 6e 74 66 20 22 23 64 65 66 69 6e 65 20  printf "#define 
0da0: 25 2d 32 35 73 20 25 31 35 64 5c 6e 22 2c 20 73  %-25s %15d\n", s
0db0: 70 72 69 6e 74 66 28 20 22 4f 50 5f 4e 6f 74 55  printf( "OP_NotU
0dc0: 73 65 64 5f 25 2d 33 64 22 2c 20 69 20 29 2c 20  sed_%-3d", i ), 
0dd0: 69 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 23  i.    }.  }..  #
0de0: 20 47 65 6e 65 72 61 74 65 20 74 68 65 20 62 69   Generate the bi
0df0: 74 76 65 63 74 6f 72 73 3a 0a 20 20 23 0a 20 20  tvectors:.  #.  
0e00: 23 20 20 62 69 74 20 30 3a 20 20 20 20 20 6a 75  #  bit 0:     ju
0e10: 6d 70 0a 20 20 23 20 20 62 69 74 20 31 3a 20 20  mp.  #  bit 1:  
0e20: 20 20 20 6f 75 74 70 75 74 20 6f 6e 20 50 31 0a     output on P1.
0e30: 20 20 23 20 20 62 69 74 20 32 3a 20 20 20 20 20    #  bit 2:     
0e40: 6f 75 74 70 75 74 20 6f 6e 20 50 32 0a 20 20 23  output on P2.  #
0e50: 20 20 62 69 74 20 33 3a 20 20 20 20 20 6f 75 74    bit 3:     out
0e60: 70 75 74 20 6f 6e 20 50 33 0a 20 20 23 20 20 62  put on P3.  #  b
0e70: 69 74 20 34 3a 20 20 20 20 20 69 6e 70 75 74 20  it 4:     input 
0e80: 6f 6e 20 50 31 0a 20 20 23 20 20 62 69 74 20 35  on P1.  #  bit 5
0e90: 3a 20 20 20 20 20 69 6e 70 75 74 20 6f 6e 20 50  :     input on P
0ea0: 32 0a 20 20 23 20 20 62 69 74 20 36 3a 20 20 20  2.  #  bit 6:   
0eb0: 20 20 69 6e 70 75 74 20 6f 6e 20 50 33 0a 20 20    input on P3.  
0ec0: 23 20 20 62 69 74 20 37 3a 20 20 20 20 20 70 75  #  bit 7:     pu
0ed0: 73 68 65 73 20 61 20 72 65 73 75 6c 74 20 6f 6e  shes a result on
0ee0: 74 6f 20 73 74 61 63 6b 0a 20 20 23 0a 20 20 66  to stack.  #.  f
0ef0: 6f 72 28 69 3d 30 3b 20 69 3c 3d 6d 61 78 3b 20  or(i=0; i<=max; 
0f00: 69 2b 2b 29 20 62 76 5b 69 5d 20 3d 20 30 3b 0a  i++) bv[i] = 0;.
0f10: 20 20 66 6f 72 28 6e 61 6d 65 20 69 6e 20 6f 70    for(name in op
0f20: 29 7b 0a 20 20 20 20 78 20 3d 20 6f 70 5b 6e 61  ){.    x = op[na
0f30: 6d 65 5d 0a 20 20 20 20 61 30 20 3d 20 61 31 20  me].    a0 = a1 
0f40: 3d 20 61 32 20 3d 20 61 33 20 3d 20 61 34 20 3d  = a2 = a3 = a4 =
0f50: 20 61 35 20 3d 20 61 36 20 3d 20 61 37 20 3d 20   a5 = a6 = a7 = 
0f60: 30 0a 20 20 20 20 69 66 28 20 6a 75 6d 70 5b 6e  0.    if( jump[n
0f70: 61 6d 65 5d 20 29 20 61 30 20 3d 20 31 3b 0a 20  ame] ) a0 = 1;. 
0f80: 20 20 20 69 66 28 20 6f 75 74 31 5b 6e 61 6d 65     if( out1[name
0f90: 5d 20 29 20 61 31 20 3d 20 32 3b 0a 20 20 20 20  ] ) a1 = 2;.    
0fa0: 69 66 28 20 6f 75 74 32 5b 6e 61 6d 65 5d 20 29  if( out2[name] )
0fb0: 20 61 32 20 3d 20 34 3b 0a 20 20 20 20 69 66 28   a2 = 4;.    if(
0fc0: 20 6f 75 74 33 5b 6e 61 6d 65 5d 20 29 20 61 33   out3[name] ) a3
0fd0: 20 3d 20 38 3b 0a 20 20 20 20 69 66 28 20 69 6e   = 8;.    if( in
0fe0: 31 5b 6e 61 6d 65 5d 20 29 20 61 34 20 3d 20 31  1[name] ) a4 = 1
0ff0: 36 3b 0a 20 20 20 20 69 66 28 20 69 6e 32 5b 6e  6;.    if( in2[n
1000: 61 6d 65 5d 20 29 20 61 35 20 3d 20 33 32 3b 0a  ame] ) a5 = 32;.
1010: 20 20 20 20 69 66 28 20 69 6e 33 5b 6e 61 6d 65      if( in3[name
1020: 5d 20 29 20 61 36 20 3d 20 36 34 3b 0a 20 20 20  ] ) a6 = 64;.   
1030: 20 69 66 28 20 6e 6f 70 75 73 68 5b 6e 61 6d 65   if( nopush[name
1040: 5d 3d 3d 30 20 29 20 61 37 20 3d 20 31 32 38 3b  ]==0 ) a7 = 128;
1050: 0a 20 20 20 20 62 76 5b 78 5d 20 3d 20 61 30 2b  .    bv[x] = a0+
1060: 61 31 2b 61 32 2b 61 33 2b 61 34 2b 61 35 2b 61  a1+a2+a3+a4+a5+a
1070: 36 2b 61 37 3b 0a 20 20 7d 0a 20 20 70 72 69 6e  6+a7;.  }.  prin
1080: 74 20 22 5c 6e 22 0a 20 20 70 72 69 6e 74 20 22  t "\n".  print "
1090: 2f 2a 20 50 72 6f 70 65 72 74 69 65 73 20 73 75  /* Properties su
10a0: 63 68 20 61 73 20 5c 22 6f 75 74 32 5c 22 20 6f  ch as \"out2\" o
10b0: 72 20 5c 22 6a 75 6d 70 5c 22 20 74 68 61 74 20  r \"jump\" that 
10c0: 61 72 65 20 73 70 65 63 69 66 69 65 64 20 69 6e  are specified in
10d0: 22 0a 20 20 70 72 69 6e 74 20 22 2a 2a 20 63 6f  ".  print "** co
10e0: 6d 6d 65 6e 74 73 20 66 6f 6c 6c 6f 77 69 6e 67  mments following
10f0: 20 74 68 65 20 22 63 61 73 65 22 20 66 6f 72 20   the "case" for 
1100: 65 61 63 68 20 6f 70 63 6f 64 65 20 69 6e 20 74  each opcode in t
1110: 68 65 20 76 64 62 65 2e 63 22 0a 20 20 70 72 69  he vdbe.c".  pri
1120: 6e 74 20 22 2a 2a 20 61 72 65 20 65 6e 63 6f 64  nt "** are encod
1130: 65 64 20 69 6e 74 6f 20 62 69 74 76 65 63 74 6f  ed into bitvecto
1140: 72 73 20 61 73 20 66 6f 6c 6c 6f 77 73 3a 22 0a  rs as follows:".
1150: 20 20 70 72 69 6e 74 20 22 2a 2f 22 0a 20 20 70    print "*/".  p
1160: 72 69 6e 74 20 22 23 64 65 66 69 6e 65 20 4f 50  rint "#define OP
1170: 46 4c 47 5f 4a 55 4d 50 20 20 20 20 20 30 78 30  FLG_JUMP     0x0
1180: 31 20 20 20 20 2f 2a 20 6a 75 6d 70 3a 20 20 50  1    /* jump:  P
1190: 32 20 68 6f 6c 64 73 20 61 20 6a 75 6d 70 20 74  2 holds a jump t
11a0: 61 72 67 65 74 20 2a 2f 22 0a 20 20 70 72 69 6e  arget */".  prin
11b0: 74 20 22 23 64 65 66 69 6e 65 20 4f 50 46 4c 47  t "#define OPFLG
11c0: 5f 4f 55 54 31 20 20 20 20 20 30 78 30 32 20 20  _OUT1     0x02  
11d0: 20 20 2f 2a 20 6f 75 74 31 3a 20 20 50 31 20 73    /* out1:  P1 s
11e0: 70 65 63 69 66 69 65 73 20 6f 75 74 70 75 74 20  pecifies output 
11f0: 72 65 67 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20  reg */".  print 
1200: 22 23 64 65 66 69 6e 65 20 4f 50 46 4c 47 5f 4f  "#define OPFLG_O
1210: 55 54 32 20 20 20 20 20 30 78 30 34 20 20 20 20  UT2     0x04    
1220: 2f 2a 20 6f 75 74 32 3a 20 20 50 32 20 73 70 65  /* out2:  P2 spe
1230: 63 69 66 69 65 73 20 6f 75 74 70 75 74 20 72 65  cifies output re
1240: 67 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 23  g */".  print "#
1250: 64 65 66 69 6e 65 20 4f 50 46 4c 47 5f 4f 55 54  define OPFLG_OUT
1260: 33 20 20 20 20 20 30 78 30 38 20 20 20 20 2f 2a  3     0x08    /*
1270: 20 6f 75 74 33 3a 20 20 50 33 20 73 70 65 63 69   out3:  P3 speci
1280: 66 69 65 73 20 6f 75 74 70 75 74 20 72 65 67 20  fies output reg 
1290: 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 23 64 65  */".  print "#de
12a0: 66 69 6e 65 20 4f 50 46 4c 47 5f 49 4e 31 20 20  fine OPFLG_IN1  
12b0: 20 20 20 20 30 78 31 30 20 20 20 20 2f 2a 20 69      0x10    /* i
12c0: 6e 31 3a 20 20 20 50 31 20 69 73 20 61 6e 20 69  n1:   P1 is an i
12d0: 6e 70 75 74 20 72 65 67 20 2a 2f 22 0a 20 20 70  nput reg */".  p
12e0: 72 69 6e 74 20 22 23 64 65 66 69 6e 65 20 4f 50  rint "#define OP
12f0: 46 4c 47 5f 49 4e 32 20 20 20 20 20 20 30 78 32  FLG_IN2      0x2
1300: 30 20 20 20 20 2f 2a 20 69 6e 32 3a 20 20 20 50  0    /* in2:   P
1310: 32 20 69 73 20 61 6e 20 69 6e 70 75 74 20 72 65  2 is an input re
1320: 67 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 23  g */".  print "#
1330: 64 65 66 69 6e 65 20 4f 50 46 4c 47 5f 49 4e 33  define OPFLG_IN3
1340: 20 20 20 20 20 20 30 78 34 30 20 20 20 20 2f 2a        0x40    /*
1350: 20 69 6e 33 3a 20 20 20 50 33 20 69 73 20 61 6e   in3:   P3 is an
1360: 20 69 6e 70 75 74 20 72 65 67 20 2a 2f 22 0a 20   input reg */". 
1370: 20 70 72 69 6e 74 20 22 23 64 65 66 69 6e 65 20   print "#define 
1380: 4f 50 46 4c 47 5f 50 55 53 48 20 20 20 20 20 30  OPFLG_PUSH     0
1390: 78 38 30 20 20 20 20 2f 2a 20 6f 6d 69 74 73 20  x80    /* omits 
13a0: 6e 6f 2d 70 75 73 68 3a 20 20 44 6f 65 73 20 6e  no-push:  Does n
13b0: 6f 74 20 70 75 73 68 20 2a 2f 22 0a 20 20 70 72  ot push */".  pr
13c0: 69 6e 74 20 22 23 64 65 66 69 6e 65 20 4f 50 46  int "#define OPF
13d0: 4c 47 5f 49 4e 49 54 49 41 4c 49 5a 45 52 20 7b  LG_INITIALIZER {
13e0: 5c 5c 22 0a 20 20 66 6f 72 28 69 3d 30 3b 20 69  \\".  for(i=0; i
13f0: 3c 3d 6d 61 78 3b 20 69 2b 2b 29 7b 0a 20 20 20  <=max; i++){.   
1400: 20 70 72 69 6e 74 66 20 22 20 30 78 25 30 32 78   printf " 0x%02x
1410: 2c 22 2c 20 62 76 5b 69 5d 0a 20 20 20 20 69 66  ,", bv[i].    if
1420: 28 20 69 25 31 30 3d 3d 39 20 29 20 70 72 69 6e  ( i%10==9 ) prin
1430: 74 66 28 22 5c 5c 5c 6e 22 29 3b 0a 20 20 7d 0a  tf("\\\n");.  }.
1440: 20 20 70 72 69 6e 74 20 22 7d 22 0a 7d 0a          print "}".}.