gas/testsuite/gas/kvx/kv3-1-insns-64.s

   1         ##-----------------------------------------------------------
   2         ## Generating test.s from MDS
   3         ## (c) Copyright 2010-2018 Kalray SA.
   4         ##-----------------------------------------------------------
   5
   6 #       Option: ''
   7
   8 ##      target-core:    kv3-1
   9
  10         .section .text
  11
  12         .align 8
  13         .proc   main
  14         .global main
  15 main:
  16         abdd $r0 = $r0r1.lo, 2305843009213693951
  17         ;;
  18         abdd $r0r1r2r3.x = $r1, $r0r1.hi
  19         ;;
  20         abdd $r0r1r2r3.y = $r2, -64
  21         ;;
  22         abdd $r2r3.lo = $r0r1r2r3.z, -8589934592
  23         ;;
  24         abdd.@ $r3 = $r2r3.hi, 536870911
  25         ;;
  26         abdhq $r0r1r2r3.t = $r4, $r4r5.lo
  27         ;;
  28         abdhq $r4r5r6r7.x = $r5, 536870911
  29         ;;
  30         abdwp $r4r5.hi = $r4r5r6r7.y, $r6
  31         ;;
  32         abdwp.@ $r6r7.lo = $r4r5r6r7.z, 536870911
  33         ;;
  34         abdw $r7 = $r6r7.hi, $r4r5r6r7.t
  35         ;;
  36         abdw $r8 = $r8r9.lo, -64
  37         ;;
  38         abdw $r8r9r10r11.x = $r9, -8589934592
  39         ;;
  40         absd $r8r9.hi = $r8r9r10r11.y
  41         ;;
  42         abshq $r10 = $r10r11.lo
  43         ;;
  44         abswp $r8r9r10r11.z = $r11
  45         ;;
  46         absw $r10r11.hi = $r8r9r10r11.t
  47         ;;
  48         acswapd $r12[$sp] = $r0r1
  49         ;;
  50         acswapd 2305843009213693951[$r13] = $r0r1r2r3.lo
  51         ;;
  52         acswapd.dnez $tp? -1125899906842624[$r14] = $r2r3
  53         ;;
  54         acswapd.deqz $fp? -8388608[$r15] = $r0r1r2r3.hi
  55         ;;
  56         acswapd.dltz $rp? [$r16] = $r4r5
  57         ;;
  58         acswapd -64[$r16r17.lo] = $r4r5r6r7.lo
  59         ;;
  60         acswapd -8589934592[$r16r17r18r19.x] = $r6r7
  61         ;;
  62         acswapw.xs $r17[$r16r17.hi] = $r4r5r6r7.hi
  63         ;;
  64         acswapw 2305843009213693951[$r16r17r18r19.y] = $r8r9
  65         ;;
  66         acswapw.dgez $r18? -1125899906842624[$r18r19.lo] = $r8r9r10r11.lo
  67         ;;
  68         acswapw.dlez $r16r17r18r19.z? -8388608[$r19] = $r10r11
  69         ;;
  70         acswapw.dgtz $r18r19.hi? [$r16r17r18r19.t] = $r8r9r10r11.hi
  71         ;;
  72         acswapw -64[$r20] = $r12r13
  73         ;;
  74         acswapw -8589934592[$r20r21.lo] = $r12r13r14r15.lo
  75         ;;
  76         addcd.i $r20r21r22r23.x = $r21, $r20r21.hi
  77         ;;
  78         addcd.i $r20r21r22r23.y = $r22, 536870911
  79         ;;
  80         addcd $r22r23.lo = $r20r21r22r23.z, $r23
  81         ;;
  82         addcd $r22r23.hi = $r20r21r22r23.t, 536870911
  83         ;;
  84         addd $r24 = $r24r25.lo, 2305843009213693951
  85         ;;
  86         addd $r24r25r26r27.x = $r25, $r24r25.hi
  87         ;;
  88         addd $r24r25r26r27.y = $r26, -64
  89         ;;
  90         addd $r26r27.lo = $r24r25r26r27.z, -8589934592
  91         ;;
  92         addd.@ $r27 = $r26r27.hi, 536870911
  93         ;;
  94         addhcp.c $r24r25r26r27.t = $r28, $r28r29.lo
  95         ;;
  96         addhcp.c $r28r29r30r31.x = $r29, 536870911
  97         ;;
  98         addhq $r28r29.hi = $r28r29r30r31.y, $r30
  99         ;;
 100         addhq.@ $r30r31.lo = $r28r29r30r31.z, 536870911
 101         ;;
 102         addsd $r31 = $r30r31.hi, 2305843009213693951
 103         ;;
 104         addsd $r28r29r30r31.t = $r32, $r32r33.lo
 105         ;;
 106         addsd $r32r33r34r35.x = $r33, -64
 107         ;;
 108         addsd $r32r33.hi = $r32r33r34r35.y, -8589934592
 109         ;;
 110         addshq $r34 = $r34r35.lo, $r32r33r34r35.z
 111         ;;
 112         addshq $r35 = $r34r35.hi, 536870911
 113         ;;
 114         addswp $r32r33r34r35.t = $r36, $r36r37.lo
 115         ;;
 116         addswp.@ $r36r37r38r39.x = $r37, 536870911
 117         ;;
 118         addsw $r36r37.hi = $r36r37r38r39.y, $r38
 119         ;;
 120         addsw $r38r39.lo = $r36r37r38r39.z, 536870911
 121         ;;
 122         adduwd $r39 = $r38r39.hi, $r36r37r38r39.t
 123         ;;
 124         adduwd $r40 = $r40r41.lo, 536870911
 125         ;;
 126         addwc.c $r40r41r42r43.x = $r41, $r40r41.hi
 127         ;;
 128         addwc.c.@ $r40r41r42r43.y = $r42, 536870911
 129         ;;
 130         addwd $r42r43.lo = $r40r41r42r43.z, $r43
 131         ;;
 132         addwd $r42r43.hi = $r40r41r42r43.t, 536870911
 133         ;;
 134         addwp $r44 = $r44r45.lo, $r44r45r46r47.x
 135         ;;
 136         addwp.@ $r45 = $r44r45.hi, 536870911
 137         ;;
 138         addw $r44r45r46r47.y = $r46, $r46r47.lo
 139         ;;
 140         addw $r44r45r46r47.z = $r47, -64
 141         ;;
 142         addw $r46r47.hi = $r44r45r46r47.t, -8589934592
 143         ;;
 144         addx16d $r48 = $r48r49.lo, $r48r49r50r51.x
 145         ;;
 146         addx16d $r49 = $r48r49.hi, 536870911
 147         ;;
 148         addx16hq $r48r49r50r51.y = $r50, $r50r51.lo
 149         ;;
 150         addx16hq.@ $r48r49r50r51.z = $r51, 536870911
 151         ;;
 152         addx16uwd $r50r51.hi = $r48r49r50r51.t, $r52
 153         ;;
 154         addx16uwd $r52r53.lo = $r52r53r54r55.x, 536870911
 155         ;;
 156         addx16wd $r53 = $r52r53.hi, $r52r53r54r55.y
 157         ;;
 158         addx16wd $r54 = $r54r55.lo, 536870911
 159         ;;
 160         addx16wp $r52r53r54r55.z = $r55, $r54r55.hi
 161         ;;
 162         addx16wp $r52r53r54r55.t = $r56, 536870911
 163         ;;
 164         addx16w $r56r57.lo = $r56r57r58r59.x, $r57
 165         ;;
 166         addx16w $r56r57.hi = $r56r57r58r59.y, 536870911
 167         ;;
 168         addx2d $r58 = $r58r59.lo, $r56r57r58r59.z
 169         ;;
 170         addx2d.@ $r59 = $r58r59.hi, 536870911
 171         ;;
 172         addx2hq $r56r57r58r59.t = $r60, $r60r61.lo
 173         ;;
 174         addx2hq $r60r61r62r63.x = $r61, 536870911
 175         ;;
 176         addx2uwd $r60r61.hi = $r60r61r62r63.y, $r62
 177         ;;
 178         addx2uwd $r62r63.lo = $r60r61r62r63.z, 536870911
 179         ;;
 180         addx2wd $r63 = $r62r63.hi, $r60r61r62r63.t
 181         ;;
 182         addx2wd $r0 = $r0r1.lo, 536870911
 183         ;;
 184         addx2wp $r0r1r2r3.x = $r1, $r0r1.hi
 185         ;;
 186         addx2wp.@ $r0r1r2r3.y = $r2, 536870911
 187         ;;
 188         addx2w $r2r3.lo = $r0r1r2r3.z, $r3
 189         ;;
 190         addx2w $r2r3.hi = $r0r1r2r3.t, 536870911
 191         ;;
 192         addx4d $r4 = $r4r5.lo, $r4r5r6r7.x
 193         ;;
 194         addx4d $r5 = $r4r5.hi, 536870911
 195         ;;
 196         addx4hq $r4r5r6r7.y = $r6, $r6r7.lo
 197         ;;
 198         addx4hq.@ $r4r5r6r7.z = $r7, 536870911
 199         ;;
 200         addx4uwd $r6r7.hi = $r4r5r6r7.t, $r8
 201         ;;
 202         addx4uwd $r8r9.lo = $r8r9r10r11.x, 536870911
 203         ;;
 204         addx4wd $r9 = $r8r9.hi, $r8r9r10r11.y
 205         ;;
 206         addx4wd $r10 = $r10r11.lo, 536870911
 207         ;;
 208         addx4wp $r8r9r10r11.z = $r11, $r10r11.hi
 209         ;;
 210         addx4wp $r8r9r10r11.t = $r12, 536870911
 211         ;;
 212         addx4w $sp = $r13, $tp
 213         ;;
 214         addx4w $r14 = $fp, 536870911
 215         ;;
 216         addx8d $r15 = $rp, $r16
 217         ;;
 218         addx8d.@ $r16r17.lo = $r16r17r18r19.x, 536870911
 219         ;;
 220         addx8hq $r17 = $r16r17.hi, $r16r17r18r19.y
 221         ;;
 222         addx8hq $r18 = $r18r19.lo, 536870911
 223         ;;
 224         addx8uwd $r16r17r18r19.z = $r19, $r18r19.hi
 225         ;;
 226         addx8uwd $r16r17r18r19.t = $r20, 536870911
 227         ;;
 228         addx8wd $r20r21.lo = $r20r21r22r23.x, $r21
 229         ;;
 230         addx8wd $r20r21.hi = $r20r21r22r23.y, 536870911
 231         ;;
 232         addx8wp $r22 = $r22r23.lo, $r20r21r22r23.z
 233         ;;
 234         addx8wp.@ $r23 = $r22r23.hi, 536870911
 235         ;;
 236         addx8w $r20r21r22r23.t = $r24, $r24r25.lo
 237         ;;
 238         addx8w $r24r25r26r27.x = $r25, 536870911
 239         ;;
 240         aladdd $r24r25.hi[$r24r25r26r27.y] = $r26
 241         ;;
 242         aladdd 2305843009213693951[$r26r27.lo] = $r24r25r26r27.z
 243         ;;
 244         aladdd.odd $r27? -1125899906842624[$r26r27.hi] = $r24r25r26r27.t
 245         ;;
 246         aladdd.even $r28? -8388608[$r28r29.lo] = $r28r29r30r31.x
 247         ;;
 248         aladdd.wnez $r29? [$r28r29.hi] = $r28r29r30r31.y
 249         ;;
 250         aladdd -64[$r30] = $r30r31.lo
 251         ;;
 252         aladdd -8589934592[$r28r29r30r31.z] = $r31
 253         ;;
 254         aladdw.xs $r30r31.hi[$r28r29r30r31.t] = $r32
 255         ;;
 256         aladdw 2305843009213693951[$r32r33.lo] = $r32r33r34r35.x
 257         ;;
 258         aladdw.weqz $r33? -1125899906842624[$r32r33.hi] = $r32r33r34r35.y
 259         ;;
 260         aladdw.wltz $r34? -8388608[$r34r35.lo] = $r32r33r34r35.z
 261         ;;
 262         aladdw.wgez $r35? [$r34r35.hi] = $r32r33r34r35.t
 263         ;;
 264         aladdw -64[$r36] = $r36r37.lo
 265         ;;
 266         aladdw -8589934592[$r36r37r38r39.x] = $r37
 267         ;;
 268         alclrd $r36r37.hi = $r36r37r38r39.y[$r38]
 269         ;;
 270         alclrd.wlez $r38r39.lo? $r36r37r38r39.z = -1125899906842624[$r39]
 271         ;;
 272         alclrd.wgtz $r38r39.hi? $r36r37r38r39.t = -8388608[$r40]
 273         ;;
 274         alclrd.dnez $r40r41.lo? $r40r41r42r43.x = [$r41]
 275         ;;
 276         alclrd $r40r41.hi = 2305843009213693951[$r40r41r42r43.y]
 277         ;;
 278         alclrd $r42 = -64[$r42r43.lo]
 279         ;;
 280         alclrd $r40r41r42r43.z = -8589934592[$r43]
 281         ;;
 282         alclrw.xs $r42r43.hi = $r40r41r42r43.t[$r44]
 283         ;;
 284         alclrw.deqz $r44r45.lo? $r44r45r46r47.x = -1125899906842624[$r45]
 285         ;;
 286         alclrw.dltz $r44r45.hi? $r44r45r46r47.y = -8388608[$r46]
 287         ;;
 288         alclrw.dgez $r46r47.lo? $r44r45r46r47.z = [$r47]
 289         ;;
 290         alclrw $r46r47.hi = 2305843009213693951[$r44r45r46r47.t]
 291         ;;
 292         alclrw $r48 = -64[$r48r49.lo]
 293         ;;
 294         alclrw $r48r49r50r51.x = -8589934592[$r49]
 295         ;;
 296         aligno $r0r1r2r3 = $a0, $a1, 7
 297         ;;
 298         aligno $r4r5r6r7 = $a0a1.lo, $a0a1.hi, $r48r49.hi
 299         ;;
 300         aligno $r8r9r10r11 = $a0a1a2a3.y, $a0a1a2a3.x, 7
 301         ;;
 302         aligno $r12r13r14r15 = $a3, $a2, $r48r49r50r51.y
 303         ;;
 304         alignv $a0 = $a2a3.lo, $a2a3.hi, 7
 305         ;;
 306         alignv $a0a1.lo = $a0a1a2a3.z, $a0a1a2a3.t, $r50
 307         ;;
 308         alignv $a0a1a2a3.x = $a5, $a4, 7
 309         ;;
 310         alignv $a1 = $a4a5.hi, $a4a5.lo, $r50r51.lo
 311         ;;
 312         andd $r48r49r50r51.z = $r51, 2305843009213693951
 313         ;;
 314         andd $r50r51.hi = $r48r49r50r51.t, $r52
 315         ;;
 316         andd $r52r53.lo = $r52r53r54r55.x, -64
 317         ;;
 318         andd $r53 = $r52r53.hi, -8589934592
 319         ;;
 320         andd.@ $r52r53r54r55.y = $r54, 536870911
 321         ;;
 322         andnd $r54r55.lo = $r52r53r54r55.z, 2305843009213693951
 323         ;;
 324         andnd $r55 = $r54r55.hi, $r52r53r54r55.t
 325         ;;
 326         andnd $r56 = $r56r57.lo, -64
 327         ;;
 328         andnd $r56r57r58r59.x = $r57, -8589934592
 329         ;;
 330         andnd.@ $r56r57.hi = $r56r57r58r59.y, 536870911
 331         ;;
 332         andnw $r58 = $r58r59.lo, $r56r57r58r59.z
 333         ;;
 334         andnw $r59 = $r58r59.hi, -64
 335         ;;
 336         andnw $r56r57r58r59.t = $r60, -8589934592
 337         ;;
 338         andw $r60r61.lo = $r60r61r62r63.x, $r61
 339         ;;
 340         andw $r60r61.hi = $r60r61r62r63.y, -64
 341         ;;
 342         andw $r62 = $r62r63.lo, -8589934592
 343         ;;
 344         avghq $r60r61r62r63.z = $r63, $r62r63.hi
 345         ;;
 346         avghq $r60r61r62r63.t = $r0, 536870911
 347         ;;
 348         avgrhq $r0r1.lo = $r0r1r2r3.x, $r1
 349         ;;
 350         avgrhq.@ $r0r1.hi = $r0r1r2r3.y, 536870911
 351         ;;
 352         avgruhq $r2 = $r2r3.lo, $r0r1r2r3.z
 353         ;;
 354         avgruhq $r3 = $r2r3.hi, 536870911
 355         ;;
 356         avgruwp $r0r1r2r3.t = $r4, $r4r5.lo
 357         ;;
 358         avgruwp.@ $r4r5r6r7.x = $r5, 536870911
 359         ;;
 360         avgruw $r4r5.hi = $r4r5r6r7.y, $r6
 361         ;;
 362         avgruw $r6r7.lo = $r4r5r6r7.z, 536870911
 363         ;;
 364         avgrwp $r7 = $r6r7.hi, $r4r5r6r7.t
 365         ;;
 366         avgrwp $r8 = $r8r9.lo, 536870911
 367         ;;
 368         avgrw $r8r9r10r11.x = $r9, $r8r9.hi
 369         ;;
 370         avgrw $r8r9r10r11.y = $r10, 536870911
 371         ;;
 372         avguhq $r10r11.lo = $r8r9r10r11.z, $r11
 373         ;;
 374         avguhq.@ $r10r11.hi = $r8r9r10r11.t, 536870911
 375         ;;
 376         avguwp $r12 = $sp, $r13
 377         ;;
 378         avguwp $tp = $r14, 536870911
 379         ;;
 380         avguw $fp = $r15, $rp
 381         ;;
 382         avguw $r16 = $r16r17.lo, 536870911
 383         ;;
 384         avgwp $r16r17r18r19.x = $r17, $r16r17.hi
 385         ;;
 386         avgwp.@ $r16r17r18r19.y = $r18, 536870911
 387         ;;
 388         avgw $r18r19.lo = $r16r17r18r19.z, $r19
 389         ;;
 390         avgw $r18r19.hi = $r16r17r18r19.t, 536870911
 391         ;;
 392         await
 393         ;;
 394         barrier
 395         ;;
 396         call -33554432
 397         ;;
 398         cbsd $r20 = $r20r21.lo
 399         ;;
 400         cbswp $r20r21r22r23.x = $r21
 401         ;;
 402         cbsw $r20r21.hi = $r20r21r22r23.y
 403         ;;
 404         cb.dlez $r22? -32768
 405         ;;
 406         clrf $r22r23.lo = $r20r21r22r23.z, 7, 7
 407         ;;
 408         clsd $r23 = $r22r23.hi
 409         ;;
 410         clswp $r20r21r22r23.t = $r24
 411         ;;
 412         clsw $r24r25.lo = $r24r25r26r27.x
 413         ;;
 414         clzd $r25 = $r24r25.hi
 415         ;;
 416         clzwp $r24r25r26r27.y = $r26
 417         ;;
 418         clzw $r26r27.lo = $r24r25r26r27.z
 419         ;;
 420         cmoved.dgtz $r27? $r26r27.hi = 2305843009213693951
 421         ;;
 422         cmoved.odd $r24r25r26r27.t? $r28 = $r28r29.lo
 423         ;;
 424         cmoved.even $r28r29r30r31.x? $r29 = -64
 425         ;;
 426         cmoved.wnez $r28r29.hi? $r28r29r30r31.y = -8589934592
 427         ;;
 428         cmovehq.nez $r30? $r30r31.lo = $r28r29r30r31.z
 429         ;;
 430         cmovewp.eqz $r31? $r30r31.hi = $r28r29r30r31.t
 431         ;;
 432         cmuldt $r14r15 = $r32, 2305843009213693951
 433         ;;
 434         cmuldt $r12r13r14r15.hi = $r32r33.lo, $r32r33r34r35.x
 435         ;;
 436         cmuldt $r16r17 = $r33, -64
 437         ;;
 438         cmuldt $r16r17r18r19.lo = $r32r33.hi, -8589934592
 439         ;;
 440         cmulghxdt $r18r19 = $r32r33r34r35.y, $r34
 441         ;;
 442         cmulglxdt $r16r17r18r19.hi = $r34r35.lo, $r32r33r34r35.z
 443         ;;
 444         cmulgmxdt $r20r21 = $r35, $r34r35.hi
 445         ;;
 446         cmulxdt $r20r21r22r23.lo = $r32r33r34r35.t, $r36
 447         ;;
 448         compd.ne $r36r37.lo = $r36r37r38r39.x, 2305843009213693951
 449         ;;
 450         compd.eq $r37 = $r36r37.hi, $r36r37r38r39.y
 451         ;;
 452         compd.lt $r38 = $r38r39.lo, -64
 453         ;;
 454         compd.ge $r36r37r38r39.z = $r39, -8589934592
 455         ;;
 456         compnhq.le $r38r39.hi = $r36r37r38r39.t, $r40
 457         ;;
 458         compnhq.gt $r40r41.lo = $r40r41r42r43.x, 536870911
 459         ;;
 460         compnwp.ltu $r41 = $r40r41.hi, $r40r41r42r43.y
 461         ;;
 462         compnwp.geu.@ $r42 = $r42r43.lo, 536870911
 463         ;;
 464         compuwd.leu $r40r41r42r43.z = $r43, $r42r43.hi
 465         ;;
 466         compuwd.gtu $r40r41r42r43.t = $r44, 536870911
 467         ;;
 468         compwd.all $r44r45.lo = $r44r45r46r47.x, $r45
 469         ;;
 470         compwd.nall $r44r45.hi = $r44r45r46r47.y, 536870911
 471         ;;
 472         compw.any $r46 = $r46r47.lo, $r44r45r46r47.z
 473         ;;
 474         compw.none $r47 = $r46r47.hi, 536870911
 475         ;;
 476         convdhv0.rn.sat $a0_lo = $a0a1a2a3
 477         ;;
 478         convdhv1.ru.satu $a0_hi = $a4a5a6a7
 479         ;;
 480         convwbv0.rd.sat $a0_x = $a8a9a10a11
 481         ;;
 482         convwbv1.rz.satu $a0_y = $a12a13a14a15
 483         ;;
 484         convwbv2.rhu.sat $a0_z = $a16a17a18a19
 485         ;;
 486         convwbv3.rn.satu $a0_t = $a20a21a22a23
 487         ;;
 488         copyd $r44r45r46r47.t = $r48
 489         ;;
 490         copyo $r16r17r18r19 = $r20r21r22r23
 491         ;;
 492         copyq $r22r23 = $r48r49.lo, $r48r49r50r51.x
 493         ;;
 494         copyw $r49 = $r48r49.hi
 495         ;;
 496         crcbellw $r48r49r50r51.y = $r50, $r50r51.lo
 497         ;;
 498         crcbellw $r48r49r50r51.z = $r51, 536870911
 499         ;;
 500         crcbelmw $r50r51.hi = $r48r49r50r51.t, $r52
 501         ;;
 502         crcbelmw $r52r53.lo = $r52r53r54r55.x, 536870911
 503         ;;
 504         crclellw $r53 = $r52r53.hi, $r52r53r54r55.y
 505         ;;
 506         crclellw $r54 = $r54r55.lo, 536870911
 507         ;;
 508         crclelmw $r52r53r54r55.z = $r55, $r54r55.hi
 509         ;;
 510         crclelmw $r52r53r54r55.t = $r56, 536870911
 511         ;;
 512         ctzd $r56r57.lo = $r56r57r58r59.x
 513         ;;
 514         ctzwp $r57 = $r56r57.hi
 515         ;;
 516         ctzw $r56r57r58r59.y = $r58
 517         ;;
 518         d1inval
 519         ;;
 520         dinvall 2305843009213693951[$r58r59.lo]
 521         ;;
 522         dinvall.weqz $r56r57r58r59.z? -1125899906842624[$r59]
 523         ;;
 524         dinvall.wltz $r58r59.hi? -8388608[$r56r57r58r59.t]
 525         ;;
 526         dinvall.wgez $r60? [$r60r61.lo]
 527         ;;
 528         dinvall $r60r61r62r63.x[$r61]
 529         ;;
 530         dinvall -64[$r60r61.hi]
 531         ;;
 532         dinvall -8589934592[$r60r61r62r63.y]
 533         ;;
 534         dot2suwdp $r20r21r22r23.hi = $r24r25, $r24r25r26r27.lo
 535         ;;
 536         dot2suwd $r62 = $r62r63.lo, 2305843009213693951
 537         ;;
 538         dot2suwd $r60r61r62r63.z = $r63, $r62r63.hi
 539         ;;
 540         dot2suwd $r60r61r62r63.t = $r0, -64
 541         ;;
 542         dot2suwd $r0r1.lo = $r0r1r2r3.x, -8589934592
 543         ;;
 544         dot2uwdp $r26r27 = $r24r25r26r27.hi, $r28r29
 545         ;;
 546         dot2uwd $r1 = $r0r1.hi, 2305843009213693951
 547         ;;
 548         dot2uwd $r0r1r2r3.y = $r2, $r2r3.lo
 549         ;;
 550         dot2uwd $r0r1r2r3.z = $r3, -64
 551         ;;
 552         dot2uwd $r2r3.hi = $r0r1r2r3.t, -8589934592
 553         ;;
 554         dot2wdp $r28r29r30r31.lo = $r30r31, $r28r29r30r31.hi
 555         ;;
 556         dot2wd $r4 = $r4r5.lo, 2305843009213693951
 557         ;;
 558         dot2wd $r4r5r6r7.x = $r5, $r4r5.hi
 559         ;;
 560         dot2wd $r4r5r6r7.y = $r6, -64
 561         ;;
 562         dot2wd $r6r7.lo = $r4r5r6r7.z, -8589934592
 563         ;;
 564         dot2wzp $r32r33 = $r32r33r34r35.lo, $r34r35
 565         ;;
 566         dot2w $r7 = $r6r7.hi, 2305843009213693951
 567         ;;
 568         dot2w $r4r5r6r7.t = $r8, $r8r9.lo
 569         ;;
 570         dot2w $r8r9r10r11.x = $r9, -64
 571         ;;
 572         dot2w $r8r9.hi = $r8r9r10r11.y, -8589934592
 573         ;;
 574         dtouchl 2305843009213693951[$r10]
 575         ;;
 576         dtouchl.wlez $r10r11.lo? -1125899906842624[$r8r9r10r11.z]
 577         ;;
 578         dtouchl.wgtz $r11? -8388608[$r10r11.hi]
 579         ;;
 580         dtouchl.dnez $r8r9r10r11.t? [$r12]
 581         ;;
 582         dtouchl $sp[$r13]
 583         ;;
 584         dtouchl -64[$tp]
 585         ;;
 586         dtouchl -8589934592[$r14]
 587         ;;
 588         dzerol 2305843009213693951[$fp]
 589         ;;
 590         dzerol.deqz $r15? -1125899906842624[$rp]
 591         ;;
 592         dzerol.dltz $r16? -8388608[$r16r17.lo]
 593         ;;
 594         dzerol.dgez $r16r17r18r19.x? [$r17]
 595         ;;
 596         dzerol $r16r17.hi[$r16r17r18r19.y]
 597         ;;
 598         dzerol -64[$r18]
 599         ;;
 600         dzerol -8589934592[$r18r19.lo]
 601         ;;
 602         errop
 603         ;;
 604         extfs $r16r17r18r19.z = $r19, 7, 7
 605         ;;
 606         extfz $r18r19.hi = $r16r17r18r19.t, 7, 7
 607         ;;
 608         fabsd $r20 = $r20r21.lo
 609         ;;
 610         fabshq $r20r21r22r23.x = $r21
 611         ;;
 612         fabswp $r20r21.hi = $r20r21r22r23.y
 613         ;;
 614         fabsw $r22 = $r22r23.lo
 615         ;;
 616         fadddc.c.rn $r32r33r34r35.hi = $r36r37, $r36r37r38r39.lo
 617         ;;
 618         fadddc.ru.s $r38r39 = $r36r37r38r39.hi, $r40r41
 619         ;;
 620         fadddp.rd $r40r41r42r43.lo = $r42r43, $r40r41r42r43.hi
 621         ;;
 622         faddd $r20r21r22r23.z = $r23, 2305843009213693951
 623         ;;
 624         faddd $r22r23.hi = $r20r21r22r23.t, -64
 625         ;;
 626         faddd $r24 = $r24r25.lo, -8589934592
 627         ;;
 628         faddd.rz.s $r24r25r26r27.x = $r25, $r24r25.hi
 629         ;;
 630         faddhq $r24r25r26r27.y = $r26, 2305843009213693951
 631         ;;
 632         faddhq $r26r27.lo = $r24r25r26r27.z, -64
 633         ;;
 634         faddhq $r27 = $r26r27.hi, -8589934592
 635         ;;
 636         faddhq.rna $r24r25r26r27.t = $r28, $r28r29.lo
 637         ;;
 638         faddwc.c $r28r29r30r31.x = $r29, 2305843009213693951
 639         ;;
 640         faddwc.c $r28r29.hi = $r28r29r30r31.y, -64
 641         ;;
 642         faddwc.c $r30 = $r30r31.lo, -8589934592
 643         ;;
 644         faddwc.c.rnz.s $r28r29r30r31.z = $r31, $r30r31.hi
 645         ;;
 646         faddwcp.c.ro $r44r45 = $r44r45r46r47.lo, $r46r47
 647         ;;
 648         faddwcp.s $r44r45r46r47.hi = $r48r49, $r48r49r50r51.lo
 649         ;;
 650         faddwc.rn $r28r29r30r31.t = $r32, $r32r33.lo
 651         ;;
 652         faddwp $r32r33r34r35.x = $r33, 2305843009213693951
 653         ;;
 654         faddwp $r32r33.hi = $r32r33r34r35.y, -64
 655         ;;
 656         faddwp $r34 = $r34r35.lo, -8589934592
 657         ;;
 658         faddwp.ru.s $r32r33r34r35.z = $r35, $r34r35.hi
 659         ;;
 660         faddwq.rd $r50r51 = $r48r49r50r51.hi, $r52r53
 661         ;;
 662         faddw $r32r33r34r35.t = $r36, 2305843009213693951
 663         ;;
 664         faddw $r36r37.lo = $r36r37r38r39.x, -64
 665         ;;
 666         faddw $r37 = $r36r37.hi, -8589934592
 667         ;;
 668         faddw.rz.s $r36r37r38r39.y = $r38, $r38r39.lo
 669         ;;
 670         fcdivd $r36r37r38r39.z = $r52r53r54r55.lo
 671         ;;
 672         fcdivwp.s $r39 = $r54r55
 673         ;;
 674         fcdivw $r38r39.hi = $r52r53r54r55.hi
 675         ;;
 676         fcompd.one $r36r37r38r39.t = $r40, $r40r41.lo
 677         ;;
 678         fcompd.ueq $r40r41r42r43.x = $r41, 536870911
 679         ;;
 680         fcompnhq.oeq $r40r41.hi = $r40r41r42r43.y, $r42
 681         ;;
 682         fcompnhq.une $r42r43.lo = $r40r41r42r43.z, 536870911
 683         ;;
 684         fcompnwp.olt $r43 = $r42r43.hi, $r40r41r42r43.t
 685         ;;
 686         fcompnwp.uge.@ $r44 = $r44r45.lo, 536870911
 687         ;;
 688         fcompw.oge $r44r45r46r47.x = $r45, $r44r45.hi
 689         ;;
 690         fcompw.ult $r44r45r46r47.y = $r46, 536870911
 691         ;;
 692         fdot2wdp.rna.s $r56r57 = $r56r57r58r59.lo, $r58r59
 693         ;;
 694         fdot2wd $r46r47.lo = $r44r45r46r47.z, 2305843009213693951
 695         ;;
 696         fdot2wd $r47 = $r46r47.hi, -64
 697         ;;
 698         fdot2wd $r44r45r46r47.t = $r48, -8589934592
 699         ;;
 700         fdot2wd.rnz $r48r49.lo = $r48r49r50r51.x, $r49
 701         ;;
 702         fdot2wzp.ro.s $r56r57r58r59.hi = $r60r61, $r60r61r62r63.lo
 703         ;;
 704         fdot2w $r48r49.hi = $r48r49r50r51.y, 2305843009213693951
 705         ;;
 706         fdot2w $r50 = $r50r51.lo, -64
 707         ;;
 708         fdot2w $r48r49r50r51.z = $r51, -8589934592
 709         ;;
 710         fdot2w $r50r51.hi = $r48r49r50r51.t, $r52
 711         ;;
 712         fence
 713         ;;
 714         ffmad $r52r53.lo = $r52r53r54r55.x, 2305843009213693951
 715         ;;
 716         ffmad $r53 = $r52r53.hi, -64
 717         ;;
 718         ffmad $r52r53r54r55.y = $r54, -8589934592
 719         ;;
 720         ffmad.rn.s $r54r55.lo = $r52r53r54r55.z, $r55
 721         ;;
 722         ffmahq $r54r55.hi = $r52r53r54r55.t, 2305843009213693951
 723         ;;
 724         ffmahq $r56 = $r56r57.lo, -64
 725         ;;
 726         ffmahq $r56r57r58r59.x = $r57, -8589934592
 727         ;;
 728         ffmahq.ru $r56r57.hi = $r56r57r58r59.y, $r58
 729         ;;
 730         ffmahwq $r62r63 = $r58r59.lo, 2305843009213693951
 731         ;;
 732         ffmahwq $r60r61r62r63.hi = $r56r57r58r59.z, -64
 733         ;;
 734         ffmahwq $r0r1 = $r59, -8589934592
 735         ;;
 736         ffmahwq.rd.s $r0r1r2r3.lo = $r58r59.hi, $r56r57r58r59.t
 737         ;;
 738         ffmahw $r60 = $r60r61.lo, 2305843009213693951
 739         ;;
 740         ffmahw $r60r61r62r63.x = $r61, -64
 741         ;;
 742         ffmahw $r60r61.hi = $r60r61r62r63.y, -8589934592
 743         ;;
 744         ffmahw.rz $r62 = $r62r63.lo, $r60r61r62r63.z
 745         ;;
 746         ffmawdp $r2r3 = $r63, 2305843009213693951
 747         ;;
 748         ffmawdp $r0r1r2r3.hi = $r62r63.hi, -64
 749         ;;
 750         ffmawdp $r4r5 = $r60r61r62r63.t, -8589934592
 751         ;;
 752         ffmawdp.rna.s $r4r5r6r7.lo = $r0, $r0r1.lo
 753         ;;
 754         ffmawd $r0r1r2r3.x = $r1, 2305843009213693951
 755         ;;
 756         ffmawd $r0r1.hi = $r0r1r2r3.y, -64
 757         ;;
 758         ffmawd $r2 = $r2r3.lo, -8589934592
 759         ;;
 760         ffmawd.rnz $r0r1r2r3.z = $r3, $r2r3.hi
 761         ;;
 762         ffmawp $r0r1r2r3.t = $r4, 2305843009213693951
 763         ;;
 764         ffmawp $r4r5.lo = $r4r5r6r7.x, -64
 765         ;;
 766         ffmawp $r5 = $r4r5.hi, -8589934592
 767         ;;
 768         ffmawp.ro.s $r4r5r6r7.y = $r6, $r6r7.lo
 769         ;;
 770         ffmaw $r4r5r6r7.z = $r7, 2305843009213693951
 771         ;;
 772         ffmaw $r6r7.hi = $r4r5r6r7.t, -64
 773         ;;
 774         ffmaw $r8 = $r8r9.lo, -8589934592
 775         ;;
 776         ffmaw $r8r9r10r11.x = $r9, $r8r9.hi
 777         ;;
 778         ffmsd $r8r9r10r11.y = $r10, 2305843009213693951
 779         ;;
 780         ffmsd $r10r11.lo = $r8r9r10r11.z, -64
 781         ;;
 782         ffmsd $r11 = $r10r11.hi, -8589934592
 783         ;;
 784         ffmsd.rn.s $r8r9r10r11.t = $r12, $sp
 785         ;;
 786         ffmshq $r13 = $tp, 2305843009213693951
 787         ;;
 788         ffmshq $r14 = $fp, -64
 789         ;;
 790         ffmshq $r15 = $rp, -8589934592
 791         ;;
 792         ffmshq.ru $r16 = $r16r17.lo, $r16r17r18r19.x
 793         ;;
 794         ffmshwq $r6r7 = $r17, 2305843009213693951
 795         ;;
 796         ffmshwq $r4r5r6r7.hi = $r16r17.hi, -64
 797         ;;
 798         ffmshwq $r8r9 = $r16r17r18r19.y, -8589934592
 799         ;;
 800         ffmshwq.rd.s $r8r9r10r11.lo = $r18, $r18r19.lo
 801         ;;
 802         ffmshw $r16r17r18r19.z = $r19, 2305843009213693951
 803         ;;
 804         ffmshw $r18r19.hi = $r16r17r18r19.t, -64
 805         ;;
 806         ffmshw $r20 = $r20r21.lo, -8589934592
 807         ;;
 808         ffmshw.rz $r20r21r22r23.x = $r21, $r20r21.hi
 809         ;;
 810         ffmswdp $r10r11 = $r20r21r22r23.y, 2305843009213693951
 811         ;;
 812         ffmswdp $r8r9r10r11.hi = $r22, -64
 813         ;;
 814         ffmswdp $r12r13 = $r22r23.lo, -8589934592
 815         ;;
 816         ffmswdp.rna.s $r12r13r14r15.lo = $r20r21r22r23.z, $r23
 817         ;;
 818         ffmswd $r22r23.hi = $r20r21r22r23.t, 2305843009213693951
 819         ;;
 820         ffmswd $r24 = $r24r25.lo, -64
 821         ;;
 822         ffmswd $r24r25r26r27.x = $r25, -8589934592
 823         ;;
 824         ffmswd.rnz $r24r25.hi = $r24r25r26r27.y, $r26
 825         ;;
 826         ffmswp $r26r27.lo = $r24r25r26r27.z, 2305843009213693951
 827         ;;
 828         ffmswp $r27 = $r26r27.hi, -64
 829         ;;
 830         ffmswp $r24r25r26r27.t = $r28, -8589934592
 831         ;;
 832         ffmswp.ro.s $r28r29.lo = $r28r29r30r31.x, $r29
 833         ;;
 834         ffmsw $r28r29.hi = $r28r29r30r31.y, 2305843009213693951
 835         ;;
 836         ffmsw $r30 = $r30r31.lo, -64
 837         ;;
 838         ffmsw $r28r29r30r31.z = $r31, -8589934592
 839         ;;
 840         ffmsw $r30r31.hi = $r28r29r30r31.t, $r32
 841         ;;
 842         fixedd.rn.s $r32r33.lo = $r32r33r34r35.x, 7
 843         ;;
 844         fixedud.ru $r33 = $r32r33.hi, 7
 845         ;;
 846         fixeduwp.rd.s $r32r33r34r35.y = $r34, 7
 847         ;;
 848         fixeduw.rz $r34r35.lo = $r32r33r34r35.z, 7
 849         ;;
 850         fixedwp.rna.s $r35 = $r34r35.hi, 7
 851         ;;
 852         fixedw.rnz $r32r33r34r35.t = $r36, 7
 853         ;;
 854         floatd.ro.s $r36r37.lo = $r36r37r38r39.x, 7
 855         ;;
 856         floatud $r37 = $r36r37.hi, 7
 857         ;;
 858         floatuwp.rn.s $r36r37r38r39.y = $r38, 7
 859         ;;
 860         floatuw.ru $r38r39.lo = $r36r37r38r39.z, 7
 861         ;;
 862         floatwp.rd.s $r39 = $r38r39.hi, 7
 863         ;;
 864         floatw.rz $r36r37r38r39.t = $r40, 7
 865         ;;
 866         fmaxd $r40r41.lo = $r40r41r42r43.x, $r41
 867         ;;
 868         fmaxhq $r40r41.hi = $r40r41r42r43.y, $r42
 869         ;;
 870         fmaxwp $r42r43.lo = $r40r41r42r43.z, $r43
 871         ;;
 872         fmaxw $r42r43.hi = $r40r41r42r43.t, $r44
 873         ;;
 874         fmind $r44r45.lo = $r44r45r46r47.x, $r45
 875         ;;
 876         fminhq $r44r45.hi = $r44r45r46r47.y, $r46
 877         ;;
 878         fminwp $r46r47.lo = $r44r45r46r47.z, $r47
 879         ;;
 880         fminw $r46r47.hi = $r44r45r46r47.t, $r48
 881         ;;
 882         fmm212w.rna.s $r14r15 = $r48r49.lo, $r48r49r50r51.x
 883         ;;
 884         fmma212w.rnz $r12r13r14r15.hi = $r49, $r48r49.hi
 885         ;;
 886         fmma242hw0 $a0_lo = $a0a1, $a0a1.hi, $a0a1a2a3.y
 887         ;;
 888         fmma242hw1 $a0_hi = $a0a1a2a3.lo, $a2, $a2a3.lo
 889         ;;
 890         fmma242hw2 $a1_lo = $a2a3, $a0a1a2a3.z, $a3
 891         ;;
 892         fmma242hw3 $a1_hi = $a0a1a2a3.hi, $a2a3.hi, $a0a1a2a3.t
 893         ;;
 894         fmms212w.ro.s $r16r17 = $r48r49r50r51.y, $r50
 895         ;;
 896         fmuld $r50r51.lo = $r48r49r50r51.z, 2305843009213693951
 897         ;;
 898         fmuld $r51 = $r50r51.hi, -64
 899         ;;
 900         fmuld $r48r49r50r51.t = $r52, -8589934592
 901         ;;
 902         fmuld $r52r53.lo = $r52r53r54r55.x, $r53
 903         ;;
 904         fmulhq $r52r53.hi = $r52r53r54r55.y, 2305843009213693951
 905         ;;
 906         fmulhq $r54 = $r54r55.lo, -64
 907         ;;
 908         fmulhq $r52r53r54r55.z = $r55, -8589934592
 909         ;;
 910         fmulhq.rn.s $r54r55.hi = $r52r53r54r55.t, $r56
 911         ;;
 912         fmulhwq $r16r17r18r19.lo = $r56r57.lo, 2305843009213693951
 913         ;;
 914         fmulhwq $r18r19 = $r56r57r58r59.x, -64
 915         ;;
 916         fmulhwq $r16r17r18r19.hi = $r57, -8589934592
 917         ;;
 918         fmulhwq.ru $r20r21 = $r56r57.hi, $r56r57r58r59.y
 919         ;;
 920         fmulhw $r58 = $r58r59.lo, 2305843009213693951
 921         ;;
 922         fmulhw $r56r57r58r59.z = $r59, -64
 923         ;;
 924         fmulhw $r58r59.hi = $r56r57r58r59.t, -8589934592
 925         ;;
 926         fmulhw.rd.s $r60 = $r60r61.lo, $r60r61r62r63.x
 927         ;;
 928         fmulwc.c $r61 = $r60r61.hi, 2305843009213693951
 929         ;;
 930         fmulwc.c $r60r61r62r63.y = $r62, -64
 931         ;;
 932         fmulwc.c $r62r63.lo = $r60r61r62r63.z, -8589934592
 933         ;;
 934         fmulwc.c.rz $r63 = $r62r63.hi, $r60r61r62r63.t
 935         ;;
 936         fmulwc $r0 = $r0r1.lo, 2305843009213693951
 937         ;;
 938         fmulwc $r0r1r2r3.x = $r1, -64
 939         ;;
 940         fmulwc $r0r1.hi = $r0r1r2r3.y, -8589934592
 941         ;;
 942         fmulwc.rna.s $r2 = $r2r3.lo, $r0r1r2r3.z
 943         ;;
 944         fmulwdc.c $r20r21r22r23.lo = $r3, 2305843009213693951
 945         ;;
 946         fmulwdc.c $r22r23 = $r2r3.hi, -64
 947         ;;
 948         fmulwdc.c $r20r21r22r23.hi = $r0r1r2r3.t, -8589934592
 949         ;;
 950         fmulwdc.c.rnz $r24r25 = $r4, $r4r5.lo
 951         ;;
 952         fmulwdc $r24r25r26r27.lo = $r4r5r6r7.x, 2305843009213693951
 953         ;;
 954         fmulwdc $r26r27 = $r5, -64
 955         ;;
 956         fmulwdc $r24r25r26r27.hi = $r4r5.hi, -8589934592
 957         ;;
 958         fmulwdc.ro.s $r28r29 = $r4r5r6r7.y, $r6
 959         ;;
 960         fmulwdp $r28r29r30r31.lo = $r6r7.lo, 2305843009213693951
 961         ;;
 962         fmulwdp $r30r31 = $r4r5r6r7.z, -64
 963         ;;
 964         fmulwdp $r28r29r30r31.hi = $r7, -8589934592
 965         ;;
 966         fmulwdp $r32r33 = $r6r7.hi, $r4r5r6r7.t
 967         ;;
 968         fmulwd $r8 = $r8r9.lo, 2305843009213693951
 969         ;;
 970         fmulwd $r8r9r10r11.x = $r9, -64
 971         ;;
 972         fmulwd $r8r9.hi = $r8r9r10r11.y, -8589934592
 973         ;;
 974         fmulwd.rn.s $r10 = $r10r11.lo, $r8r9r10r11.z
 975         ;;
 976         fmulwp $r11 = $r10r11.hi, 2305843009213693951
 977         ;;
 978         fmulwp $r8r9r10r11.t = $r12, -64
 979         ;;
 980         fmulwp $sp = $r13, -8589934592
 981         ;;
 982         fmulwp.ru $tp = $r14, $fp
 983         ;;
 984         fmulwq.rd.s $r32r33r34r35.lo = $r34r35, $r32r33r34r35.hi
 985         ;;
 986         fmulw $r15 = $rp, 2305843009213693951
 987         ;;
 988         fmulw $r16 = $r16r17.lo, -64
 989         ;;
 990         fmulw $r16r17r18r19.x = $r17, -8589934592
 991         ;;
 992         fmulw.rz $r16r17.hi = $r16r17r18r19.y, $r18
 993         ;;
 994         fnarrow44wh.rna.s $a4 = $a4a5
 995         ;;
 996         fnarrowdwp.rnz $r18r19.lo = $r36r37
 997         ;;
 998         fnarrowdw.ro.s $r16r17r18r19.z = $r19
 999         ;;
