Artifact
89fab7d28a5ec5313f6ca985d87a31a97ef14bcb:
- File
mkopcodeh.awk
— part of check-in
[0e50c020]
at
2008-01-18 14:08:24
on branch trunk
— Remove the OP_HexBlob instruction and code OP_Blob directly. Reduce
the amount of memory allocation required to encode blob literals.
Remove the "out2" instruction type. Other minor optimizations. (CVS 4726)
(user:
drh
size: 4946)
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: 6a 75 6d 70 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20 jump[name] = 0.
0800: 20 6f 75 74 32 5f 70 72 65 72 65 6c 65 61 73 65 out2_prerelease
0810: 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20 20 69 6e 31 [name] = 0. in1
0820: 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20 20 69 6e 32 [name] = 0. in2
0830: 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20 20 69 6e 33 [name] = 0. in3
0840: 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20 20 6f 75 74 [name] = 0. out
0850: 33 5b 6e 61 6d 65 5d 20 3d 20 30 0a 20 20 66 6f 3[name] = 0. fo
0860: 72 28 69 3d 33 3b 20 69 3c 4e 46 3b 20 69 2b 2b r(i=3; i<NF; i++
0870: 29 7b 0a 20 20 20 20 69 66 28 24 69 3d 3d 22 73 ){. if($i=="s
0880: 61 6d 65 22 20 26 26 20 24 28 69 2b 31 29 3d 3d ame" && $(i+1)==
0890: 22 61 73 22 29 7b 0a 20 20 20 20 20 20 73 79 6d "as"){. sym
08a0: 20 3d 20 24 28 69 2b 32 29 0a 20 20 20 20 20 20 = $(i+2).
08b0: 73 75 62 28 2f 2c 2f 2c 22 22 2c 73 79 6d 29 0a sub(/,/,"",sym).
08c0: 20 20 20 20 20 20 6f 70 5b 6e 61 6d 65 5d 20 3d op[name] =
08d0: 20 74 6b 5b 73 79 6d 5d 0a 20 20 20 20 20 20 75 tk[sym]. u
08e0: 73 65 64 5b 6f 70 5b 6e 61 6d 65 5d 5d 20 3d 20 sed[op[name]] =
08f0: 31 0a 20 20 20 20 20 20 73 61 6d 65 61 73 5b 6f 1. sameas[o
0900: 70 5b 6e 61 6d 65 5d 5d 20 3d 20 73 79 6d 0a 20 p[name]] = sym.
0910: 20 20 20 7d 0a 20 20 20 20 78 20 3d 20 24 69 0a }. x = $i.
0920: 20 20 20 20 73 75 62 28 22 2c 22 2c 22 22 2c 78 sub(",","",x
0930: 29 0a 20 20 20 20 69 66 28 78 3d 3d 22 6a 75 6d ). if(x=="jum
0940: 70 22 29 7b 0a 20 20 20 20 20 20 6a 75 6d 70 5b p"){. jump[
0950: 6e 61 6d 65 5d 20 3d 20 31 0a 20 20 20 20 7d 65 name] = 1. }e
0960: 6c 73 65 20 69 66 28 78 3d 3d 22 6f 75 74 32 2d lse if(x=="out2-
0970: 70 72 65 72 65 6c 65 61 73 65 22 29 7b 0a 20 20 prerelease"){.
0980: 20 20 20 20 6f 75 74 32 5f 70 72 65 72 65 6c 65 out2_prerele
0990: 61 73 65 5b 6e 61 6d 65 5d 20 3d 20 31 0a 20 20 ase[name] = 1.
09a0: 20 20 7d 65 6c 73 65 20 69 66 28 78 3d 3d 22 69 }else if(x=="i
09b0: 6e 31 22 29 7b 0a 20 20 20 20 20 20 69 6e 31 5b n1"){. in1[
09c0: 6e 61 6d 65 5d 20 3d 20 31 0a 20 20 20 20 7d 65 name] = 1. }e
09d0: 6c 73 65 20 69 66 28 78 3d 3d 22 69 6e 32 22 29 lse if(x=="in2")
09e0: 7b 0a 20 20 20 20 20 20 69 6e 32 5b 6e 61 6d 65 {. in2[name
09f0: 5d 20 3d 20 31 0a 20 20 20 20 7d 65 6c 73 65 20 ] = 1. }else
0a00: 69 66 28 78 3d 3d 22 69 6e 33 22 29 7b 0a 20 20 if(x=="in3"){.
0a10: 20 20 20 20 69 6e 33 5b 6e 61 6d 65 5d 20 3d 20 in3[name] =
0a20: 31 0a 20 20 20 20 7d 65 6c 73 65 20 69 66 28 78 1. }else if(x
0a30: 3d 3d 22 6f 75 74 33 22 29 7b 0a 20 20 20 20 20 =="out3"){.
0a40: 20 6f 75 74 33 5b 6e 61 6d 65 5d 20 3d 20 31 0a out3[name] = 1.
0a50: 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 23 20 41 }. }.}..# A
0a60: 73 73 69 67 6e 20 6e 75 6d 62 65 72 73 20 74 6f ssign numbers to
0a70: 20 61 6c 6c 20 6f 70 63 6f 64 65 73 20 61 6e 64 all opcodes and
0a80: 20 6f 75 74 70 75 74 20 74 68 65 20 72 65 73 75 output the resu
0a90: 6c 74 2e 0a 45 4e 44 20 7b 0a 20 20 63 6e 74 20 lt..END {. cnt
0aa0: 3d 20 30 0a 20 20 6d 61 78 20 3d 20 30 0a 20 20 = 0. max = 0.
0ab0: 70 72 69 6e 74 20 22 2f 2a 20 41 75 74 6f 6d 61 print "/* Automa
0ac0: 74 69 63 61 6c 6c 79 20 67 65 6e 65 72 61 74 65 tically generate
0ad0: 64 2e 20 20 44 6f 20 6e 6f 74 20 65 64 69 74 20 d. Do not edit
0ae0: 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 2f 2a 20 */". print "/*
0af0: 53 65 65 20 74 68 65 20 6d 6b 6f 70 63 6f 64 65 See the mkopcode
0b00: 68 2e 61 77 6b 20 73 63 72 69 70 74 20 66 6f 72 h.awk script for
0b10: 20 64 65 74 61 69 6c 73 20 2a 2f 22 0a 20 20 66 details */". f
0b20: 6f 72 28 6e 61 6d 65 20 69 6e 20 6f 70 29 7b 0a or(name in op){.
0b30: 20 20 20 20 69 66 28 20 6f 70 5b 6e 61 6d 65 5d if( op[name]
0b40: 3c 30 20 29 7b 0a 20 20 20 20 20 20 63 6e 74 2b <0 ){. cnt+
0b50: 2b 0a 20 20 20 20 20 20 77 68 69 6c 65 28 20 75 +. while( u
0b60: 73 65 64 5b 63 6e 74 5d 20 29 20 63 6e 74 2b 2b sed[cnt] ) cnt++
0b70: 0a 20 20 20 20 20 20 6f 70 5b 6e 61 6d 65 5d 20 . op[name]
0b80: 3d 20 63 6e 74 0a 20 20 20 20 7d 0a 20 20 20 20 = cnt. }.
0b90: 75 73 65 64 5b 6f 70 5b 6e 61 6d 65 5d 5d 20 3d used[op[name]] =
0ba0: 20 31 3b 0a 20 20 20 20 69 66 28 20 6f 70 5b 6e 1;. if( op[n
0bb0: 61 6d 65 5d 3e 6d 61 78 20 29 20 6d 61 78 20 3d ame]>max ) max =
0bc0: 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20 20 70 72 op[name]. pr
0bd0: 69 6e 74 66 20 22 23 64 65 66 69 6e 65 20 25 2d intf "#define %-
0be0: 32 35 73 20 25 31 35 64 22 2c 20 6e 61 6d 65 2c 25s %15d", name,
0bf0: 20 6f 70 5b 6e 61 6d 65 5d 0a 20 20 20 20 69 66 op[name]. if
0c00: 28 20 73 61 6d 65 61 73 5b 6f 70 5b 6e 61 6d 65 ( sameas[op[name
0c10: 5d 5d 20 29 20 7b 0a 20 20 20 20 20 20 70 72 69 ]] ) {. pri
0c20: 6e 74 66 20 22 20 20 20 2f 2a 20 73 61 6d 65 20 ntf " /* same
0c30: 61 73 20 25 2d 31 32 73 2a 2f 22 2c 20 73 61 6d as %-12s*/", sam
0c40: 65 61 73 5b 6f 70 5b 6e 61 6d 65 5d 5d 0a 20 20 eas[op[name]].
0c50: 20 20 7d 20 0a 20 20 20 20 70 72 69 6e 74 66 20 } . printf
0c60: 22 5c 6e 22 0a 0a 20 20 7d 0a 20 20 73 65 65 6e "\n".. }. seen
0c70: 55 6e 75 73 65 64 20 3d 20 30 3b 0a 20 20 66 6f Unused = 0;. fo
0c80: 72 28 69 3d 31 3b 20 69 3c 6d 61 78 3b 20 69 2b r(i=1; i<max; i+
0c90: 2b 29 7b 0a 20 20 20 20 69 66 28 20 21 75 73 65 +){. if( !use
0ca0: 64 5b 69 5d 20 29 7b 0a 20 20 20 20 20 20 69 66 d[i] ){. if
0cb0: 28 20 21 73 65 65 6e 55 6e 75 73 65 64 20 29 7b ( !seenUnused ){
0cc0: 0a 20 20 20 20 20 20 20 20 70 72 69 6e 74 66 20 . printf
0cd0: 22 5c 6e 2f 2a 20 54 68 65 20 66 6f 6c 6c 6f 77 "\n/* The follow
0ce0: 69 6e 67 20 6f 70 63 6f 64 65 20 76 61 6c 75 65 ing opcode value
0cf0: 73 20 61 72 65 20 6e 65 76 65 72 20 75 73 65 64 s are never used
0d00: 20 2a 2f 5c 6e 22 0a 20 20 20 20 20 20 20 20 73 */\n". s
0d10: 65 65 6e 55 6e 75 73 65 64 20 3d 20 31 0a 20 20 eenUnused = 1.
0d20: 20 20 20 20 7d 0a 20 20 20 20 20 20 70 72 69 6e }. prin
0d30: 74 66 20 22 23 64 65 66 69 6e 65 20 25 2d 32 35 tf "#define %-25
0d40: 73 20 25 31 35 64 5c 6e 22 2c 20 73 70 72 69 6e s %15d\n", sprin
0d50: 74 66 28 20 22 4f 50 5f 4e 6f 74 55 73 65 64 5f tf( "OP_NotUsed_
0d60: 25 2d 33 64 22 2c 20 69 20 29 2c 20 69 0a 20 20 %-3d", i ), i.
0d70: 20 20 7d 0a 20 20 7d 0a 0a 20 20 23 20 47 65 6e }. }.. # Gen
0d80: 65 72 61 74 65 20 74 68 65 20 62 69 74 76 65 63 erate the bitvec
0d90: 74 6f 72 73 3a 0a 20 20 23 0a 20 20 23 20 20 62 tors:. #. # b
0da0: 69 74 20 30 3a 20 20 20 20 20 6a 75 6d 70 0a 20 it 0: jump.
0db0: 20 23 20 20 62 69 74 20 31 3a 20 20 20 20 20 70 # bit 1: p
0dc0: 75 73 68 65 73 20 61 20 72 65 73 75 6c 74 20 6f ushes a result o
0dd0: 6e 74 6f 20 73 74 61 63 6b 0a 20 20 23 20 20 62 nto stack. # b
0de0: 69 74 20 32 3a 20 20 20 20 20 6f 75 74 70 75 74 it 2: output
0df0: 20 74 6f 20 70 31 2e 20 20 72 65 6c 65 61 73 65 to p1. release
0e00: 20 70 31 20 62 65 66 6f 72 65 20 6f 70 63 6f 64 p1 before opcod
0e10: 65 20 72 75 6e 73 0a 20 20 23 0a 20 20 66 6f 72 e runs. #. for
0e20: 28 69 3d 30 3b 20 69 3c 3d 6d 61 78 3b 20 69 2b (i=0; i<=max; i+
0e30: 2b 29 20 62 76 5b 69 5d 20 3d 20 30 3b 0a 20 20 +) bv[i] = 0;.
0e40: 66 6f 72 28 6e 61 6d 65 20 69 6e 20 6f 70 29 7b for(name in op){
0e50: 0a 20 20 20 20 78 20 3d 20 6f 70 5b 6e 61 6d 65 . x = op[name
0e60: 5d 0a 20 20 20 20 61 30 20 3d 20 61 31 20 3d 20 ]. a0 = a1 =
0e70: 61 32 20 3d 20 61 33 20 3d 20 61 34 20 3d 20 61 a2 = a3 = a4 = a
0e80: 35 20 3d 20 61 36 20 3d 20 61 37 20 3d 20 30 0a 5 = a6 = a7 = 0.
0e90: 20 20 20 20 23 20 61 38 20 3d 20 61 39 20 3d 20 # a8 = a9 =
0ea0: 61 31 30 20 3d 20 61 31 31 20 3d 20 61 31 32 20 a10 = a11 = a12
0eb0: 3d 20 61 31 33 20 3d 20 61 31 34 20 3d 20 61 31 = a13 = a14 = a1
0ec0: 35 20 3d 20 30 0a 20 20 20 20 69 66 28 20 6a 75 5 = 0. if( ju
0ed0: 6d 70 5b 6e 61 6d 65 5d 20 29 20 61 30 20 3d 20 mp[name] ) a0 =
0ee0: 31 3b 0a 20 20 20 20 69 66 28 20 6f 75 74 32 5f 1;. if( out2_
0ef0: 70 72 65 72 65 6c 65 61 73 65 5b 6e 61 6d 65 5d prerelease[name]
0f00: 20 29 20 61 31 20 3d 20 32 3b 0a 20 20 20 20 69 ) a1 = 2;. i
0f10: 66 28 20 69 6e 31 5b 6e 61 6d 65 5d 20 29 20 61 f( in1[name] ) a
0f20: 32 20 3d 20 34 3b 0a 20 20 20 20 69 66 28 20 69 2 = 4;. if( i
0f30: 6e 32 5b 6e 61 6d 65 5d 20 29 20 61 33 20 3d 20 n2[name] ) a3 =
0f40: 38 3b 0a 20 20 20 20 69 66 28 20 69 6e 33 5b 6e 8;. if( in3[n
0f50: 61 6d 65 5d 20 29 20 61 34 20 3d 20 31 36 3b 0a ame] ) a4 = 16;.
0f60: 20 20 20 20 69 66 28 20 6f 75 74 33 5b 6e 61 6d if( out3[nam
0f70: 65 5d 20 29 20 61 35 20 3d 20 33 32 3b 0a 20 20 e] ) a5 = 32;.
0f80: 20 20 23 20 62 76 5b 78 5d 20 3d 20 61 30 2b 61 # bv[x] = a0+a
0f90: 31 2b 61 32 2b 61 33 2b 61 34 2b 61 35 2b 61 36 1+a2+a3+a4+a5+a6
0fa0: 2b 61 37 2b 61 38 2b 61 39 2b 61 31 30 2b 61 31 +a7+a8+a9+a10+a1
0fb0: 31 2b 61 31 32 2b 61 31 33 2b 61 31 34 2b 61 31 1+a12+a13+a14+a1
0fc0: 35 3b 0a 20 20 20 20 62 76 5b 78 5d 20 3d 20 61 5;. bv[x] = a
0fd0: 30 2b 61 31 2b 61 32 2b 61 33 2b 61 34 2b 61 35 0+a1+a2+a3+a4+a5
0fe0: 2b 61 36 2b 61 37 3b 0a 20 20 7d 0a 20 20 70 72 +a6+a7;. }. pr
0ff0: 69 6e 74 20 22 5c 6e 22 0a 20 20 70 72 69 6e 74 int "\n". print
1000: 20 22 2f 2a 20 50 72 6f 70 65 72 74 69 65 73 20 "/* Properties
1010: 73 75 63 68 20 61 73 20 5c 22 6f 75 74 32 5c 22 such as \"out2\"
1020: 20 6f 72 20 5c 22 6a 75 6d 70 5c 22 20 74 68 61 or \"jump\" tha
1030: 74 20 61 72 65 20 73 70 65 63 69 66 69 65 64 20 t are specified
1040: 69 6e 22 0a 20 20 70 72 69 6e 74 20 22 2a 2a 20 in". print "**
1050: 63 6f 6d 6d 65 6e 74 73 20 66 6f 6c 6c 6f 77 69 comments followi
1060: 6e 67 20 74 68 65 20 5c 22 63 61 73 65 5c 22 20 ng the \"case\"
1070: 66 6f 72 20 65 61 63 68 20 6f 70 63 6f 64 65 20 for each opcode
1080: 69 6e 20 74 68 65 20 76 64 62 65 2e 63 22 0a 20 in the vdbe.c".
1090: 20 70 72 69 6e 74 20 22 2a 2a 20 61 72 65 20 65 print "** are e
10a0: 6e 63 6f 64 65 64 20 69 6e 74 6f 20 62 69 74 76 ncoded into bitv
10b0: 65 63 74 6f 72 73 20 61 73 20 66 6f 6c 6c 6f 77 ectors as follow
10c0: 73 3a 22 0a 20 20 70 72 69 6e 74 20 22 2a 2f 22 s:". print "*/"
10d0: 0a 20 20 70 72 69 6e 74 20 22 23 64 65 66 69 6e . print "#defin
10e0: 65 20 4f 50 46 4c 47 5f 4a 55 4d 50 20 20 20 20 e OPFLG_JUMP
10f0: 20 20 20 20 20 20 20 20 30 78 30 30 30 31 20 20 0x0001
1100: 2f 2a 20 6a 75 6d 70 3a 20 20 50 32 20 68 6f 6c /* jump: P2 hol
1110: 64 73 20 6a 6d 70 20 74 61 72 67 65 74 20 2a 2f ds jmp target */
1120: 22 0a 20 20 70 72 69 6e 74 20 22 23 64 65 66 69 ". print "#defi
1130: 6e 65 20 4f 50 46 4c 47 5f 4f 55 54 32 5f 50 52 ne OPFLG_OUT2_PR
1140: 45 52 45 4c 45 41 53 45 20 30 78 30 30 30 32 20 ERELEASE 0x0002
1150: 20 2f 2a 20 6f 75 74 32 2d 70 72 65 72 65 6c 65 /* out2-prerele
1160: 61 73 65 3a 20 2a 2f 22 0a 20 20 70 72 69 6e 74 ase: */". print
1170: 20 22 23 64 65 66 69 6e 65 20 4f 50 46 4c 47 5f "#define OPFLG_
1180: 49 4e 31 20 20 20 20 20 20 20 20 20 20 20 20 20 IN1
1190: 30 78 30 30 30 34 20 20 2f 2a 20 69 6e 31 3a 20 0x0004 /* in1:
11a0: 20 20 50 31 20 69 73 20 61 6e 20 69 6e 70 75 74 P1 is an input
11b0: 20 2a 2f 22 0a 20 20 70 72 69 6e 74 20 22 23 64 */". print "#d
11c0: 65 66 69 6e 65 20 4f 50 46 4c 47 5f 49 4e 32 20 efine OPFLG_IN2
11d0: 20 20 20 20 20 20 20 20 20 20 20 20 30 78 30 30 0x00
11e0: 30 38 20 20 2f 2a 20 69 6e 32 3a 20 20 20 50 32 08 /* in2: P2
11f0: 20 69 73 20 61 6e 20 69 6e 70 75 74 20 2a 2f 22 is an input */"
1200: 0a 20 20 70 72 69 6e 74 20 22 23 64 65 66 69 6e . print "#defin
1210: 65 20 4f 50 46 4c 47 5f 49 4e 33 20 20 20 20 20 e OPFLG_IN3
1220: 20 20 20 20 20 20 20 20 30 78 30 30 31 30 20 20 0x0010
1230: 2f 2a 20 69 6e 33 3a 20 20 20 50 33 20 69 73 20 /* in3: P3 is
1240: 61 6e 20 69 6e 70 75 74 20 2a 2f 22 0a 20 20 70 an input */". p
1250: 72 69 6e 74 20 22 23 64 65 66 69 6e 65 20 4f 50 rint "#define OP
1260: 46 4c 47 5f 4f 55 54 33 20 20 20 20 20 20 20 20 FLG_OUT3
1270: 20 20 20 20 30 78 30 30 32 30 20 20 2f 2a 20 6f 0x0020 /* o
1280: 75 74 33 3a 20 20 50 33 20 69 73 20 61 6e 20 6f ut3: P3 is an o
1290: 75 74 70 75 74 20 2a 2f 22 0a 20 20 70 72 69 6e utput */". prin
12a0: 74 20 22 23 64 65 66 69 6e 65 20 4f 50 46 4c 47 t "#define OPFLG
12b0: 5f 49 4e 49 54 49 41 4c 49 5a 45 52 20 7b 5c 5c _INITIALIZER {\\
12c0: 22 0a 20 20 66 6f 72 28 69 3d 30 3b 20 69 3c 3d ". for(i=0; i<=
12d0: 6d 61 78 3b 20 69 2b 2b 29 7b 0a 20 20 20 20 69 max; i++){. i
12e0: 66 28 20 69 25 38 3d 3d 30 20 29 20 70 72 69 6e f( i%8==0 ) prin
12f0: 74 66 28 22 2f 2a 20 25 33 64 20 2a 2f 22 2c 69 tf("/* %3d */",i
1300: 29 0a 20 20 20 20 70 72 69 6e 74 66 20 22 20 30 ). printf " 0
1310: 78 25 30 32 78 2c 22 2c 20 62 76 5b 69 5d 0a 20 x%02x,", bv[i].
1320: 20 20 20 69 66 28 20 69 25 38 3d 3d 37 20 29 20 if( i%8==7 )
1330: 70 72 69 6e 74 66 28 22 5c 5c 5c 6e 22 29 3b 0a printf("\\\n");.
1340: 20 20 7d 0a 20 20 70 72 69 6e 74 20 22 7d 22 0a }. print "}".
1350: 7d 0a }.