/
control.go
108 lines (98 loc) · 1.83 KB
/
control.go
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
package vm
import (
"encoding/binary"
)
func opVerify(vm *virtualMachine) error {
err := vm.applyCost(1)
if err != nil {
return err
}
p, err := vm.pop(true)
if err != nil {
return err
}
if AsBool(p) {
return nil
}
return ErrVerifyFailed
}
func opFail(vm *virtualMachine) error {
err := vm.applyCost(1)
if err != nil {
return err
}
return ErrReturn
}
func opCheckPredicate(vm *virtualMachine) error {
err := vm.applyCost(256)
if err != nil {
return err
}
vm.deferCost(-256 + 64) // get most of that cost back at the end
limit, err := vm.popInt64(true)
if err != nil {
return err
}
predicate, err := vm.pop(true)
if err != nil {
return err
}
n, err := vm.popInt64(true)
if err != nil {
return err
}
if limit < 0 {
return ErrBadValue
}
l := int64(len(vm.dataStack))
if n < 0 {
n = l
}
if n > l {
return ErrDataStackUnderflow
}
if limit == 0 {
limit = vm.runLimit
}
err = vm.applyCost(limit)
if err != nil {
return err
}
childVM := virtualMachine{
context: vm.context,
program: predicate,
runLimit: limit,
depth: vm.depth + 1,
dataStack: append([][]byte{}, vm.dataStack[l-n:]...),
}
vm.dataStack = vm.dataStack[:l-n]
childErr := childVM.run()
vm.deferCost(-childVM.runLimit)
vm.deferCost(-stackCost(childVM.dataStack))
vm.deferCost(-stackCost(childVM.altStack))
return vm.pushBool(childErr == nil && !childVM.falseResult(), true)
}
func opJump(vm *virtualMachine) error {
err := vm.applyCost(1)
if err != nil {
return err
}
address := binary.LittleEndian.Uint32(vm.data)
vm.nextPC = address
return nil
}
func opJumpIf(vm *virtualMachine) error {
err := vm.applyCost(1)
if err != nil {
return err
}
p, err := vm.pop(true)
if err != nil {
return err
}
if AsBool(p) {
address := binary.LittleEndian.Uint32(vm.data)
vm.nextPC = address
}
return nil
}