豫言源码浏览器 / Source Browser

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
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304

寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「平台」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「实例」之书。

「：文言：数值之算：i32 之除余、i64 全体，浮点诸令别见浮点指令之篇。汉语：数值指令：i32 除法与取余（除零与溢出以带说明的退出码报告）、i64 全部指令（8 字节槽，低字在前；宽整数助手在 基础.豫）。浮点指令见 浮点指令。豫。：」
「i32除法」乃化「整数」而化「整数」而化「整数」而「整数」也。
「i32除法」者会「操作码」而会「甲」而会「乙」而
  虑「无」者
    （「若则致命」于（「等零」于「乙」）于「一二五」于（「静态串」于『整数除零』））而
  鉴「操作码」而
    有「一零九」则（
      虑「无」者
        （「若则致命」
          于（「且」于（「等」于「甲」于「符号位」）于（「等」于「乙」于「负一」））
          于「一二五」
          于（「静态串」于『整数溢出』））
      而
      「有符号除」于「甲」于「乙」
    ）
    或有「一一零」则
      「无符号除」于「甲」于「乙」
    或有「一一一」则
      「选择」于（「等」于「乙」于「负一」）于「零」于（「有符号余」于「甲」于「乙」）
    或有「其他」则
      「无符号余」于「甲」于「乙」
也。

「：文言：i64 之比较。汉语：i64 比较（0x51–0x5A）：有符号者（lt_s gt_s le_s ge_s）用有符号三路比较，其余用无符号三路比较，再按操作码取结果。：」
「宽比较是有符号」乃化「整数」而「爻」也。
「宽比较是有符号」者会「操作码」而
  「或者」
    于（「或者」于（「等」于「操作码」于「八三」）于（「等」于「操作码」于「八五」））
    于（「或者」于（「等」于「操作码」于「八七」）于（「等」于「操作码」于「八九」））
也。

「宽比较结果」乃化「整数」而化「整数」而化「整数」而「整数」也。
「宽比较结果」者会「操作码」而会「甲」而会「乙」而
  虑「较」者
    「选择」
      于（「宽比较是有符号」于「操作码」）
      于（「宽有符号比较」于「甲」于「乙」）
      于（「宽无符号比较」于「甲」于「乙」）而
  鉴「操作码」而
    有「八一」则
      「爻整」于（「等零」于「较」）
    或有「八二」则
      「爻整」于（「不等于」于「较」于「零」）
    或有「八三」则
      「爻整」于（「小于」于「较」于「零」）
    或有「八四」则
      「爻整」于（「小于」于「较」于「零」）
    或有「八五」则
      「爻整」于（「大于」于「较」于「零」）
    或有「八六」则
      「爻整」于（「大于」于「较」于「零」）
    或有「八七」则
      「爻整」于（「有符号小等」于「较」于「零」）
    或有「八八」则
      「爻整」于（「有符号小等」于「较」于「零」）
    或有「其他」则
      「爻整」于（「有符号大等」于「较」于「零」）
也。

「：文言：i64 之除余与循环移位。汉语：i64 除余（有符号先查除零与溢出）；循环移位以两次移位合成。：」
「i64除余」乃化「整数」而化「整数」而「整数」也。
「i64除余」者会「操作码」而会「栈针」而
  虑「乙」者「栈槽址」于「栈针」于「一」而
  虑「甲」者「栈槽址」于「栈针」于「二」而
  虑「无」者
    （「若则致命」
      于（「且」于（「等零」于（「宽低」于「乙」））于（「等零」于（「宽高」于「乙」）））
      于「一二五」
      于（「静态串」于『整数除零』））而
      虑「有符号」者
        「或者」于（「等」于「操作码」于「一二七」）于（「等」于「操作码」于「一二九」）而
        虑「无」者
          （
            若「等」于「操作码」于「一二七」
            则
              「若则致命」
                于（「且」
                  于（「且」于（「等零」于（「宽低」于「甲」））于（「等」于（「宽高」于「甲」）于「符号位」））
                  于（「且」于（「等」于（「宽低」于「乙」）于「负一」）于（「等」于（「宽高」于「乙」）于「负一」）））
                  于「一二五」
                  于（「静态串」于『整数溢出』）
            否则
              「元」
          ）
        而
        虑「余槽」者「加」于「状态_临时」于「三二」
        而
        虑「取商」者
          「或者」
            于（「等」于「操作码」于「一二七」）
            于（「等」于「操作码」于「一二八」）
        而
        虑「商目」者「选择」于「取商」于「甲」于「余槽」
        而
        虑「余目」者「选择」于「取商」于「余槽」于「甲」
        而
        虑「无」者
          （
            若「有符号」则「除余有符号」于「商目」于「余目」于「甲」于「乙」否则「宽除余」
            于「商目」于「余目」于「甲」于「乙」
          ）
        而
        「减」于「栈针」于「八」
