/ Hex Artifact Content
Login

Artifact c5ed62f101d408e64bcad0a8c036d85e99905480:


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 73 75 62 28 2f 3a 2f 2c 22 22 2c  $2.  sub(/:/,"",
0510: 6e 61 6d 65 29 0a 20 20 73 75 62 28 22 5c 72 22  name).  sub("\r"
0520: 2c 22 22 2c 6e 61 6d 65 29 0a 20 20 6f 70 5b 6e  ,"",name).  op[n
0530: 61 6d 65 5d 20 3d 20 2d 31 0a 20 20 66 6f 72 28  ame] = -1.  for(
0540: 69 3d 33 3b 20 69 3c 4e 46 3b 20 69 2b 2b 29 7b  i=3; i<NF; i++){
0550: 0a 20 20 20 20 69 66 28 24 69 3d 3d 22 73 61 6d  .    if($i=="sam
0560: 65 22 20 26 26 20 24 28 69 2b 31 29 3d 3d 22 61  e" && $(i+1)=="a
0570: 73 22 29 7b 0a 20 20 20 20 20 20 73 79 6d 20 3d  s"){.      sym =
0580: 20 24 28 69 2b 32 29 0a 20 20 20 20 20 20 73 75   $(i+2).      su
0590: 62 28 2f 2c 2f 2c 22 22 2c 73 79 6d 29 0a 20 20  b(/,/,"",sym).  
05a0: 20 20 20 20 6f 70 5b 6e 61 6d 65 5d 20 3d 20 74      op[name] = t
05b0: 6b 5b 73 79 6d 5d 0a 20 20 20 20 20 20 75 73 65  k[sym].      use
05c0: 64 5b 6f 70 5b 6e 61 6d 65 5d 5d 20 3d 20 31 0a  d[op[name]] = 1.
05d0: 20 20 20 20 20 20 73 61 6d 65 61 73 5b 6f 70 5b        sameas[op[
05e0: 6e 61 6d 65 5d 5d 20 3d 20 73 79 6d 0a 20 20 20  name]] = sym.   
05f0: 20 7d 0a 20 20 20 20 69 66 28 24 69 3d 3d 22 6e   }.    if($i=="n
0600: 6f 2d 70 75 73 68 22 29 7b 0a 20 20 20 20 20 20  o-push"){.      
0610: 6e 6f 70 75 73 68 5b 6e 61 6d 65 5d 20 3d 20 31  nopush[name] = 1
0620: 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 23 20  .    }.  }.}..# 
0630: 41 73 73 69 67 6e 20 6e 75 6d 62 65 72 73 20 74  Assign numbers t
0640: 6f 20 61 6c 6c 20 6f 70 63 6f 64 65 73 20 61 6e  o all opcodes an
0650: 64 20 6f 75 74 70 75 74 20 74 68 65 20 72 65 73  d output the res
0660: 75 6c 74 2e 0a 45 4e 44 20 7b 0a 20 20 63 6e 74  ult..END {.  cnt
0670: 20 3d 20 30 0a 20 20 6d 61 78 20 3d 20 30 0a 20   = 0.  max = 0. 
0680: 20 70 72 69 6e 74 20 22 2f 2a 20 41 75 74 6f 6d   print "/* Autom
0690: 61 74 69 63 61 6c 6c 79 20 67 65 6e 65 72 61 74  atically generat
06a0: 65 64 2e 20 20 44 6f 20 6e 6f 74 20 65 64 69 74  ed.  Do not edit
06b0: 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 2f 2a   */".  print "/*
06c0: 20 53 65 65 20 74 68 65 20 6d 6b 6f 70 63 6f 64   See the mkopcod
06d0: 65 68 2e 61 77 6b 20 73 63 72 69 70 74 20 66 6f  eh.awk script fo
06e0: 72 20 64 65 74 61 69 6c 73 20 2a 2f 22 0a 20 20  r details */".  
06f0: 66 6f 72 28 6e 61 6d 65 20 69 6e 20 6f 70 29 7b  for(name in op){
0700: 0a 20 20 20 20 69 66 28 20 6f 70 5b 6e 61 6d 65  .    if( op[name
0710: 5d 3c 30 20 29 7b 0a 20 20 20 20 20 20 63 6e 74  ]<0 ){.      cnt
0720: 2b 2b 0a 20 20 20 20 20 20 77 68 69 6c 65 28 20  ++.      while( 
0730: 75 73 65 64 5b 63 6e 74 5d 20 29 20 63 6e 74 2b  used[cnt] ) cnt+
0740: 2b 0a 20 20 20 20 20 20 6f 70 5b 6e 61 6d 65 5d  +.      op[name]
0750: 20 3d 20 63 6e 74 0a 20 20 20 20 7d 0a 20 20 20   = cnt.    }.   
0760: 20 75 73 65 64 5b 6f 70 5b 6e 61 6d 65 5d 5d 20   used[op[name]] 
0770: 3d 20 31 3b 0a 20 20 20 20 69 66 28 20 6f 70 5b  = 1;.    if( op[
0780: 6e 61 6d 65 5d 3e 6d 61 78 20 29 20 6d 61 78 20  name]>max ) max 
0790: 3d 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20 20 70  = op[name].    p
07a0: 72 69 6e 74 66 20 22 23 64 65 66 69 6e 65 20 25  rintf "#define %
07b0: 2d 32 35 73 20 25 31 35 64 22 2c 20 6e 61 6d 65  -25s %15d", name
07c0: 2c 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20 20 69  , op[name].    i
07d0: 66 28 20 73 61 6d 65 61 73 5b 6f 70 5b 6e 61 6d  f( sameas[op[nam
07e0: 65 5d 5d 20 29 20 7b 0a 20 20 20 20 20 20 70 72  e]] ) {.      pr
07f0: 69 6e 74 66 20 22 20 20 20 2f 2a 20 73 61 6d 65  intf "   /* same
0800: 20 61 73 20 25 2d 31 32 73 2a 2f 22 2c 20 73 61   as %-12s*/", sa
0810: 6d 65 61 73 5b 6f 70 5b 6e 61 6d 65 5d 5d 0a 20  meas[op[name]]. 
0820: 20 20 20 7d 20 0a 20 20 20 20 70 72 69 6e 74 66     } .    printf
0830: 20 22 5c 6e 22 0a 0a 20 20 7d 0a 20 20 73 65 65   "\n"..  }.  see
0840: 6e 55 6e 75 73 65 64 20 3d 20 30 3b 0a 20 20 66  nUnused = 0;.  f
0850: 6f 72 28 69 3d 31 3b 20 69 3c 6d 61 78 3b 20 69  or(i=1; i<max; i
0860: 2b 2b 29 7b 0a 20 20 20 20 69 66 28 20 21 75 73  ++){.    if( !us
0870: 65 64 5b 69 5d 20 29 7b 0a 20 20 20 20 20 20 69  ed[i] ){.      i
0880: 66 28 20 21 73 65 65 6e 55 6e 75 73 65 64 20 29  f( !seenUnused )
0890: 7b 0a 20 20 20 20 20 20 20 20 70 72 69 6e 74 66  {.        printf
08a0: 20 22 5c 6e 2f 2a 20 54 68 65 20 66 6f 6c 6c 6f   "\n/* The follo
08b0: 77 69 6e 67 20 6f 70 63 6f 64 65 20 76 61 6c 75  wing opcode valu
08c0: 65 73 20 61 72 65 20 6e 65 76 65 72 20 75 73 65  es are never use
08d0: 64 20 2a 2f 5c 6e 22 0a 20 20 20 20 20 20 20 20  d */\n".        
08e0: 73 65 65 6e 55 6e 75 73 65 64 20 3d 20 31 0a 20  seenUnused = 1. 
08f0: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 70 72 69       }.      pri
0900: 6e 74 66 20 22 23 64 65 66 69 6e 65 20 25 2d 32  ntf "#define %-2
0910: 35 73 20 25 31 35 64 5c 6e 22 2c 20 73 70 72 69  5s %15d\n", spri
0920: 6e 74 66 28 20 22 4f 50 5f 4e 6f 74 55 73 65 64  ntf( "OP_NotUsed
0930: 5f 25 2d 33 64 22 2c 20 69 20 29 2c 20 69 0a 20  _%-3d", i ), i. 
0940: 20 20 20 7d 0a 20 20 7d 0a 0a 20 20 23 20 47 65     }.  }..  # Ge
0950: 6e 65 72 61 74 65 20 74 68 65 20 31 30 20 31 36  nerate the 10 16
0960: 2d 62 69 74 20 62 69 74 6d 61 73 6b 73 20 75 73  -bit bitmasks us
0970: 65 64 20 62 79 20 66 75 6e 63 74 69 6f 6e 20 6f  ed by function o
0980: 70 63 6f 64 65 55 73 65 73 53 74 61 63 6b 28 29  pcodeUsesStack()
0990: 0a 20 20 23 20 69 6e 20 76 64 62 65 61 75 78 2e  .  # in vdbeaux.
09a0: 63 2e 20 53 65 65 20 63 6f 6d 6d 65 6e 74 73 20  c. See comments 
09b0: 69 6e 20 74 68 61 74 20 66 75 6e 63 74 69 6f 6e  in that function
09c0: 20 66 6f 72 20 64 65 74 61 69 6c 73 2e 0a 20 20   for details..  
09d0: 23 20 0a 20 20 6e 6f 70 75 73 68 5b 30 5d 20 3d  # .  nopush[0] =
09e0: 20 30 20 20 20 20 20 20 20 20 20 20 20 20 20 20   0              
09f0: 23 20 30 2e 2e 31 35 0a 20 20 6e 6f 70 75 73 68  # 0..15.  nopush
0a00: 5b 31 5d 20 3d 20 30 20 20 20 20 20 20 20 20 20  [1] = 0         
0a10: 20 20 20 20 20 23 20 31 36 2e 2e 33 31 0a 20 20       # 16..31.  
0a20: 6e 6f 70 75 73 68 5b 32 5d 20 3d 20 30 20 20 20  nopush[2] = 0   
0a30: 20 20 20 20 20 20 20 20 20 20 20 23 20 33 32 2e             # 32.
0a40: 2e 34 37 0a 20 20 6e 6f 70 75 73 68 5b 33 5d 20  .47.  nopush[3] 
0a50: 3d 20 30 20 20 20 20 20 20 20 20 20 20 20 20 20  = 0             
0a60: 20 23 20 34 38 2e 2e 36 33 0a 20 20 6e 6f 70 75   # 48..63.  nopu
0a70: 73 68 5b 34 5d 20 3d 20 30 20 20 20 20 20 20 20  sh[4] = 0       
0a80: 20 20 20 20 20 20 20 23 20 36 34 2e 2e 37 39 0a         # 64..79.
0a90: 20 20 6e 6f 70 75 73 68 5b 35 5d 20 3d 20 30 20    nopush[5] = 0 
0aa0: 20 20 20 20 20 20 20 20 20 20 20 20 20 23 20 38               # 8
0ab0: 30 2e 2e 39 35 0a 20 20 6e 6f 70 75 73 68 5b 36  0..95.  nopush[6
0ac0: 5d 20 3d 20 30 20 20 20 20 20 20 20 20 20 20 20  ] = 0           
0ad0: 20 20 20 23 20 39 36 2e 2e 31 31 31 0a 20 20 6e     # 96..111.  n
0ae0: 6f 70 75 73 68 5b 37 5d 20 3d 20 30 20 20 20 20  opush[7] = 0    
0af0: 20 20 20 20 20 20 20 20 20 20 23 20 31 31 32 2e            # 112.
0b00: 2e 31 32 37 0a 20 20 6e 6f 70 75 73 68 5b 38 5d  .127.  nopush[8]
0b10: 20 3d 20 30 20 20 20 20 20 20 20 20 20 20 20 20   = 0            
0b20: 20 20 23 20 31 32 38 2e 2e 31 34 33 0a 20 20 6e    # 128..143.  n
0b30: 6f 70 75 73 68 5b 39 5d 20 3d 20 30 20 20 20 20  opush[9] = 0    
0b40: 20 20 20 20 20 20 20 20 20 20 23 20 31 34 34 2e            # 144.
0b50: 2e 31 35 39 0a 20 20 66 6f 72 28 6e 61 6d 65 20  .159.  for(name 
0b60: 69 6e 20 6f 70 29 7b 0a 20 20 20 20 69 66 28 20  in op){.    if( 
0b70: 6e 6f 70 75 73 68 5b 6e 61 6d 65 5d 20 29 7b 0a  nopush[name] ){.
0b80: 20 20 20 20 20 20 6e 20 3d 20 6f 70 5b 6e 61 6d        n = op[nam
0b90: 65 5d 0a 20 20 20 20 20 20 6a 20 3d 20 6e 25 31  e].      j = n%1
0ba0: 36 0a 20 20 20 20 20 20 69 20 3d 20 28 28 6e 20  6.      i = ((n 
0bb0: 2d 20 6a 29 2f 31 36 29 0a 20 20 20 20 20 20 6e  - j)/16).      n
0bc0: 6f 70 75 73 68 5b 69 5d 20 3d 20 6e 6f 70 75 73  opush[i] = nopus
0bd0: 68 5b 69 5d 20 2b 20 28 32 5e 6a 29 0a 20 20 20  h[i] + (2^j).   
0be0: 20 7d 0a 20 20 7d 0a 20 20 70 72 69 6e 74 66 20   }.  }.  printf 
0bf0: 22 5c 6e 22 0a 20 20 66 6f 72 28 69 3d 30 3b 20  "\n".  for(i=0; 
0c00: 69 3c 31 30 3b 20 69 2b 2b 29 7b 0a 20 20 20 20  i<10; i++){.    
0c10: 70 72 69 6e 74 66 20 22 23 64 65 66 69 6e 65 20  printf "#define 
0c20: 4e 4f 50 55 53 48 5f 4d 41 53 4b 5f 25 64 20 25  NOPUSH_MASK_%d %
0c30: 64 5c 6e 22 2c 20 69 2c 20 6e 6f 70 75 73 68 5b  d\n", i, nopush[
0c40: 69 5d 0a 20 20 7d 0a 7d 0a                       i].  }.}.