/ Hex Artifact Content
Login

Artifact 7563ad235670e864ead95cf672be3fe081450ae0:


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 20 74 68  ome OP_ value th
0270: 65 20 73 61 6d 65 20 61 73 20 54 4b 5f 20 76 61  e same as TK_ va
0280: 6c 75 65 73 0a 23 20 61 73 20 61 6e 20 6f 70 74  lues.# as an opt
0290: 69 6d 69 7a 61 74 69 6f 6e 2e 20 20 44 75 72 69  imization.  Duri
02a0: 6e 67 20 70 61 72 73 69 6e 67 2c 20 74 68 69 6e  ng parsing, thin
02b0: 67 73 20 6c 69 6b 65 20 65 78 70 72 65 73 73 69  gs like expressi
02c0: 6f 6e 20 6f 70 65 72 61 74 6f 72 73 0a 23 20 61  on operators.# a
02d0: 72 65 20 63 6f 64 65 64 20 77 69 74 68 20 54 4b  re coded with TK
02e0: 5f 20 76 61 6c 75 65 73 20 73 75 63 68 20 61 73  _ values such as
02f0: 20 54 4b 5f 41 44 44 2c 20 54 4b 5f 44 49 56 49   TK_ADD, TK_DIVI
0300: 44 45 2c 20 61 6e 64 20 73 6f 20 66 6f 72 74 68  DE, and so forth
0310: 2e 20 20 4c 61 74 65 72 0a 23 20 64 75 72 69 6e  .  Later.# durin
0320: 67 20 63 6f 64 65 20 67 65 6e 65 72 61 74 69 6f  g code generatio
0330: 6e 2c 20 77 65 20 6e 65 65 64 20 74 6f 20 67 65  n, we need to ge
0340: 6e 65 72 61 74 65 20 63 6f 72 72 65 73 70 6f 6e  nerate correspon
0350: 64 69 6e 67 20 6f 70 63 6f 64 65 73 20 6c 69 6b  ding opcodes lik
0360: 65 0a 23 20 4f 50 5f 41 64 64 20 61 6e 64 20 4f  e.# OP_Add and O
0370: 50 5f 44 69 76 69 64 65 2e 20 20 42 79 20 6d 61  P_Divide.  By ma
0380: 6b 69 6e 67 20 54 4b 5f 41 44 44 3d 3d 4f 50 5f  king TK_ADD==OP_
0390: 41 64 64 20 61 6e 64 20 54 4b 5f 44 49 56 49 44  Add and TK_DIVID
03a0: 45 3d 3d 4f 50 5f 44 69 76 69 64 65 2c 0a 23 20  E==OP_Divide,.# 
03b0: 63 6f 64 65 20 74 6f 20 74 72 61 6e 73 6c 61 74  code to translat
03c0: 69 6f 6e 20 66 72 6f 6d 20 6f 6e 65 20 74 6f 20  ion from one to 
03d0: 74 68 65 20 6f 74 68 65 72 20 69 73 20 61 76 6f  the other is avo
03e0: 69 64 65 64 2e 20 20 54 68 69 73 20 6d 61 6b 65  ided.  This make
03f0: 73 20 74 68 65 0a 23 20 63 6f 64 65 20 67 65 6e  s the.# code gen
0400: 65 72 61 74 6f 72 20 72 75 6e 20 28 69 6e 66 69  erator run (infi
0410: 6e 69 74 65 73 69 6d 61 6c 6c 79 29 20 66 61 73  nitesimally) fas
0420: 74 65 72 20 61 6e 64 20 6d 6f 72 65 20 69 6d 70  ter and more imp
0430: 6f 72 74 61 6e 74 6c 79 20 69 74 20 6d 61 6b 65  ortantly it make
0440: 73 0a 23 20 74 68 65 20 74 6f 74 61 6c 20 6c 69  s.# the total li
0450: 62 72 61 72 79 20 73 6d 61 6c 6c 65 72 2e 0a 23  brary smaller..#
0460: 0a 0a 0a 23 20 52 65 6d 65 6d 62 65 72 20 74 68  ...# Remember th
0470: 65 20 54 4b 5f 20 76 61 6c 75 65 73 20 66 72 6f  e TK_ values fro
0480: 6d 20 74 68 65 20 70 61 72 73 65 2e 68 20 66 69  m the parse.h fi
0490: 6c 65 0a 2f 5e 23 64 65 66 69 6e 65 20 54 4b 5f  le./^#define TK_
04a0: 2f 20 7b 0a 20 20 74 6b 5b 24 32 5d 20 3d 20 24  / {.  tk[$2] = $
04b0: 33 0a 7d 0a 0a 23 20 53 63 61 6e 20 66 6f 72 20  3.}..# Scan for 
04c0: 22 63 61 73 65 20 4f 50 5f 61 61 61 61 3a 22 20  "case OP_aaaa:" 
04d0: 6c 69 6e 65 73 20 69 6e 20 74 68 65 20 76 64 62  lines in the vdb
04e0: 65 2e 63 20 66 69 6c 65 0a 2f 5e 63 61 73 65 20  e.c file./^case 
04f0: 4f 50 5f 2f 20 7b 0a 20 20 6e 61 6d 65 20 3d 20  OP_/ {.  name = 
0500: 24 32 0a 20 20 67 73 75 62 28 2f 3a 2f 2c 22 22  $2.  gsub(/:/,""
0510: 2c 6e 61 6d 65 29 0a 20 20 67 73 75 62 28 22 5c  ,name).  gsub("\
0520: 72 22 2c 22 22 2c 6e 61 6d 65 29 0a 20 20 6f 70  r","",name).  op
0530: 5b 6e 61 6d 65 5d 20 3d 20 2d 31 0a 20 20 66 6f  [name] = -1.  fo
0540: 72 28 69 3d 33 3b 20 69 3c 4e 46 3b 20 69 2b 2b  r(i=3; i<NF; i++
0550: 29 7b 0a 20 20 20 20 69 66 28 24 69 3d 3d 22 73  ){.    if($i=="s
0560: 61 6d 65 22 20 26 26 20 24 28 69 2b 31 29 3d 3d  ame" && $(i+1)==
0570: 22 61 73 22 29 7b 0a 20 20 20 20 20 20 73 79 6d  "as"){.      sym
0580: 20 3d 20 24 28 69 2b 32 29 0a 20 20 20 20 20 20   = $(i+2).      
0590: 73 75 62 28 2f 2c 2f 2c 22 22 2c 73 79 6d 29 0a  sub(/,/,"",sym).
05a0: 20 20 20 20 20 20 6f 70 5b 6e 61 6d 65 5d 20 3d        op[name] =
05b0: 20 74 6b 5b 73 79 6d 5d 0a 20 20 20 20 20 20 75   tk[sym].      u
05c0: 73 65 64 5b 6f 70 5b 6e 61 6d 65 5d 5d 20 3d 20  sed[op[name]] = 
05d0: 31 0a 20 20 20 20 20 20 73 61 6d 65 61 73 5b 6f  1.      sameas[o
05e0: 70 5b 6e 61 6d 65 5d 5d 20 3d 20 73 79 6d 0a 20  p[name]] = sym. 
05f0: 20 20 20 7d 0a 20 20 20 20 69 66 28 24 69 3d 3d     }.    if($i==
0600: 22 6e 6f 2d 70 75 73 68 22 29 7b 0a 20 20 20 20  "no-push"){.    
0610: 20 20 6e 6f 70 75 73 68 5b 6e 61 6d 65 5d 20 3d    nopush[name] =
0620: 20 31 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a   1.    }.  }.}..
0630: 23 20 41 73 73 69 67 6e 20 6e 75 6d 62 65 72 73  # Assign numbers
0640: 20 74 6f 20 61 6c 6c 20 6f 70 63 6f 64 65 73 20   to all opcodes 
0650: 61 6e 64 20 6f 75 74 70 75 74 20 74 68 65 20 72  and output the r
0660: 65 73 75 6c 74 2e 0a 45 4e 44 20 7b 0a 20 20 63  esult..END {.  c
0670: 6e 74 20 3d 20 30 0a 20 20 6d 61 78 20 3d 20 30  nt = 0.  max = 0
0680: 0a 20 20 70 72 69 6e 74 20 22 2f 2a 20 41 75 74  .  print "/* Aut
0690: 6f 6d 61 74 69 63 61 6c 6c 79 20 67 65 6e 65 72  omatically gener
06a0: 61 74 65 64 2e 20 20 44 6f 20 6e 6f 74 20 65 64  ated.  Do not ed
06b0: 69 74 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22  it */".  print "
06c0: 2f 2a 20 53 65 65 20 74 68 65 20 6d 6b 6f 70 63  /* See the mkopc
06d0: 6f 64 65 68 2e 61 77 6b 20 73 63 72 69 70 74 20  odeh.awk script 
06e0: 66 6f 72 20 64 65 74 61 69 6c 73 20 2a 2f 22 0a  for details */".
06f0: 20 20 66 6f 72 28 6e 61 6d 65 20 69 6e 20 6f 70    for(name in op
0700: 29 7b 0a 20 20 20 20 69 66 28 20 6f 70 5b 6e 61  ){.    if( op[na
0710: 6d 65 5d 3c 30 20 29 7b 0a 20 20 20 20 20 20 63  me]<0 ){.      c
0720: 6e 74 2b 2b 0a 20 20 20 20 20 20 77 68 69 6c 65  nt++.      while
0730: 28 20 75 73 65 64 5b 63 6e 74 5d 20 29 20 63 6e  ( used[cnt] ) cn
0740: 74 2b 2b 0a 20 20 20 20 20 20 6f 70 5b 6e 61 6d  t++.      op[nam
0750: 65 5d 20 3d 20 63 6e 74 0a 20 20 20 20 7d 0a 20  e] = cnt.    }. 
0760: 20 20 20 75 73 65 64 5b 6f 70 5b 6e 61 6d 65 5d     used[op[name]
0770: 5d 20 3d 20 31 3b 0a 20 20 20 20 69 66 28 20 6f  ] = 1;.    if( o
0780: 70 5b 6e 61 6d 65 5d 3e 6d 61 78 20 29 20 6d 61  p[name]>max ) ma
0790: 78 20 3d 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20  x = op[name].   
07a0: 20 70 72 69 6e 74 66 20 22 23 64 65 66 69 6e 65   printf "#define
07b0: 20 25 2d 32 35 73 20 25 31 35 64 22 2c 20 6e 61   %-25s %15d", na
07c0: 6d 65 2c 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20  me, op[name].   
07d0: 20 69 66 28 20 73 61 6d 65 61 73 5b 6f 70 5b 6e   if( sameas[op[n
07e0: 61 6d 65 5d 5d 20 29 20 7b 0a 20 20 20 20 20 20  ame]] ) {.      
07f0: 70 72 69 6e 74 66 20 22 20 20 20 2f 2a 20 73 61  printf "   /* sa
0800: 6d 65 20 61 73 20 25 2d 31 32 73 2a 2f 22 2c 20  me as %-12s*/", 
0810: 73 61 6d 65 61 73 5b 6f 70 5b 6e 61 6d 65 5d 5d  sameas[op[name]]
0820: 0a 20 20 20 20 7d 20 0a 20 20 20 20 70 72 69 6e  .    } .    prin
0830: 74 66 20 22 5c 6e 22 0a 0a 20 20 7d 0a 20 20 73  tf "\n"..  }.  s
0840: 65 65 6e 55 6e 75 73 65 64 20 3d 20 30 3b 0a 20  eenUnused = 0;. 
0850: 20 66 6f 72 28 69 3d 31 3b 20 69 3c 6d 61 78 3b   for(i=1; i<max;
0860: 20 69 2b 2b 29 7b 0a 20 20 20 20 69 66 28 20 21   i++){.    if( !
0870: 75 73 65 64 5b 69 5d 20 29 7b 0a 20 20 20 20 20  used[i] ){.     
0880: 20 69 66 28 20 21 73 65 65 6e 55 6e 75 73 65 64   if( !seenUnused
0890: 20 29 7b 0a 20 20 20 20 20 20 20 20 70 72 69 6e   ){.        prin
08a0: 74 66 20 22 5c 6e 2f 2a 20 54 68 65 20 66 6f 6c  tf "\n/* The fol
08b0: 6c 6f 77 69 6e 67 20 6f 70 63 6f 64 65 20 76 61  lowing opcode va
08c0: 6c 75 65 73 20 61 72 65 20 6e 65 76 65 72 20 75  lues are never u
08d0: 73 65 64 20 2a 2f 5c 6e 22 0a 20 20 20 20 20 20  sed */\n".      
08e0: 20 20 73 65 65 6e 55 6e 75 73 65 64 20 3d 20 31    seenUnused = 1
08f0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 70  .      }.      p
0900: 72 69 6e 74 66 20 22 23 64 65 66 69 6e 65 20 25  rintf "#define %
0910: 2d 32 35 73 20 25 31 35 64 5c 6e 22 2c 20 73 70  -25s %15d\n", sp
0920: 72 69 6e 74 66 28 20 22 4f 50 5f 4e 6f 74 55 73  rintf( "OP_NotUs
0930: 65 64 5f 25 2d 33 64 22 2c 20 69 20 29 2c 20 69  ed_%-3d", i ), i
0940: 0a 20 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 23 20  .    }.  }..  # 
0950: 47 65 6e 65 72 61 74 65 20 74 68 65 20 31 30 20  Generate the 10 
0960: 31 36 2d 62 69 74 20 62 69 74 6d 61 73 6b 73 20  16-bit bitmasks 
0970: 75 73 65 64 20 62 79 20 66 75 6e 63 74 69 6f 6e  used by function
0980: 20 6f 70 63 6f 64 65 55 73 65 73 53 74 61 63 6b   opcodeUsesStack
0990: 28 29 0a 20 20 23 20 69 6e 20 76 64 62 65 61 75  ().  # in vdbeau
09a0: 78 2e 63 2e 20 53 65 65 20 63 6f 6d 6d 65 6e 74  x.c. See comment
09b0: 73 20 69 6e 20 74 68 61 74 20 66 75 6e 63 74 69  s in that functi
09c0: 6f 6e 20 66 6f 72 20 64 65 74 61 69 6c 73 2e 0a  on for details..
09d0: 20 20 23 20 0a 20 20 6e 6f 70 75 73 68 5b 30 5d    # .  nopush[0]
09e0: 20 3d 20 30 20 20 20 20 20 20 20 20 20 20 20 20   = 0            
09f0: 20 20 23 20 30 2e 2e 31 35 0a 20 20 6e 6f 70 75    # 0..15.  nopu
0a00: 73 68 5b 31 5d 20 3d 20 30 20 20 20 20 20 20 20  sh[1] = 0       
0a10: 20 20 20 20 20 20 20 23 20 31 36 2e 2e 33 31 0a         # 16..31.
0a20: 20 20 6e 6f 70 75 73 68 5b 32 5d 20 3d 20 30 20    nopush[2] = 0 
0a30: 20 20 20 20 20 20 20 20 20 20 20 20 20 23 20 33               # 3
0a40: 32 2e 2e 34 37 0a 20 20 6e 6f 70 75 73 68 5b 33  2..47.  nopush[3
0a50: 5d 20 3d 20 30 20 20 20 20 20 20 20 20 20 20 20  ] = 0           
0a60: 20 20 20 23 20 34 38 2e 2e 36 33 0a 20 20 6e 6f     # 48..63.  no
0a70: 70 75 73 68 5b 34 5d 20 3d 20 30 20 20 20 20 20  push[4] = 0     
0a80: 20 20 20 20 20 20 20 20 20 23 20 36 34 2e 2e 37           # 64..7
0a90: 39 0a 20 20 6e 6f 70 75 73 68 5b 35 5d 20 3d 20  9.  nopush[5] = 
0aa0: 30 20 20 20 20 20 20 20 20 20 20 20 20 20 20 23  0              #
0ab0: 20 38 30 2e 2e 39 35 0a 20 20 6e 6f 70 75 73 68   80..95.  nopush
0ac0: 5b 36 5d 20 3d 20 30 20 20 20 20 20 20 20 20 20  [6] = 0         
0ad0: 20 20 20 20 20 23 20 39 36 2e 2e 31 31 31 0a 20       # 96..111. 
0ae0: 20 6e 6f 70 75 73 68 5b 37 5d 20 3d 20 30 20 20   nopush[7] = 0  
0af0: 20 20 20 20 20 20 20 20 20 20 20 20 23 20 31 31              # 11
0b00: 32 2e 2e 31 32 37 0a 20 20 6e 6f 70 75 73 68 5b  2..127.  nopush[
0b10: 38 5d 20 3d 20 30 20 20 20 20 20 20 20 20 20 20  8] = 0          
0b20: 20 20 20 20 23 20 31 32 38 2e 2e 31 34 33 0a 20      # 128..143. 
0b30: 20 6e 6f 70 75 73 68 5b 39 5d 20 3d 20 30 20 20   nopush[9] = 0  
0b40: 20 20 20 20 20 20 20 20 20 20 20 20 23 20 31 34              # 14
0b50: 34 2e 2e 31 35 39 0a 20 20 66 6f 72 28 6e 61 6d  4..159.  for(nam
0b60: 65 20 69 6e 20 6f 70 29 7b 0a 20 20 20 20 69 66  e in op){.    if
0b70: 28 20 6e 6f 70 75 73 68 5b 6e 61 6d 65 5d 20 29  ( nopush[name] )
0b80: 7b 0a 20 20 20 20 20 20 6e 20 3d 20 6f 70 5b 6e  {.      n = op[n
0b90: 61 6d 65 5d 0a 20 20 20 20 20 20 6a 20 3d 20 6e  ame].      j = n
0ba0: 25 31 36 0a 20 20 20 20 20 20 69 20 3d 20 28 28  %16.      i = ((
0bb0: 6e 20 2d 20 6a 29 2f 31 36 29 0a 20 20 20 20 20  n - j)/16).     
0bc0: 20 6e 6f 70 75 73 68 5b 69 5d 20 3d 20 6e 6f 70   nopush[i] = nop
0bd0: 75 73 68 5b 69 5d 20 2b 20 28 32 5e 6a 29 0a 20  ush[i] + (2^j). 
0be0: 20 20 20 7d 0a 20 20 7d 0a 20 20 70 72 69 6e 74     }.  }.  print
0bf0: 66 20 22 5c 6e 22 0a 20 20 66 6f 72 28 69 3d 30  f "\n".  for(i=0
0c00: 3b 20 69 3c 31 30 3b 20 69 2b 2b 29 7b 0a 20 20  ; i<10; i++){.  
0c10: 20 20 70 72 69 6e 74 66 20 22 23 64 65 66 69 6e    printf "#defin
0c20: 65 20 4e 4f 50 55 53 48 5f 4d 41 53 4b 5f 25 64  e NOPUSH_MASK_%d
0c30: 20 25 64 5c 6e 22 2c 20 69 2c 20 6e 6f 70 75 73   %d\n", i, nopus
0c40: 68 5b 69 5d 0a 20 20 7d 0a 7d 0a                 h[i].  }.}.