tvm-specification/data/cell_const.json at master · ton-blockchain/tvm-specification · GitHub

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
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
{
  "PUSHREF": {
    "description": {
      "short": "",
      "long": "Pushes the reference `ref` onto the stack.\n_Details:_ Pushes the first reference of `cc.code` onto the stack as a _Cell_ (and removes this reference from the current continuation).",
      "tags": [],
      "operands": ["c"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Cell"]
          }
        ]
      }
    }
  },
  "PUSHREFSLICE": {
    "description": {
      "short": "",
      "long": "Pushes the reference `ref` onto the stack and converts the pushed cell into a _Slice_.",
      "tags": [],
      "operands": ["c"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Slice"]
          }
        ]
      }
    }
  },
  "PUSHREFCONT": {
    "description": {
      "short": "",
      "long": "Pushes the reference `ref` onto the stack and converts the pushed cell into a _Continuation_.",
      "tags": [],
      "operands": ["c"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Continuation"]
          }
        ]
      }
    }
  },
  "PUSHSLICE": {
    "description": {
      "short": "Pushes the `slice` onto the stack.",
      "long": "Pushes the slice `slice` onto the stack.\n_Details:_ Pushes the (prefix) subslice of `cc.code` consisting of its first `8x+4` bits and no references (i.e., essentially a bitstring), where `0 <= x <= 15`.\nA completion tag is assumed, meaning that all trailing zeroes and the last binary one (if present) are removed from this bitstring.\nIf the original bitstring consists only of zeroes, an empty slice will be pushed.",
      "tags": [],
      "operands": ["slice"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Slice"]
          }
        ]
      }
    }
  },
  "PUSHSLICE_REFS": {
    "description": {
      "short": "",
      "long": "Pushes the `slice` onto the stack.\n_Details:_ Pushes the (prefix) subslice of `cc.code` consisting of its first `1 <= r+1 <= 4` references and up to first `8xx+1` bits of data, with `0 <= xx <= 31`.\nA completion tag is also assumed.",
      "tags": [],
      "operands": ["slice"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Slice"]
          }
        ]
      }
    }
  },
  "PUSHSLICE_LONG": {
    "description": {
      "short": "Pushes the `slice` onto the stack.",
      "long": "Pushes the `slice` onto the stack.\n_Details:_ Pushes the subslice of `cc.code` consisting of `0 <= r <= 4` references and up to `8xx+6` bits of data, with `0 <= xx <= 127`.\nA completion tag is assumed.",
      "tags": [],
      "operands": ["slice"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Slice"]
          }
        ]
      }
    }
  },
  "PUSHCONT": {
    "description": {
      "short": "Pushes a continuation onto the stack.",
      "long": "Fetches a simple ordinary continuation from the current code slice and pushes it onto the stack. The length of the continuation is at most 127 * 8 bits and 3 references.",
      "tags": ["stack", "continuation"],
      "operands": ["c"],
      "exit_codes": [],
      "related_instructions": ["PUSHCONT_SHORT"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "result",
            "value_types": ["Continuation"]
          }
        ]
      }
    }
  },
  "PUSHCONT_SHORT": {
    "description": {
      "short": "Pushes a short continuation onto the stack.",
      "long": "Fetches a simple ordinary continuation from the current code slice and pushes it onto the stack. The length of the continuation is at most 15 * 8 bits.",
      "tags": ["stack", "continuation"],
      "operands": ["c"],
      "exit_codes": [],
      "related_instructions": ["PUSHCONT"]
    },
    "signature": {
      "outputs": {
        "stack": [
          {
            "type": "simple",
            "name": "c",
            "value_types": ["Continuation"]
          }
        ]
      }
    }
  }
}