/ Hex Artifact Content
Login

Artifact d3d6dfcef5a7b69398627aec581d1ec52561517d:


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 73 74 61 63 6b 22 29 7b 0a 20 20 20 20 20 20  "stack"){.      
0610: 73 74 61 63 6b 5b 6e 61 6d 65 5d 20 3d 20 31 0a  stack[name] = 1.
0620: 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 23 20 41      }.  }.}..# A
0630: 73 73 69 67 6e 20 6e 75 6d 62 65 72 73 20 74 6f  ssign numbers to
0640: 20 61 6c 6c 20 6f 70 63 6f 64 65 73 20 61 6e 64   all opcodes and
0650: 20 6f 75 74 70 75 74 20 74 68 65 20 72 65 73 75   output the resu
0660: 6c 74 2e 0a 45 4e 44 20 7b 0a 20 20 63 6e 74 20  lt..END {.  cnt 
0670: 3d 20 30 0a 20 20 6d 61 78 20 3d 20 30 0a 20 20  = 0.  max = 0.  
0680: 70 72 69 6e 74 20 22 2f 2a 20 41 75 74 6f 6d 61  print "/* Automa
0690: 74 69 63 61 6c 6c 79 20 67 65 6e 65 72 61 74 65  tically generate
06a0: 64 2e 20 20 44 6f 20 6e 6f 74 20 65 64 69 74 20  d.  Do not edit 
06b0: 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 2f 2a 20  */".  print "/* 
06c0: 53 65 65 20 74 68 65 20 6d 6b 6f 70 63 6f 64 65  See the mkopcode
06d0: 68 2e 61 77 6b 20 73 63 72 69 70 74 20 66 6f 72  h.awk script for
06e0: 20 64 65 74 61 69 6c 73 20 2a 2f 22 0a 20 20 66   details */".  f
06f0: 6f 72 28 6e 61 6d 65 20 69 6e 20 6f 70 29 7b 0a  or(name in op){.
0700: 20 20 20 20 69 66 28 20 6f 70 5b 6e 61 6d 65 5d      if( op[name]
0710: 3c 30 20 29 7b 0a 20 20 20 20 20 20 63 6e 74 2b  <0 ){.      cnt+
0720: 2b 0a 20 20 20 20 20 20 77 68 69 6c 65 28 20 75  +.      while( u
0730: 73 65 64 5b 63 6e 74 5d 20 29 20 63 6e 74 2b 2b  sed[cnt] ) cnt++
0740: 0a 20 20 20 20 20 20 6f 70 5b 6e 61 6d 65 5d 20  .      op[name] 
0750: 3d 20 63 6e 74 0a 20 20 20 20 7d 0a 20 20 20 20  = cnt.    }.    
0760: 75 73 65 64 5b 6f 70 5b 6e 61 6d 65 5d 5d 20 3d  used[op[name]] =
0770: 20 31 3b 0a 20 20 20 20 69 66 28 20 6f 70 5b 6e   1;.    if( op[n
0780: 61 6d 65 5d 3e 6d 61 78 20 29 20 6d 61 78 20 3d  ame]>max ) max =
0790: 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20 20 70 72   op[name].    pr
07a0: 69 6e 74 66 20 22 23 64 65 66 69 6e 65 20 25 2d  intf "#define %-
07b0: 32 35 73 20 25 31 35 64 22 2c 20 6e 61 6d 65 2c  25s %15d", name,
07c0: 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20 20 69 66   op[name].    if
07d0: 28 20 73 61 6d 65 61 73 5b 6f 70 5b 6e 61 6d 65  ( sameas[op[name
07e0: 5d 5d 20 29 20 7b 0a 20 20 20 20 20 20 70 72 69  ]] ) {.      pri
07f0: 6e 74 66 20 22 20 20 20 2f 2a 20 73 61 6d 65 20  ntf "   /* same 
0800: 61 73 20 25 2d 31 32 73 2a 2f 22 2c 20 73 61 6d  as %-12s*/", sam
0810: 65 61 73 5b 6f 70 5b 6e 61 6d 65 5d 5d 0a 20 20  eas[op[name]].  
0820: 20 20 7d 20 0a 20 20 20 20 70 72 69 6e 74 66 20    } .    printf 
0830: 22 5c 6e 22 0a 0a 20 20 7d 0a 20 20 73 65 65 6e  "\n"..  }.  seen
0840: 55 6e 75 73 65 64 20 3d 20 30 3b 0a 20 20 66 6f  Unused = 0;.  fo
0850: 72 28 69 3d 31 3b 20 69 3c 6d 61 78 3b 20 69 2b  r(i=1; i<max; i+
0860: 2b 29 7b 0a 20 20 20 20 69 66 28 20 21 75 73 65  +){.    if( !use
0870: 64 5b 69 5d 20 29 7b 0a 20 20 20 20 20 20 69 66  d[i] ){.      if
0880: 28 20 21 73 65 65 6e 55 6e 75 73 65 64 20 29 7b  ( !seenUnused ){
0890: 0a 20 20 20 20 20 20 20 20 70 72 69 6e 74 66 20  .        printf 
08a0: 22 5c 6e 2f 2a 20 54 68 65 20 66 6f 6c 6c 6f 77  "\n/* The follow
08b0: 69 6e 67 20 6f 70 63 6f 64 65 20 76 61 6c 75 65  ing opcode value
08c0: 73 20 61 72 65 20 6e 65 76 65 72 20 75 73 65 64  s are never used
08d0: 20 2a 2f 5c 6e 22 0a 20 20 20 20 20 20 20 20 73   */\n".        s
08e0: 65 65 6e 55 6e 75 73 65 64 20 3d 20 31 0a 20 20  eenUnused = 1.  
08f0: 20 20 20 20 7d 0a 20 20 20 20 20 20 70 72 69 6e      }.      prin
0900: 74 66 20 22 23 64 65 66 69 6e 65 20 25 2d 32 35  tf "#define %-25
0910: 73 20 25 31 35 64 5c 6e 22 2c 20 73 70 72 69 6e  s %15d\n", sprin
0920: 74 66 28 20 22 4f 50 5f 4e 6f 74 55 73 65 64 5f  tf( "OP_NotUsed_
0930: 25 2d 33 64 22 2c 20 69 20 29 2c 20 69 0a 20 20  %-3d", i ), i.  
0940: 20 20 7d 0a 20 20 7d 0a 0a 20 20 23 20 47 65 6e    }.  }..  # Gen
0950: 65 72 61 74 65 20 74 68 65 20 31 30 20 31 36 2d  erate the 10 16-
0960: 62 69 74 20 62 69 74 6d 61 73 6b 73 20 75 73 65  bit bitmasks use
0970: 64 20 62 79 20 66 75 6e 63 74 69 6f 6e 20 6f 70  d by function op
0980: 63 6f 64 65 55 73 65 73 53 74 61 63 6b 28 29 0a  codeUsesStack().
0990: 20 20 23 20 69 6e 20 76 64 62 65 61 75 78 2e 63    # in vdbeaux.c
09a0: 2e 20 53 65 65 20 63 6f 6d 6d 65 6e 74 73 20 69  . See comments i
09b0: 6e 20 74 68 61 74 20 66 75 6e 63 74 69 6f 6e 20  n that function 
09c0: 66 6f 72 20 64 65 74 61 69 6c 73 2e 0a 20 20 23  for details..  #
09d0: 20 0a 20 20 73 74 61 63 6b 5b 30 5d 20 3d 20 30   .  stack[0] = 0
09e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 23 20                # 
09f0: 30 2e 2e 31 35 0a 20 20 73 74 61 63 6b 5b 31 5d  0..15.  stack[1]
0a00: 20 3d 20 30 20 20 20 20 20 20 20 20 20 20 20 20   = 0            
0a10: 20 20 23 20 31 36 2e 2e 33 31 0a 20 20 73 74 61    # 16..31.  sta
0a20: 63 6b 5b 32 5d 20 3d 20 30 20 20 20 20 20 20 20  ck[2] = 0       
0a30: 20 20 20 20 20 20 20 23 20 33 32 2e 2e 34 37 0a         # 32..47.
0a40: 20 20 73 74 61 63 6b 5b 33 5d 20 3d 20 30 20 20    stack[3] = 0  
0a50: 20 20 20 20 20 20 20 20 20 20 20 20 23 20 34 38              # 48
0a60: 2e 2e 36 33 0a 20 20 73 74 61 63 6b 5b 34 5d 20  ..63.  stack[4] 
0a70: 3d 20 30 20 20 20 20 20 20 20 20 20 20 20 20 20  = 0             
0a80: 20 23 20 36 34 2e 2e 37 39 0a 20 20 73 74 61 63   # 64..79.  stac
0a90: 6b 5b 35 5d 20 3d 20 30 20 20 20 20 20 20 20 20  k[5] = 0        
0aa0: 20 20 20 20 20 20 23 20 38 30 2e 2e 39 35 0a 20        # 80..95. 
0ab0: 20 73 74 61 63 6b 5b 36 5d 20 3d 20 30 20 20 20   stack[6] = 0   
0ac0: 20 20 20 20 20 20 20 20 20 20 20 23 20 39 36 2e             # 96.
0ad0: 2e 31 31 31 0a 20 20 73 74 61 63 6b 5b 37 5d 20  .111.  stack[7] 
0ae0: 3d 20 30 20 20 20 20 20 20 20 20 20 20 20 20 20  = 0             
0af0: 20 23 20 31 31 32 2e 2e 31 32 37 0a 20 20 73 74   # 112..127.  st
0b00: 61 63 6b 5b 38 5d 20 3d 20 30 20 20 20 20 20 20  ack[8] = 0      
0b10: 20 20 20 20 20 20 20 20 23 20 31 32 38 2e 2e 31          # 128..1
0b20: 34 33 0a 20 20 73 74 61 63 6b 5b 39 5d 20 3d 20  43.  stack[9] = 
0b30: 30 20 20 20 20 20 20 20 20 20 20 20 20 20 20 23  0              #
0b40: 20 31 34 34 2e 2e 31 35 39 0a 20 20 66 6f 72 28   144..159.  for(
0b50: 6e 61 6d 65 20 69 6e 20 6f 70 29 7b 0a 20 20 20  name in op){.   
0b60: 20 69 66 28 20 73 74 61 63 6b 5b 6e 61 6d 65 5d   if( stack[name]
0b70: 20 29 7b 0a 20 20 20 20 20 20 6e 20 3d 20 6f 70   ){.      n = op
0b80: 5b 6e 61 6d 65 5d 0a 20 20 20 20 20 20 6a 20 3d  [name].      j =
0b90: 20 6e 25 31 36 0a 20 20 20 20 20 20 69 20 3d 20   n%16.      i = 
0ba0: 28 28 6e 20 2d 20 6a 29 2f 31 36 29 0a 20 20 20  ((n - j)/16).   
0bb0: 20 20 20 73 74 61 63 6b 5b 69 5d 20 3d 20 73 74     stack[i] = st
0bc0: 61 63 6b 5b 69 5d 20 2b 20 28 32 5e 6a 29 0a 20  ack[i] + (2^j). 
0bd0: 20 20 20 7d 0a 20 20 7d 0a 20 20 70 72 69 6e 74     }.  }.  print
0be0: 66 20 22 5c 6e 22 0a 20 20 66 6f 72 28 69 3d 30  f "\n".  for(i=0
0bf0: 3b 20 69 3c 31 30 3b 20 69 2b 2b 29 7b 0a 20 20  ; i<10; i++){.  
0c00: 20 20 70 72 69 6e 74 66 20 22 23 64 65 66 69 6e    printf "#defin
0c10: 65 20 53 54 41 43 4b 5f 4d 41 53 4b 5f 25 64 20  e STACK_MASK_%d 
0c20: 25 64 5c 6e 22 2c 20 69 2c 20 73 74 61 63 6b 5b  %d\n", i, stack[
0c30: 69 5d 0a 20 20 7d 0a 0a 7d 0a                    i].  }..}.