move-stackless-bytecode 0.1.5

Move stackless bytecode
Documentation 
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
109
110
111
112
113
114
115
116
117
118
119

============ initial translation from Move ================

[variant baseline]
public fun Summary::write_addr() {
     var $t0: address
  0: $t0 := 0x777
  1: Summary::write_caller2($t0)
  2: return ()
}


[variant baseline]
public fun Summary::write_callee($t0|s2: &mut Summary::S2) {
     var $t1: u64
     var $t2: &mut Summary::S2
     var $t3: &mut u64
  0: $t1 := 7
  1: $t2 := move($t0)
  2: $t3 := borrow_field<Summary::S2>.f($t2)
  3: write_ref($t3, $t1)
  4: return ()
}


[variant baseline]
public fun Summary::write_caller1($t0|a: address) {
     var $t1: address
     var $t2: &mut Summary::S2
  0: $t1 := move($t0)
  1: $t2 := borrow_global<Summary::S2>($t1)
  2: Summary::write_callee($t2)
  3: return ()
}


[variant baseline]
public fun Summary::write_caller2($t0|a: address) {
     var $t1: address
     var $t2: &mut Summary::S1
     var $t3: &mut Summary::S2
  0: $t1 := move($t0)
  1: $t2 := borrow_global<Summary::S1>($t1)
  2: $t3 := borrow_field<Summary::S1>.s2($t2)
  3: Summary::write_callee($t3)
  4: return ()
}

============ after pipeline `read_write_set` ================

[variant baseline]
public fun Summary::write_addr() {
     var $t0: address
     # Accesses:
     # 0x777/0x2::Summary::S1/s2: Read
     # 0x777/0x2::Summary::S1/s2/f: Write
     #
     # Locals:
     #
  0: $t0 := 0x777
  1: Summary::write_caller2($t0)
  2: return ()
}


[variant baseline]
public fun Summary::write_callee($t0|s2: &mut Summary::S2) {
     var $t1: u64
     var $t2: &mut Summary::S2
     var $t3: &mut u64
     # Accesses:
     # Formal(0): Read
     # Formal(0)/f: Write
     #
     # Locals:
     #
  0: $t1 := 7
  1: $t2 := move($t0)
  2: $t3 := borrow_field<Summary::S2>.f($t2)
  3: write_ref($t3, $t1)
  4: return ()
}


[variant baseline]
public fun Summary::write_caller1($t0|a: address) {
     var $t1: address
     var $t2: &mut Summary::S2
     # Accesses:
     # Formal(0): Read
     # Formal(0)/0x2::Summary::S2: Read
     # Formal(0)/0x2::Summary::S2/f: Write
     #
     # Locals:
     #
  0: $t1 := move($t0)
  1: $t2 := borrow_global<Summary::S2>($t1)
  2: Summary::write_callee($t2)
  3: return ()
}


[variant baseline]
public fun Summary::write_caller2($t0|a: address) {
     var $t1: address
     var $t2: &mut Summary::S1
     var $t3: &mut Summary::S2
     # Accesses:
     # Formal(0): Read
     # Formal(0)/0x2::Summary::S1/s2: Read
     # Formal(0)/0x2::Summary::S1/s2/f: Write
     #
     # Locals:
     #
  0: $t1 := move($t0)
  1: $t2 := borrow_global<Summary::S1>($t1)
  2: $t3 := borrow_field<Summary::S1>.s2($t2)
  3: Summary::write_callee($t3)
  4: return ()
}