Skip to content

Instantly share code, notes, and snippets.

@RealNeGate
Created November 28, 2021 23:28
Show Gist options
  • Select an option

  • Save RealNeGate/8b0d48c6b7f4393622a488370c6090d4 to your computer and use it in GitHub Desktop.

Select an option

Save RealNeGate/8b0d48c6b7f4393622a488370c6090d4 to your computer and use it in GitHub Desktop.
trial_0_0():
L0: # r1 terminates at r647
r2 = [i64 x 1] PARAM 0
r3 = [i64 x 1] PARAM 1
r4 = [i64 x 1] 396779542
r5 = [i32 x 1] 4271987557
r6 = LOCAL 4 (4 align)
r7 = [i32 x 1] TRUNC r3
r8 = [i32 x 1] TRUNC r3
r9 = [i32 x 1] r7 | r8
r10 = [i32 x 1] r5 | r9
r11 = [i64 x 1] ZXT r9
r12 = [i64 x 1] r3 * r11
r13 = [i64 x 1] ZXT r5
r14 = [i64 x 1] r12 - r13
r15 = [i64 x 1] r3 | r2
r16 = [i64 x 1] ZXT r10
r17 = [i64 x 1] r12 ^ r16
r18 = [i64 x 1] ZXT r9
r19 = [i64 x 1] r18 & r4
r20 = [i32 x 1] NEG r9
r21 = [i64 x 1] NOT r12
r22 = [i64 x 1] NEG r12
r23 = [i64 x 1] ZXT r10
r24 = [i64 x 1] r4 * r23
r25 = [i32 x 1] TRUNC r2
r26 = [i32 x 1] TRUNC r14
r27 = [i32 x 1] r25 - r26
r28 = [i32 x 1] NOT r20
r29 = [i32 x 1] TRUNC r12
r30 = [i32 x 1] TRUNC r2
r31 = [i32 x 1] r29 ^ r30
r32 = [i32 x 1] TRUNC r4
r33 = [i32 x 1] r10 - r32
r34 = [i32 x 1] TRUNC r12
r35 = [i32 x 1] r31 - r34
r36 = [i64 x 1] NOT r4
r37 = [i32 x 1] TRUNC r19
r38 = [i32 x 1] NEG r37
r39 = [i64 x 1] r36 & r12
r40 = [i32 x 1] TRUNC r4
r41 = [i32 x 1] NOT r40
r42 = [i32 x 1] TRUNC r39
r43 = [i32 x 1] r41 + r42
r44 = [i32 x 1] r20 & r31
r45 = LOCAL 4 (4 align)
r46 = [i32 x 1] r10 - r38
r47 = [i64 x 1] r3 - r36
r48 = [i64 x 1] NOT r19
r49 = [i64 x 1] ZXT r33
r50 = [i64 x 1] r49 - r15
r51 = [i32 x 1] TRUNC r19
r52 = [i32 x 1] NOT r51
r53 = [i32 x 1] TRUNC r12
r54 = [i32 x 1] r53 & r27
r55 = [i32 x 1] TRUNC r2
r56 = [i32 x 1] TRUNC r15
r57 = [i32 x 1] r55 & r56
r58 = [i32 x 1] TRUNC r19
r59 = [i32 x 1] NOT r58
r60 = [i32 x 1] TRUNC r3
r61 = [i32 x 1] r27 & r60
r62 = [i64 x 1] r48 * r50
r63 = [i32 x 1] NOT r44
r64 = [i64 x 1] ZXT r57
r65 = [i64 x 1] NOT r64
r66 = [i64 x 1] ZXT r43
r67 = [i64 x 1] ZXT r10
r68 = [i64 x 1] r66 & r67
r69 = [i64 x 1] ZXT r10
r70 = [i64 x 1] r68 & r69
r71 = [i32 x 1] TRUNC r12
r72 = [i32 x 1] 4293470238
r73 = [i64 x 1] ZXT r44
r74 = [i64 x 1] NOT r73
r75 = [i32 x 1] TRUNC r2
r76 = [i32 x 1] r41 /s r75
r77 = [i32 x 1] NOT r10
r78 = [i64 x 1] ZXT r76
r79 = [i64 x 1] *r45 (8 align)
r80 = [i32 x 1] r28 - r59
r81 = [i32 x 1] TRUNC r2
r82 = [i32 x 1] r52 ^ r81
r83 = [i32 x 1] TRUNC r2
r84 = [i32 x 1] TRUNC r4
r85 = [i32 x 1] r83 | r84
r86 = [i32 x 1] TRUNC r22
r87 = [i32 x 1] r9 * r86
r88 = [i32 x 1] TRUNC r47
r89 = [i32 x 1] TRUNC r36
r90 = [i32 x 1] r88 - r89
r91 = [i64 x 1] r2 /u r65
r92 = [i32 x 1] r9 /u r10
r93 = [i32 x 1] TRUNC r74
r94 = [i32 x 1] r82 ^ r93
r95 = [i32 x 1] TRUNC r70
r96 = [i32 x 1] r95 * r92
r97 = [i64 x 1] r12 & r47
r98 = [i64 x 1] ZXT r31
r99 = [i64 x 1] r98 & r21
r100 = [i32 x 1] NEG r59
r101 = [i64 x 1] ZXT r9
r102 = [i64 x 1] ZXT r33
r103 = [i64 x 1] r101 ^ r102
r104 = [i32 x 1] *r45 (4 align)
r105 = [i32 x 1] TRUNC r21
r106 = [i32 x 1] *r45 (4 align)
r107 = [i64 x 1] r79 | r4
r108 = [i64 x 1] ZXT r9
r109 = [i64 x 1] NOT r108
r110 = [i32 x 1] NEG r94
r111 = [i32 x 1] TRUNC r19
r112 = [i32 x 1] r44 | r111
r113 = [i64 x 1] ZXT r72
r114 = [i64 x 1] r91 + r113
r115 = [i32 x 1] TRUNC r3
r116 = [i32 x 1] TRUNC r17
r117 = [i32 x 1] r115 | r116
r118 = [i64 x 1] ZXT r94
r119 = [i64 x 1] r118 * r68
r120 = [i32 x 1] r31 + r41
r121 = [i64 x 1] ZXT r59
r122 = [i64 x 1] ZXT r20
r123 = [i64 x 1] r121 + r122
r124 = [i64 x 1] ZXT r76
r125 = [i64 x 1] r124 /u r39
r126 = [i64 x 1] ZXT r41
r127 = [i64 x 1] ZXT r112
r128 = [i64 x 1] r126 - r127
r129 = [i32 x 1] TRUNC r103
r130 = [i32 x 1] r106 | r129
r131 = [i64 x 1] ZXT r27
r132 = [i64 x 1] r68 & r131
r133 = [i32 x 1] TRUNC r62
r134 = [i32 x 1] r133 + r9
r135 = [i64 x 1] ZXT r85
r136 = [i64 x 1] NOT r135
r137 = [i32 x 1] TRUNC r50
r138 = [i32 x 1] r130 /s r137
r139 = [i64 x 1] ZXT r28
r140 = [i64 x 1] r139 + r97
r141 = [i64 x 1] ZXT r85
r142 = [i64 x 1] ZXT r120
r143 = [i64 x 1] r141 - r142
r144 = [i32 x 1] TRUNC r103
r145 = [i32 x 1] TRUNC r109
r146 = [i32 x 1] r144 ^ r145
r147 = [i32 x 1] r52 /u r46
r148 = [i32 x 1] NOT r96
r149 = [i32 x 1] r82 /u r31
r150 = [i32 x 1] r87 - r134
r151 = [i64 x 1] ZXT r100
r152 = [i64 x 1] ZXT r61
r153 = [i64 x 1] r151 * r152
r154 = [i64 x 1] r12 | r2
r155 = [i32 x 1] TRUNC r68
r156 = [i32 x 1] TRUNC r50
r157 = [i32 x 1] r155 - r156
r158 = [i64 x 1] ZXT r76
r159 = [i64 x 1] ZXT r52
r160 = [i64 x 1] r158 & r159
r161 = [i32 x 1] TRUNC r79
r162 = [i32 x 1] r161 - r61
r163 = [i64 x 1] ZXT r157
r164 = [i64 x 1] ZXT r146
r165 = [i64 x 1] r163 + r164
r166 = [i32 x 1] r110 - r100
r167 = [i64 x 1] ZXT r63
r168 = [i64 x 1] NOT r167
r169 = [i64 x 1] ZXT r150
r170 = [i64 x 1] ZXT r20
r171 = [i64 x 1] r169 - r170
r172 = [i32 x 1] TRUNC r3
r173 = [i32 x 1] NEG r172
r174 = [i32 x 1] TRUNC r24
r175 = [i32 x 1] r174 - r5
r176 = [i32 x 1] r94 ^ r147
r177 = [i64 x 1] NEG r62
r178 = [i32 x 1] TRUNC r24
r179 = [i32 x 1] r28 ^ r178
r180 = [i64 x 1] ZXT r117
*r45 = [i32 x 1] r90 (4 align)
r182 = [i64 x 1] NEG r21
r183 = [i64 x 1] ZXT r130
r184 = [i64 x 1] r48 - r183
r185 = [i64 x 1] ZXT r176
r186 = [i64 x 1] r185 /u r19
r187 = [i64 x 1] ZXT r87
r188 = [i64 x 1] r114 ^ r187
r189 = [i32 x 1] TRUNC r154
r190 = [i32 x 1] r41 * r189
r191 = [i64 x 1] ZXT r150
r192 = [i64 x 1] ZXT r130
r193 = [i64 x 1] r191 * r192
r194 = [i64 x 1] r74 + r99
r195 = [i64 x 1] ZXT r31
r196 = [i64 x 1] ZXT r77
r197 = [i64 x 1] r195 * r196
r198 = [i64 x 1] NEG r70
r199 = [i32 x 1] TRUNC r68
r200 = [i32 x 1] TRUNC r114
r201 = [i32 x 1] r199 + r200
*r45 = [i32 x 1] r27 (4 align)
r203 = [i64 x 1] ZXT r138
r204 = [i64 x 1] ZXT r173
r205 = [i64 x 1] r203 ^ r204
r206 = [i64 x 1] ZXT r176
r207 = [i64 x 1] r62 & r206
r208 = [i64 x 1] ZXT r5
r209 = [i64 x 1] r68 | r208
r210 = [i32 x 1] r96 /s r61
r211 = [i32 x 1] TRUNC r109
r212 = [i32 x 1] r80 ^ r211
r213 = [i32 x 1] TRUNC r140
r214 = [i32 x 1] NOT r213
r215 = [i64 x 1] ZXT r201
r216 = [i64 x 1] r143 ^ r215
r217 = [i32 x 1] TRUNC r207
r218 = [i32 x 1] NOT r217
r219 = [i32 x 1] TRUNC r50
r220 = [i32 x 1] r100 * r219
r221 = [i64 x 1] ZXT r214
r222 = [i64 x 1] NOT r221
r223 = [i64 x 1] ZXT r59
r224 = [i64 x 1] r223 * r103
r225 = [i32 x 1] TRUNC r39
r226 = [i32 x 1] TRUNC r184
r227 = [i32 x 1] r225 * r226
r228 = [i32 x 1] TRUNC r222
r229 = [i32 x 1] TRUNC r119
r230 = [i32 x 1] r228 ^ r229
r231 = [i32 x 1] TRUNC r62
r232 = [i32 x 1] TRUNC r99
r233 = [i32 x 1] r231 - r232
r234 = [i64 x 1] ZXT r57
r235 = [i64 x 1] r234 /s r3
r236 = [i32 x 1] NOT r104
r237 = [i32 x 1] r138 /u r20
r238 = [i64 x 1] r12 ^ r21
r239 = [i64 x 1] NEG r209
r240 = [i64 x 1] NEG r22
r241 = [i64 x 1] ZXT r80
r242 = [i64 x 1] ZXT r104
r243 = [i64 x 1] r241 - r242
r244 = [i64 x 1] ZXT r44
r245 = [i64 x 1] ZXT r134
r246 = [i64 x 1] r244 + r245
r247 = [i64 x 1] ZXT r5
r248 = [i64 x 1] NEG r247
r249 = [i32 x 1] TRUNC r65
r250 = [i32 x 1] r96 & r249
r251 = [i32 x 1] TRUNC r47
r252 = [i32 x 1] r251 /u r90
r253 = [i32 x 1] TRUNC r91
r254 = [i32 x 1] NEG r253
r255 = [i64 x 1] NEG r107
r256 = [i32 x 1] TRUNC r97
r257 = [i32 x 1] NEG r256
r258 = [i32 x 1] TRUNC r197
r259 = [i32 x 1] TRUNC r114
r260 = [i32 x 1] r258 ^ r259
r261 = [i32 x 1] TRUNC r119
r262 = [i32 x 1] r261 /u r157
r263 = [i32 x 1] TRUNC r140
r264 = [i32 x 1] NOT r263
r265 = [i32 x 1] TRUNC r143
r266 = [i32 x 1] r265 & r31
r267 = [i32 x 1] TRUNC r160
r268 = [i32 x 1] 1267217006
r269 = [i32 x 1] TRUNC r125
r270 = [i32 x 1] r269 + r190
r271 = [i32 x 1] TRUNC r47
r272 = [i32 x 1] TRUNC r207
r273 = [i32 x 1] r271 ^ r272
r274 = [i32 x 1] TRUNC r188
r275 = [i32 x 1] r274 - r130
r276 = [i32 x 1] TRUNC r248
r277 = [i32 x 1] r63 /s r276
r278 = [i64 x 1] NEG r209
r279 = [i64 x 1] ZXT r106
r280 = [i64 x 1] r182 ^ r279
r281 = [i64 x 1] ZXT r100
r282 = [i64 x 1] r281 & r103
r283 = [i32 x 1] r162 + r46
r284 = [i64 x 1] r68 & r143
r285 = [i32 x 1] TRUNC r243
r286 = [i32 x 1] r285 + r43
r287 = [i64 x 1] ZXT r33
*r6 = [i32 x 1] r190 (4 align)
r289 = [i64 x 1] ZXT r179
r290 = [i64 x 1] NEG r289
r291 = [i64 x 1] ZXT r85
r292 = [i64 x 1] ZXT r157
r293 = [i64 x 1] r291 & r292
r294 = [i64 x 1] ZXT r80
r295 = [i64 x 1] ZXT r230
r296 = [i64 x 1] r294 * r295
r297 = [i64 x 1] ZXT r233
r298 = [i64 x 1] r171 /s r297
r299 = [i32 x 1] TRUNC r296
r300 = [i32 x 1] r299 - r92
r301 = [i32 x 1] r41 + r46
r302 = [i32 x 1] r31 + r301
r303 = [i32 x 1] TRUNC r103
r304 = [i32 x 1] NOT r303
r305 = [i32 x 1] TRUNC r160
r306 = [i32 x 1] r305 * r94
r307 = [i64 x 1] r3 /u r239
r308 = [i64 x 1] r143 * r24
r309 = [i64 x 1] ZXT r72
r310 = [i64 x 1] r309 /s r68
r311 = [i32 x 1] TRUNC r47
r312 = [i32 x 1] r138 * r311
r313 = [i32 x 1] r312 - r100
r314 = [i32 x 1] r110 + r306
r315 = [i32 x 1] TRUNC r119
r316 = [i32 x 1] r315 | r92
r317 = [i64 x 1] ZXT r146
r318 = [i64 x 1] ZXT r146
r319 = [i64 x 1] r317 - r318
r320 = [i32 x 1] r162 * r20
r321 = [i64 x 1] r186 ^ r168
r322 = [i32 x 1] r149 & r302
r323 = [i32 x 1] r138 & r312
r324 = [i64 x 1] ZXT r38
r325 = [i64 x 1] r99 + r324
r326 = [i64 x 1] ZXT r33
r327 = [i64 x 1] ZXT r173
r328 = [i64 x 1] r326 /s r327
r329 = [i32 x 1] NEG r87
r330 = [i64 x 1] NOT r39
r331 = [i32 x 1] TRUNC r107
r332 = [i32 x 1] r331 | r252
r333 = [i32 x 1] r82 - r264
r334 = [i32 x 1] TRUNC r12
r335 = [i32 x 1] TRUNC r2
r336 = [i32 x 1] r334 | r335
r337 = [i64 x 1] ZXT r175
r338 = [i64 x 1] r65 - r337
r339 = [i64 x 1] ZXT r166
r340 = [i64 x 1] r338 /u r339
r341 = [i32 x 1] TRUNC r4
r342 = [i32 x 1] TRUNC r79
r343 = [i32 x 1] r341 | r342
r344 = [i64 x 1] ZXT r233
r345 = [i64 x 1] r70 + r344
r346 = [i32 x 1] r90 - r92
r347 = [i32 x 1] TRUNC r290
r348 = [i32 x 1] r347 & r110
r349 = [i64 x 1] ZXT r314
r350 = LOCAL 8 (8 align)
r351 = [i64 x 1] ZXT r10
r352 = [i64 x 1] r351 ^ r62
r353 = [i32 x 1] r77 | r61
r354 = [i64 x 1] ZXT r166
r355 = [i64 x 1] ZXT r237
r356 = [i64 x 1] r354 * r355
r357 = [i64 x 1] ZXT r201
r358 = [i64 x 1] ZXT r322
r359 = [i64 x 1] r357 | r358
r360 = [i32 x 1] TRUNC r70
r361 = [i32 x 1] TRUNC r79
r362 = [i32 x 1] r360 - r361
r363 = [i32 x 1] TRUNC r103
r364 = [i32 x 1] NEG r363
r365 = [i64 x 1] ZXT r257
r366 = [i64 x 1] r365 | r99
r367 = [i32 x 1] TRUNC r308
r368 = [i32 x 1] TRUNC r12
r369 = [i32 x 1] r367 ^ r368
r370 = [i32 x 1] r5 | r117
r371 = [i32 x 1] r87 * r54
r372 = [i32 x 1] r323 - r33
r373 = [i32 x 1] TRUNC r47
r374 = [i32 x 1] r373 + r218
r375 = [i64 x 1] ZXT r316
r376 = [i64 x 1] *r6 (8 align)
r377 = [i32 x 1] TRUNC r359
r378 = [i32 x 1] TRUNC r356
r379 = [i32 x 1] r377 | r378
r380 = [i32 x 1] TRUNC r319
r381 = [i32 x 1] r380 | r77
r382 = [i64 x 1] ZXT r104
r383 = [i64 x 1] NEG r382
r384 = [i32 x 1] TRUNC r24
r385 = [i32 x 1] TRUNC r193
r386 = [i32 x 1] r384 + r385
r387 = [i64 x 1] ZXT r233
r388 = [i64 x 1] r376 /u r387
r389 = [i64 x 1] ZXT r179
r390 = [i64 x 1] r65 - r389
r391 = [i64 x 1] ZXT r254
r392 = [i64 x 1] ZXT r264
r393 = [i64 x 1] r391 ^ r392
r394 = [i64 x 1] ZXT r270
r395 = [i64 x 1] r394 * r321
r396 = [i32 x 1] TRUNC r97
r397 = [i32 x 1] TRUNC r36
r398 = [i32 x 1] r396 | r397
r399 = [i32 x 1] TRUNC r352
r400 = [i32 x 1] r398 - r399
r401 = [i32 x 1] TRUNC r119
r402 = [i32 x 1] r401 & r138
r403 = [i32 x 1] r162 * r348
r404 = [i32 x 1] r236 & r336
r405 = [i64 x 1] ZXT r237
r406 = [i64 x 1] ZXT r117
r407 = [i64 x 1] r405 ^ r406
r408 = [i32 x 1] TRUNC r136
r409 = [i32 x 1] NEG r408
r410 = [i32 x 1] TRUNC r243
r411 = [i32 x 1] NEG r410
r412 = [i64 x 1] ZXT r72
*r6 = [i32 x 1] r293 (4 align)
r414 = [i32 x 1] TRUNC r239
r415 = [i32 x 1] TRUNC r284
r416 = [i32 x 1] r414 & r415
r417 = [i32 x 1] r400 - r117
r418 = [i64 x 1] ZXT r210
r419 = [i64 x 1] r290 & r418
r420 = [i32 x 1] TRUNC r22
r421 = [i32 x 1] TRUNC r19
r422 = [i32 x 1] r420 & r421
r423 = [i64 x 1] ZXT r130
r424 = [i64 x 1] 1602273864
r425 = [i64 x 1] 1826246186
r426 = [i64 x 1] ZXT r264
r427 = [i64 x 1] r325 | r426
r428 = [i64 x 1] ZXT r314
r429 = [i64 x 1] NEG r428
r430 = [i32 x 1] TRUNC r238
r431 = [i32 x 1] TRUNC r307
r432 = [i32 x 1] r430 - r431
r433 = [i64 x 1] ZXT r257
r434 = [i64 x 1] ZXT r201
r435 = [i64 x 1] r433 & r434
r436 = [i32 x 1] NEG r77
*r45 = [i32 x 1] r359 (4 align)
r438 = [i64 x 1] ZXT r409
r439 = [i64 x 1] NEG r438
r440 = [i32 x 1] r404 /u r112
r441 = [i32 x 1] NEG r146
r442 = [i64 x 1] ZXT r230
r443 = [i64 x 1] r442 ^ r290
r444 = [i64 x 1] ZXT r148
r445 = [i64 x 1] ZXT r440
r446 = [i64 x 1] r444 - r445
r447 = [i32 x 1] TRUNC r114
r448 = [i32 x 1] TRUNC r345
r449 = [i32 x 1] r447 * r448
r450 = [i64 x 1] NEG r188
r451 = [i32 x 1] TRUNC r65
r452 = [i32 x 1] TRUNC r97
r453 = [i32 x 1] r451 + r452
r454 = [i32 x 1] TRUNC r17
r455 = [i32 x 1] r63 | r454
r456 = [i64 x 1] ZXT r138
r457 = [i64 x 1] r19 /s r456
r458 = [i64 x 1] ZXT r134
r459 = [i64 x 1] ZXT r33
r460 = [i64 x 1] r458 & r459
r461 = [i64 x 1] ZXT r320
r462 = [i64 x 1] r186 ^ r461
r463 = [i32 x 1] TRUNC r224
r464 = [i32 x 1] *r6 (4 align)
r465 = [i32 x 1] TRUNC r356
r466 = [i32 x 1] TRUNC r424
r467 = [i32 x 1] r465 | r466
r468 = [i32 x 1] TRUNC r194
r469 = [i32 x 1] TRUNC r450
r470 = [i32 x 1] r468 /u r469
r471 = [i64 x 1] ZXT r201
r472 = [i64 x 1] r471 & r419
r473 = [i32 x 1] TRUNC r22
r474 = [i32 x 1] r473 * r112
r475 = [i64 x 1] ZXT r33
r476 = [i64 x 1] ZXT r59
r477 = [i64 x 1] r475 - r476
r478 = [i64 x 1] ZXT r379
r479 = [i64 x 1] NOT r478
r480 = [i32 x 1] TRUNC r79
r481 = [i32 x 1] r480 * r369
r482 = [i64 x 1] ZXT r218
r483 = [i64 x 1] NEG r482
r484 = [i64 x 1] ZXT r87
r485 = LOCAL 8 (8 align)
r486 = [i64 x 1] r36 | r457
r487 = [i32 x 1] TRUNC r460
r488 = [i32 x 1] r487 - r146
r489 = [i32 x 1] TRUNC r310
r490 = [i32 x 1] r489 ^ r130
r491 = [i32 x 1] TRUNC r48
r492 = [i32 x 1] r77 | r491
r493 = [i32 x 1] *r45 (4 align)
r494 = [i32 x 1] TRUNC r114
*r485 = [i64 x 1] r243 (8 align)
r496 = [i64 x 1] ZXT r250
r497 = [i64 x 1] r496 & r307
r498 = [i64 x 1] ZXT r146
r499 = [i64 x 1] NEG r498
r500 = [i64 x 1] ZXT r149
r501 = [i64 x 1] ZXT r5
r502 = [i64 x 1] r500 & r501
r503 = LOCAL 4 (4 align)
r504 = [i32 x 1] TRUNC r477
r505 = [i32 x 1] TRUNC r472
r506 = [i32 x 1] r504 | r505
r507 = [i64 x 1] ZXT r379
r508 = [i64 x 1] r390 | r507
r509 = [i64 x 1] ZXT r362
r510 = [i64 x 1] NEG r509
r511 = [i64 x 1] r125 /s r99
r512 = [i64 x 1] ZXT r302
r513 = [i64 x 1] NEG r512
r514 = [i32 x 1] TRUNC r388
r515 = [i32 x 1] TRUNC r48
r516 = [i32 x 1] r514 & r515
r517 = [i32 x 1] TRUNC r165
*r350 = [i64 x 1] r79 (8 align)
r519 = [i64 x 1] NEG r246
r520 = [i32 x 1] NEG r43
r521 = [i32 x 1] NOT r5
r522 = [i64 x 1] ZXT r364
r523 = [i64 x 1] NEG r522
r524 = [i32 x 1] NEG r436
r525 = [i32 x 1] TRUNC r502
r526 = [i32 x 1] r525 /u r72
r527 = [i64 x 1] NOT r24
r528 = [i32 x 1] TRUNC r321
r529 = [i32 x 1] NEG r528
r530 = [i32 x 1] TRUNC r136
r531 = [i32 x 1] r530 * r455
r532 = [i32 x 1] TRUNC r325
r533 = [i32 x 1] TRUNC r383
r534 = [i32 x 1] r532 & r533
r535 = [i32 x 1] r422 | r402
r536 = [i32 x 1] TRUNC r198
r537 = [i32 x 1] 2079908537
r538 = [i64 x 1] ZXT r362
r539 = [i64 x 1] r39 & r538
r540 = [i32 x 1] TRUNC r99
r541 = [i32 x 1] NEG r540
r542 = [i32 x 1] TRUNC r222
r543 = [i32 x 1] r542 | r44
r544 = [i64 x 1] ZXT r220
r545 = [i64 x 1] ZXT r38
r546 = [i64 x 1] r544 | r545
r547 = [i64 x 1] ZXT r33
r548 = [i64 x 1] r325 * r547
r549 = [i64 x 1] ZXT r5
r550 = [i64 x 1] ZXT r314
r551 = [i64 x 1] r549 ^ r550
r552 = [i64 x 1] ZXT r150
r553 = [i64 x 1] NEG r552
r554 = [i32 x 1] r353 | r130
r555 = [i64 x 1] ZXT r449
r556 = [i64 x 1] ZXT r493
r557 = [i64 x 1] r555 - r556
r558 = [i64 x 1] NEG r443
r559 = [i32 x 1] NOT r273
r560 = [i32 x 1] TRUNC r310
r561 = [i32 x 1] r560 & r264
r562 = [i64 x 1] ZXT r43
r563 = [i64 x 1] r562 ^ r479
r564 = [i64 x 1] ZXT r262
r565 = [i64 x 1] ZXT r316
r566 = [i64 x 1] r564 * r565
r567 = [i32 x 1] TRUNC r177
r568 = [i32 x 1] r100 ^ r567
r569 = [i32 x 1] TRUNC r527
r570 = [i32 x 1] r63 | r569
r571 = [i64 x 1] ZXT r490
r572 = [i64 x 1] ZXT r210
r573 = [i64 x 1] r571 * r572
r574 = [i32 x 1] TRUNC r39
r575 = [i32 x 1] TRUNC r308
r576 = [i32 x 1] r574 & r575
r577 = [i64 x 1] ZXT r52
r578 = [i64 x 1] r577 | r429
r579 = [i64 x 1] ZXT r543
r580 = [i64 x 1] NOT r579
r581 = [i32 x 1] r82 - r329
r582 = [i32 x 1] *r503 (4 align)
r583 = [i32 x 1] TRUNC r325
r584 = [i32 x 1] r583 + r72
r585 = [i32 x 1] 3258553245
r586 = [i32 x 1] TRUNC r439
r587 = [i32 x 1] r333 ^ r586
r588 = [i64 x 1] ZXT r233
r589 = [i64 x 1] ZXT r474
r590 = [i64 x 1] r588 | r589
r591 = [i64 x 1] ZXT r411
r592 = [i64 x 1] r68 | r591
r593 = [i32 x 1] NOT r333
r594 = [i32 x 1] TRUNC r511
r595 = [i32 x 1] r594 + r120
r596 = [i64 x 1] ZXT r283
r597 = [i64 x 1] ZXT r33
r598 = [i64 x 1] r596 - r597
r599 = [i64 x 1] NEG r239
r600 = [i32 x 1] TRUNC r235
r601 = [i32 x 1] r600 & r43
r602 = [i64 x 1] NOT r499
r603 = [i64 x 1] ZXT r524
r604 = [i64 x 1] r519 - r603
r605 = [i64 x 1] ZXT r147
r606 = [i64 x 1] ZXT r470
r607 = [i64 x 1] r605 ^ r606
r608 = [i64 x 1] ZXT r481
r609 = [i64 x 1] r107 & r608
r610 = [i64 x 1] ZXT r9
r611 = [i64 x 1] r610 & r3
*r485 = [i64 x 1] r353 (8 align)
r613 = [i32 x 1] TRUNC r407
r614 = [i32 x 1] TRUNC r182
r615 = [i32 x 1] r613 ^ r614
r616 = [i64 x 1] NOT r325
r617 = [i32 x 1] TRUNC r165
r618 = [i32 x 1] r157 - r617
r619 = [i32 x 1] NOT r323
r620 = [i32 x 1] r82 /s r329
r621 = [i64 x 1] r290 | r510
r622 = [i64 x 1] ZXT r516
r623 = [i64 x 1] r622 & r580
r624 = [i64 x 1] ZXT r54
r625 = [i64 x 1] ZXT r529
r626 = [i64 x 1] r624 + r625
r627 = [i32 x 1] TRUNC r62
r628 = [i32 x 1] TRUNC r278
r629 = [i32 x 1] r627 - r628
r630 = [i32 x 1] TRUNC r548
r631 = [i32 x 1] r630 | r481
r632 = [i32 x 1] TRUNC r24
r633 = [i32 x 1] r61 ^ r632
r634 = [i64 x 1] ZXT r96
r635 = [i64 x 1] r319 & r634
r636 = [i64 x 1] ZXT r441
r637 = [i64 x 1] r388 | r636
r638 = [i32 x 1] r57 /u r104
r639 = [i64 x 1] ZXT r173
r640 = [i64 x 1] r639 * r429
r641 = [i32 x 1] NEG r306
r642 = [i64 x 1] ZXT r52
r643 = [i64 x 1] ZXT r374
r644 = [i64 x 1] r642 * r643
r645 = [i32 x 1] r474 * r173
r646 = [i64 x 1] ZXT r645
ret [i64 x 1] r646
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment