1+ START: [[ ]]
2+ 10 Start ____ ____ ____ [[ 12 14 17 23 9 162 28 136 59 115 ]] [ Ctrl, #TOP, int]
3+ 4+ L9: [[ START ]]
5+ 9 merge_s ____ 10 [[ 11 13 16 18 22 213 8 ]] Ctrl
6+ 11 $mem 9 12 [[ 8 ]] #BOT
7+ 13 a 9 14 [[ 8 5 ]] *[int]
8+ 16 n 9 17 [[ 8 5 ]] int
9+ 22 $rpc 9 23 [[ 2 ]] $[ALL]
10+ 18 b 9 14 [[ 8 5 ]] *[int]
11+ 8 call 9 11 13 213 16 18 [[ 7 ]] Ctrl
12+ 213 #0 9 [[ 8 5 ]] 0
13+ 14+ L162: [[ START ]]
15+ 162 main ____ 10 [[ 164 212 167 208 171 181 180 179 178 177 176 175 174 173 172 169 193 192 191 190 189 188 187 186 185 184 166 205 204 203 202 201 200 199 198 197 196 163 161 ]] Ctrl
16+ 164 $mem 162 12 [[ 163 171 171 ]] #BOT
17+ 212 $rpc 162 23 [[ 155 ]] $[ALL]
18+ 181 st8 162 182 183 ____ ____ [[ 180 ]] #3:int
19+ 205 st8 162 206 207 ____ ____ [[ 204 ]] #3:int
20+ 180 st8 162 181 183 ____ ____ [[ 179 ]] #3:int
21+ 204 st8 162 205 207 ____ ____ [[ 203 ]] #3:int
22+ 179 st8 162 180 183 ____ ____ [[ 178 ]] #3:int
23+ 193 st8 162 194 195 ____ ____ [[ 192 ]] #3:int
24+ 203 st8 162 204 207 ____ ____ [[ 202 ]] #3:int
25+ 178 st8 162 179 183 ____ ____ [[ 177 ]] #3:int
26+ 202 st8 162 203 207 ____ ____ [[ 201 ]] #3:int
27+ 192 st8 162 193 195 ____ ____ [[ 191 ]] #3:int
28+ 177 st8 162 178 183 ____ ____ [[ 176 ]] #3:int
29+ 201 st8 162 202 207 ____ ____ [[ 200 ]] #3:int
30+ 191 st8 162 192 195 ____ ____ [[ 190 ]] #3:int
31+ 200 st8 162 201 207 ____ ____ [[ 199 ]] #3:int
32+ 176 st8 162 177 183 ____ ____ [[ 175 ]] #3:int
33+ 190 st8 162 191 195 ____ ____ [[ 189 ]] #3:int
34+ 199 st8 162 200 207 ____ ____ [[ 198 ]] #3:int
35+ 189 st8 162 190 195 ____ ____ [[ 188 ]] #3:int
36+ 175 st8 162 176 183 ____ ____ [[ 174 ]] #3:int
37+ 198 st8 162 199 207 ____ ____ [[ 197 ]] #3:int
38+ 188 st8 162 189 195 ____ ____ [[ 187 ]] #3:int
39+ 174 st8 162 175 183 ____ ____ [[ 173 ]] #3:int
40+ 197 st8 162 198 207 ____ ____ [[ 196 ]] #3:int
41+ 187 st8 162 188 195 ____ ____ [[ 186 ]] #3:int
42+ 173 st8 162 174 183 ____ ____ [[ 172 ]] #3:int
43+ 196 st8 162 197 207 ____ ____ [[ 163 ]] #3:int
44+ 172 st8 162 173 183 ____ ____ [[ 169 ]] #3:int
45+ 186 st8 162 187 195 ____ ____ [[ 185 ]] #3:int
46+ 163 ALLMEM 162 164 165 196 [[ 161 ]] #BOT
47+ 185 st8 162 186 195 ____ ____ [[ 184 ]] #3:int
48+ 169 new_ary 162 167 170 172 [[ 168 194 195 ]] [ Ctrl, *![int], #2:u32, #3:int]
49+ 168 2ドル 169 [[ 166 ]] #2:u32
50+ 194 3ドル 169 [[ 193 ]] #3:int
51+ 195 [int] 169 [[ 193 192 191 190 189 188 187 186 185 184 161 ]] *[int]
52+ 161 call 162 163 183 195 208 [[ 160 ]] Ctrl
53+ 184 st8 162 185 195 ____ ____ [[ 166 ]] #3:int
54+ 167 #88 162 [[ 166 169 171 ]] 88
55+ 166 new_ary 162 167 168 184 [[ 165 206 207 ]] [ Ctrl, *![int], #2:u32, #3:int]
56+ 165 2ドル 166 [[ 163 ]] #2:u32
57+ 206 3ドル 166 [[ 205 ]] #3:int
58+ 207 [int] 166 [[ 205 204 203 202 201 200 199 198 197 196 158 ]] *[int]
59+ 171 new_ary 162 167 164 164 [[ 170 182 183 ]] [ Ctrl, *![int], #2:u32, #3:int]
60+ 170 2ドル 171 [[ 169 ]] #2:u32
61+ 182 3ドル 171 [[ 181 ]] #3:int
62+ 183 [int] 171 [[ 181 180 179 178 177 176 175 174 173 172 161 158 ]] *[int]
63+ 208 #10 162 [[ 161 158 ]] 10
64+ 65+ L28: [[ START ]]
66+ 28 split_m ____ 10 [[ 32 33 44 45 49 54 31 29 27 ]] Ctrl
67+ 32 end 28 17 [[ 31 47 39 36 ]] int
68+ 33 begin 28 17 [[ 31 42 47 36 ]] int
69+ 44 $mem 28 12 [[ 42 52 ]] #BOT
70+ 45 a 28 14 [[ 42 39 36 ]] *[int]
71+ 54 $rpc 28 23 [[ 24 ]] $[ALL]
72+ 49 b 28 14 [[ 42 39 36 ]] *[int]
73+ 31 sub 28 32 33 [[ 29 ]] int
74+ 29 cmp 28 31 [[ 27 ]] bool
75+ 27 j<= 28 29 [[ 26 43 ]] [ Ctrl, Ctrl]
76+ 77+ L136: [[ START ]]
78+ 136 eq ____ 10 [[ 142 143 147 150 154 214 135 ]] Ctrl
79+ 142 $mem 136 12 [[ 140 146 152 ]] #BOT
80+ 143 a 136 14 [[ 140 ]] *[int]
81+ 154 $rpc 136 23 [[ 131 ]] $[ALL]
82+ 150 n 136 17 [[ 148 ]] int
83+ 147 b 136 14 [[ 146 ]] *[int]
84+ 214 #0 136 [[ 153 144 ]] 0
85+ 86+ L59: [[ START ]]
87+ 59 merge ____ 10 [[ 76 79 82 89 91 96 110 216 217 58 ]] Ctrl
88+ 76 begin 59 17 [[ 75 92 ]] int
89+ 79 middle 59 17 [[ 73 83 ]] int
90+ 82 end 59 17 [[ 80 107 ]] int
91+ 110 $rpc 59 23 [[ 55 ]] $[ALL]
92+ 96 a 59 14 [[ 95 97 86 99 ]] *[int]
93+ 91 b 59 14 [[ 90 ]] *[int]
94+ 89 $mem 59 12 [[ 88 109 ]] #BOT
95+ 217 #1 59 [[ 105 105 ]] 1
96+ 216 #0 59 [[ 105 105 55 ]] 0
97+ 98+ L115: [[ START ]]
99+ 115 copy_ar ____ 10 [[ 120 122 124 127 129 130 114 ]] Ctrl
100+ 120 begin 115 17 [[ 119 ]] int
101+ 130 $rpc 115 23 [[ 111 ]] $[ALL]
102+ 129 a 115 14 [[ 128 ]] *[int]
103+ 127 b 115 14 [[ 126 ]] *[int]
104+ 124 $mem 115 12 [[ 123 125 ]] #BOT
105+ 122 end 115 17 [[ 117 ]] int
106+ 107+ LOOP135: [[ L136 L137 ]]
108+ 135 Loop ____ 136 137 [[ 144 148 134 ]] Ctrl
109+ 144 Phi_i 135 214 145 [[ 140 145 146 148 ]] int
110+ 148 cmp 135 144 150 [[ 134 ]] bool
111+ 134 j< 135 148 [[ 133 139 ]] [ Ctrl, Ctrl]
112+ 113+ LOOP58: [[ L59 L60 ]]
114+ 58 Loop ____ 59 60 [[ 75 83 88 92 107 57 ]] Ctrl
115+ 75 Phi_i 58 76 77 [[ 73 78 77 95 86 ]] int
116+ 83 Phi_j 58 79 84 [[ 80 84 85 97 99 ]] int
117+ 88 Phi_3ドル 58 89 90 [[ 86 90 95 97 99 109 ]] #BOT
118+ 92 Phi_k 58 76 93 [[ 90 93 107 ]] int
119+ 107 cmp 58 92 82 [[ 57 ]] bool
120+ 57 j< 58 107 [[ 56 72 ]] [ Ctrl, Ctrl]
121+ 122+ LOOP114: [[ L115 L116 ]]
123+ 114 Loop ____ 115 116 [[ 119 125 117 113 ]] Ctrl
124+ 119 Phi_k 114 120 121 [[ 117 121 126 128 ]] int
125+ 125 Phi_3ドル 114 124 126 [[ 123 126 128 ]] #BOT
126+ 117 cmp 114 119 122 [[ 113 ]] bool
127+ 113 j< 114 117 [[ 112 116 ]] [ Ctrl, Ctrl]
128+ 129+ L7: [[ L9 ]]
130+ 7 CallEnd 8 [[ 6 19 ]] [ Ctrl, #BOT, int]
131+ 19 $mem 7 [[ 5 ]] #BOT
132+ 133+ L160: [[ L162 ]]
134+ 160 CallEnd 161 [[ 159 209 ]] [ Ctrl, #BOT, int]
135+ 209 $mem 160 [[ 158 ]] #BOT
136+ 137+ L26: [[ L28 ]]
138+ 26 True 27 [[ 25 ]] Ctrl
139+ 140+ L43: [[ L28 ]]
141+ 43 False 27 [[ 47 48 46 42 ]] Ctrl
142+ 42 call 43 44 45 33 46 49 [[ 41 ]] Ctrl
143+ 47 add 43 32 33 [[ 46 ]] int
144+ 48 #2 43 [[ 46 ]] 2
145+ 46 div 43 47 48 [[ 42 39 36 ]] int
146+ 147+ L6: [[ L7 ]]
148+ 6 $ctrl 7 [[ 5 ]] Ctrl
149+ 5 call 6 19 13 213 16 18 [[ 4 ]] Ctrl
150+ 151+ L116: [[ LOOP114 ]]
152+ 116 True 113 [[ 128 126 121 114 ]] Ctrl
153+ 121 inc 116 119 [[ 119 ]] int
154+ 128 ld8 116 125 129 119 [[ 126 ]] int
155+ 126 st8 116 125 127 119 128 [[ 125 ]] #3:Bot
156+ 157+ L159: [[ L160 ]]
158+ 159 $ctrl 160 [[ 158 ]] Ctrl
159+ 158 call 159 209 183 207 208 [[ 157 ]] Ctrl
160+ 161+ L56: [[ LOOP58 ]]
162+ 56 False 57 [[ 109 55 ]] Ctrl
163+ 109 ALLMEM 56 89 ____ 88 [[ 55 ]] #BOT
164+ 55 Return 56 109 216 110 [[ 1 ]] [ Ctrl, #BOT, 0]
165+ 166+ L112: [[ LOOP114 ]]
167+ 112 False 113 [[ 123 215 111 ]] Ctrl
168+ 123 ALLMEM 112 124 ____ 125 [[ 111 ]] #BOT
169+ 215 #0 112 [[ 111 ]] 0
170+ 111 Return 112 123 215 130 [[ 1 ]] [ Ctrl, #BOT, 0]
171+ 172+ L72: [[ LOOP58 ]]
173+ 72 True 57 [[ 73 71 ]] Ctrl
174+ 73 cmp 72 75 79 [[ 71 ]] bool
175+ 71 j< 72 73 [[ 70 100 ]] [ Ctrl, Ctrl]
176+ 177+ L139: [[ LOOP135 ]]
178+ 139 True 134 [[ 146 140 138 ]] Ctrl
179+ 146 ld8 139 142 147 144 [[ 140 ]] int
180+ 140 cmp8 139 142 143 144 146 [[ 138 ]] bool
181+ 138 j== 139 140 [[ 137 151 ]] [ Ctrl, Ctrl]
182+ 183+ L133: [[ LOOP135 ]]
184+ 133 False 134 [[ 106 132 ]] Ctrl
185+ 106 #1 133 [[ 153 ]] 1
186+ 187+ L41: [[ L43 ]]
188+ 41 CallEnd 42 [[ 40 50 ]] [ Ctrl, #BOT, 0]
189+ 50 $mem 41 [[ 39 ]] #BOT
190+ 191+ L4: [[ L6 ]]
192+ 4 CallEnd 5 [[ 3 20 21 ]] [ Ctrl, #BOT, int]
193+ 20 $mem 4 [[ 2 ]] #BOT
194+ 21 #2 4 [[ 2 ]] int
195+ 196+ L157: [[ L159 ]]
197+ 157 CallEnd 158 [[ 156 210 211 ]] [ Ctrl, #BOT, bool]
198+ 210 $mem 157 [[ 155 ]] #BOT
199+ 211 #2 157 [[ 155 ]] bool
200+ 201+ L70: [[ L72 ]]
202+ 70 True 71 [[ 80 69 ]] Ctrl
203+ 80 cmp 70 82 83 [[ 69 ]] bool
204+ 69 j<= 70 80 [[ 68 101 ]] [ Ctrl, Ctrl]
205+ 206+ L100: [[ L72 ]]
207+ 100 False 71 [[ 65 ]] Ctrl
208+ 209+ L137: [[ L139 ]]
210+ 137 True 138 [[ 145 135 ]] Ctrl
211+ 145 inc 137 144 [[ 144 ]] int
212+ 213+ L40: [[ L41 ]]
214+ 40 $ctrl 41 [[ 39 ]] Ctrl
215+ 39 call 40 50 45 46 32 49 [[ 38 ]] Ctrl
216+ 217+ L151: [[ L139 ]]
218+ 151 False 138 [[ 132 ]] Ctrl
219+ 220+ L3: [[ L4 ]]
221+ 3 $ctrl 4 [[ 2 ]] Ctrl
222+ 2 Return 3 20 21 22 [[ 1 ]] [ Ctrl, #BOT, int]
223+ 224+ L132: [[ L133 L151 ]]
225+ 132 Region ____ 133 151 [[ 153 152 131 ]] Ctrl
226+ 153 Phi_res 132 106 214 [[ 131 ]] bool
227+ 152 ALLMEM 132 142 ____ ____ [[ 131 ]] #BOT
228+ 131 Return 132 152 153 154 [[ 1 ]] [ Ctrl, #BOT, bool]
229+ 230+ L156: [[ L157 ]]
231+ 156 $ctrl 157 [[ 155 ]] Ctrl
232+ 155 Return 156 210 211 212 [[ 1 ]] [ Ctrl, #BOT, bool]
233+ 234+ L68: [[ L70 ]]
235+ 68 False 69 [[ 99 86 67 ]] Ctrl
236+ 99 ld8 68 88 96 83 [[ 86 ]] int
237+ 86 cmp8 68 88 96 75 99 [[ 67 ]] bool
238+ 67 j<= 68 86 [[ 66 102 ]] [ Ctrl, Ctrl]
239+ 240+ L38: [[ L40 ]]
241+ 38 CallEnd 39 [[ 37 51 ]] [ Ctrl, #BOT, 0]
242+ 51 $mem 38 [[ 36 ]] #BOT
243+ 244+ L101: [[ L70 ]]
245+ 101 True 69 [[ 65 ]] Ctrl
246+ 247+ L37: [[ L38 ]]
248+ 37 $ctrl 38 [[ 36 ]] Ctrl
249+ 36 call 37 51 49 33 46 32 45 [[ 35 ]] Ctrl
250+ 251+ L66: [[ L68 ]]
252+ 66 True 67 [[ 65 ]] Ctrl
253+ 254+ L102: [[ L68 ]]
255+ 102 False 67 [[ 65 ]] Ctrl
256+ 257+ L65: [[ L66 L100 L101 L102 ]]
258+ 65 Region ____ 66 100 101 102 [[ 105 103 64 ]] Ctrl
259+ 105 Phi_con 65 217 216 217 216 [[ 103 ]] bool
260+ 103 test 65 105 [[ 64 ]]
261+ 64 j!= 65 103 [[ 61 98 ]] [ Ctrl, Ctrl]
262+ 263+ L35: [[ L37 ]]
264+ 35 CallEnd 36 [[ 34 53 ]] [ Ctrl, #BOT, int]
265+ 53 $mem 35 [[ 52 ]] #BOT
266+ 267+ L34: [[ L35 ]]
268+ 34 $ctrl 35 [[ 25 ]] Ctrl
269+ 270+ L98: [[ L65 ]]
271+ 98 False 64 [[ 97 85 60 ]] Ctrl
272+ 85 inc 98 83 [[ 84 ]] int
273+ 97 ld8 98 88 96 83 [[ 94 ]] int
274+ 275+ L25: [[ L26 L34 ]]
276+ 25 Region ____ 26 34 [[ 52 15 24 ]] Ctrl
277+ 52 Phi_$me 25 44 53 [[ 24 ]] #BOT
278+ 15 #0 25 [[ 24 ]] 0
279+ 24 Return 25 52 15 54 [[ 1 ]] [ Ctrl, #BOT, 0]
280+ 281+ L61: [[ L65 ]]
282+ 61 True 64 [[ 95 78 60 ]] Ctrl
283+ 78 inc 61 75 [[ 77 ]] int
284+ 95 ld8 61 88 96 75 [[ 94 ]] int
285+ 286+ L60: [[ L61 L98 ]]
287+ 60 Region ____ 61 98 [[ 77 84 94 90 93 58 ]] Ctrl
288+ 77 Phi_i 60 78 75 [[ 75 ]] int
289+ 84 Phi_j 60 83 85 [[ 83 ]] int
290+ 94 Phi_3ドル 60 95 97 [[ 90 ]] int
291+ 93 inc 60 92 [[ 92 ]] int
292+ 90 st8 60 88 91 92 94 [[ 88 ]] #3:Bot
293+ 294+ L1: [[ L112 L132 L156 ]]
295+ 1 Stop 2 24 55 111 131 155 [[ ]] Bot
0 commit comments