豫言源码浏览器 / 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

寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。
寻观「编译器核心」之「网页汇编核心」之「模块验证」之书。
寻观「裸机后端」之「机器编码」之书。

「：文言：诸用户机器码所共之小术，并识别模块之入口、导入之务。汉语：裸机后端的公共辅助：函数标号命名、平台导入到服务号的映射、启动函数检查、三十二位位形与 ARM64／AMD64 寄存器常量装载。整数函数的降级已移到寄存器降级。豫。：」
「裸机函数名」乃化「整数」而「字符串」也。
「裸机函数名」者会「号」而
  『函数』附（「整数表示」于「号」）
也。

「裸机服务号」乃化「网页导入」而「整数」也。
「裸机服务号」者会「项」而
  若「非」于（「串相等」于（「项」中「零」）于『平台』）则
    「发生事故」于『裸机只绑定明确的平台模块』
  否则
    鉴「项」中「一」而
      有『写字节』则「零」
      或有『核验』则「一」
      或有『用户态』则「三」
      或有『读字节』则「四」
      或有『时钟滴答』则「五」
      或有『任务编号』则「六」
      或有『任务状态』则「八」
      或有『任务退出码』则「九」
      或有『等待任务』则「一零」
      或有『终止任务』则「一一」
      或有『复制任务』则「一二」
      或有『回收任务』则「一三」
      或有『发送消息』则「一四」
      或有『接收消息』则「一五」
      或有『消息来源』则「一六」
      或有『等待消息』则「一七」
      或有『退出任务』则「一八」
      或有『设备配置读』则「一九」
      或有『设备寄存器读』则「二零」
      或有『设备寄存器写』则「二一」
      或有『内存块』则「二二」
      或有『内存块数』则「二三」
      或有『搬入静态』则「二四」
      或有『搬出静态』则「二五」
      或有『墙钟秒』则「二六」
      或有『中断查询』则「二七」
      或有「其他」则
        「发生事故」于『未知裸机平台导入』
也。

「裸机单参服务」乃化「整数」而「爻」也。
「裸机单参服务」者会「号」而
  若「等于」于「号」于「二零」则
    「阳」
  否则若「等于」于「号」于「二二」则「阳」否则若「或者」于（「等于」于「号」于「一八」）
  于（「等于」于「号」于「一九」）则
    「阳」
  否则
    「或者」
      于（「等于」于「号」于「零」）
      于（「且」
        于（「大于」于「号」于「七」）
        于（「且」于（「小于」于「号」于「一四」）于（「非」于（「等于」于「号」于「一二」））））
也。

「裸机双参服务」乃化「整数」而「爻」也。
「裸机双参服务」者会「号」而
  「存在吗」授以「整数」
    于（会「项」而「等于」于「号」于「项」）
    于（「列」【「一」，「一四」，「二一」，「二四」，「二五」】）
也。

「：文言：寻导出之启动，验其无参无果，得其函数号。汉语：找到导出名为“启动”的函数号，并检查它无参数、无结果；裸机与 Linux 目标共用。：」
「模块启动号」乃化「网页模块」而「整数」也。
「模块启动号」者会「模」而
  递归虑「寻」其化（「列」于「网页导出」）而「整数」者会「项」而
    鉴「项」而
      有「罄」则「发生事故」于『裸机模块须导出启动』
      或有「缀」于「首」于「尾」则
        若「串相等」于（「首」中「零」）于『启动』则「首」中「一」否则「寻」于「尾」
  而
  虑「号」者「寻」于（「模」中「三」）而
  虑「导入数」者「长度」授以「网页导入」于（「模」中「一」）而
  虑「函」者
    「网页取项」授以「网页函数」
    于『启动函数』
    于（「减」于「号」于「导入数」）
    于（「模」中「二」）
  而
  虑「型」者
    「网页取项」授以「网页签名」
    于『启动类型』
    于（「函」中「零」）
    于（「模」中「零」）
  而
  若「且」于（「等于」于（「型」中「零」）于「零」）于（「等于」于（「型」中「一」）于「零」）则
    「号」
  否则
    「发生事故」于『启动须无参数且无结果』