1000         fnarrowwhq $r18r19.hi = $r36r37r38r39.lo
1001         ;;
1002         fnarrowwh.rn.s $r16r17r18r19.t = $r20
1003         ;;
1004         fnegd $r20r21.lo = $r20r21r22r23.x
1005         ;;
1006         fneghq $r21 = $r20r21.hi
1007         ;;
1008         fnegwp $r20r21r22r23.y = $r22
1009         ;;
1010         fnegw $r22r23.lo = $r20r21r22r23.z
1011         ;;
1012         frecw.ru $r23 = $r22r23.hi
1013         ;;
1014         frsrw.rd.s $r20r21r22r23.t = $r24
1015         ;;
1016         fsbfdc.c.rz $r38r39 = $r36r37r38r39.hi, $r40r41
1017         ;;
1018         fsbfdc.rna.s $r40r41r42r43.lo = $r42r43, $r40r41r42r43.hi
1019         ;;
1020         fsbfdp.rnz $r44r45 = $r44r45r46r47.lo, $r46r47
1021         ;;
1022         fsbfd $r24r25.lo = $r24r25r26r27.x, 2305843009213693951
1023         ;;
1024         fsbfd $r25 = $r24r25.hi, -64
1025         ;;
1026         fsbfd $r24r25r26r27.y = $r26, -8589934592
1027         ;;
1028         fsbfd.ro.s $r26r27.lo = $r24r25r26r27.z, $r27
1029         ;;
1030         fsbfhq $r26r27.hi = $r24r25r26r27.t, 2305843009213693951
1031         ;;
1032         fsbfhq $r28 = $r28r29.lo, -64
1033         ;;
1034         fsbfhq $r28r29r30r31.x = $r29, -8589934592
1035         ;;
1036         fsbfhq $r28r29.hi = $r28r29r30r31.y, $r30
1037         ;;
1038         fsbfwc.c $r30r31.lo = $r28r29r30r31.z, 2305843009213693951
1039         ;;
1040         fsbfwc.c $r31 = $r30r31.hi, -64
1041         ;;
1042         fsbfwc.c $r28r29r30r31.t = $r32, -8589934592
1043         ;;
1044         fsbfwc.c.rn.s $r32r33.lo = $r32r33r34r35.x, $r33
1045         ;;
1046         fsbfwcp.c.ru $r44r45r46r47.hi = $r48r49, $r48r49r50r51.lo
1047         ;;
1048         fsbfwcp.rd.s $r50r51 = $r48r49r50r51.hi, $r52r53
1049         ;;
1050         fsbfwc.rz $r32r33.hi = $r32r33r34r35.y, $r34
1051         ;;
1052         fsbfwp $r34r35.lo = $r32r33r34r35.z, 2305843009213693951
1053         ;;
1054         fsbfwp $r35 = $r34r35.hi, -64
1055         ;;
1056         fsbfwp $r32r33r34r35.t = $r36, -8589934592
1057         ;;
1058         fsbfwp.rna.s $r36r37.lo = $r36r37r38r39.x, $r37
1059         ;;
1060         fsbfwq.rnz $r52r53r54r55.lo = $r54r55, $r52r53r54r55.hi
1061         ;;
1062         fsbfw $r36r37.hi = $r36r37r38r39.y, 2305843009213693951
1063         ;;
1064         fsbfw $r38 = $r38r39.lo, -64
1065         ;;
1066         fsbfw $r36r37r38r39.z = $r39, -8589934592
1067         ;;
1068         fsbfw.ro.s $r38r39.hi = $r36r37r38r39.t, $r40
1069         ;;
1070         fscalewv $a4a5.lo = $a4a5a6a7.x
1071         ;;
1072         fsdivd.s $r40r41.lo = $r56r57
1073         ;;
1074         fsdivwp $r40r41r42r43.x = $r56r57r58r59.lo
1075         ;;
1076         fsdivw.s $r41 = $r58r59
1077         ;;
1078         fsrecd $r40r41.hi = $r40r41r42r43.y
1079         ;;
1080         fsrecwp.s $r42 = $r42r43.lo
1081         ;;
1082         fsrecw $r40r41r42r43.z = $r43
1083         ;;
1084         fsrsrd $r42r43.hi = $r40r41r42r43.t
1085         ;;
1086         fsrsrwp $r44 = $r44r45.lo
1087         ;;
1088         fsrsrw $r44r45r46r47.x = $r45
1089         ;;
1090         fwidenlhwp.s $r44r45.hi = $r44r45r46r47.y
1091         ;;
1092         fwidenlhw $r46 = $r46r47.lo
1093         ;;
1094         fwidenlwd.s $r44r45r46r47.z = $r47
1095         ;;
1096         fwidenmhwp $r46r47.hi = $r44r45r46r47.t
1097         ;;
1098         fwidenmhw.s $r48 = $r48r49.lo
1099         ;;
1100         fwidenmwd $r48r49r50r51.x = $r49
1101         ;;
1102         get $r48r49.hi = $pc
1103         ;;
1104         get $r48r49r50r51.y = $pc
1105         ;;
1106         goto -33554432
1107         ;;
1108         i1invals 2305843009213693951[$r50]
1109         ;;
1110         i1invals.dlez $r50r51.lo? -1125899906842624[$r48r49r50r51.z]
1111         ;;
1112         i1invals.dgtz $r51? -8388608[$r50r51.hi]
1113         ;;
1114         i1invals.odd $r48r49r50r51.t? [$r52]
1115         ;;
1116         i1invals $r52r53.lo[$r52r53r54r55.x]
1117         ;;
1118         i1invals -64[$r53]
1119         ;;
1120         i1invals -8589934592[$r52r53.hi]
1121         ;;
1122         i1inval
1123         ;;
1124         icall $r52r53r54r55.y
1125         ;;
1126         iget $r54
1127         ;;
1128         igoto $r54r55.lo
1129         ;;
1130         insf $r52r53r54r55.z = $r55, 7, 7
1131         ;;
1132         landd $r54r55.hi = $r52r53r54r55.t, $r56
1133         ;;
1134         landd $r56r57.lo = $r56r57r58r59.x, 536870911
1135         ;;
1136         landhq $r57 = $r56r57.hi, $r56r57r58r59.y
1137         ;;
1138         landhq.@ $r58 = $r58r59.lo, 536870911
1139         ;;
1140         landwp $r56r57r58r59.z = $r59, $r58r59.hi
1141         ;;
1142         landwp $r56r57r58r59.t = $r60, 536870911
1143         ;;
1144         landw $r60r61.lo = $r60r61r62r63.x, $r61
1145         ;;
1146         landw $r60r61.hi = $r60r61r62r63.y, 536870911
1147         ;;
1148         lbs $r62 = $r62r63.lo[$r60r61r62r63.z]
1149         ;;
1150         lbs.s.even $r63? $r62r63.hi = -1125899906842624[$r60r61r62r63.t]
1151         ;;
1152         lbs.u.wnez $r0? $r0r1.lo = -8388608[$r0r1r2r3.x]
1153         ;;
1154         lbs.us.weqz $r1? $r0r1.hi = [$r0r1r2r3.y]
1155         ;;
1156         lbs $r2 = 2305843009213693951[$r2r3.lo]
1157         ;;
1158         lbs.s $r0r1r2r3.z = -64[$r3]
1159         ;;
1160         lbs.u $r2r3.hi = -8589934592[$r0r1r2r3.t]
1161         ;;
1162         lbz.us.xs $r4 = $r4r5.lo[$r4r5r6r7.x]
1163         ;;
1164         lbz.wltz $r5? $r4r5.hi = -1125899906842624[$r4r5r6r7.y]
1165         ;;
1166         lbz.s.wgez $r6? $r6r7.lo = -8388608[$r4r5r6r7.z]
1167         ;;
1168         lbz.u.wlez $r7? $r6r7.hi = [$r4r5r6r7.t]
1169         ;;
1170         lbz.us $r8 = 2305843009213693951[$r8r9.lo]
1171         ;;
1172         lbz $r8r9r10r11.x = -64[$r9]
1173         ;;
1174         lbz.s $r8r9.hi = -8589934592[$r8r9r10r11.y]
1175         ;;
1176         ld.u $r10 = $r10r11.lo[$r8r9r10r11.z]
1177         ;;
1178         ld.us.wgtz $r11? $r10r11.hi = -1125899906842624[$r8r9r10r11.t]
1179         ;;
1180         ld.dnez $r12? $sp = -8388608[$r13]
1181         ;;
1182         ld.s.deqz $tp? $r14 = [$fp]
1183         ;;
1184         ld.u $r15 = 2305843009213693951[$rp]
1185         ;;
1186         ld.us $r16 = -64[$r16r17.lo]
1187         ;;
1188         ld $r16r17r18r19.x = -8589934592[$r17]
1189         ;;
1190         lhs.s.xs $r16r17.hi = $r16r17r18r19.y[$r18]
1191         ;;
1192         lhs.u.dltz $r18r19.lo? $r16r17r18r19.z = -1125899906842624[$r19]
1193         ;;
1194         lhs.us.dgez $r18r19.hi? $r16r17r18r19.t = -8388608[$r20]
1195         ;;
1196         lhs.dlez $r20r21.lo? $r20r21r22r23.x = [$r21]
1197         ;;
1198         lhs.s $r20r21.hi = 2305843009213693951[$r20r21r22r23.y]
1199         ;;
1200         lhs.u $r22 = -64[$r22r23.lo]
1201         ;;
1202         lhs.us $r20r21r22r23.z = -8589934592[$r23]
1203         ;;
1204         lhz $r22r23.hi = $r20r21r22r23.t[$r24]
1205         ;;
1206         lhz.s.dgtz $r24r25.lo? $r24r25r26r27.x = -1125899906842624[$r25]
1207         ;;
1208         lhz.u.odd $r24r25.hi? $r24r25r26r27.y = -8388608[$r26]
1209         ;;
1210         lhz.us.even $r26r27.lo? $r24r25r26r27.z = [$r27]
1211         ;;
1212         lhz $r26r27.hi = 2305843009213693951[$r24r25r26r27.t]
1213         ;;
1214         lhz.s $r28 = -64[$r28r29.lo]
1215         ;;
1216         lhz.u $r28r29r30r31.x = -8589934592[$r29]
1217         ;;
1218         lnandd $r28r29.hi = $r28r29r30r31.y, $r30
1219         ;;
1220         lnandd.@ $r30r31.lo = $r28r29r30r31.z, 536870911
1221         ;;
1222         lnandhq $r31 = $r30r31.hi, $r28r29r30r31.t
1223         ;;
1224         lnandhq $r32 = $r32r33.lo, 536870911
1225         ;;
1226         lnandwp $r32r33r34r35.x = $r33, $r32r33.hi
1227         ;;
1228         lnandwp.@ $r32r33r34r35.y = $r34, 536870911
1229         ;;
1230         lnandw $r34r35.lo = $r32r33r34r35.z, $r35
1231         ;;
1232         lnandw $r34r35.hi = $r32r33r34r35.t, 536870911
1233         ;;
1234         lnord $r36 = $r36r37.lo, $r36r37r38r39.x
1235         ;;
1236         lnord $r37 = $r36r37.hi, 536870911
1237         ;;
1238         lnorhq $r36r37r38r39.y = $r38, $r38r39.lo
1239         ;;
1240         lnorhq.@ $r36r37r38r39.z = $r39, 536870911
1241         ;;
1242         lnorwp $r38r39.hi = $r36r37r38r39.t, $r40
1243         ;;
1244         lnorwp $r40r41.lo = $r40r41r42r43.x, 536870911
1245         ;;
1246         lnorw $r41 = $r40r41.hi, $r40r41r42r43.y
1247         ;;
1248         lnorw $r42 = $r42r43.lo, 536870911
1249         ;;
1250         loopdo $r40r41r42r43.z, -32768
1251         ;;
1252         lord $r43 = $r42r43.hi, $r40r41r42r43.t
1253         ;;
1254         lord.@ $r44 = $r44r45.lo, 536870911
1255         ;;
1256         lorhq $r44r45r46r47.x = $r45, $r44r45.hi
1257         ;;
1258         lorhq $r44r45r46r47.y = $r46, 536870911
1259         ;;
1260         lorwp $r46r47.lo = $r44r45r46r47.z, $r47
1261         ;;
1262         lorwp.@ $r46r47.hi = $r44r45r46r47.t, 536870911
1263         ;;
1264         lorw $r48 = $r48r49.lo, $r48r49r50r51.x
1265         ;;
1266         lorw $r49 = $r48r49.hi, 536870911
1267         ;;
1268         lo.us.xs $r24r25r26r27 = $r48r49r50r51.y[$r50]
1269         ;;
1270         lo.wnez $r50r51.lo? $r28r29r30r31 = -1125899906842624[$r48r49r50r51.z]
1271         ;;
1272         lo.s.weqz $r51? $r32r33r34r35 = -8388608[$r50r51.hi]
1273         ;;
1274         lo.u.wltz $r48r49r50r51.t? $r36r37r38r39 = [$r52]
1275         ;;
1276         lo.us $r40r41r42r43 = 2305843009213693951[$r52r53.lo]
1277         ;;
1278         lo $r44r45r46r47 = -64[$r52r53r54r55.x]
1279         ;;
1280         lo.s $r48r49r50r51 = -8589934592[$r53]
1281         ;;
1282         lq.u $r56r57r58r59.hi = $r52r53.hi[$r52r53r54r55.y]
1283         ;;
1284         lq.us.wgez $r54? $r60r61 = -1125899906842624[$r54r55.lo]
1285         ;;
1286         lq.wlez $r52r53r54r55.z? $r60r61r62r63.lo = -8388608[$r55]
1287         ;;
1288         lq.s.wgtz $r54r55.hi? $r62r63 = [$r52r53r54r55.t]
1289         ;;
1290         lq.u $r60r61r62r63.hi = 2305843009213693951[$r56]
1291         ;;
1292         lq.us $r0r1 = -64[$r56r57.lo]
1293         ;;
1294         lq $r0r1r2r3.lo = -8589934592[$r56r57r58r59.x]
1295         ;;
1296         lws.s.xs $r57 = $r56r57.hi[$r56r57r58r59.y]
1297         ;;
1298         lws.u.dnez $r58? $r58r59.lo = -1125899906842624[$r56r57r58r59.z]
1299         ;;
1300         lws.us.deqz $r59? $r58r59.hi = -8388608[$r56r57r58r59.t]
1301         ;;
1302         lws.dltz $r60? $r60r61.lo = [$r60r61r62r63.x]
1303         ;;
1304         lws.s $r61 = 2305843009213693951[$r60r61.hi]
1305         ;;
1306         lws.u $r60r61r62r63.y = -64[$r62]
1307         ;;
1308         lws.us $r62r63.lo = -8589934592[$r60r61r62r63.z]
1309         ;;
1310         lwz $r63 = $r62r63.hi[$r60r61r62r63.t]
1311         ;;
1312         lwz.s.dgez $r0? $r0r1.lo = -1125899906842624[$r0r1r2r3.x]
1313         ;;
1314         lwz.u.dlez $r1? $r0r1.hi = -8388608[$r0r1r2r3.y]
1315         ;;
1316         lwz.us.dgtz $r2? $r2r3.lo = [$r0r1r2r3.z]
1317         ;;
1318         lwz $r3 = 2305843009213693951[$r2r3.hi]
1319         ;;
1320         lwz.s $r0r1r2r3.t = -64[$r4]
1321         ;;
1322         lwz.u $r4r5.lo = -8589934592[$r4r5r6r7.x]
1323         ;;
1324         madddt $r2r3 = $r5, 2305843009213693951
1325         ;;
1326         madddt $r0r1r2r3.hi = $r4r5.hi, $r4r5r6r7.y
1327         ;;
1328         madddt $r4r5 = $r6, -64
1329         ;;
1330         madddt $r4r5r6r7.lo = $r6r7.lo, -8589934592
1331         ;;
1332         maddd $r4r5r6r7.z = $r7, 2305843009213693951
1333         ;;
1334         maddd $r6r7.hi = $r4r5r6r7.t, $r8
1335         ;;
1336         maddd $r8r9.lo = $r8r9r10r11.x, -64
1337         ;;
1338         maddd $r9 = $r8r9.hi, -8589934592
1339         ;;
1340         maddhq $r8r9r10r11.y = $r10, 2305843009213693951
1341         ;;
1342         maddhq $r10r11.lo = $r8r9r10r11.z, $r11
1343         ;;
1344         maddhq $r10r11.hi = $r8r9r10r11.t, -64
1345         ;;
1346         maddhq $r12 = $sp, -8589934592
1347         ;;
1348         maddhwq $r6r7 = $r13, $tp
1349         ;;
1350         maddsudt $r4r5r6r7.hi = $r14, 2305843009213693951
1351         ;;
1352         maddsudt $r8r9 = $fp, $r15
1353         ;;
1354         maddsudt $r8r9r10r11.lo = $rp, -64
1355         ;;
1356         maddsudt $r10r11 = $r16, -8589934592
1357         ;;
1358         maddsuhwq $r8r9r10r11.hi = $r16r17.lo, $r16r17r18r19.x
1359         ;;
1360         maddsuwdp $r12r13 = $r17, $r16r17.hi
1361         ;;
1362         maddsuwd $r16r17r18r19.y = $r18, $r18r19.lo
1363         ;;
1364         maddsuwd $r16r17r18r19.z = $r19, 536870911
1365         ;;
1366         maddudt $r12r13r14r15.lo = $r18r19.hi, 2305843009213693951
1367         ;;
1368         maddudt $r14r15 = $r16r17r18r19.t, $r20
1369         ;;
1370         maddudt $r12r13r14r15.hi = $r20r21.lo, -64
1371         ;;
1372         maddudt $r16r17 = $r20r21r22r23.x, -8589934592
1373         ;;
1374         madduhwq $r16r17r18r19.lo = $r21, $r20r21.hi
1375         ;;
1376         madduwdp $r18r19 = $r20r21r22r23.y, $r22
1377         ;;
1378         madduwd $r22r23.lo = $r20r21r22r23.z, $r23
1379         ;;
1380         madduwd $r22r23.hi = $r20r21r22r23.t, 536870911
1381         ;;
1382         madduzdt $r16r17r18r19.hi = $r24, 2305843009213693951
1383         ;;
1384         madduzdt $r20r21 = $r24r25.lo, $r24r25r26r27.x
1385         ;;
1386         madduzdt $r20r21r22r23.lo = $r25, -64
1387         ;;
1388         madduzdt $r22r23 = $r24r25.hi, -8589934592
1389         ;;
1390         maddwdp $r20r21r22r23.hi = $r24r25r26r27.y, $r26
1391         ;;
1392         maddwd $r26r27.lo = $r24r25r26r27.z, $r27
1393         ;;
1394         maddwd $r26r27.hi = $r24r25r26r27.t, 536870911
1395         ;;
1396         maddwp $r28 = $r28r29.lo, 2305843009213693951
1397         ;;
1398         maddwp $r28r29r30r31.x = $r29, $r28r29.hi
1399         ;;
1400         maddwp $r28r29r30r31.y = $r30, -64
1401         ;;
1402         maddwp $r30r31.lo = $r28r29r30r31.z, -8589934592
1403         ;;
1404         maddw $r31 = $r30r31.hi, $r28r29r30r31.t
1405         ;;
1406         maddw $r32 = $r32r33.lo, 536870911
1407         ;;
1408         make $r32r33r34r35.x = 2305843009213693951
1409         ;;
1410         make $r33 = -549755813888
1411         ;;
1412         make $r32r33.hi = -4096
1413         ;;
1414         maxd $r32r33r34r35.y = $r34, 2305843009213693951
1415         ;;
1416         maxd $r34r35.lo = $r32r33r34r35.z, $r35
1417         ;;
1418         maxd $r34r35.hi = $r32r33r34r35.t, -64
1419         ;;
1420         maxd $r36 = $r36r37.lo, -8589934592
1421         ;;
1422         maxd.@ $r36r37r38r39.x = $r37, 536870911
1423         ;;
1424         maxhq $r36r37.hi = $r36r37r38r39.y, $r38
1425         ;;
1426         maxhq $r38r39.lo = $r36r37r38r39.z, 536870911
1427         ;;
1428         maxud $r39 = $r38r39.hi, 2305843009213693951
1429         ;;
1430         maxud $r36r37r38r39.t = $r40, $r40r41.lo
1431         ;;
1432         maxud $r40r41r42r43.x = $r41, -64
1433         ;;
1434         maxud $r40r41.hi = $r40r41r42r43.y, -8589934592
1435         ;;
1436         maxud.@ $r42 = $r42r43.lo, 536870911
1437         ;;
1438         maxuhq $r40r41r42r43.z = $r43, $r42r43.hi
1439         ;;
1440         maxuhq.@ $r40r41r42r43.t = $r44, 536870911
1441         ;;
1442         maxuwp $r44r45.lo = $r44r45r46r47.x, $r45
1443         ;;
1444         maxuwp $r44r45.hi = $r44r45r46r47.y, 536870911
1445         ;;
1446         maxuw $r46 = $r46r47.lo, $r44r45r46r47.z
1447         ;;
1448         maxuw $r47 = $r46r47.hi, -64
1449         ;;
1450         maxuw $r44r45r46r47.t = $r48, -8589934592
1451         ;;
1452         maxwp $r48r49.lo = $r48r49r50r51.x, $r49
1453         ;;
1454         maxwp.@ $r48r49.hi = $r48r49r50r51.y, 536870911
1455         ;;
1456         maxw $r50 = $r50r51.lo, $r48r49r50r51.z
1457         ;;
1458         maxw $r51 = $r50r51.hi, -64
1459         ;;
1460         maxw $r48r49r50r51.t = $r52, -8589934592
1461         ;;
1462         mind $r52r53.lo = $r52r53r54r55.x, 2305843009213693951
1463         ;;
1464         mind $r53 = $r52r53.hi, $r52r53r54r55.y
1465         ;;
1466         mind $r54 = $r54r55.lo, -64
1467         ;;
1468         mind $r52r53r54r55.z = $r55, -8589934592
1469         ;;
1470         mind.@ $r54r55.hi = $r52r53r54r55.t, 536870911
1471         ;;
1472         minhq $r56 = $r56r57.lo, $r56r57r58r59.x
1473         ;;
1474         minhq $r57 = $r56r57.hi, 536870911
1475         ;;
1476         minud $r56r57r58r59.y = $r58, 2305843009213693951
1477         ;;
1478         minud $r58r59.lo = $r56r57r58r59.z, $r59
1479         ;;
1480         minud $r58r59.hi = $r56r57r58r59.t, -64
1481         ;;
1482         minud $r60 = $r60r61.lo, -8589934592
1483         ;;
1484         minud.@ $r60r61r62r63.x = $r61, 536870911
1485         ;;
1486         minuhq $r60r61.hi = $r60r61r62r63.y, $r62
1487         ;;
1488         minuhq.@ $r62r63.lo = $r60r61r62r63.z, 536870911
1489         ;;
1490         minuwp $r63 = $r62r63.hi, $r60r61r62r63.t
1491         ;;
1492         minuwp $r0 = $r0r1.lo, 536870911
1493         ;;
1494         minuw $r0r1r2r3.x = $r1, $r0r1.hi
1495         ;;
1496         minuw $r0r1r2r3.y = $r2, -64
1497         ;;
1498         minuw $r2r3.lo = $r0r1r2r3.z, -8589934592
1499         ;;
1500         minwp $r3 = $r2r3.hi, $r0r1r2r3.t
1501         ;;
1502         minwp.@ $r4 = $r4r5.lo, 536870911
1503         ;;
1504         minw $r4r5r6r7.x = $r5, $r4r5.hi
1505         ;;
1506         minw $r4r5r6r7.y = $r6, -64
1507         ;;
1508         minw $r6r7.lo = $r4r5r6r7.z, -8589934592
1509         ;;
1510         mm212w $r24r25 = $r7, $r6r7.hi
1511         ;;
1512         mma212w $r24r25r26r27.lo = $r4r5r6r7.t, $r8
1513         ;;
1514         mma444hbd0 $a24a25a26a27 = $a28a29a30a31, $a5, $a4a5.hi
1515         ;;
1516         mma444hbd1 $a32a33a34a35 = $a36a37a38a39, $a4a5a6a7.y, $a6
1517         ;;
1518         mma444hd $a40a41a42a43 = $a44a45a46a47, $a6a7.lo, $a4a5a6a7.z
1519         ;;
1520         mma444suhbd0 $a48a49a50a51 = $a52a53a54a55, $a7, $a6a7.hi
1521         ;;
1522         mma444suhbd1 $a56a57a58a59 = $a60a61a62a63, $a4a5a6a7.t, $a8
1523         ;;
1524         mma444suhd $a0a1a2a3 = $a4a5a6a7, $a8a9.lo, $a8a9a10a11.x
1525         ;;
1526         mma444uhbd0 $a8a9a10a11 = $a12a13a14a15, $a9, $a8a9.hi
1527         ;;
1528         mma444uhbd1 $a16a17a18a19 = $a20a21a22a23, $a8a9a10a11.y, $a10
1529         ;;
1530         mma444uhd $a24a25a26a27 = $a28a29a30a31, $a10a11.lo, $a8a9a10a11.z
1531         ;;
1532         mma444ushbd0 $a32a33a34a35 = $a36a37a38a39, $a11, $a10a11.hi
1533         ;;
1534         mma444ushbd1 $a40a41a42a43 = $a44a45a46a47, $a8a9a10a11.t, $a12
1535         ;;
1536         mma444ushd $a48a49a50a51 = $a52a53a54a55, $a12a13.lo, $a12a13a14a15.x
1537         ;;
1538         mms212w $r26r27 = $r8r9.lo, $r8r9r10r11.x
1539         ;;
1540         movetq $a0.lo = $r9, $r8r9.hi
1541         ;;
1542         movetq $a0.hi = $r8r9r10r11.y, $r10
1543         ;;
1544         msbfdt $r24r25r26r27.hi = $r10r11.lo, $r8r9r10r11.z
1545         ;;
1546         msbfd $r11 = $r10r11.hi, $r8r9r10r11.t
1547         ;;
1548         msbfhq $r12 = $sp, $r13
1549         ;;
1550         msbfhwq $r28r29 = $tp, $r14
1551         ;;
1552         msbfsudt $r28r29r30r31.lo = $fp, $r15
1553         ;;
1554         msbfsuhwq $r30r31 = $rp, $r16
1555         ;;
1556         msbfsuwdp $r28r29r30r31.hi = $r16r17.lo, $r16r17r18r19.x
1557         ;;
1558         msbfsuwd $r17 = $r16r17.hi, $r16r17r18r19.y
1559         ;;
1560         msbfsuwd $r18 = $r18r19.lo, 536870911
1561         ;;
1562         msbfudt $r32r33 = $r16r17r18r19.z, $r19
1563         ;;
1564         msbfuhwq $r32r33r34r35.lo = $r18r19.hi, $r16r17r18r19.t
1565         ;;
1566         msbfuwdp $r34r35 = $r20, $r20r21.lo
1567         ;;
1568         msbfuwd $r20r21r22r23.x = $r21, $r20r21.hi
1569         ;;
1570         msbfuwd $r20r21r22r23.y = $r22, 536870911
1571         ;;
1572         msbfuzdt $r32r33r34r35.hi = $r22r23.lo, $r20r21r22r23.z
1573         ;;
1574         msbfwdp $r36r37 = $r23, $r22r23.hi
1575         ;;
1576         msbfwd $r20r21r22r23.t = $r24, $r24r25.lo
1577         ;;
1578         msbfwd $r24r25r26r27.x = $r25, 536870911
1579         ;;
1580         msbfwp $r24r25.hi = $r24r25r26r27.y, $r26
1581         ;;
1582         msbfw $r26r27.lo = $r24r25r26r27.z, $r27
1583         ;;
1584         msbfw $r26r27.hi = $r24r25r26r27.t, 536870911
1585         ;;
1586         muldt $r36r37r38r39.lo = $r28, 2305843009213693951
1587         ;;
1588         muldt $r38r39 = $r28r29.lo, $r28r29r30r31.x
1589         ;;
1590         muldt $r36r37r38r39.hi = $r29, -64
1591         ;;
1592         muldt $r40r41 = $r28r29.hi, -8589934592
1593         ;;
1594         muld $r28r29r30r31.y = $r30, 2305843009213693951
1595         ;;
1596         muld $r30r31.lo = $r28r29r30r31.z, $r31
1597         ;;
1598         muld $r30r31.hi = $r28r29r30r31.t, -64
1599         ;;
1600         muld $r32 = $r32r33.lo, -8589934592
1601         ;;
1602         mulhq $r32r33r34r35.x = $r33, 2305843009213693951
1603         ;;
1604         mulhq $r32r33.hi = $r32r33r34r35.y, $r34
1605         ;;
1606         mulhq $r34r35.lo = $r32r33r34r35.z, -64
1607         ;;
1608         mulhq $r35 = $r34r35.hi, -8589934592
1609         ;;
1610         mulhwq $r40r41r42r43.lo = $r32r33r34r35.t, $r36
1611         ;;
1612         mulsudt $r42r43 = $r36r37.lo, 2305843009213693951
1613         ;;
1614         mulsudt $r40r41r42r43.hi = $r36r37r38r39.x, $r37
1615         ;;
1616         mulsudt $r44r45 = $r36r37.hi, -64
1617         ;;
1618         mulsudt $r44r45r46r47.lo = $r36r37r38r39.y, -8589934592
1619         ;;
1620         mulsuhwq $r46r47 = $r38, $r38r39.lo
1621         ;;
1622         mulsuwdp $r44r45r46r47.hi = $r36r37r38r39.z, $r39
1623         ;;
1624         mulsuwd $r38r39.hi = $r36r37r38r39.t, $r40
1625         ;;
1626         mulsuwd $r40r41.lo = $r40r41r42r43.x, 536870911
1627         ;;
1628         muludt $r48r49 = $r41, 2305843009213693951
1629         ;;
1630         muludt $r48r49r50r51.lo = $r40r41.hi, $r40r41r42r43.y
1631         ;;
1632         muludt $r50r51 = $r42, -64
1633         ;;
1634         muludt $r48r49r50r51.hi = $r42r43.lo, -8589934592
1635         ;;
1636         muluhwq $r52r53 = $r40r41r42r43.z, $r43
1637         ;;
1638         muluwdp $r52r53r54r55.lo = $r42r43.hi, $r40r41r42r43.t
1639         ;;
1640         muluwd $r44 = $r44r45.lo, $r44r45r46r47.x
1641         ;;
1642         muluwd $r45 = $r44r45.hi, 536870911
1643         ;;
1644         mulwc.c $r44r45r46r47.y = $r46, $r46r47.lo
1645         ;;
1646         mulwc $r44r45r46r47.z = $r47, 2305843009213693951
1647         ;;
1648         mulwc $r46r47.hi = $r44r45r46r47.t, $r48
1649         ;;
1650         mulwc $r48r49.lo = $r48r49r50r51.x, -64
1651         ;;
1652         mulwc $r49 = $r48r49.hi, -8589934592
1653         ;;
1654         mulwdc.c $r54r55 = $r48r49r50r51.y, $r50
1655         ;;
1656         mulwdc $r52r53r54r55.hi = $r50r51.lo, $r48r49r50r51.z
1657         ;;
1658         mulwdp $r56r57 = $r51, $r50r51.hi
1659         ;;
1660         mulwd $r48r49r50r51.t = $r52, $r52r53.lo
1661         ;;
1662         mulwd $r52r53r54r55.x = $r53, 536870911
1663         ;;
1664         mulwp $r52r53.hi = $r52r53r54r55.y, 2305843009213693951
1665         ;;
1666         mulwp $r54 = $r54r55.lo, $r52r53r54r55.z
1667         ;;
1668         mulwp $r55 = $r54r55.hi, -64
1669         ;;
1670         mulwp $r52r53r54r55.t = $r56, -8589934592
1671         ;;
1672         mulwq $r56r57r58r59.lo = $r58r59, $r56r57r58r59.hi
1673         ;;
1674         mulw $r56r57.lo = $r56r57r58r59.x, $r57
1675         ;;
1676         mulw $r56r57.hi = $r56r57r58r59.y, 536870911
1677         ;;
1678         nandd $r58 = $r58r59.lo, 2305843009213693951
1679         ;;
1680         nandd $r56r57r58r59.z = $r59, $r58r59.hi
1681         ;;
1682         nandd $r56r57r58r59.t = $r60, -64
1683         ;;
1684         nandd $r60r61.lo = $r60r61r62r63.x, -8589934592
1685         ;;
1686         nandd.@ $r61 = $r60r61.hi, 536870911
1687         ;;
1688         nandw $r60r61r62r63.y = $r62, $r62r63.lo
1689         ;;
1690         nandw $r60r61r62r63.z = $r63, -64
1691         ;;
1692         nandw $r62r63.hi = $r60r61r62r63.t, -8589934592
1693         ;;
1694         negd $r0 = $r0r1.lo
1695         ;;
1696         neghq $r0r1r2r3.x = $r1
1697         ;;
1698         negwp $r0r1.hi = $r0r1r2r3.y
1699         ;;
1700         negw $r2 = $r2r3.lo
1701         ;;
1702         nop
1703         ;;
1704         nord $r0r1r2r3.z = $r3, 2305843009213693951
1705         ;;
1706         nord $r2r3.hi = $r0r1r2r3.t, $r4
1707         ;;
1708         nord $r4r5.lo = $r4r5r6r7.x, -64
1709         ;;
1710         nord $r5 = $r4r5.hi, -8589934592
1711         ;;
1712         nord.@ $r4r5r6r7.y = $r6, 536870911
1713         ;;
1714         norw $r6r7.lo = $r4r5r6r7.z, $r7
1715         ;;
1716         norw $r6r7.hi = $r4r5r6r7.t, -64
1717         ;;
1718         norw $r8 = $r8r9.lo, -8589934592
1719         ;;
1720         notd $r8r9r10r11.x = $r9
1721         ;;
1722         notw $r8r9.hi = $r8r9r10r11.y
1723         ;;
1724         nxord $r10 = $r10r11.lo, 2305843009213693951
1725         ;;
1726         nxord $r8r9r10r11.z = $r11, $r10r11.hi
1727         ;;
1728         nxord $r8r9r10r11.t = $r12, -64
1729         ;;
1730         nxord $sp = $r13, -8589934592
1731         ;;
1732         nxord.@ $tp = $r14, 536870911
1733         ;;
1734         nxorw $fp = $r15, $rp
1735         ;;
1736         nxorw $r16 = $r16r17.lo, -64
1737         ;;
1738         nxorw $r16r17r18r19.x = $r17, -8589934592
1739         ;;
1740         ord $r16r17.hi = $r16r17r18r19.y, 2305843009213693951
1741         ;;
1742         ord $r18 = $r18r19.lo, $r16r17r18r19.z
1743         ;;
1744         ord $r19 = $r18r19.hi, -64
1745         ;;
1746         ord $r16r17r18r19.t = $r20, -8589934592
1747         ;;
1748         ord.@ $r20r21.lo = $r20r21r22r23.x, 536870911
1749         ;;
1750         ornd $r21 = $r20r21.hi, 2305843009213693951
1751         ;;
1752         ornd $r20r21r22r23.y = $r22, $r22r23.lo
1753         ;;
1754         ornd $r20r21r22r23.z = $r23, -64
1755         ;;
1756         ornd $r22r23.hi = $r20r21r22r23.t, -8589934592
1757         ;;
1758         ornd.@ $r24 = $r24r25.lo, 536870911
1759         ;;
1760         ornw $r24r25r26r27.x = $r25, $r24r25.hi
1761         ;;
1762         ornw $r24r25r26r27.y = $r26, -64
1763         ;;
1764         ornw $r26r27.lo = $r24r25r26r27.z, -8589934592
1765         ;;
1766         orw $r27 = $r26r27.hi, $r24r25r26r27.t
1767         ;;
1768         orw $r28 = $r28r29.lo, -64
1769         ;;
1770         orw $r28r29r30r31.x = $r29, -8589934592
1771         ;;
1772         pcrel $r28r29.hi = 2305843009213693951
1773         ;;
1774         pcrel $r28r29r30r31.y = -549755813888
1775         ;;
1776         pcrel $r30 = -4096
1777         ;;
1778         ret
1779         ;;
1780         rfe
1781         ;;
1782         rolwps $r30r31.lo = $r28r29r30r31.z, $r31
1783         ;;
1784         rolwps $r30r31.hi = $r28r29r30r31.t, 7
1785         ;;
1786         rolw $r32 = $r32r33.lo, $r32r33r34r35.x
1787         ;;
1788         rolw $r33 = $r32r33.hi, 7
1789         ;;
1790         rorwps $r32r33r34r35.y = $r34, $r34r35.lo
1791         ;;
1792         rorwps $r32r33r34r35.z = $r35, 7
1793         ;;
1794         rorw $r34r35.hi = $r32r33r34r35.t, $r36
1795         ;;
1796         rorw $r36r37.lo = $r36r37r38r39.x, 7
1797         ;;
1798         rswap $r37 = $mmc
1799         ;;
1800         rswap $r36r37.hi = $s0
1801         ;;
1802         rswap $r36r37r38r39.y = $pc
1803         ;;
1804         satdh $r38 = $r38r39.lo
1805         ;;
1806         satdw $r36r37r38r39.z = $r39
1807         ;;
1808         satd $r38r39.hi = $r36r37r38r39.t, $r40
1809         ;;
1810         satd $r40r41.lo = $r40r41r42r43.x, 7
1811         ;;
1812         sbfcd.i $r41 = $r40r41.hi, $r40r41r42r43.y
1813         ;;
1814         sbfcd.i $r42 = $r42r43.lo, 536870911
1815         ;;
1816         sbfcd $r40r41r42r43.z = $r43, $r42r43.hi
1817         ;;
1818         sbfcd $r40r41r42r43.t = $r44, 536870911
1819         ;;
1820         sbfd $r44r45.lo = $r44r45r46r47.x, 2305843009213693951
1821         ;;
1822         sbfd $r45 = $r44r45.hi, $r44r45r46r47.y
1823         ;;
1824         sbfd $r46 = $r46r47.lo, -64
1825         ;;
1826         sbfd $r44r45r46r47.z = $r47, -8589934592
1827         ;;
1828         sbfd.@ $r46r47.hi = $r44r45r46r47.t, 536870911
1829         ;;
1830         sbfhcp.c $r48 = $r48r49.lo, $r48r49r50r51.x
1831         ;;
1832         sbfhcp.c $r49 = $r48r49.hi, 536870911
1833         ;;
1834         sbfhq $r48r49r50r51.y = $r50, $r50r51.lo
1835         ;;
1836         sbfhq.@ $r48r49r50r51.z = $r51, 536870911
1837         ;;
1838         sbfsd $r50r51.hi = $r48r49r50r51.t, 2305843009213693951
1839         ;;
1840         sbfsd $r52 = $r52r53.lo, $r52r53r54r55.x
1841         ;;
1842         sbfsd $r53 = $r52r53.hi, -64
1843         ;;
1844         sbfsd $r52r53r54r55.y = $r54, -8589934592
1845         ;;
1846         sbfshq $r54r55.lo = $r52r53r54r55.z, $r55
1847         ;;
1848         sbfshq $r54r55.hi = $r52r53r54r55.t, 536870911
1849         ;;
1850         sbfswp $r56 = $r56r57.lo, $r56r57r58r59.x
1851         ;;
1852         sbfswp.@ $r57 = $r56r57.hi, 536870911
1853         ;;
1854         sbfsw $r56r57r58r59.y = $r58, $r58r59.lo
1855         ;;
1856         sbfsw $r56r57r58r59.z = $r59, 536870911
1857         ;;
1858         sbfuwd $r58r59.hi = $r56r57r58r59.t, $r60
1859         ;;
1860         sbfuwd $r60r61.lo = $r60r61r62r63.x, 536870911
1861         ;;
1862         sbfwc.c $r61 = $r60r61.hi, $r60r61r62r63.y
1863         ;;
1864         sbfwc.c.@ $r62 = $r62r63.lo, 536870911
1865         ;;
1866         sbfwd $r60r61r62r63.z = $r63, $r62r63.hi
1867         ;;
1868         sbfwd $r60r61r62r63.t = $r0, 536870911
1869         ;;
1870         sbfwp $r0r1.lo = $r0r1r2r3.x, $r1
1871         ;;
1872         sbfwp.@ $r0r1.hi = $r0r1r2r3.y, 536870911
1873         ;;
1874         sbfw $r2 = $r2r3.lo, $r0r1r2r3.z
1875         ;;
1876         sbfw $r3 = $r2r3.hi, -64
1877         ;;
1878         sbfw $r0r1r2r3.t = $r4, -8589934592
1879         ;;
1880         sbfx16d $r4r5.lo = $r4r5r6r7.x, $r5
1881         ;;
1882         sbfx16d $r4r5.hi = $r4r5r6r7.y, 536870911
1883         ;;
1884         sbfx16hq $r6 = $r6r7.lo, $r4r5r6r7.z
1885         ;;
1886         sbfx16hq.@ $r7 = $r6r7.hi, 536870911
1887         ;;
1888         sbfx16uwd $r4r5r6r7.t = $r8, $r8r9.lo
1889         ;;
1890         sbfx16uwd $r8r9r10r11.x = $r9, 536870911
1891         ;;
1892         sbfx16wd $r8r9.hi = $r8r9r10r11.y, $r10
1893         ;;
1894         sbfx16wd $r10r11.lo = $r8r9r10r11.z, 536870911
1895         ;;
1896         sbfx16wp $r11 = $r10r11.hi, $r8r9r10r11.t
1897         ;;
1898         sbfx16wp $r12 = $sp, 536870911
1899         ;;
1900         sbfx16w $r13 = $tp, $r14
1901         ;;
1902         sbfx16w $fp = $r15, 536870911
1903         ;;
1904         sbfx2d $rp = $r16, $r16r17.lo
1905         ;;
1906         sbfx2d.@ $r16r17r18r19.x = $r17, 536870911
1907         ;;
1908         sbfx2hq $r16r17.hi = $r16r17r18r19.y, $r18
1909         ;;
1910         sbfx2hq $r18r19.lo = $r16r17r18r19.z, 536870911
1911         ;;
1912         sbfx2uwd $r19 = $r18r19.hi, $r16r17r18r19.t
1913         ;;
1914         sbfx2uwd $r20 = $r20r21.lo, 536870911
1915         ;;
1916         sbfx2wd $r20r21r22r23.x = $r21, $r20r21.hi
1917         ;;
1918         sbfx2wd $r20r21r22r23.y = $r22, 536870911
1919         ;;
1920         sbfx2wp $r22r23.lo = $r20r21r22r23.z, $r23
1921         ;;
1922         sbfx2wp.@ $r22r23.hi = $r20r21r22r23.t, 536870911
1923         ;;
1924         sbfx2w $r24 = $r24r25.lo, $r24r25r26r27.x
1925         ;;
1926         sbfx2w $r25 = $r24r25.hi, 536870911
1927         ;;
1928         sbfx4d $r24r25r26r27.y = $r26, $r26r27.lo
1929         ;;
1930         sbfx4d $r24r25r26r27.z = $r27, 536870911
1931         ;;
1932         sbfx4hq $r26r27.hi = $r24r25r26r27.t, $r28
1933         ;;
1934         sbfx4hq.@ $r28r29.lo = $r28r29r30r31.x, 536870911
1935         ;;
1936         sbfx4uwd $r29 = $r28r29.hi, $r28r29r30r31.y
1937         ;;
1938         sbfx4uwd $r30 = $r30r31.lo, 536870911
1939         ;;
1940         sbfx4wd $r28r29r30r31.z = $r31, $r30r31.hi
1941         ;;
1942         sbfx4wd $r28r29r30r31.t = $r32, 536870911
1943         ;;
1944         sbfx4wp $r32r33.lo = $r32r33r34r35.x, $r33
1945         ;;
1946         sbfx4wp $r32r33.hi = $r32r33r34r35.y, 536870911
1947         ;;
1948         sbfx4w $r34 = $r34r35.lo, $r32r33r34r35.z
1949         ;;
1950         sbfx4w $r35 = $r34r35.hi, 536870911
1951         ;;
1952         sbfx8d $r32r33r34r35.t = $r36, $r36r37.lo
1953         ;;
1954         sbfx8d.@ $r36r37r38r39.x = $r37, 536870911
1955         ;;
1956         sbfx8hq $r36r37.hi = $r36r37r38r39.y, $r38
1957         ;;
1958         sbfx8hq $r38r39.lo = $r36r37r38r39.z, 536870911
1959         ;;
1960         sbfx8uwd $r39 = $r38r39.hi, $r36r37r38r39.t
1961         ;;
1962         sbfx8uwd $r40 = $r40r41.lo, 536870911
1963         ;;
1964         sbfx8wd $r40r41r42r43.x = $r41, $r40r41.hi
1965         ;;
1966         sbfx8wd $r40r41r42r43.y = $r42, 536870911
1967         ;;
1968         sbfx8wp $r42r43.lo = $r40r41r42r43.z, $r43
1969         ;;
1970         sbfx8wp.@ $r42r43.hi = $r40r41r42r43.t, 536870911
1971         ;;
1972         sbfx8w $r44 = $r44r45.lo, $r44r45r46r47.x
1973         ;;
1974         sbfx8w $r45 = $r44r45.hi, 536870911
1975         ;;
1976         sbmm8 $r44r45r46r47.y = $r46, 2305843009213693951
1977         ;;
1978         sbmm8 $r46r47.lo = $r44r45r46r47.z, $r47
1979         ;;
1980         sbmm8 $r46r47.hi = $r44r45r46r47.t, -64
1981         ;;
1982         sbmm8 $r48 = $r48r49.lo, -8589934592
1983         ;;
1984         sbmm8.@ $r48r49r50r51.x = $r49, 536870911
1985         ;;
1986         sbmmt8 $r48r49.hi = $r48r49r50r51.y, 2305843009213693951
1987         ;;
1988         sbmmt8 $r50 = $r50r51.lo, $r48r49r50r51.z
1989         ;;
1990         sbmmt8 $r51 = $r50r51.hi, -64
1991         ;;
1992         sbmmt8 $r48r49r50r51.t = $r52, -8589934592
1993         ;;
1994         sbmmt8.@ $r52r53.lo = $r52r53r54r55.x, 536870911
1995         ;;
1996         sb.xs $r53[$r52r53.hi] = $r52r53r54r55.y
1997         ;;
1998         sb 2305843009213693951[$r54] = $r54r55.lo
1999         ;;
2000         sb.odd $r52r53r54r55.z? -1125899906842624[$r55] = $r54r55.hi
2001         ;;
2002         sb.even $r52r53r54r55.t? -8388608[$r56] = $r56r57.lo
2003         ;;
2004         sb.wnez $r56r57r58r59.x? [$r57] = $r56r57.hi
2005         ;;
2006         sb -64[$r56r57r58r59.y] = $r58
2007         ;;
2008         sb -8589934592[$r58r59.lo] = $r56r57r58r59.z
2009         ;;
2010         scall $r59
2011         ;;
2012         scall 511
2013         ;;
2014         sd $r58r59.hi[$r56r57r58r59.t] = $r60
2015         ;;
2016         sd 2305843009213693951[$r60r61.lo] = $r60r61r62r63.x
2017         ;;
2018         sd.weqz $r61? -1125899906842624[$r60r61.hi] = $r60r61r62r63.y
2019         ;;
2020         sd.wltz $r62? -8388608[$r62r63.lo] = $r60r61r62r63.z
2021         ;;
2022         sd.wgez $r63? [$r62r63.hi] = $r60r61r62r63.t
2023         ;;
2024         sd -64[$r0] = $r0r1.lo
2025         ;;
2026         sd -8589934592[$r0r1r2r3.x] = $r1
2027         ;;
2028         set $s28 = $r0r1.hi
2029         ;;
2030         set $ra = $r0r1r2r3.y
2031         ;;
2032         set $ps = $r2
2033         ;;
2034         set $ps = $r2r3.lo
2035         ;;
2036         sh.xs $r0r1r2r3.z[$r3] = $r2r3.hi
2037         ;;
2038         sh 2305843009213693951[$r0r1r2r3.t] = $r4
2039         ;;
2040         sh.wlez $r4r5.lo? -1125899906842624[$r4r5r6r7.x] = $r5
2041         ;;
2042         sh.wgtz $r4r5.hi? -8388608[$r4r5r6r7.y] = $r6
2043         ;;
2044         sh.dnez $r6r7.lo? [$r4r5r6r7.z] = $r7
2045         ;;
2046         sh -64[$r6r7.hi] = $r4r5r6r7.t
2047         ;;
2048         sh -8589934592[$r8] = $r8r9.lo
2049         ;;
2050         sleep
2051         ;;
2052         slld $r8r9r10r11.x = $r9, $r8r9.hi
2053         ;;
2054         slld $r8r9r10r11.y = $r10, 7
2055         ;;
2056         sllhqs $r10r11.lo = $r8r9r10r11.z, $r11
2057         ;;
2058         sllhqs $r10r11.hi = $r8r9r10r11.t, 7
2059         ;;
2060         sllwps $r12 = $sp, $r13
2061         ;;
2062         sllwps $tp = $r14, 7
2063         ;;
2064         sllw $fp = $r15, $rp
2065         ;;
2066         sllw $r16 = $r16r17.lo, 7
2067         ;;
2068         slsd $r16r17r18r19.x = $r17, $r16r17.hi
2069         ;;
2070         slsd $r16r17r18r19.y = $r18, 7
2071         ;;
2072         slshqs $r18r19.lo = $r16r17r18r19.z, $r19
2073         ;;
2074         slshqs $r18r19.hi = $r16r17r18r19.t, 7
2075         ;;
2076         slswps $r20 = $r20r21.lo, $r20r21r22r23.x
2077         ;;
2078         slswps $r21 = $r20r21.hi, 7
2079         ;;
2080         slsw $r20r21r22r23.y = $r22, $r22r23.lo
2081         ;;
2082         slsw $r20r21r22r23.z = $r23, 7
2083         ;;
2084         so $r22r23.hi[$r20r21r22r23.t] = $r52r53r54r55
2085         ;;
2086         so 2305843009213693951[$r24] = $r56r57r58r59
2087         ;;
2088         so.deqz $r24r25.lo? -1125899906842624[$r24r25r26r27.x] = $r60r61r62r63
2089         ;;
2090         so.dltz $r25? -8388608[$r24r25.hi] = $r0r1r2r3
2091         ;;
2092         so.dgez $r24r25r26r27.y? [$r26] = $r4r5r6r7
2093         ;;
2094         so -64[$r26r27.lo] = $r8r9r10r11
2095         ;;
2096         so -8589934592[$r24r25r26r27.z] = $r12r13r14r15
2097         ;;
2098         sq.xs $r27[$r26r27.hi] = $r60r61
2099         ;;
2100         sq 2305843009213693951[$r24r25r26r27.t] = $r60r61r62r63.lo
2101         ;;
2102         sq.dlez $r28? -1125899906842624[$r28r29.lo] = $r62r63
2103         ;;
2104         sq.dgtz $r28r29r30r31.x? -8388608[$r29] = $r60r61r62r63.hi
2105         ;;
2106         sq.odd $r28r29.hi? [$r28r29r30r31.y] = $r0r1
2107         ;;
2108         sq -64[$r30] = $r0r1r2r3.lo
2109         ;;
2110         sq -8589934592[$r30r31.lo] = $r2r3
2111         ;;
2112         srad $r28r29r30r31.z = $r31, $r30r31.hi
2113         ;;
2114         srad $r28r29r30r31.t = $r32, 7
2115         ;;
2116         srahqs $r32r33.lo = $r32r33r34r35.x, $r33
2117         ;;
2118         srahqs $r32r33.hi = $r32r33r34r35.y, 7
2119         ;;
2120         srawps $r34 = $r34r35.lo, $r32r33r34r35.z
2121         ;;
2122         srawps $r35 = $r34r35.hi, 7
2123         ;;
2124         sraw $r32r33r34r35.t = $r36, $r36r37.lo
2125         ;;
2126         sraw $r36r37r38r39.x = $r37, 7
2127         ;;
2128         srld $r36r37.hi = $r36r37r38r39.y, $r38
2129         ;;
2130         srld $r38r39.lo = $r36r37r38r39.z, 7
2131         ;;
2132         srlhqs $r39 = $r38r39.hi, $r36r37r38r39.t
2133         ;;
2134         srlhqs $r40 = $r40r41.lo, 7
2135         ;;
2136         srlwps $r40r41r42r43.x = $r41, $r40r41.hi
2137         ;;
2138         srlwps $r40r41r42r43.y = $r42, 7
2139         ;;
2140         srlw $r42r43.lo = $r40r41r42r43.z, $r43
2141         ;;
2142         srlw $r42r43.hi = $r40r41r42r43.t, 7
2143         ;;
2144         srsd $r44 = $r44r45.lo, $r44r45r46r47.x
2145         ;;
2146         srsd $r45 = $r44r45.hi, 7
2147         ;;
2148         srshqs $r44r45r46r47.y = $r46, $r46r47.lo
2149         ;;
2150         srshqs $r44r45r46r47.z = $r47, 7
2151         ;;
2152         srswps $r46r47.hi = $r44r45r46r47.t, $r48
2153         ;;
2154         srswps $r48r49.lo = $r48r49r50r51.x, 7
2155         ;;
2156         srsw $r49 = $r48r49.hi, $r48r49r50r51.y
2157         ;;
2158         srsw $r50 = $r50r51.lo, 7
2159         ;;
2160         stop
2161         ;;
2162         stsud $r48r49r50r51.z = $r51, $r50r51.hi
2163         ;;
2164         stsuw $r48r49r50r51.t = $r52, $r52r53.lo
2165         ;;
2166         sw $r52r53r54r55.x[$r53] = $r52r53.hi
2167         ;;
2168         sw 2305843009213693951[$r52r53r54r55.y] = $r54
2169         ;;
2170         sw.even $r54r55.lo? -1125899906842624[$r52r53r54r55.z] = $r55
2171         ;;
2172         sw.wnez $r54r55.hi? -8388608[$r52r53r54r55.t] = $r56
2173         ;;
2174         sw.weqz $r56r57.lo? [$r56r57r58r59.x] = $r57
2175         ;;
2176         sw -64[$r56r57.hi] = $r56r57r58r59.y
2177         ;;
2178         sw -8589934592[$r58] = $r58r59.lo
2179         ;;
2180         sxbd $r56r57r58r59.z = $r59
2181         ;;
2182         sxhd $r58r59.hi = $r56r57r58r59.t
2183         ;;
2184         sxlbhq $r60 = $r60r61.lo
2185         ;;
2186         sxlhwp $r60r61r62r63.x = $r61
2187         ;;
2188         sxmbhq $r60r61.hi = $r60r61r62r63.y
2189         ;;
2190         sxmhwp $r62 = $r62r63.lo
2191         ;;
2192         sxwd $r60r61r62r63.z = $r63
2193         ;;
2194         syncgroup $r62r63.hi
2195         ;;
2196         tlbdinval
2197         ;;
2198         tlbiinval
2199         ;;
2200         tlbprobe
2201         ;;
2202         tlbread
2203         ;;
2204         tlbwrite
2205         ;;
2206         waitit $r60r61r62r63.t
2207         ;;
2208         wfxl $ps, $r0
2209         ;;
2210         wfxl $pcr, $r0r1.lo
2211         ;;
2212         wfxl $s1, $r0r1r2r3.x
2213         ;;
2214         wfxm $s1, $r1
2215         ;;
2216         wfxm $s2, $r0r1.hi
2217         ;;
2218         wfxm $pcr, $r0r1r2r3.y
2219         ;;
2220         xcopyo $a13 = $a4a5a6a7.x
2221         ;;
2222         xcopyo $a12a13.hi = $a4a5a6a7.y
2223         ;;
2224         xlo.u.xs $a12a13a14a15.y = $r2[$r2r3.lo]
2225         ;;
2226         xlo.us.wltz.q0 $r0r1r2r3.z? $a56a57a58a59 = -1125899906842624[$r3]
2227         ;;
2228         xlo.u.wgez.q1 $r2r3.hi? $a60a61a62a63 = -8388608[$r0r1r2r3.t]
2229         ;;
2230         xlo.us.wlez.q2 $r4? $a0a1a2a3 = [$r4r5.lo]
2231         ;;
2232         xlo.u.wgtz $r4r5r6r7.x? $a14 = -1125899906842624[$r5]
2233         ;;
2234         xlo.us.dnez $r4r5.hi? $a14a15.lo = -8388608[$r4r5r6r7.y]
2235         ;;
2236         xlo.u.deqz $r6? $a12a13a14a15.z = [$r6r7.lo]
2237         ;;
2238         xlo.us.q3 $a4a5a6a7 = $r4r5r6r7.z[$r7]
2239         ;;
2240         xlo.u.q0 $a8a9a10a11 = 2305843009213693951[$r6r7.hi]
2241         ;;
2242         xlo.us.q1 $a12a13a14a15 = -64[$r4r5r6r7.t]
2243         ;;
2244         xlo.u.q2 $a16a17a18a19 = -8589934592[$r8]
2245         ;;
2246         xlo.us $a15 = 2305843009213693951[$r8r9.lo]
2247         ;;
2248         xlo.u $a14a15.hi = -64[$r8r9r10r11.x]
2249         ;;
2250         xlo.us $a12a13a14a15.t = -8589934592[$r9]
2251         ;;
2252         xmma484bw $a4a5a6a7.lo = $a6a7, $a16, $a16a17.lo
2253         ;;
2254         xmma484subw $a4a5a6a7.hi = $a8a9, $a16a17a18a19.x, $a17
2255         ;;
2256         xmma484ubw $a8a9a10a11.lo = $a10a11, $a16a17.hi, $a16a17a18a19.y
2257         ;;
2258         xmma484usbw $a8a9a10a11.hi = $a12a13, $a18, $a18a19.lo
2259         ;;
2260         xmovefo $r16r17r18r19 = $a6
2261         ;;
2262         xmovefo $r20r21r22r23 = $a7
2263         ;;
2264         xmovetq $a1_lo = $r8r9.hi, $r8r9r10r11.y
2265         ;;
2266         xmovetq $a1_hi = $r10, $r10r11.lo
2267         ;;
2268         xmt44d $a20a21a22a23 = $a24a25a26a27
2269         ;;
2270         xord $r8r9r10r11.z = $r11, 2305843009213693951
2271         ;;
2272         xord $r10r11.hi = $r8r9r10r11.t, $r12
2273         ;;
2274         xord $sp = $r13, -64
2275         ;;
2276         xord $tp = $r14, -8589934592
2277         ;;
2278         xord.@ $fp = $r15, 536870911
2279         ;;
2280         xorw $rp = $r16, $r16r17.lo
2281         ;;
2282         xorw $r16r17r18r19.x = $r17, -64
2283         ;;
2284         xorw $r16r17.hi = $r16r17r18r19.y, -8589934592
2285         ;;
2286         xso.xs $r18[$r18r19.lo] = $a16a17a18a19.z
2287         ;;
2288         xso 2305843009213693951[$r16r17r18r19.z] = $a19
2289         ;;
2290         xso.dltz $r19? -1125899906842624[$r18r19.hi] = $a18a19.hi
2291         ;;
2292         xso.dgez $r16r17r18r19.t? -8388608[$r20] = $a16a17a18a19.t
2293         ;;
2294         xso.dlez $r20r21.lo? [$r20r21r22r23.x] = $a20
2295         ;;
2296         xso -64[$r21] = $a20a21.lo
2297         ;;
2298         xso -8589934592[$r20r21.hi] = $a20a21a22a23.x
2299         ;;
2300         zxbd $r20r21r22r23.y = $r22
2301         ;;
2302         zxhd $r22r23.lo = $r20r21r22r23.z
2303         ;;
2304         zxwd $r23 = $r22r23.hi
2305         ;;
2306         .endp   main
2307         .section .text