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

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

[variant baseline]
fun ReachingDefTest::basic($t0|a: u64, $t1|b: u64): u64 {
     var $t2|x: u64
     var $t3: u64
     var $t4: u64
     var $t5: u64
     var $t6: u64
     var $t7: u64
     var $t8: u64
     var $t9: u64
     var $t10: u64
  0: $t3 := copy($t0)
  1: $t4 := move($t1)
  2: $t5 := +($t3, $t4)
  3: $t6 := move($t0)
  4: $t7 := /($t5, $t6)
  5: $t2 := $t7
  6: $t8 := move($t2)
  7: $t9 := 1
  8: $t10 := +($t8, $t9)
  9: return $t10
}


[variant baseline]
fun ReachingDefTest::create_resource($t0|sender: &signer) {
     var $t1|r: ReachingDefTest::R
     var $t2: &signer
     var $t3: u64
     var $t4: bool
     var $t5: ReachingDefTest::R
  0: $t2 := move($t0)
  1: $t3 := 1
  2: $t4 := false
  3: $t5 := pack ReachingDefTest::R($t3, $t4)
  4: move_to<ReachingDefTest::R>($t5, $t2)
  5: return ()
}

============ after pipeline `reaching_def` ================

[variant baseline]
fun ReachingDefTest::basic($t0|a: u64, $t1|b: u64): u64 {
     var $t2|x: u64
     var $t3: u64
     var $t4: u64
     var $t5: u64
     var $t6: u64
     var $t7: u64
     var $t8: u64
     var $t9: u64
     var $t10: u64
  0: $t3 := copy($t0)
  1: $t4 := move($t1)
  2: $t5 := +($t0, $t1)
  3: $t6 := move($t0)
  4: $t7 := /($t5, $t0)
  5: $t2 := $t7
  6: $t8 := move($t7)
  7: $t9 := 1
  8: $t10 := +($t7, $t9)
  9: return $t10
}


[variant baseline]
fun ReachingDefTest::create_resource($t0|sender: signer) {
     var $t1|r: ReachingDefTest::R
     var $t2: signer
     var $t3: u64
     var $t4: bool
     var $t5: ReachingDefTest::R
  0: $t2 := move($t0)
  1: $t3 := 1
  2: $t4 := false
  3: $t5 := pack ReachingDefTest::R($t3, $t4)
  4: move_to<ReachingDefTest::R>($t5, $t0)
  5: return ()
}