blob: 2c580e62831a0d0b30af44dd695ed1db10dcdc3a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
definition module ABC.Machine.Instructions
from ABC.Machine.Def import ::NrArgs, ::State, ::DescId, ::Arity, ::InstrId, ::ArgNr
from ABC.Machine.AStack import ::ASrc, ::ADst
from ABC.Machine.BStack import ::BSrc, ::BDst
add_args :: ASrc NrArgs ADst State -> State
create :: State -> State
del_args :: ASrc NrArgs ADst State -> State
dump :: String State -> State
eq_desc :: DescId ASrc State -> State
eq_desc_arity :: DescId Arity ASrc State -> State
eq_symbol :: ASrc ASrc State -> State
eqB :: State -> State
eqB_a :: Bool ASrc State -> State
eqB_b :: Bool BSrc State -> State
eqI :: State -> State
eqI_a :: Int ASrc State -> State
eqI_b :: Int BSrc State -> State
fill :: DescId NrArgs InstrId ADst State -> State
fill_a :: ASrc ADst State -> State
fillB :: Bool ADst State -> State
fillB_b :: BSrc ADst State -> State
fillI :: Int ADst State -> State
fillI_b :: BSrc ADst State -> State
get_desc_arity :: ASrc State -> State
get_node_arity :: ASrc State -> State
halt :: State -> State
jmp :: InstrId State -> State
jmp_eval :: State -> State
jmp_false :: InstrId State -> State
jmp_true :: InstrId State -> State
jsr :: InstrId State -> State
jsr_eval :: State -> State
no_op :: State -> State
pop_a :: NrArgs State -> State
pop_b :: NrArgs State -> State
print :: String State -> State
print_symbol :: ASrc State -> State
push_a :: ASrc State -> State
push_ap_entry :: ASrc State -> State
push_arg :: ASrc Arity ArgNr State -> State
push_arg_b :: ASrc State -> State
push_args :: ASrc Arity NrArgs State -> State
push_args_b :: ASrc State -> State
push_b :: BSrc State -> State
pushB :: Bool State -> State
pushB_a :: ASrc State -> State
pushI :: Int State -> State
pushI_a :: ASrc State -> State
repl_args :: Arity NrArgs State -> State
repl_args_b :: State -> State
rtn :: State -> State
set_entry :: InstrId ADst State -> State
update_a :: ASrc ADst State -> State
update_b :: BSrc BDst State -> State
addI :: State -> State
decI :: State -> State
divI :: State -> State
gtI :: State -> State
incI :: State -> State
ltI :: State -> State
mulI :: State -> State
negI :: State -> State
remI :: State -> State
subI :: State -> State
notB :: State -> State
|
