Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
DanielS`PatternMatcher`
CompilePatternToBytecode  |
|
| | ||||
Details and Options
Examples
(6)
Basic Examples
(1)
Compile a pattern with a repeated variable:
In[1]:=
bytecode=
[f[x_,x_]]
 | CompilePatternToBytecode |
Out[1]=
PatternBytecode
 |
|
Inspect the generated bytecode in a human-readable form:
In[2]:=
 | PatternBytecodeDisassemble |
Out[2]=
L0:
0 BEGIN_BLOCK Label[0]
L3:
1 BEGIN_BLOCK Label[3]
2 MATCH_LENGTH %e0, 2, Label[4]
3 MATCH_HEAD %e0, Expr[List], Label[4]
4 MOVE %e1, %e0
5 GET_PART %e2, %e0, 1
6 MOVE %e0, %e2
7 MATCH_HEAD %e0, Expr[Integer], Label[5]
8 MOVE %e3, %e0
9 BIND_VAR Symbol[Global`x], %e3
10 JUMP Label[6] → L6
L5:
11 JUMP Label[4] → L4
L6:
12 MOVE %e0, %e1
13 GET_PART %e4, %e0, 2
14 MOVE %e0, %e4
15 MATCH_HEAD %e0, Expr[Real], Label[7]
16 MOVE %e5, %e0
17 BIND_VAR Symbol[Global`y], %e5
18 JUMP Label[8] → L8
L7:
19 JUMP Label[4] → L4
L8:
20 MOVE %e0, %e1
21 END_BLOCK Label[3]
22 JUMP Label[2] → L2
L4:
23 JUMP Label[1] → L1
L9:
24 END_BLOCK Label[0]
L1:
25 LOAD_IMM %b0, 0
26 HALT
L2:
27 EXPORT_BINDINGS
28 LOAD_IMM %b0, 1
29 HALT
========================================
Statistics:
Instructions: 30
Labels: 10
Expr registers: 6
Bool registers: 1
Blocks: 2 (max depth: 2)
Jumps: 6
Backtrack points: 0
Lexical bindings:
Global`x → %e3
Global`y → %e5
Test whether expressions match the compiled pattern:
In[3]:=
| PatternMatcherMatchQ |
Out[3]=
True
In[4]:=
| PatternMatcherMatchQ |
Out[4]=
False
Get detailed execution results including variable bindings:
In[5]:=
| PatternMatcherExecute |
Out[5]=
ResultTrue,CyclesExecuted22,BindingsGlobal`x5
In[6]:=
| PatternMatcherExecute |
Out[6]=
ResultFalse,CyclesExecuted19,Bindings
Scope
(1)
Properties & Relations
(4)
 |
|
""