也。

「i64循环移位」乃化「整数」而化「整数」而「有」也。
「i64循环移位」者会「操作码」而会「栈针」而
  虑「甲」者「栈槽址」于「栈针」于「二」而
  虑「量」者「位与」于（「栈槽字」于「栈针」于「一」）于「六三」而
  虑「左位」者
    「选择」于（「等」于「操作码」于「一三八」）于（「位与」于（「减」于「六四」于「量」）于「六三」）于「量」而
    虑「暂一」者「状态_临时」而
    虑「暂二」者「加」于「状态_临时」于「八」而
    虑「无」者（「拷槽」于「暂一」于「甲」）而
    虑「无」者（「拷槽」于「暂二」于「甲」）而
    虑「无」者（「宽左移」于「暂一」于「暂一」于「左位」）而
    虑「无」者
      （「宽无符号右移」于「暂二」于「暂二」于（「位与」于（「减」于「六四」于「左位」）于「六三」））而
    若「不等于」于「左位」于「零」
    则
      「宽存」
        于「甲」
        于（「位或」于（「宽低」于「暂一」）于（「宽低」于「暂二」））
        于（「位或」于（「宽高」于「暂一」）于（「宽高」于「暂二」））
    否则
      「元」
也。

「按位运算宽」乃化「整数」而化「整数」而「有」也。
「按位运算宽」者会「操作码」而会「栈针」而
  虑「甲」者「栈槽址」于「栈针」于「二」而
  虑「乙」者「栈槽址」于「栈针」于「一」而
  鉴「操作码」而
    有「一三一」则
      「宽存」
        于「甲」
        于（「位与」于（「宽低」于「甲」）于（「宽低」于「乙」））
        于（「位与」于（「宽高」于「甲」）于（「宽高」于「乙」））
    或有「一三二」则
      「宽存」
        于「甲」
        于（「位或」于（「宽低」于「甲」）于（「宽低」于「乙」））
        于（「位或」于（「宽高」于「甲」）于（「宽高」于「乙」））
    或有「其他」则
      「宽存」
        于「甲」
        于（「位异或」于（「宽低」于「甲」）于（「宽低」于「乙」））
        于（「位异或」于（「宽高」于「甲」）于（「宽高」于「乙」））
也。

「宽符号扩展」乃化「整数」而化「整数」而「有」也。
「宽符号扩展」者会「操作码」而会「栈针」而
  虑「甲」者「栈槽址」于「栈针」于「一」而
  虑「低」者「读四」于「甲」而
  虑「新低」者
    「选择」
      于（「等」于「操作码」于「一九四」）
      于（「有符号右移」于（「左移」于「低」于「二四」）于「二四」）
      于（「选择」
        于（「等」于「操作码」于「一九五」）
        于（「有符号右移」于（「左移」于「低」于「一六」）于「一六」）于「低」）
  而
  「宽存」于「甲」于「新低」于（「有符号右移」于「新低」于「三一」）
也。

「宽前导零」乃化「整数」而「整数」也。
「宽前导零」者会「甲」而
  虑「高」者「宽高」于「甲」而
  若「不等于」于「高」于「零」则
    「前导零」于「高」
  否则
    「加」于「三二」于（「前导零」于（「宽低」于「甲」））
也。

「宽尾随零」乃化「整数」而「整数」也。
「宽尾随零」者会「甲」而
  虑「低」者「宽低」于「甲」而
  若「不等于」于「低」于「零」则
    「尾随零」于「低」
  否则
    「加」于「三二」于（「尾随零」于（「宽高」于「甲」））
