gas/testsuite/gas/kvx/kv4-1-insns-32.s

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