也。

「裸机函数入口」乃化「网页模块」而「整数」也。
「裸机函数入口」者会「模」而
  虑「检」者「验证网页函数核心」于「模」而
  虑「入检」者
    「态射」授以「网页导入」授以「有」
    于（「模」中「一」）
    于（会「项」而
      「：文言：他模块之导入（如目标之内建与 Linux 之系统调用）不验，降时另绑。汉语：“平台”以外模块的导入（目标内建导入、其他目标的导入）不在这里检查，降级时另行绑定为常量桩或陷阱桩。：」
      若「非」于（「串相等」于（「项」中「零」）于『平台』）则「元」否则
        虑「服务」者「裸机服务号」于「项」
        而
        虑「型」者
          「网页取项」授以「网页签名」
          于『平台类型』
          于（「项」中「二」）
          于（「模」中「零」）
        而
        虑「参」者
          若「裸机单参服务」于「服务」则「一」
          否则
            若「裸机双参服务」于「服务」则「二」否则「零」
        而
        虑「返」者
          若「且」
            于（「大于」于「服务」于「二」）
            于（「非」于（「等于」于「服务」于「一八」））则「一」
          否则
            「零」
        而
        若「且」于（「等于」于（「型」中「零」）于「参」）于（「等于」于（「型」中「一」）于「返」）则
          「元」
        否则
          「发生事故」于『平台导入签名不符』
    ）
  而
  「模块启动号」于「模」
也。

「裸机入口」乃化「网页模块」而「整数」也。
「裸机入口」者会「模」而
  虑「检」者「验证网页模块」于「模」而
  「裸机函数入口」于「模」
也。

「三十二位位形」乃化「整数」而「整数」也。
「三十二位位形」者会「数」而
  若「或者」
    于（「小于」于「数」于（「减」于「零」于「二一四七四八三六四八」））
    于（「大于」于「数」于「四二九四九六七二九五」）则「发生事故」于『机器常量超出三十二位位形』
  否则若「小于」于「数」于「零」则「加」于「数」于「四二九四九六七二九六」否则「数」
也。

「：文言：位既清零于宽移之载，高若为零，则续写者但增虚令，可略而不发。汉语：MOVZ 已将寄存器高十六位清零；若常量高十六位本为零，后续 MOVK 只是或入零值，属恒等操作，省略不改变结果。两遍汇编器按机器片实际字节长度重定位，故变长发码安全。：」
「臂载常量」乃化「整数」而化「整数」而（「列」于「机器片」）也。
「臂载常量」者会「寄」而会「数」而
  若「或者」于（「小于」于「寄」于「零」）于（「大于」于「寄」于「三零」）则
    「发生事故」于『臂通用寄存器编号越界』
  否则
    虑「位」者「三十二位位形」于「数」
    而
    虑「低」者「整数余数」于「位」于「六五五三六」而
    虑「高」者「除以」于「位」于「六五五三六」而
    虑「清零载」者
      「字片」于（「加」于「一三八四一二零三二零」于（「加」于（「乘」于「低」于「三二」）于「寄」））
    而
    若「等于」于「高」于「零」则
      「列」【「清零载」】
    否则
      「列」【
        「清零载」，
        「字片」于（「加」于「一九二三零八八三八四」于（「加」于（「乘」于「高」于「三二」）于「寄」））
      】
也。

「兼容载常量」乃化「整数」而化「整数」而（「列」于「机器片」）也。
「兼容载常量」者会「寄」而会「数」而
  若「或者」于（「小于」于「寄」于「零」）于（「大于」于「寄」于「七」）则
    「发生事故」于『兼容低寄存器编号越界』
  否则
    「列」【
      「字节片」于（「列」【「加」于「一八四」于「寄」】），
      「原字节」于（「小端字节」于「四」于（「三十二位位形」于「数」））
    】
也。