也。

「宽一计数」乃化「整数」而「整数」也。
「宽一计数」者会「甲」而
  「加」于（「一计数」于（「宽低」于「甲」））于（「一计数」于（「宽高」于「甲」））
也。

「执行i64」乃化「整数」而化「整数」而「整数」也。
「执行i64」者会「操作码」而会「栈针」而
  若「无符号小等」于（「减」于「操作码」于「八一」）于「九」
  则
    （（「置栈槽字」
      于「栈针」
      于「二」
      于（「宽比较结果」于「操作码」于（「栈槽址」于「栈针」于「二」）于（「栈槽址」于「栈针」于「一」）））；
      （「减」于「栈针」于「八」））
  否则
    鉴「操作码」而
      有「八零」则（
        虑「甲」者「栈槽址」于「栈针」于「一」而
        （（「写四」
          于「甲」
          于（「爻整」于（「且」于（「等零」于（「宽低」于「甲」））于（「等零」于（「宽高」于「甲」）））））；
          「栈针」）
      ）
      或有「一二一」则
        （（「置栈槽」于「栈针」于「一」于（「宽前导零」于（「栈槽址」于「栈针」于「一」））于「零」）；
          「栈针」）
      或有「一二二」则
        （（「置栈槽」于「栈针」于「一」于（「宽尾随零」于（「栈槽址」于「栈针」于「一」））于「零」）；
          「栈针」）
      或有「一二三」则
        （（「置栈槽」于「栈针」于「一」于（「宽一计数」于（「栈槽址」于「栈针」于「一」））于「零」）；
          「栈针」）
      或有「一二四」则
        （（「宽加」
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
      或有「一二五」则
        （（「宽减」
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
      或有「一二六」则
        （（「宽乘」
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
      或有「一二七」则
        「i64除余」于「操作码」于「栈针」
      或有「一二八」则
        「i64除余」于「操作码」于「栈针」
      或有「一二九」则
        「i64除余」于「操作码」于「栈针」
      或有「一三零」则
        「i64除余」于「操作码」于「栈针」
      或有「一三一」则
        （（「按位运算宽」于「操作码」于「栈针」）；
          （「减」于「栈针」于「八」））
      或有「一三二」则
        （（「按位运算宽」于「操作码」于「栈针」）；
          （「减」于「栈针」于「八」））
      或有「一三三」则
        （（「按位运算宽」于「操作码」于「栈针」）；
          （「减」于「栈针」于「八」））
      或有「一三四」则
        （（「宽左移」
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽字」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
      或有「一三五」则
        （（「宽有符号右移」
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽字」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
      或有「一三六」则
        （（「宽无符号右移」
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽址」于「栈针」于「二」）
          于（「栈槽字」于「栈针」于「一」））；
          （「减」于「栈针」于「八」））
      或有「一三七」则
        （（「i64循环移位」于「操作码」于「栈针」）；
          （「减」于「栈针」于「八」））
      或有「一三八」则
        （（「i64循环移位」于「操作码」于「栈针」）；
          （「减」于「栈针」于「八」））
      或有「一六七」则「栈针」
      或有「一七二」则（
        虑「甲」者「栈槽址」于「栈针」于「一」而
        （（「写字段」于「甲」于「四」于（「有符号右移」于（「读四」于「甲」）于「三一」））；
          「栈针」）
      ）
      或有「一七三」则
        （（「写字段」于（「栈槽址」于「栈针」于「一」）于「四」于「零」）；
          「栈针」）
      或有「一九四」则
        （（「宽符号扩展」于「操作码」于「栈针」）；
          「栈针」）
      或有「一九五」则
        （（「宽符号扩展」于「操作码」于「栈针」）；
          「栈针」）
      或有「一九六」则
        （（「宽符号扩展」于「操作码」于「栈针」）；
          「栈针」）
      或有「一八九」则「栈针」
      或有「一九一」则「栈针」
      或有「其他」则
        （（「致命退出」于「一二六」于（「静态串」于『不支持的数值指令』））；
          「栈针」）
也。