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

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

[variant baseline]
public fun StructSpecRelevance::create($t0|i: u64, $t1|j: u64): StructSpecRelevance::Nonzero {
     var $t2: u64
     var $t3: u64
     var $t4: bool
     var $t5: u64
     var $t6: u64
     var $t7: u64
     var $t8: StructSpecRelevance::Nonzero
  0: $t2 := copy($t0)
  1: $t3 := 0
  2: $t4 := >($t2, $t3)
  3: if ($t4) goto 7 else goto 4
  4: label L1
  5: $t5 := 0
  6: abort($t5)
  7: label L0
  8: $t6 := move($t0)
  9: $t7 := move($t1)
 10: $t8 := pack StructSpecRelevance::Nonzero($t6, $t7)
 11: return $t8
}


[variant baseline]
public fun StructSpecRelevance::leak_i_bad($t0|n: &mut StructSpecRelevance::Nonzero): &mut u64 {
     var $t1: &mut StructSpecRelevance::Nonzero
     var $t2: &mut u64
  0: $t1 := move($t0)
  1: $t2 := borrow_field<StructSpecRelevance::Nonzero>.i($t1)
  2: return $t2
}


[variant baseline]
public fun StructSpecRelevance::leak_j_ok($t0|n: &mut StructSpecRelevance::Nonzero): &mut u64 {
     var $t1: &mut StructSpecRelevance::Nonzero
     var $t2: &mut u64
  0: $t1 := move($t0)
  1: $t2 := borrow_field<StructSpecRelevance::Nonzero>.j($t1)
  2: return $t2
}

============ after pipeline `escape_analysis` ================

[variant baseline]
public fun StructSpecRelevance::create($t0|i: u64, $t1|j: u64): StructSpecRelevance::Nonzero {
     var $t2: u64
     var $t3: u64
     var $t4: bool
     var $t5: u64
     var $t6: u64
     var $t7: u64
     var $t8: StructSpecRelevance::Nonzero
  0: $t2 := copy($t0)
  1: $t3 := 0
  2: $t4 := >($t2, $t3)
  3: if ($t4) goto 7 else goto 4
  4: label L1
  5: $t5 := 0
  6: abort($t5)
  7: label L0
  8: $t6 := move($t0)
  9: $t7 := move($t1)
 10: $t8 := pack StructSpecRelevance::Nonzero($t6, $t7)
 11: return $t8
}


[variant baseline]
public fun StructSpecRelevance::leak_i_bad($t0|n: &mut StructSpecRelevance::Nonzero): &mut u64 {
     var $t1: &mut StructSpecRelevance::Nonzero
     var $t2: &mut u64
  0: $t1 := move($t0)
  1: $t2 := borrow_field<StructSpecRelevance::Nonzero>.i($t1)
  2: return $t2
}


[variant baseline]
public fun StructSpecRelevance::leak_j_ok($t0|n: &mut StructSpecRelevance::Nonzero): &mut u64 {
     var $t1: &mut StructSpecRelevance::Nonzero
     var $t2: &mut u64
  0: $t1 := move($t0)
  1: $t2 := borrow_field<StructSpecRelevance::Nonzero>.j($t1)
  2: return $t2
}

============ Diagnostics ================
error: Leaked mutable module-internal reference via return value 0
   ┌─ tests/escape_analysis/struct_spec_relevance.move:14:5
   │
14 │ ╭     public fun leak_j_ok(n: &mut Nonzero): &mut u64 {
15 │ │         &mut n.j
16 │ │     }
   │ ╰─────^

error: Leaked mutable module-internal reference via return value 0
   ┌─ tests/escape_analysis/struct_spec_relevance.move:9:5
   │
 9 │ ╭     public fun leak_i_bad(n: &mut Nonzero): &mut u64 {
10 │ │         &mut n.i
11 │ │     }
   │ ╰─────^