move-stackless-bytecode 0.3.2

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

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

[variant baseline]
public fun BoolFootprint::call_get($t0|a: address) {
     var $t1: address
     var $t2: bool
     var $t3: u64
  0: $t1 := move($t0)
  1: $t2 := BoolFootprint::global_get($t1)
  2: if ($t2) goto 6 else goto 3
  3: label L1
  4: $t3 := 22
  5: abort($t3)
  6: label L0
  7: return ()
}


[variant baseline]
public fun BoolFootprint::global_get($t0|a: address): bool {
     var $t1|tmp#$1: bool
     var $t2: address
     var $t3: bool
     var $t4: address
     var $t5: &BoolFootprint::B
     var $t6: &bool
     var $t7: bool
     var $t8: bool
     var $t9: bool
  0: $t2 := copy($t0)
  1: $t3 := exists<BoolFootprint::B>($t2)
  2: if ($t3) goto 3 else goto 10
  3: label L0
  4: $t4 := move($t0)
  5: $t5 := borrow_global<BoolFootprint::B>($t4)
  6: $t6 := borrow_field<BoolFootprint::B>.b($t5)
  7: $t7 := read_ref($t6)
  8: $t1 := $t7
  9: goto 14
 10: label L2
 11: $t8 := false
 12: $t1 := $t8
 13: goto 14
 14: label L3
 15: $t9 := move($t1)
 16: return $t9
}

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

[variant baseline]
public fun BoolFootprint::call_get($t0|a: address) {
     var $t1: address
     var $t2: bool
     var $t3: u64
     # Accesses:
     # Formal(0): Read
     # Formal(0)/0x1::BoolFootprint::B: Read
     # Formal(0)/0x1::BoolFootprint::B/b: Read
     #
     # Locals:
     #
  0: $t1 := move($t0)
  1: $t2 := BoolFootprint::global_get($t1)
  2: if ($t2) goto 6 else goto 3
  3: label L1
  4: $t3 := 22
  5: abort($t3)
  6: label L0
  7: return ()
}


[variant baseline]
public fun BoolFootprint::global_get($t0|a: address): bool {
     var $t1|tmp#$1: bool
     var $t2: address
     var $t3: bool
     var $t4: address
     var $t5: &BoolFootprint::B
     var $t6: &bool
     var $t7: bool
     var $t8: bool
     var $t9: bool
     # Accesses:
     # Formal(0): Read
     # Formal(0)/0x1::BoolFootprint::B: Read
     # Formal(0)/0x1::BoolFootprint::B/b: Read
     #
     # Locals:
     # Ret(0): Formal(0)/0x1::BoolFootprint::B/b
     #
  0: $t2 := copy($t0)
  1: $t3 := exists<BoolFootprint::B>($t2)
  2: if ($t3) goto 3 else goto 10
  3: label L0
  4: $t4 := move($t0)
  5: $t5 := borrow_global<BoolFootprint::B>($t4)
  6: $t6 := borrow_field<BoolFootprint::B>.b($t5)
  7: $t7 := read_ref($t6)
  8: $t1 := $t7
  9: goto 14
 10: label L2
 11: $t8 := false
 12: $t1 := $t8
 13: goto 14
 14: label L3
 15: $t9 := move($t1)
 16: return $t9
}