brintos / llvm-project-archived public Read only

1# This test verifies the disassembler's behavior for all C.LUI opcodes with the2# exception of those assigned to C.ADDI16SP3#4# RUN: llvm-mc --disassemble -triple=riscv32 -mattr=+c -M no-aliases \5# RUN:     --show-encoding < %s | FileCheck --check-prefix=GOOD %s6#7# RUN: llvm-mc --disassemble -triple=riscv32 -mattr=+c -M no-aliases \8# RUN:     --show-encoding < %s 2>&1 | FileCheck --check-prefix=BAD %s9#10# RUN: llvm-mc --disassemble -triple=riscv32  -mattr=+c -mattr=+Zcmop \11# RUN:     -M no-aliases --show-encoding < %s | \12# RUN:   FileCheck --check-prefixes=GOOD,MOP %s13 14# BAD: invalid instruction encoding150x01 0x6016 17# GOOD: c.lui zero, 1180x05 0x6019 20# GOOD: c.lui zero, 2210x09 0x6022 23# GOOD: c.lui zero, 3240x0D 0x6025 26# GOOD: c.lui zero, 4270x11 0x06028 29# GOOD: c.lui zero, 5300x15 0x6031 32# GOOD: c.lui zero, 6330x19 0x6034 35# GOOD: c.lui zero, 7360x1D 0x6037 38# GOOD: c.lui zero, 8390x21 0x6040 41# GOOD: c.lui zero, 9420x25 0x6043 44# GOOD: c.lui zero, 10450x29 0x6046 47# GOOD: c.lui zero, 11480x2D 0x6049 50# GOOD: c.lui zero, 12510x31 0x6052 53# GOOD: c.lui zero, 13540x35 0x6055 56# GOOD: c.lui zero, 14570x39 0x6058 59# GOOD: c.lui zero, 15600x3D 0x6061 62# GOOD: c.lui zero, 16630x41 0x6064 65# GOOD: c.lui zero, 17660x45 0x6067 68# GOOD: c.lui zero, 18690x49 0x6070 71# GOOD: c.lui zero, 19720x4D 0x6073 74# GOOD: c.lui zero, 20750x51 0x6076 77# GOOD: c.lui zero, 21780x55 0x6079 80# GOOD: c.lui zero, 22810x59 0x6082 83# GOOD: c.lui zero, 23840x5D 0x6085 86# GOOD: c.lui zero, 24870x61 0x6088 89# GOOD: c.lui zero, 25900x65 0x6091 92# GOOD: c.lui zero, 26930x69 0x6094 95# GOOD: c.lui zero, 27960x6D 0x6097 98# GOOD: c.lui zero, 28990x71 0x60100 101# GOOD: c.lui zero, 291020x75 0x60103 104# GOOD: c.lui zero, 301050x79 0x60106 107# GOOD: c.lui zero, 311080x7D 0x60109 110# GOOD: c.lui zero, 10485441110x01 0x70112 113# GOOD: c.lui zero, 10485451140x05 0x70115 116# GOOD: c.lui zero, 10485461170x09 0x70118 119# GOOD: c.lui zero, 10485471200x0D 0x70121 122# GOOD: c.lui zero, 10485481230x11 0x70124 125# GOOD: c.lui zero, 10485491260x15 0x70127 128# GOOD: c.lui zero, 10485501290x19 0x70130 131# GOOD: c.lui zero, 10485511320x1D 0x70133 134# GOOD: c.lui zero, 10485521350x21 0x70136 137# GOOD: c.lui zero, 10485531380x25 0x70139 140# GOOD: c.lui zero, 10485541410x29 0x70142 143# GOOD: c.lui zero, 10485551440x2D 0x70145 146# GOOD: c.lui zero, 10485561470x31 0x70148 149# GOOD: c.lui zero, 10485571500x35 0x70151 152# GOOD: c.lui zero, 10485581530x39 0x70154 155# GOOD: c.lui zero, 10485591560x3D 0x70157 158# GOOD: c.lui zero, 10485601590x41 0x70160 161# GOOD: c.lui zero, 10485611620x45 0x70163 164# GOOD: c.lui zero, 10485621650x49 0x70166 167# GOOD: c.lui zero, 10485631680x4D 0x70169 170# GOOD: c.lui zero, 10485641710x51 0x70172 173# GOOD: c.lui zero, 10485651740x55 0x70175 176# GOOD: c.lui zero, 10485661770x59 0x70178 179# GOOD: c.lui zero, 10485671800x5D 0x70181 182# GOOD: c.lui zero, 10485681830x61 0x70184 185# GOOD: c.lui zero, 10485691860x65 0x70187 188# GOOD: c.lui zero, 10485701890x69 0x70190 191# GOOD: c.lui zero, 10485711920x6D 0x70193 194# GOOD: c.lui zero, 10485721950x71 0x70196 197# GOOD: c.lui zero, 10485731980x75 0x70199 200# GOOD: c.lui zero, 10485742010x79 0x70202 203# GOOD: c.lui zero, 10485752040x7D 0x70205 206# BAD: invalid instruction encoding207# MOP: c.mop.12080x81 0x60209 210# GOOD: c.lui ra, 12110x85 0x60212 213# GOOD: c.lui ra, 22140x89 0x60215 216# GOOD: c.lui ra, 32170x8D 0x60218 219# GOOD: c.lui ra, 42200x91 0x60221 222# GOOD: c.lui ra, 52230x95 0x60224 225# GOOD: c.lui ra, 62260x99 0x60227 228# GOOD: c.lui ra, 72290x9D 0x60230 231# GOOD: c.lui ra, 82320xA1 0x60233 234# GOOD: c.lui ra, 92350xA5 0x60236 237# GOOD: c.lui ra, 102380xA9 0x60239 240# GOOD: c.lui ra, 112410xAD 0x60242 243# GOOD: c.lui ra, 122440xB1 0x60245 246# GOOD: c.lui ra, 132470xB5 0x60248 249# GOOD: c.lui ra, 142500xB9 0x60251 252# GOOD: c.lui ra, 152530xBD 0x60254 255# GOOD: c.lui ra, 162560xC1 0x60257 258# GOOD: c.lui ra, 172590xC5 0x60260 261# GOOD: c.lui ra, 182620xC9 0x60263 264# GOOD: c.lui ra, 192650xCD 0x60266 267# GOOD: c.lui ra, 202680xD1 0x60269 270# GOOD: c.lui ra, 212710xD5 0x60272 273# GOOD: c.lui ra, 222740xD9 0x60275 276# GOOD: c.lui ra, 232770xDD 0x60278 279# GOOD: c.lui ra, 242800xE1 0x60281 282# GOOD: c.lui ra, 252830xE5 0x60284 285# GOOD: c.lui ra, 262860xE9 0x60287 288# GOOD: c.lui ra, 272890xED 0x60290 291# GOOD: c.lui ra, 282920xF1 0x60293 294# GOOD: c.lui ra, 292950xF5 0x60296 297# GOOD: c.lui ra, 302980xF9 0x60299 300# GOOD: c.lui ra, 313010xFD 0x60302 303# GOOD: c.lui ra, 10485443040x81 0x70305 306# GOOD: c.lui ra, 10485453070x85 0x70308 309# GOOD: c.lui ra, 10485463100x89 0x70311 312# GOOD: c.lui ra, 10485473130x8D 0x70314 315# GOOD: c.lui ra, 10485483160x91 0x70317 318# GOOD: c.lui ra, 10485493190x95 0x70320 321# GOOD: c.lui ra, 10485503220x99 0x70323 324# GOOD: c.lui ra, 10485513250x9D 0x70326 327# GOOD: c.lui ra, 10485523280xA1 0x70329 330# GOOD: c.lui ra, 10485533310xA5 0x70332 333# GOOD: c.lui ra, 10485543340xA9 0x70335 336# GOOD: c.lui ra, 10485553370xAD 0x70338 339# GOOD: c.lui ra, 10485563400xB1 0x70341 342# GOOD: c.lui ra, 10485573430xB5 0x70344 345# GOOD: c.lui ra, 10485583460xB9 0x70347 348# GOOD: c.lui ra, 10485593490xBD 0x70350 351# GOOD: c.lui ra, 10485603520xC1 0x70353 354# GOOD: c.lui ra, 10485613550xC5 0x70356 357# GOOD: c.lui ra, 10485623580xC9 0x70359 360# GOOD: c.lui ra, 10485633610xCD 0x70362 363# GOOD: c.lui ra, 10485643640xD1 0x70365 366# GOOD: c.lui ra, 10485653670xD5 0x70368 369# GOOD: c.lui ra, 10485663700xD9 0x70371 372# GOOD: c.lui ra, 10485673730xDD 0x70374 375# GOOD: c.lui ra, 10485683760xE1 0x70377 378# GOOD: c.lui ra, 10485693790xE5 0x70380 381# GOOD: c.lui ra, 10485703820xE9 0x70383 384# GOOD: c.lui ra, 10485713850xED 0x70386 387# GOOD: c.lui ra, 10485723880xF1 0x70389 390# GOOD: c.lui ra, 10485733910xF5 0x70392 393# GOOD: c.lui ra, 10485743940xF9 0x70395 396# GOOD: c.lui ra, 10485753970xFD 0x70398 399# BAD: invalid instruction encoding400# MOP: c.mop.34010x81 0x61402 403# GOOD: c.lui gp, 14040x85 0x61405 406# GOOD: c.lui gp, 24070x89 0x61408 409# GOOD: c.lui gp, 34100x8D 0x61411 412# GOOD: c.lui gp, 44130x91 0x61414 415# GOOD: c.lui gp, 54160x95 0x61417 418# GOOD: c.lui gp, 64190x99 0x61420 421# GOOD: c.lui gp, 74220x9D 0x61423 424# GOOD: c.lui gp, 84250xA1 0x61426 427# GOOD: c.lui gp, 94280xA5 0x61429 430# GOOD: c.lui gp, 104310xA9 0x61432 433# GOOD: c.lui gp, 114340xAD 0x61435 436# GOOD: c.lui gp, 124370xB1 0x61438 439# GOOD: c.lui gp, 134400xB5 0x61441 442# GOOD: c.lui gp, 144430xB9 0x61444 445# GOOD: c.lui gp, 154460xBD 0x61447 448# GOOD: c.lui gp, 164490xC1 0x61450 451# GOOD: c.lui gp, 174520xC5 0x61453 454# GOOD: c.lui gp, 184550xC9 0x61456 457# GOOD: c.lui gp, 194580xCD 0x61459 460# GOOD: c.lui gp, 204610xD1 0x61462 463# GOOD: c.lui gp, 214640xD5 0x61465 466# GOOD: c.lui gp, 224670xD9 0x61468 469# GOOD: c.lui gp, 234700xDD 0x61471 472# GOOD: c.lui gp, 244730xE1 0x61474 475# GOOD: c.lui gp, 254760xE5 0x61477 478# GOOD: c.lui gp, 264790xE9 0x61480 481# GOOD: c.lui gp, 274820xED 0x61483 484# GOOD: c.lui gp, 284850xF1 0x61486 487# GOOD: c.lui gp, 294880xF5 0x61489 490# GOOD: c.lui gp, 304910xF9 0x61492 493# GOOD: c.lui gp, 314940xFD 0x61495 496# GOOD: c.lui gp, 10485444970x81 0x71498 499# GOOD: c.lui gp, 10485455000x85 0x71501 502# GOOD: c.lui gp, 10485465030x89 0x71504 505# GOOD: c.lui gp, 10485475060x8D 0x71507 508# GOOD: c.lui gp, 10485485090x91 0x71510 511# GOOD: c.lui gp, 10485495120x95 0x71513 514# GOOD: c.lui gp, 10485505150x99 0x71516 517# GOOD: c.lui gp, 10485515180x9D 0x71519 520# GOOD: c.lui gp, 10485525210xA1 0x71522 523# GOOD: c.lui gp, 10485535240xA5 0x71525 526# GOOD: c.lui gp, 10485545270xA9 0x71528 529# GOOD: c.lui gp, 10485555300xAD 0x71531 532# GOOD: c.lui gp, 10485565330xB1 0x71534 535# GOOD: c.lui gp, 10485575360xB5 0x71537 538# GOOD: c.lui gp, 10485585390xB9 0x71540 541# GOOD: c.lui gp, 10485595420xBD 0x71543 544# GOOD: c.lui gp, 10485605450xC1 0x71546 547# GOOD: c.lui gp, 10485615480xC5 0x71549 550# GOOD: c.lui gp, 10485625510xC9 0x71552 553# GOOD: c.lui gp, 10485635540xCD 0x71555 556# GOOD: c.lui gp, 10485645570xD1 0x71558 559# GOOD: c.lui gp, 10485655600xD5 0x71561 562# GOOD: c.lui gp, 10485665630xD9 0x71564 565# GOOD: c.lui gp, 10485675660xDD 0x71567 568# GOOD: c.lui gp, 10485685690xE1 0x71570 571# GOOD: c.lui gp, 10485695720xE5 0x71573 574# GOOD: c.lui gp, 10485705750xE9 0x71576 577# GOOD: c.lui gp, 10485715780xED 0x71579 580# GOOD: c.lui gp, 10485725810xF1 0x71582 583# GOOD: c.lui gp, 10485735840xF5 0x71585 586# GOOD: c.lui gp, 10485745870xF9 0x71588 589# GOOD: c.lui gp, 10485755900xFD 0x71591 592# BAD: invalid instruction encoding5930x01 0x62594 595# GOOD: c.lui tp, 15960x05 0x62597 598# GOOD: c.lui tp, 25990x09 0x62600 601# GOOD: c.lui tp, 36020x0D 0x62603 604# GOOD: c.lui tp, 46050x11 0x62606 607# GOOD: c.lui tp, 56080x15 0x62609 610# GOOD: c.lui tp, 66110x19 0x62612 613# GOOD: c.lui tp, 76140x1D 0x62615 616# GOOD: c.lui tp, 86170x21 0x62618 619# GOOD: c.lui tp, 96200x25 0x62621 622# GOOD: c.lui tp, 106230x29 0x62624 625# GOOD: c.lui tp, 116260x2D 0x62627 628# GOOD: c.lui tp, 126290x31 0x62630 631# GOOD: c.lui tp, 136320x35 0x62633 634# GOOD: c.lui tp, 146350x39 0x62636 637# GOOD: c.lui tp, 156380x3D 0x62639 640# GOOD: c.lui tp, 166410x41 0x62642 643# GOOD: c.lui tp, 176440x45 0x62645 646# GOOD: c.lui tp, 186470x49 0x62648 649# GOOD: c.lui tp, 196500x4D 0x62651 652# GOOD: c.lui tp, 206530x51 0x62654 655# GOOD: c.lui tp, 216560x55 0x62657 658# GOOD: c.lui tp, 226590x59 0x62660 661# GOOD: c.lui tp, 236620x5D 0x62663 664# GOOD: c.lui tp, 246650x61 0x62666 667# GOOD: c.lui tp, 256680x65 0x62669 670# GOOD: c.lui tp, 266710x69 0x62672 673# GOOD: c.lui tp, 276740x6D 0x62675 676# GOOD: c.lui tp, 286770x71 0x62678 679# GOOD: c.lui tp, 296800x75 0x62681 682# GOOD: c.lui tp, 306830x79 0x62684 685# GOOD: c.lui tp, 316860x7D 0x62687 688# GOOD: c.lui tp, 10485446890x01 0x72690 691# GOOD: c.lui tp, 10485456920x05 0x72693 694# GOOD: c.lui tp, 10485466950x09 0x72696 697# GOOD: c.lui tp, 10485476980x0D 0x72699 700# GOOD: c.lui tp, 10485487010x11 0x72702 703# GOOD: c.lui tp, 10485497040x15 0x72705 706# GOOD: c.lui tp, 10485507070x19 0x72708 709# GOOD: c.lui tp, 10485517100x1D 0x72711 712# GOOD: c.lui tp, 10485527130x21 0x72714 715# GOOD: c.lui tp, 10485537160x25 0x72717 718# GOOD: c.lui tp, 10485547190x29 0x72720 721# GOOD: c.lui tp, 10485557220x2D 0x72723 724# GOOD: c.lui tp, 10485567250x31 0x72726 727# GOOD: c.lui tp, 10485577280x35 0x72729 730# GOOD: c.lui tp, 10485587310x39 0x72732 733# GOOD: c.lui tp, 10485597340x3D 0x72735 736# GOOD: c.lui tp, 10485607370x41 0x72738 739# GOOD: c.lui tp, 10485617400x45 0x72741 742# GOOD: c.lui tp, 10485627430x49 0x72744 745# GOOD: c.lui tp, 10485637460x4D 0x72747 748# GOOD: c.lui tp, 10485647490x51 0x72750 751# GOOD: c.lui tp, 10485657520x55 0x72753 754# GOOD: c.lui tp, 10485667550x59 0x72756 757# GOOD: c.lui tp, 10485677580x5D 0x72759 760# GOOD: c.lui tp, 10485687610x61 0x72762 763# GOOD: c.lui tp, 10485697640x65 0x72765 766# GOOD: c.lui tp, 10485707670x69 0x72768 769# GOOD: c.lui tp, 10485717700x6D 0x72771 772# GOOD: c.lui tp, 10485727730x71 0x72774 775# GOOD: c.lui tp, 10485737760x75 0x72777 778# GOOD: c.lui tp, 10485747790x79 0x72780 781# GOOD: c.lui tp, 10485757820x7D 0x72783 784# BAD: invalid instruction encoding785# MOP: c.mop.57860x81 0x62787 788# GOOD: c.lui t0, 17890x85 0x62790 791# GOOD: c.lui t0, 27920x89 0x62793 794# GOOD: c.lui t0, 37950x8D 0x62796 797# GOOD: c.lui t0, 47980x91 0x62799 800# GOOD: c.lui t0, 58010x95 0x62802 803# GOOD: c.lui t0, 68040x99 0x62805 806# GOOD: c.lui t0, 78070x9D 0x62808 809# GOOD: c.lui t0, 88100xA1 0x62811 812# GOOD: c.lui t0, 98130xA5 0x62814 815# GOOD: c.lui t0, 108160xA9 0x62817 818# GOOD: c.lui t0, 118190xAD 0x62820 821# GOOD: c.lui t0, 128220xB1 0x62823 824# GOOD: c.lui t0, 138250xB5 0x62826 827# GOOD: c.lui t0, 148280xB9 0x62829 830# GOOD: c.lui t0, 158310xBD 0x62832 833# GOOD: c.lui t0, 168340xC1 0x62835 836# GOOD: c.lui t0, 178370xC5 0x62838 839# GOOD: c.lui t0, 188400xC9 0x62841 842# GOOD: c.lui t0, 198430xCD 0x62844 845# GOOD: c.lui t0, 208460xD1 0x62847 848# GOOD: c.lui t0, 218490xD5 0x62850 851# GOOD: c.lui t0, 228520xD9 0x62853 854# GOOD: c.lui t0, 238550xDD 0x62856 857# GOOD: c.lui t0, 248580xE1 0x62859 860# GOOD: c.lui t0, 258610xE5 0x62862 863# GOOD: c.lui t0, 268640xE9 0x62865 866# GOOD: c.lui t0, 278670xED 0x62868 869# GOOD: c.lui t0, 288700xF1 0x62871 872# GOOD: c.lui t0, 298730xF5 0x62874 875# GOOD: c.lui t0, 308760xF9 0x62877 878# GOOD: c.lui t0, 318790xFD 0x62880 881# GOOD: c.lui t0, 10485448820x81 0x72883 884# GOOD: c.lui t0, 10485458850x85 0x72886 887# GOOD: c.lui t0, 10485468880x89 0x72889 890# GOOD: c.lui t0, 10485478910x8D 0x72892 893# GOOD: c.lui t0, 10485488940x91 0x72895 896# GOOD: c.lui t0, 10485498970x95 0x72898 899# GOOD: c.lui t0, 10485509000x99 0x72901 902# GOOD: c.lui t0, 10485519030x9D 0x72904 905# GOOD: c.lui t0, 10485529060xA1 0x72907 908# GOOD: c.lui t0, 10485539090xA5 0x72910 911# GOOD: c.lui t0, 10485549120xA9 0x72913 914# GOOD: c.lui t0, 10485559150xAD 0x72916 917# GOOD: c.lui t0, 10485569180xB1 0x72919 920# GOOD: c.lui t0, 10485579210xB5 0x72922 923# GOOD: c.lui t0, 10485589240xB9 0x72925 926# GOOD: c.lui t0, 10485599270xBD 0x72928 929# GOOD: c.lui t0, 10485609300xC1 0x72931 932# GOOD: c.lui t0, 10485619330xC5 0x72934 935# GOOD: c.lui t0, 10485629360xC9 0x72937 938# GOOD: c.lui t0, 10485639390xCD 0x72940 941# GOOD: c.lui t0, 10485649420xD1 0x72943 944# GOOD: c.lui t0, 10485659450xD5 0x72946 947# GOOD: c.lui t0, 10485669480xD9 0x72949 950# GOOD: c.lui t0, 10485679510xDD 0x72952 953# GOOD: c.lui t0, 10485689540xE1 0x72955 956# GOOD: c.lui t0, 10485699570xE5 0x72958 959# GOOD: c.lui t0, 10485709600xE9 0x72961 962# GOOD: c.lui t0, 10485719630xED 0x72964 965# GOOD: c.lui t0, 10485729660xF1 0x72967 968# GOOD: c.lui t0, 10485739690xF5 0x72970 971# GOOD: c.lui t0, 10485749720xF9 0x72973 974# GOOD: c.lui t0, 10485759750xFD 0x72976 977# BAD: invalid instruction encoding9780x01 0x63979 980# GOOD: c.lui t1, 19810x05 0x63982 983# GOOD: c.lui t1, 29840x09 0x63985 986# GOOD: c.lui t1, 39870x0D 0x63988 989# GOOD: c.lui t1, 49900x11 0x63991 992# GOOD: c.lui t1, 59930x15 0x63994 995# GOOD: c.lui t1, 69960x19 0x63997 998# GOOD: c.lui t1, 79990x1D 0x631000 1001# GOOD: c.lui t1, 810020x21 0x631003 1004# GOOD: c.lui t1, 910050x25 0x631006 1007# GOOD: c.lui t1, 1010080x29 0x631009 1010# GOOD: c.lui t1, 1110110x2D 0x631012 1013# GOOD: c.lui t1, 1210140x31 0x631015 1016# GOOD: c.lui t1, 1310170x35 0x631018 1019# GOOD: c.lui t1, 1410200x39 0x631021 1022# GOOD: c.lui t1, 1510230x3D 0x631024 1025# GOOD: c.lui t1, 1610260x41 0x631027 1028# GOOD: c.lui t1, 1710290x45 0x631030 1031# GOOD: c.lui t1, 1810320x49 0x631033 1034# GOOD: c.lui t1, 1910350x4D 0x631036 1037# GOOD: c.lui t1, 2010380x51 0x631039 1040# GOOD: c.lui t1, 2110410x55 0x631042 1043# GOOD: c.lui t1, 2210440x59 0x631045 1046# GOOD: c.lui t1, 2310470x5D 0x631048 1049# GOOD: c.lui t1, 2410500x61 0x631051 1052# GOOD: c.lui t1, 2510530x65 0x631054 1055# GOOD: c.lui t1, 2610560x69 0x631057 1058# GOOD: c.lui t1, 2710590x6D 0x631060 1061# GOOD: c.lui t1, 2810620x71 0x631063 1064# GOOD: c.lui t1, 2910650x75 0x631066 1067# GOOD: c.lui t1, 3010680x79 0x631069 1070# GOOD: c.lui t1, 3110710x7D 0x631072 1073# GOOD: c.lui t1, 104854410740x01 0x731075 1076# GOOD: c.lui t1, 104854510770x05 0x731078 1079# GOOD: c.lui t1, 104854610800x09 0x731081 1082# GOOD: c.lui t1, 104854710830x0D 0x731084 1085# GOOD: c.lui t1, 104854810860x11 0x731087 1088# GOOD: c.lui t1, 104854910890x15 0x731090 1091# GOOD: c.lui t1, 104855010920x19 0x731093 1094# GOOD: c.lui t1, 104855110950x1D 0x731096 1097# GOOD: c.lui t1, 104855210980x21 0x731099 1100# GOOD: c.lui t1, 104855311010x25 0x731102 1103# GOOD: c.lui t1, 104855411040x29 0x731105 1106# GOOD: c.lui t1, 104855511070x2D 0x731108 1109# GOOD: c.lui t1, 104855611100x31 0x731111 1112# GOOD: c.lui t1, 104855711130x35 0x731114 1115# GOOD: c.lui t1, 104855811160x39 0x731117 1118# GOOD: c.lui t1, 104855911190x3D 0x731120 1121# GOOD: c.lui t1, 104856011220x41 0x731123 1124# GOOD: c.lui t1, 104856111250x45 0x731126 1127# GOOD: c.lui t1, 104856211280x49 0x731129 1130# GOOD: c.lui t1, 104856311310x4D 0x731132 1133# GOOD: c.lui t1, 104856411340x51 0x731135 1136# GOOD: c.lui t1, 104856511370x55 0x731138 1139# GOOD: c.lui t1, 104856611400x59 0x731141 1142# GOOD: c.lui t1, 104856711430x5D 0x731144 1145# GOOD: c.lui t1, 104856811460x61 0x731147 1148# GOOD: c.lui t1, 104856911490x65 0x731150 1151# GOOD: c.lui t1, 104857011520x69 0x731153 1154# GOOD: c.lui t1, 104857111550x6D 0x731156 1157# GOOD: c.lui t1, 104857211580x71 0x731159 1160# GOOD: c.lui t1, 104857311610x75 0x731162 1163# GOOD: c.lui t1, 104857411640x79 0x731165 1166# GOOD: c.lui t1, 104857511670x7D 0x731168 1169# BAD: invalid instruction encoding1170# MOP: c.mop.711710x81 0x631172 1173# GOOD: c.lui t2, 111740x85 0x631175 1176# GOOD: c.lui t2, 211770x89 0x631178 1179# GOOD: c.lui t2, 311800x8D 0x631181 1182# GOOD: c.lui t2, 411830x91 0x631184 1185# GOOD: c.lui t2, 511860x95 0x631187 1188# GOOD: c.lui t2, 611890x99 0x631190 1191# GOOD: c.lui t2, 711920x9D 0x631193 1194# GOOD: c.lui t2, 811950xA1 0x631196 1197# GOOD: c.lui t2, 911980xA5 0x631199 1200# GOOD: c.lui t2, 1012010xA9 0x631202 1203# GOOD: c.lui t2, 1112040xAD 0x631205 1206# GOOD: c.lui t2, 1212070xB1 0x631208 1209# GOOD: c.lui t2, 1312100xB5 0x631211 1212# GOOD: c.lui t2, 1412130xB9 0x631214 1215# GOOD: c.lui t2, 1512160xBD 0x631217 1218# GOOD: c.lui t2, 1612190xC1 0x631220 1221# GOOD: c.lui t2, 1712220xC5 0x631223 1224# GOOD: c.lui t2, 1812250xC9 0x631226 1227# GOOD: c.lui t2, 1912280xCD 0x631229 1230# GOOD: c.lui t2, 2012310xD1 0x631232 1233# GOOD: c.lui t2, 2112340xD5 0x631235 1236# GOOD: c.lui t2, 2212370xD9 0x631238 1239# GOOD: c.lui t2, 2312400xDD 0x631241 1242# GOOD: c.lui t2, 2412430xE1 0x631244 1245# GOOD: c.lui t2, 2512460xE5 0x631247 1248# GOOD: c.lui t2, 2612490xE9 0x631250 1251# GOOD: c.lui t2, 2712520xED 0x631253 1254# GOOD: c.lui t2, 2812550xF1 0x631256 1257# GOOD: c.lui t2, 2912580xF5 0x631259 1260# GOOD: c.lui t2, 3012610xF9 0x631262 1263# GOOD: c.lui t2, 3112640xFD 0x631265 1266# GOOD: c.lui t2, 104854412670x81 0x731268 1269# GOOD: c.lui t2, 104854512700x85 0x731271 1272# GOOD: c.lui t2, 104854612730x89 0x731274 1275# GOOD: c.lui t2, 104854712760x8D 0x731277 1278# GOOD: c.lui t2, 104854812790x91 0x731280 1281# GOOD: c.lui t2, 104854912820x95 0x731283 1284# GOOD: c.lui t2, 104855012850x99 0x731286 1287# GOOD: c.lui t2, 104855112880x9D 0x731289 1290# GOOD: c.lui t2, 104855212910xA1 0x731292 1293# GOOD: c.lui t2, 104855312940xA5 0x731295 1296# GOOD: c.lui t2, 104855412970xA9 0x731298 1299# GOOD: c.lui t2, 104855513000xAD 0x731301 1302# GOOD: c.lui t2, 104855613030xB1 0x731304 1305# GOOD: c.lui t2, 104855713060xB5 0x731307 1308# GOOD: c.lui t2, 104855813090xB9 0x731310 1311# GOOD: c.lui t2, 104855913120xBD 0x731313 1314# GOOD: c.lui t2, 104856013150xC1 0x731316 1317# GOOD: c.lui t2, 104856113180xC5 0x731319 1320# GOOD: c.lui t2, 104856213210xC9 0x731322 1323# GOOD: c.lui t2, 104856313240xCD 0x731325 1326# GOOD: c.lui t2, 104856413270xD1 0x731328 1329# GOOD: c.lui t2, 104856513300xD5 0x731331 1332# GOOD: c.lui t2, 104856613330xD9 0x731334 1335# GOOD: c.lui t2, 104856713360xDD 0x731337 1338# GOOD: c.lui t2, 104856813390xE1 0x731340 1341# GOOD: c.lui t2, 104856913420xE5 0x731343 1344# GOOD: c.lui t2, 104857013450xE9 0x731346 1347# GOOD: c.lui t2, 104857113480xED 0x731349 1350# GOOD: c.lui t2, 104857213510xF1 0x731352 1353# GOOD: c.lui t2, 104857313540xF5 0x731355 1356# GOOD: c.lui t2, 104857413570xF9 0x731358 1359# GOOD: c.lui t2, 104857513600xFD 0x731361 1362# BAD: invalid instruction encoding13630x01 0x641364 1365# GOOD: c.lui s0, 113660x05 0x641367 1368# GOOD: c.lui s0, 213690x09 0x641370 1371# GOOD: c.lui s0, 313720x0D 0x641373 1374# GOOD: c.lui s0, 413750x11 0x641376 1377# GOOD: c.lui s0, 513780x15 0x641379 1380# GOOD: c.lui s0, 613810x19 0x641382 1383# GOOD: c.lui s0, 713840x1D 0x641385 1386# GOOD: c.lui s0, 813870x21 0x641388 1389# GOOD: c.lui s0, 913900x25 0x641391 1392# GOOD: c.lui s0, 1013930x29 0x641394 1395# GOOD: c.lui s0, 1113960x2D 0x641397 1398# GOOD: c.lui s0, 1213990x31 0x641400 1401# GOOD: c.lui s0, 1314020x35 0x641403 1404# GOOD: c.lui s0, 1414050x39 0x641406 1407# GOOD: c.lui s0, 1514080x3D 0x641409 1410# GOOD: c.lui s0, 1614110x41 0x641412 1413# GOOD: c.lui s0, 1714140x45 0x641415 1416# GOOD: c.lui s0, 1814170x49 0x641418 1419# GOOD: c.lui s0, 1914200x4D 0x641421 1422# GOOD: c.lui s0, 2014230x51 0x641424 1425# GOOD: c.lui s0, 2114260x55 0x641427 1428# GOOD: c.lui s0, 2214290x59 0x641430 1431# GOOD: c.lui s0, 2314320x5D 0x641433 1434# GOOD: c.lui s0, 2414350x61 0x641436 1437# GOOD: c.lui s0, 2514380x65 0x641439 1440# GOOD: c.lui s0, 2614410x69 0x641442 1443# GOOD: c.lui s0, 2714440x6D 0x641445 1446# GOOD: c.lui s0, 2814470x71 0x641448 1449# GOOD: c.lui s0, 2914500x75 0x641451 1452# GOOD: c.lui s0, 3014530x79 0x641454 1455# GOOD: c.lui s0, 3114560x7D 0x641457 1458# GOOD: c.lui s0, 104854414590x01 0x741460 1461# GOOD: c.lui s0, 104854514620x05 0x741463 1464# GOOD: c.lui s0, 104854614650x09 0x741466 1467# GOOD: c.lui s0, 104854714680x0D 0x741469 1470# GOOD: c.lui s0, 104854814710x11 0x741472 1473# GOOD: c.lui s0, 104854914740x15 0x741475 1476# GOOD: c.lui s0, 104855014770x19 0x741478 1479# GOOD: c.lui s0, 104855114800x1D 0x741481 1482# GOOD: c.lui s0, 104855214830x21 0x741484 1485# GOOD: c.lui s0, 104855314860x25 0x741487 1488# GOOD: c.lui s0, 104855414890x29 0x741490 1491# GOOD: c.lui s0, 104855514920x2D 0x741493 1494# GOOD: c.lui s0, 104855614950x31 0x741496 1497# GOOD: c.lui s0, 104855714980x35 0x741499 1500# GOOD: c.lui s0, 104855815010x39 0x741502 1503# GOOD: c.lui s0, 104855915040x3D 0x741505 1506# GOOD: c.lui s0, 104856015070x41 0x741508 1509# GOOD: c.lui s0, 104856115100x45 0x741511 1512# GOOD: c.lui s0, 104856215130x49 0x741514 1515# GOOD: c.lui s0, 104856315160x4D 0x741517 1518# GOOD: c.lui s0, 104856415190x51 0x741520 1521# GOOD: c.lui s0, 104856515220x55 0x741523 1524# GOOD: c.lui s0, 104856615250x59 0x741526 1527# GOOD: c.lui s0, 104856715280x5D 0x741529 1530# GOOD: c.lui s0, 104856815310x61 0x741532 1533# GOOD: c.lui s0, 104856915340x65 0x741535 1536# GOOD: c.lui s0, 104857015370x69 0x741538 1539# GOOD: c.lui s0, 104857115400x6D 0x741541 1542# GOOD: c.lui s0, 104857215430x71 0x741544 1545# GOOD: c.lui s0, 104857315460x75 0x741547 1548# GOOD: c.lui s0, 104857415490x79 0x741550 1551# GOOD: c.lui s0, 104857515520x7D 0x741553 1554# BAD: invalid instruction encoding1555# MOP: c.mop.915560x81 0x641557 1558# GOOD: c.lui s1, 115590x85 0x641560 1561# GOOD: c.lui s1, 215620x89 0x641563 1564# GOOD: c.lui s1, 315650x8D 0x641566 1567# GOOD: c.lui s1, 415680x91 0x641569 1570# GOOD: c.lui s1, 515710x95 0x641572 1573# GOOD: c.lui s1, 615740x99 0x641575 1576# GOOD: c.lui s1, 715770x9D 0x641578 1579# GOOD: c.lui s1, 815800xA1 0x641581 1582# GOOD: c.lui s1, 915830xA5 0x641584 1585# GOOD: c.lui s1, 1015860xA9 0x641587 1588# GOOD: c.lui s1, 1115890xAD 0x641590 1591# GOOD: c.lui s1, 1215920xB1 0x641593 1594# GOOD: c.lui s1, 1315950xB5 0x641596 1597# GOOD: c.lui s1, 1415980xB9 0x641599 1600# GOOD: c.lui s1, 1516010xBD 0x641602 1603# GOOD: c.lui s1, 1616040xC1 0x641605 1606# GOOD: c.lui s1, 1716070xC5 0x641608 1609# GOOD: c.lui s1, 1816100xC9 0x641611 1612# GOOD: c.lui s1, 1916130xCD 0x641614 1615# GOOD: c.lui s1, 2016160xD1 0x641617 1618# GOOD: c.lui s1, 2116190xD5 0x641620 1621# GOOD: c.lui s1, 2216220xD9 0x641623 1624# GOOD: c.lui s1, 2316250xDD 0x641626 1627# GOOD: c.lui s1, 2416280xE1 0x641629 1630# GOOD: c.lui s1, 2516310xE5 0x641632 1633# GOOD: c.lui s1, 2616340xE9 0x641635 1636# GOOD: c.lui s1, 2716370xED 0x641638 1639# GOOD: c.lui s1, 2816400xF1 0x641641 1642# GOOD: c.lui s1, 2916430xF5 0x641644 1645# GOOD: c.lui s1, 3016460xF9 0x641647 1648# GOOD: c.lui s1, 3116490xFD 0x641650 1651# GOOD: c.lui s1, 104854416520x81 0x741653 1654# GOOD: c.lui s1, 104854516550x85 0x741656 1657# GOOD: c.lui s1, 104854616580x89 0x741659 1660# GOOD: c.lui s1, 104854716610x8D 0x741662 1663# GOOD: c.lui s1, 104854816640x91 0x741665 1666# GOOD: c.lui s1, 104854916670x95 0x741668 1669# GOOD: c.lui s1, 104855016700x99 0x741671 1672# GOOD: c.lui s1, 104855116730x9D 0x741674 1675# GOOD: c.lui s1, 104855216760xA1 0x741677 1678# GOOD: c.lui s1, 104855316790xA5 0x741680 1681# GOOD: c.lui s1, 104855416820xA9 0x741683 1684# GOOD: c.lui s1, 104855516850xAD 0x741686 1687# GOOD: c.lui s1, 104855616880xB1 0x741689 1690# GOOD: c.lui s1, 104855716910xB5 0x741692 1693# GOOD: c.lui s1, 104855816940xB9 0x741695 1696# GOOD: c.lui s1, 104855916970xBD 0x741698 1699# GOOD: c.lui s1, 104856017000xC1 0x741701 1702# GOOD: c.lui s1, 104856117030xC5 0x741704 1705# GOOD: c.lui s1, 104856217060xC9 0x741707 1708# GOOD: c.lui s1, 104856317090xCD 0x741710 1711# GOOD: c.lui s1, 104856417120xD1 0x741713 1714# GOOD: c.lui s1, 104856517150xD5 0x741716 1717# GOOD: c.lui s1, 104856617180xD9 0x741719 1720# GOOD: c.lui s1, 104856717210xDD 0x741722 1723# GOOD: c.lui s1, 104856817240xE1 0x741725 1726# GOOD: c.lui s1, 104856917270xE5 0x741728 1729# GOOD: c.lui s1, 104857017300xE9 0x741731 1732# GOOD: c.lui s1, 104857117330xED 0x741734 1735# GOOD: c.lui s1, 104857217360xF1 0x741737 1738# GOOD: c.lui s1, 104857317390xF5 0x741740 1741# GOOD: c.lui s1, 104857417420xF9 0x741743 1744# GOOD: c.lui s1, 104857517450xFD 0x741746 1747# BAD: invalid instruction encoding17480x01 0x651749 1750# GOOD: c.lui a0, 117510x05 0x651752 1753# GOOD: c.lui a0, 217540x09 0x651755 1756# GOOD: c.lui a0, 317570x0D 0x651758 1759# GOOD: c.lui a0, 417600x11 0x651761 1762# GOOD: c.lui a0, 517630x15 0x651764 1765# GOOD: c.lui a0, 617660x19 0x651767 1768# GOOD: c.lui a0, 717690x1D 0x651770 1771# GOOD: c.lui a0, 817720x21 0x651773 1774# GOOD: c.lui a0, 917750x25 0x651776 1777# GOOD: c.lui a0, 1017780x29 0x651779 1780# GOOD: c.lui a0, 1117810x2D 0x651782 1783# GOOD: c.lui a0, 1217840x31 0x651785 1786# GOOD: c.lui a0, 1317870x35 0x651788 1789# GOOD: c.lui a0, 1417900x39 0x651791 1792# GOOD: c.lui a0, 1517930x3D 0x651794 1795# GOOD: c.lui a0, 1617960x41 0x651797 1798# GOOD: c.lui a0, 1717990x45 0x651800 1801# GOOD: c.lui a0, 1818020x49 0x651803 1804# GOOD: c.lui a0, 1918050x4D 0x651806 1807# GOOD: c.lui a0, 2018080x51 0x651809 1810# GOOD: c.lui a0, 2118110x55 0x651812 1813# GOOD: c.lui a0, 2218140x59 0x651815 1816# GOOD: c.lui a0, 2318170x5D 0x651818 1819# GOOD: c.lui a0, 2418200x61 0x651821 1822# GOOD: c.lui a0, 2518230x65 0x651824 1825# GOOD: c.lui a0, 2618260x69 0x651827 1828# GOOD: c.lui a0, 2718290x6D 0x651830 1831# GOOD: c.lui a0, 2818320x71 0x651833 1834# GOOD: c.lui a0, 2918350x75 0x651836 1837# GOOD: c.lui a0, 3018380x79 0x651839 1840# GOOD: c.lui a0, 3118410x7D 0x651842 1843# GOOD: c.lui a0, 104854418440x01 0x751845 1846# GOOD: c.lui a0, 104854518470x05 0x751848 1849# GOOD: c.lui a0, 104854618500x09 0x751851 1852# GOOD: c.lui a0, 104854718530x0D 0x751854 1855# GOOD: c.lui a0, 104854818560x11 0x751857 1858# GOOD: c.lui a0, 104854918590x15 0x751860 1861# GOOD: c.lui a0, 104855018620x19 0x751863 1864# GOOD: c.lui a0, 104855118650x1D 0x751866 1867# GOOD: c.lui a0, 104855218680x21 0x751869 1870# GOOD: c.lui a0, 104855318710x25 0x751872 1873# GOOD: c.lui a0, 104855418740x29 0x751875 1876# GOOD: c.lui a0, 104855518770x2D 0x751878 1879# GOOD: c.lui a0, 104855618800x31 0x751881 1882# GOOD: c.lui a0, 104855718830x35 0x751884 1885# GOOD: c.lui a0, 104855818860x39 0x751887 1888# GOOD: c.lui a0, 104855918890x3D 0x751890 1891# GOOD: c.lui a0, 104856018920x41 0x751893 1894# GOOD: c.lui a0, 104856118950x45 0x751896 1897# GOOD: c.lui a0, 104856218980x49 0x751899 1900# GOOD: c.lui a0, 104856319010x4D 0x751902 1903# GOOD: c.lui a0, 104856419040x51 0x751905 1906# GOOD: c.lui a0, 104856519070x55 0x751908 1909# GOOD: c.lui a0, 104856619100x59 0x751911 1912# GOOD: c.lui a0, 104856719130x5D 0x751914 1915# GOOD: c.lui a0, 104856819160x61 0x751917 1918# GOOD: c.lui a0, 104856919190x65 0x751920 1921# GOOD: c.lui a0, 104857019220x69 0x751923 1924# GOOD: c.lui a0, 104857119250x6D 0x751926 1927# GOOD: c.lui a0, 104857219280x71 0x751929 1930# GOOD: c.lui a0, 104857319310x75 0x751932 1933# GOOD: c.lui a0, 104857419340x79 0x751935 1936# GOOD: c.lui a0, 104857519370x7D 0x751938 1939# BAD: invalid instruction encoding1940# MOP: c.mop.1119410x81 0x651942 1943# GOOD: c.lui a1, 119440x85 0x651945 1946# GOOD: c.lui a1, 219470x89 0x651948 1949# GOOD: c.lui a1, 319500x8D 0x651951 1952# GOOD: c.lui a1, 419530x91 0x651954 1955# GOOD: c.lui a1, 519560x95 0x651957 1958# GOOD: c.lui a1, 619590x99 0x651960 1961# GOOD: c.lui a1, 719620x9D 0x651963 1964# GOOD: c.lui a1, 819650xA1 0x651966 1967# GOOD: c.lui a1, 919680xA5 0x651969 1970# GOOD: c.lui a1, 1019710xA9 0x651972 1973# GOOD: c.lui a1, 1119740xAD 0x651975 1976# GOOD: c.lui a1, 1219770xB1 0x651978 1979# GOOD: c.lui a1, 1319800xB5 0x651981 1982# GOOD: c.lui a1, 1419830xB9 0x651984 1985# GOOD: c.lui a1, 1519860xBD 0x651987 1988# GOOD: c.lui a1, 1619890xC1 0x651990 1991# GOOD: c.lui a1, 1719920xC5 0x651993 1994# GOOD: c.lui a1, 1819950xC9 0x651996 1997# GOOD: c.lui a1, 1919980xCD 0x651999 2000# GOOD: c.lui a1, 2020010xD1 0x652002 2003# GOOD: c.lui a1, 2120040xD5 0x652005 2006# GOOD: c.lui a1, 2220070xD9 0x652008 2009# GOOD: c.lui a1, 2320100xDD 0x652011 2012# GOOD: c.lui a1, 2420130xE1 0x652014 2015# GOOD: c.lui a1, 2520160xE5 0x652017 2018# GOOD: c.lui a1, 2620190xE9 0x652020 2021# GOOD: c.lui a1, 2720220xED 0x652023 2024# GOOD: c.lui a1, 2820250xF1 0x652026 2027# GOOD: c.lui a1, 2920280xF5 0x652029 2030# GOOD: c.lui a1, 3020310xF9 0x652032 2033# GOOD: c.lui a1, 3120340xFD 0x652035 2036# GOOD: c.lui a1, 104854420370x81 0x752038 2039# GOOD: c.lui a1, 104854520400x85 0x752041 2042# GOOD: c.lui a1, 104854620430x89 0x752044 2045# GOOD: c.lui a1, 104854720460x8D 0x752047 2048# GOOD: c.lui a1, 104854820490x91 0x752050 2051# GOOD: c.lui a1, 104854920520x95 0x752053 2054# GOOD: c.lui a1, 104855020550x99 0x752056 2057# GOOD: c.lui a1, 104855120580x9D 0x752059 2060# GOOD: c.lui a1, 104855220610xA1 0x752062 2063# GOOD: c.lui a1, 104855320640xA5 0x752065 2066# GOOD: c.lui a1, 104855420670xA9 0x752068 2069# GOOD: c.lui a1, 104855520700xAD 0x752071 2072# GOOD: c.lui a1, 104855620730xB1 0x752074 2075# GOOD: c.lui a1, 104855720760xB5 0x752077 2078# GOOD: c.lui a1, 104855820790xB9 0x752080 2081# GOOD: c.lui a1, 104855920820xBD 0x752083 2084# GOOD: c.lui a1, 104856020850xC1 0x752086 2087# GOOD: c.lui a1, 104856120880xC5 0x752089 2090# GOOD: c.lui a1, 104856220910xC9 0x752092 2093# GOOD: c.lui a1, 104856320940xCD 0x752095 2096# GOOD: c.lui a1, 104856420970xD1 0x752098 2099# GOOD: c.lui a1, 104856521000xD5 0x752101 2102# GOOD: c.lui a1, 104856621030xD9 0x752104 2105# GOOD: c.lui a1, 104856721060xDD 0x752107 2108# GOOD: c.lui a1, 104856821090xE1 0x752110 2111# GOOD: c.lui a1, 104856921120xE5 0x752113 2114# GOOD: c.lui a1, 104857021150xE9 0x752116 2117# GOOD: c.lui a1, 104857121180xED 0x752119 2120# GOOD: c.lui a1, 104857221210xF1 0x752122 2123# GOOD: c.lui a1, 104857321240xF5 0x752125 2126# GOOD: c.lui a1, 104857421270xF9 0x752128 2129# GOOD: c.lui a1, 104857521300xFD 0x752131 2132# BAD: invalid instruction encoding21330x01 0x662134 2135# GOOD: c.lui a2, 121360x05 0x662137 2138# GOOD: c.lui a2, 221390x09 0x662140 2141# GOOD: c.lui a2, 321420x0D 0x662143 2144# GOOD: c.lui a2, 421450x11 0x662146 2147# GOOD: c.lui a2, 521480x15 0x662149 2150# GOOD: c.lui a2, 621510x19 0x662152 2153# GOOD: c.lui a2, 721540x1D 0x662155 2156# GOOD: c.lui a2, 821570x21 0x662158 2159# GOOD: c.lui a2, 921600x25 0x662161 2162# GOOD: c.lui a2, 1021630x29 0x662164 2165# GOOD: c.lui a2, 1121660x2D 0x662167 2168# GOOD: c.lui a2, 1221690x31 0x662170 2171# GOOD: c.lui a2, 1321720x35 0x662173 2174# GOOD: c.lui a2, 1421750x39 0x662176 2177# GOOD: c.lui a2, 1521780x3D 0x662179 2180# GOOD: c.lui a2, 1621810x41 0x662182 2183# GOOD: c.lui a2, 1721840x45 0x662185 2186# GOOD: c.lui a2, 1821870x49 0x662188 2189# GOOD: c.lui a2, 1921900x4D 0x662191 2192# GOOD: c.lui a2, 2021930x51 0x662194 2195# GOOD: c.lui a2, 2121960x55 0x662197 2198# GOOD: c.lui a2, 2221990x59 0x662200 2201# GOOD: c.lui a2, 2322020x5D 0x662203 2204# GOOD: c.lui a2, 2422050x61 0x662206 2207# GOOD: c.lui a2, 2522080x65 0x662209 2210# GOOD: c.lui a2, 2622110x69 0x662212 2213# GOOD: c.lui a2, 2722140x6D 0x662215 2216# GOOD: c.lui a2, 2822170x71 0x662218 2219# GOOD: c.lui a2, 2922200x75 0x662221 2222# GOOD: c.lui a2, 3022230x79 0x662224 2225# GOOD: c.lui a2, 3122260x7D 0x662227 2228# GOOD: c.lui a2, 104854422290x01 0x762230 2231# GOOD: c.lui a2, 104854522320x05 0x762233 2234# GOOD: c.lui a2, 104854622350x09 0x762236 2237# GOOD: c.lui a2, 104854722380x0D 0x762239 2240# GOOD: c.lui a2, 104854822410x11 0x762242 2243# GOOD: c.lui a2, 104854922440x15 0x762245 2246# GOOD: c.lui a2, 104855022470x19 0x762248 2249# GOOD: c.lui a2, 104855122500x1D 0x762251 2252# GOOD: c.lui a2, 104855222530x21 0x762254 2255# GOOD: c.lui a2, 104855322560x25 0x762257 2258# GOOD: c.lui a2, 104855422590x29 0x762260 2261# GOOD: c.lui a2, 104855522620x2D 0x762263 2264# GOOD: c.lui a2, 104855622650x31 0x762266 2267# GOOD: c.lui a2, 104855722680x35 0x762269 2270# GOOD: c.lui a2, 104855822710x39 0x762272 2273# GOOD: c.lui a2, 104855922740x3D 0x762275 2276# GOOD: c.lui a2, 104856022770x41 0x762278 2279# GOOD: c.lui a2, 104856122800x45 0x762281 2282# GOOD: c.lui a2, 104856222830x49 0x762284 2285# GOOD: c.lui a2, 104856322860x4D 0x762287 2288# GOOD: c.lui a2, 104856422890x51 0x762290 2291# GOOD: c.lui a2, 104856522920x55 0x762293 2294# GOOD: c.lui a2, 104856622950x59 0x762296 2297# GOOD: c.lui a2, 104856722980x5D 0x762299 2300# GOOD: c.lui a2, 104856823010x61 0x762302 2303# GOOD: c.lui a2, 104856923040x65 0x762305 2306# GOOD: c.lui a2, 104857023070x69 0x762308 2309# GOOD: c.lui a2, 104857123100x6D 0x762311 2312# GOOD: c.lui a2, 104857223130x71 0x762314 2315# GOOD: c.lui a2, 104857323160x75 0x762317 2318# GOOD: c.lui a2, 104857423190x79 0x762320 2321# GOOD: c.lui a2, 104857523220x7D 0x762323 2324# BAD: invalid instruction encoding2325# MOP: c.mop.1323260x81 0x662327 2328# GOOD: c.lui a3, 123290x85 0x662330 2331# GOOD: c.lui a3, 223320x89 0x662333 2334# GOOD: c.lui a3, 323350x8D 0x662336 2337# GOOD: c.lui a3, 423380x91 0x662339 2340# GOOD: c.lui a3, 523410x95 0x662342 2343# GOOD: c.lui a3, 623440x99 0x662345 2346# GOOD: c.lui a3, 723470x9D 0x662348 2349# GOOD: c.lui a3, 823500xA1 0x662351 2352# GOOD: c.lui a3, 923530xA5 0x662354 2355# GOOD: c.lui a3, 1023560xA9 0x662357 2358# GOOD: c.lui a3, 1123590xAD 0x662360 2361# GOOD: c.lui a3, 1223620xB1 0x662363 2364# GOOD: c.lui a3, 1323650xB5 0x662366 2367# GOOD: c.lui a3, 1423680xB9 0x662369 2370# GOOD: c.lui a3, 1523710xBD 0x662372 2373# GOOD: c.lui a3, 1623740xC1 0x662375 2376# GOOD: c.lui a3, 1723770xC5 0x662378 2379# GOOD: c.lui a3, 1823800xC9 0x662381 2382# GOOD: c.lui a3, 1923830xCD 0x662384 2385# GOOD: c.lui a3, 2023860xD1 0x662387 2388# GOOD: c.lui a3, 2123890xD5 0x662390 2391# GOOD: c.lui a3, 2223920xD9 0x662393 2394# GOOD: c.lui a3, 2323950xDD 0x662396 2397# GOOD: c.lui a3, 2423980xE1 0x662399 2400# GOOD: c.lui a3, 2524010xE5 0x662402 2403# GOOD: c.lui a3, 2624040xE9 0x662405 2406# GOOD: c.lui a3, 2724070xED 0x662408 2409# GOOD: c.lui a3, 2824100xF1 0x662411 2412# GOOD: c.lui a3, 2924130xF5 0x662414 2415# GOOD: c.lui a3, 3024160xF9 0x662417 2418# GOOD: c.lui a3, 3124190xFD 0x662420 2421# GOOD: c.lui a3, 104854424220x81 0x762423 2424# GOOD: c.lui a3, 104854524250x85 0x762426 2427# GOOD: c.lui a3, 104854624280x89 0x762429 2430# GOOD: c.lui a3, 104854724310x8D 0x762432 2433# GOOD: c.lui a3, 104854824340x91 0x762435 2436# GOOD: c.lui a3, 104854924370x95 0x762438 2439# GOOD: c.lui a3, 104855024400x99 0x762441 2442# GOOD: c.lui a3, 104855124430x9D 0x762444 2445# GOOD: c.lui a3, 104855224460xA1 0x762447 2448# GOOD: c.lui a3, 104855324490xA5 0x762450 2451# GOOD: c.lui a3, 104855424520xA9 0x762453 2454# GOOD: c.lui a3, 104855524550xAD 0x762456 2457# GOOD: c.lui a3, 104855624580xB1 0x762459 2460# GOOD: c.lui a3, 104855724610xB5 0x762462 2463# GOOD: c.lui a3, 104855824640xB9 0x762465 2466# GOOD: c.lui a3, 104855924670xBD 0x762468 2469# GOOD: c.lui a3, 104856024700xC1 0x762471 2472# GOOD: c.lui a3, 104856124730xC5 0x762474 2475# GOOD: c.lui a3, 104856224760xC9 0x762477 2478# GOOD: c.lui a3, 104856324790xCD 0x762480 2481# GOOD: c.lui a3, 104856424820xD1 0x762483 2484# GOOD: c.lui a3, 104856524850xD5 0x762486 2487# GOOD: c.lui a3, 104856624880xD9 0x762489 2490# GOOD: c.lui a3, 104856724910xDD 0x762492 2493# GOOD: c.lui a3, 104856824940xE1 0x762495 2496# GOOD: c.lui a3, 104856924970xE5 0x762498 2499# GOOD: c.lui a3, 104857025000xE9 0x762501 2502# GOOD: c.lui a3, 104857125030xED 0x762504 2505# GOOD: c.lui a3, 104857225060xF1 0x762507 2508# GOOD: c.lui a3, 104857325090xF5 0x762510 2511# GOOD: c.lui a3, 104857425120xF9 0x762513 2514# GOOD: c.lui a3, 104857525150xFD 0x762516 2517# BAD: invalid instruction encoding25180x01 0x672519 2520# GOOD: c.lui a4, 125210x05 0x672522 2523# GOOD: c.lui a4, 225240x09 0x672525 2526# GOOD: c.lui a4, 325270x0D 0x672528 2529# GOOD: c.lui a4, 425300x11 0x672531 2532# GOOD: c.lui a4, 525330x15 0x672534 2535# GOOD: c.lui a4, 625360x19 0x672537 2538# GOOD: c.lui a4, 725390x1D 0x672540 2541# GOOD: c.lui a4, 825420x21 0x672543 2544# GOOD: c.lui a4, 925450x25 0x672546 2547# GOOD: c.lui a4, 1025480x29 0x672549 2550# GOOD: c.lui a4, 1125510x2D 0x672552 2553# GOOD: c.lui a4, 1225540x31 0x672555 2556# GOOD: c.lui a4, 1325570x35 0x672558 2559# GOOD: c.lui a4, 1425600x39 0x672561 2562# GOOD: c.lui a4, 1525630x3D 0x672564 2565# GOOD: c.lui a4, 1625660x41 0x672567 2568# GOOD: c.lui a4, 1725690x45 0x672570 2571# GOOD: c.lui a4, 1825720x49 0x672573 2574# GOOD: c.lui a4, 1925750x4D 0x672576 2577# GOOD: c.lui a4, 2025780x51 0x672579 2580# GOOD: c.lui a4, 2125810x55 0x672582 2583# GOOD: c.lui a4, 2225840x59 0x672585 2586# GOOD: c.lui a4, 2325870x5D 0x672588 2589# GOOD: c.lui a4, 2425900x61 0x672591 2592# GOOD: c.lui a4, 2525930x65 0x672594 2595# GOOD: c.lui a4, 2625960x69 0x672597 2598# GOOD: c.lui a4, 2725990x6D 0x672600 2601# GOOD: c.lui a4, 2826020x71 0x672603 2604# GOOD: c.lui a4, 2926050x75 0x672606 2607# GOOD: c.lui a4, 3026080x79 0x672609 2610# GOOD: c.lui a4, 3126110x7D 0x672612 2613# GOOD: c.lui a4, 104854426140x01 0x772615 2616# GOOD: c.lui a4, 104854526170x05 0x772618 2619# GOOD: c.lui a4, 104854626200x09 0x772621 2622# GOOD: c.lui a4, 104854726230x0D 0x772624 2625# GOOD: c.lui a4, 104854826260x11 0x772627 2628# GOOD: c.lui a4, 104854926290x15 0x772630 2631# GOOD: c.lui a4, 104855026320x19 0x772633 2634# GOOD: c.lui a4, 104855126350x1D 0x772636 2637# GOOD: c.lui a4, 104855226380x21 0x772639 2640# GOOD: c.lui a4, 104855326410x25 0x772642 2643# GOOD: c.lui a4, 104855426440x29 0x772645 2646# GOOD: c.lui a4, 104855526470x2D 0x772648 2649# GOOD: c.lui a4, 104855626500x31 0x772651 2652# GOOD: c.lui a4, 104855726530x35 0x772654 2655# GOOD: c.lui a4, 104855826560x39 0x772657 2658# GOOD: c.lui a4, 104855926590x3D 0x772660 2661# GOOD: c.lui a4, 104856026620x41 0x772663 2664# GOOD: c.lui a4, 104856126650x45 0x772666 2667# GOOD: c.lui a4, 104856226680x49 0x772669 2670# GOOD: c.lui a4, 104856326710x4D 0x772672 2673# GOOD: c.lui a4, 104856426740x51 0x772675 2676# GOOD: c.lui a4, 104856526770x55 0x772678 2679# GOOD: c.lui a4, 104856626800x59 0x772681 2682# GOOD: c.lui a4, 104856726830x5D 0x772684 2685# GOOD: c.lui a4, 104856826860x61 0x772687 2688# GOOD: c.lui a4, 104856926890x65 0x772690 2691# GOOD: c.lui a4, 104857026920x69 0x772693 2694# GOOD: c.lui a4, 104857126950x6D 0x772696 2697# GOOD: c.lui a4, 104857226980x71 0x772699 2700# GOOD: c.lui a4, 104857327010x75 0x772702 2703# GOOD: c.lui a4, 104857427040x79 0x772705 2706# GOOD: c.lui a4, 104857527070x7D 0x772708 2709# BAD: invalid instruction encoding2710# MOP: c.mop.1527110x81 0x672712 2713# GOOD: c.lui a5, 127140x85 0x672715 2716# GOOD: c.lui a5, 227170x89 0x672718 2719# GOOD: c.lui a5, 327200x8D 0x672721 2722# GOOD: c.lui a5, 427230x91 0x672724 2725# GOOD: c.lui a5, 527260x95 0x672727 2728# GOOD: c.lui a5, 627290x99 0x672730 2731# GOOD: c.lui a5, 727320x9D 0x672733 2734# GOOD: c.lui a5, 827350xA1 0x672736 2737# GOOD: c.lui a5, 927380xA5 0x672739 2740# GOOD: c.lui a5, 1027410xA9 0x672742 2743# GOOD: c.lui a5, 1127440xAD 0x672745 2746# GOOD: c.lui a5, 1227470xB1 0x672748 2749# GOOD: c.lui a5, 1327500xB5 0x672751 2752# GOOD: c.lui a5, 1427530xB9 0x672754 2755# GOOD: c.lui a5, 1527560xBD 0x672757 2758# GOOD: c.lui a5, 1627590xC1 0x672760 2761# GOOD: c.lui a5, 1727620xC5 0x672763 2764# GOOD: c.lui a5, 1827650xC9 0x672766 2767# GOOD: c.lui a5, 1927680xCD 0x672769 2770# GOOD: c.lui a5, 2027710xD1 0x672772 2773# GOOD: c.lui a5, 2127740xD5 0x672775 2776# GOOD: c.lui a5, 2227770xD9 0x672778 2779# GOOD: c.lui a5, 2327800xDD 0x672781 2782# GOOD: c.lui a5, 2427830xE1 0x672784 2785# GOOD: c.lui a5, 2527860xE5 0x672787 2788# GOOD: c.lui a5, 2627890xE9 0x672790 2791# GOOD: c.lui a5, 2727920xED 0x672793 2794# GOOD: c.lui a5, 2827950xF1 0x672796 2797# GOOD: c.lui a5, 2927980xF5 0x672799 2800# GOOD: c.lui a5, 3028010xF9 0x672802 2803# GOOD: c.lui a5, 3128040xFD 0x672805 2806# GOOD: c.lui a5, 104854428070x81 0x772808 2809# GOOD: c.lui a5, 104854528100x85 0x772811 2812# GOOD: c.lui a5, 104854628130x89 0x772814 2815# GOOD: c.lui a5, 104854728160x8D 0x772817 2818# GOOD: c.lui a5, 104854828190x91 0x772820 2821# GOOD: c.lui a5, 104854928220x95 0x772823 2824# GOOD: c.lui a5, 104855028250x99 0x772826 2827# GOOD: c.lui a5, 104855128280x9D 0x772829 2830# GOOD: c.lui a5, 104855228310xA1 0x772832 2833# GOOD: c.lui a5, 104855328340xA5 0x772835 2836# GOOD: c.lui a5, 104855428370xA9 0x772838 2839# GOOD: c.lui a5, 104855528400xAD 0x772841 2842# GOOD: c.lui a5, 104855628430xB1 0x772844 2845# GOOD: c.lui a5, 104855728460xB5 0x772847 2848# GOOD: c.lui a5, 104855828490xB9 0x772850 2851# GOOD: c.lui a5, 104855928520xBD 0x772853 2854# GOOD: c.lui a5, 104856028550xC1 0x772856 2857# GOOD: c.lui a5, 104856128580xC5 0x772859 2860# GOOD: c.lui a5, 104856228610xC9 0x772862 2863# GOOD: c.lui a5, 104856328640xCD 0x772865 2866# GOOD: c.lui a5, 104856428670xD1 0x772868 2869# GOOD: c.lui a5, 104856528700xD5 0x772871 2872# GOOD: c.lui a5, 104856628730xD9 0x772874 2875# GOOD: c.lui a5, 104856728760xDD 0x772877 2878# GOOD: c.lui a5, 104856828790xE1 0x772880 2881# GOOD: c.lui a5, 104856928820xE5 0x772883 2884# GOOD: c.lui a5, 104857028850xE9 0x772886 2887# GOOD: c.lui a5, 104857128880xED 0x772889 2890# GOOD: c.lui a5, 104857228910xF1 0x772892 2893# GOOD: c.lui a5, 104857328940xF5 0x772895 2896# GOOD: c.lui a5, 104857428970xF9 0x772898 2899# GOOD: c.lui a5, 104857529000xFD 0x772901 2902# BAD: invalid instruction encoding29030x01 0x682904 2905# GOOD: c.lui a6, 129060x05 0x682907 2908# GOOD: c.lui a6, 229090x09 0x682910 2911# GOOD: c.lui a6, 329120x0D 0x682913 2914# GOOD: c.lui a6, 429150x11 0x682916 2917# GOOD: c.lui a6, 529180x15 0x682919 2920# GOOD: c.lui a6, 629210x19 0x682922 2923# GOOD: c.lui a6, 729240x1D 0x682925 2926# GOOD: c.lui a6, 829270x21 0x682928 2929# GOOD: c.lui a6, 929300x25 0x682931 2932# GOOD: c.lui a6, 1029330x29 0x682934 2935# GOOD: c.lui a6, 1129360x2D 0x682937 2938# GOOD: c.lui a6, 1229390x31 0x682940 2941# GOOD: c.lui a6, 1329420x35 0x682943 2944# GOOD: c.lui a6, 1429450x39 0x682946 2947# GOOD: c.lui a6, 1529480x3D 0x682949 2950# GOOD: c.lui a6, 1629510x41 0x682952 2953# GOOD: c.lui a6, 1729540x45 0x682955 2956# GOOD: c.lui a6, 1829570x49 0x682958 2959# GOOD: c.lui a6, 1929600x4D 0x682961 2962# GOOD: c.lui a6, 2029630x51 0x682964 2965# GOOD: c.lui a6, 2129660x55 0x682967 2968# GOOD: c.lui a6, 2229690x59 0x682970 2971# GOOD: c.lui a6, 2329720x5D 0x682973 2974# GOOD: c.lui a6, 2429750x61 0x682976 2977# GOOD: c.lui a6, 2529780x65 0x682979 2980# GOOD: c.lui a6, 2629810x69 0x682982 2983# GOOD: c.lui a6, 2729840x6D 0x682985 2986# GOOD: c.lui a6, 2829870x71 0x682988 2989# GOOD: c.lui a6, 2929900x75 0x682991 2992# GOOD: c.lui a6, 3029930x79 0x682994 2995# GOOD: c.lui a6, 3129960x7D 0x682997 2998# GOOD: c.lui a6, 104854429990x01 0x783000 3001# GOOD: c.lui a6, 104854530020x05 0x783003 3004# GOOD: c.lui a6, 104854630050x09 0x783006 3007# GOOD: c.lui a6, 104854730080x0D 0x783009 3010# GOOD: c.lui a6, 104854830110x11 0x783012 3013# GOOD: c.lui a6, 104854930140x15 0x783015 3016# GOOD: c.lui a6, 104855030170x19 0x783018 3019# GOOD: c.lui a6, 104855130200x1D 0x783021 3022# GOOD: c.lui a6, 104855230230x21 0x783024 3025# GOOD: c.lui a6, 104855330260x25 0x783027 3028# GOOD: c.lui a6, 104855430290x29 0x783030 3031# GOOD: c.lui a6, 104855530320x2D 0x783033 3034# GOOD: c.lui a6, 104855630350x31 0x783036 3037# GOOD: c.lui a6, 104855730380x35 0x783039 3040# GOOD: c.lui a6, 104855830410x39 0x783042 3043# GOOD: c.lui a6, 104855930440x3D 0x783045 3046# GOOD: c.lui a6, 104856030470x41 0x783048 3049# GOOD: c.lui a6, 104856130500x45 0x783051 3052# GOOD: c.lui a6, 104856230530x49 0x783054 3055# GOOD: c.lui a6, 104856330560x4D 0x783057 3058# GOOD: c.lui a6, 104856430590x51 0x783060 3061# GOOD: c.lui a6, 104856530620x55 0x783063 3064# GOOD: c.lui a6, 104856630650x59 0x783066 3067# GOOD: c.lui a6, 104856730680x5D 0x783069 3070# GOOD: c.lui a6, 104856830710x61 0x783072 3073# GOOD: c.lui a6, 104856930740x65 0x783075 3076# GOOD: c.lui a6, 104857030770x69 0x783078 3079# GOOD: c.lui a6, 104857130800x6D 0x783081 3082# GOOD: c.lui a6, 104857230830x71 0x783084 3085# GOOD: c.lui a6, 104857330860x75 0x783087 3088# GOOD: c.lui a6, 104857430890x79 0x783090 3091# GOOD: c.lui a6, 104857530920x7D 0x783093 3094# BAD: invalid instruction encoding30950x81 0x683096 3097# GOOD: c.lui a7, 130980x85 0x683099 3100# GOOD: c.lui a7, 231010x89 0x683102 3103# GOOD: c.lui a7, 331040x8D 0x683105 3106# GOOD: c.lui a7, 431070x91 0x683108 3109# GOOD: c.lui a7, 531100x95 0x683111 3112# GOOD: c.lui a7, 631130x99 0x683114 3115# GOOD: c.lui a7, 731160x9D 0x683117 3118# GOOD: c.lui a7, 831190xA1 0x683120 3121# GOOD: c.lui a7, 931220xA5 0x683123 3124# GOOD: c.lui a7, 1031250xA9 0x683126 3127# GOOD: c.lui a7, 1131280xAD 0x683129 3130# GOOD: c.lui a7, 1231310xB1 0x683132 3133# GOOD: c.lui a7, 1331340xB5 0x683135 3136# GOOD: c.lui a7, 1431370xB9 0x683138 3139# GOOD: c.lui a7, 1531400xBD 0x683141 3142# GOOD: c.lui a7, 1631430xC1 0x683144 3145# GOOD: c.lui a7, 1731460xC5 0x683147 3148# GOOD: c.lui a7, 1831490xC9 0x683150 3151# GOOD: c.lui a7, 1931520xCD 0x683153 3154# GOOD: c.lui a7, 2031550xD1 0x683156 3157# GOOD: c.lui a7, 2131580xD5 0x683159 3160# GOOD: c.lui a7, 2231610xD9 0x683162 3163# GOOD: c.lui a7, 2331640xDD 0x683165 3166# GOOD: c.lui a7, 2431670xE1 0x683168 3169# GOOD: c.lui a7, 2531700xE5 0x683171 3172# GOOD: c.lui a7, 2631730xE9 0x683174 3175# GOOD: c.lui a7, 2731760xED 0x683177 3178# GOOD: c.lui a7, 2831790xF1 0x683180 3181# GOOD: c.lui a7, 2931820xF5 0x683183 3184# GOOD: c.lui a7, 3031850xF9 0x683186 3187# GOOD: c.lui a7, 3131880xFD 0x683189 3190# GOOD: c.lui a7, 104854431910x81 0x783192 3193# GOOD: c.lui a7, 104854531940x85 0x783195 3196# GOOD: c.lui a7, 104854631970x89 0x783198 3199# GOOD: c.lui a7, 104854732000x8D 0x783201 3202# GOOD: c.lui a7, 104854832030x91 0x783204 3205# GOOD: c.lui a7, 104854932060x95 0x783207 3208# GOOD: c.lui a7, 104855032090x99 0x783210 3211# GOOD: c.lui a7, 104855132120x9D 0x783213 3214# GOOD: c.lui a7, 104855232150xA1 0x783216 3217# GOOD: c.lui a7, 104855332180xA5 0x783219 3220# GOOD: c.lui a7, 104855432210xA9 0x783222 3223# GOOD: c.lui a7, 104855532240xAD 0x783225 3226# GOOD: c.lui a7, 104855632270xB1 0x783228 3229# GOOD: c.lui a7, 104855732300xB5 0x783231 3232# GOOD: c.lui a7, 104855832330xB9 0x783234 3235# GOOD: c.lui a7, 104855932360xBD 0x783237 3238# GOOD: c.lui a7, 104856032390xC1 0x783240 3241# GOOD: c.lui a7, 104856132420xC5 0x783243 3244# GOOD: c.lui a7, 104856232450xC9 0x783246 3247# GOOD: c.lui a7, 104856332480xCD 0x783249 3250# GOOD: c.lui a7, 104856432510xD1 0x783252 3253# GOOD: c.lui a7, 104856532540xD5 0x783255 3256# GOOD: c.lui a7, 104856632570xD9 0x783258 3259# GOOD: c.lui a7, 104856732600xDD 0x783261 3262# GOOD: c.lui a7, 104856832630xE1 0x783264 3265# GOOD: c.lui a7, 104856932660xE5 0x783267 3268# GOOD: c.lui a7, 104857032690xE9 0x783270 3271# GOOD: c.lui a7, 104857132720xED 0x783273 3274# GOOD: c.lui a7, 104857232750xF1 0x783276 3277# GOOD: c.lui a7, 104857332780xF5 0x783279 3280# GOOD: c.lui a7, 104857432810xF9 0x783282 3283# GOOD: c.lui a7, 104857532840xFD 0x783285 3286# BAD: invalid instruction encoding32870x01 0x693288 3289# GOOD: c.lui s2, 132900x05 0x693291 3292# GOOD: c.lui s2, 232930x09 0x693294 3295# GOOD: c.lui s2, 332960x0D 0x693297 3298# GOOD: c.lui s2, 432990x11 0x693300 3301# GOOD: c.lui s2, 533020x15 0x693303 3304# GOOD: c.lui s2, 633050x19 0x693306 3307# GOOD: c.lui s2, 733080x1D 0x693309 3310# GOOD: c.lui s2, 833110x21 0x693312 3313# GOOD: c.lui s2, 933140x25 0x693315 3316# GOOD: c.lui s2, 1033170x29 0x693318 3319# GOOD: c.lui s2, 1133200x2D 0x693321 3322# GOOD: c.lui s2, 1233230x31 0x693324 3325# GOOD: c.lui s2, 1333260x35 0x693327 3328# GOOD: c.lui s2, 1433290x39 0x693330 3331# GOOD: c.lui s2, 1533320x3D 0x693333 3334# GOOD: c.lui s2, 1633350x41 0x693336 3337# GOOD: c.lui s2, 1733380x45 0x693339 3340# GOOD: c.lui s2, 1833410x49 0x693342 3343# GOOD: c.lui s2, 1933440x4D 0x693345 3346# GOOD: c.lui s2, 2033470x51 0x693348 3349# GOOD: c.lui s2, 2133500x55 0x693351 3352# GOOD: c.lui s2, 2233530x59 0x693354 3355# GOOD: c.lui s2, 2333560x5D 0x693357 3358# GOOD: c.lui s2, 2433590x61 0x693360 3361# GOOD: c.lui s2, 2533620x65 0x693363 3364# GOOD: c.lui s2, 2633650x69 0x693366 3367# GOOD: c.lui s2, 2733680x6D 0x693369 3370# GOOD: c.lui s2, 2833710x71 0x693372 3373# GOOD: c.lui s2, 2933740x75 0x693375 3376# GOOD: c.lui s2, 3033770x79 0x693378 3379# GOOD: c.lui s2, 3133800x7D 0x693381 3382# GOOD: c.lui s2, 104854433830x01 0x793384 3385# GOOD: c.lui s2, 104854533860x05 0x793387 3388# GOOD: c.lui s2, 104854633890x09 0x793390 3391# GOOD: c.lui s2, 104854733920x0D 0x793393 3394# GOOD: c.lui s2, 104854833950x11 0x793396 3397# GOOD: c.lui s2, 104854933980x15 0x793399 3400# GOOD: c.lui s2, 104855034010x19 0x793402 3403# GOOD: c.lui s2, 104855134040x1D 0x793405 3406# GOOD: c.lui s2, 104855234070x21 0x793408 3409# GOOD: c.lui s2, 104855334100x25 0x793411 3412# GOOD: c.lui s2, 104855434130x29 0x793414 3415# GOOD: c.lui s2, 104855534160x2D 0x793417 3418# GOOD: c.lui s2, 104855634190x31 0x793420 3421# GOOD: c.lui s2, 104855734220x35 0x793423 3424# GOOD: c.lui s2, 104855834250x39 0x793426 3427# GOOD: c.lui s2, 104855934280x3D 0x793429 3430# GOOD: c.lui s2, 104856034310x41 0x793432 3433# GOOD: c.lui s2, 104856134340x45 0x793435 3436# GOOD: c.lui s2, 104856234370x49 0x793438 3439# GOOD: c.lui s2, 104856334400x4D 0x793441 3442# GOOD: c.lui s2, 104856434430x51 0x793444 3445# GOOD: c.lui s2, 104856534460x55 0x793447 3448# GOOD: c.lui s2, 104856634490x59 0x793450 3451# GOOD: c.lui s2, 104856734520x5D 0x793453 3454# GOOD: c.lui s2, 104856834550x61 0x793456 3457# GOOD: c.lui s2, 104856934580x65 0x793459 3460# GOOD: c.lui s2, 104857034610x69 0x793462 3463# GOOD: c.lui s2, 104857134640x6D 0x793465 3466# GOOD: c.lui s2, 104857234670x71 0x793468 3469# GOOD: c.lui s2, 104857334700x75 0x793471 3472# GOOD: c.lui s2, 104857434730x79 0x793474 3475# GOOD: c.lui s2, 104857534760x7D 0x793477 3478# BAD: invalid instruction encoding34790x81 0x693480 3481# GOOD: c.lui s3, 134820x85 0x693483 3484# GOOD: c.lui s3, 234850x89 0x693486 3487# GOOD: c.lui s3, 334880x8D 0x693489 3490# GOOD: c.lui s3, 434910x91 0x693492 3493# GOOD: c.lui s3, 534940x95 0x693495 3496# GOOD: c.lui s3, 634970x99 0x693498 3499# GOOD: c.lui s3, 735000x9D 0x693501 3502# GOOD: c.lui s3, 835030xA1 0x693504 3505# GOOD: c.lui s3, 935060xA5 0x693507 3508# GOOD: c.lui s3, 1035090xA9 0x693510 3511# GOOD: c.lui s3, 1135120xAD 0x693513 3514# GOOD: c.lui s3, 1235150xB1 0x693516 3517# GOOD: c.lui s3, 1335180xB5 0x693519 3520# GOOD: c.lui s3, 1435210xB9 0x693522 3523# GOOD: c.lui s3, 1535240xBD 0x693525 3526# GOOD: c.lui s3, 1635270xC1 0x693528 3529# GOOD: c.lui s3, 1735300xC5 0x693531 3532# GOOD: c.lui s3, 1835330xC9 0x693534 3535# GOOD: c.lui s3, 1935360xCD 0x693537 3538# GOOD: c.lui s3, 2035390xD1 0x693540 3541# GOOD: c.lui s3, 2135420xD5 0x693543 3544# GOOD: c.lui s3, 2235450xD9 0x693546 3547# GOOD: c.lui s3, 2335480xDD 0x693549 3550# GOOD: c.lui s3, 2435510xE1 0x693552 3553# GOOD: c.lui s3, 2535540xE5 0x693555 3556# GOOD: c.lui s3, 2635570xE9 0x693558 3559# GOOD: c.lui s3, 2735600xED 0x693561 3562# GOOD: c.lui s3, 2835630xF1 0x693564 3565# GOOD: c.lui s3, 2935660xF5 0x693567 3568# GOOD: c.lui s3, 3035690xF9 0x693570 3571# GOOD: c.lui s3, 3135720xFD 0x693573 3574# GOOD: c.lui s3, 104854435750x81 0x793576 3577# GOOD: c.lui s3, 104854535780x85 0x793579 3580# GOOD: c.lui s3, 104854635810x89 0x793582 3583# GOOD: c.lui s3, 104854735840x8D 0x793585 3586# GOOD: c.lui s3, 104854835870x91 0x793588 3589# GOOD: c.lui s3, 104854935900x95 0x793591 3592# GOOD: c.lui s3, 104855035930x99 0x793594 3595# GOOD: c.lui s3, 104855135960x9D 0x793597 3598# GOOD: c.lui s3, 104855235990xA1 0x793600 3601# GOOD: c.lui s3, 104855336020xA5 0x793603 3604# GOOD: c.lui s3, 104855436050xA9 0x793606 3607# GOOD: c.lui s3, 104855536080xAD 0x793609 3610# GOOD: c.lui s3, 104855636110xB1 0x793612 3613# GOOD: c.lui s3, 104855736140xB5 0x793615 3616# GOOD: c.lui s3, 104855836170xB9 0x793618 3619# GOOD: c.lui s3, 104855936200xBD 0x793621 3622# GOOD: c.lui s3, 104856036230xC1 0x793624 3625# GOOD: c.lui s3, 104856136260xC5 0x793627 3628# GOOD: c.lui s3, 104856236290xC9 0x793630 3631# GOOD: c.lui s3, 104856336320xCD 0x793633 3634# GOOD: c.lui s3, 104856436350xD1 0x793636 3637# GOOD: c.lui s3, 104856536380xD5 0x793639 3640# GOOD: c.lui s3, 104856636410xD9 0x793642 3643# GOOD: c.lui s3, 104856736440xDD 0x793645 3646# GOOD: c.lui s3, 104856836470xE1 0x793648 3649# GOOD: c.lui s3, 104856936500xE5 0x793651 3652# GOOD: c.lui s3, 104857036530xE9 0x793654 3655# GOOD: c.lui s3, 104857136560xED 0x793657 3658# GOOD: c.lui s3, 104857236590xF1 0x793660 3661# GOOD: c.lui s3, 104857336620xF5 0x793663 3664# GOOD: c.lui s3, 104857436650xF9 0x793666 3667# GOOD: c.lui s3, 104857536680xFD 0x793669 3670# BAD: invalid instruction encoding36710x01 0x6A3672 3673# GOOD: c.lui s4, 136740x05 0x6A3675 3676# GOOD: c.lui s4, 236770x09 0x6A3678 3679# GOOD: c.lui s4, 336800x0D 0x6A3681 3682# GOOD: c.lui s4, 436830x11 0x6A3684 3685# GOOD: c.lui s4, 536860x15 0x6A3687 3688# GOOD: c.lui s4, 636890x19 0x6A3690 3691# GOOD: c.lui s4, 736920x1D 0x6A3693 3694# GOOD: c.lui s4, 836950x21 0x6A3696 3697# GOOD: c.lui s4, 936980x25 0x6A3699 3700# GOOD: c.lui s4, 1037010x29 0x6A3702 3703# GOOD: c.lui s4, 1137040x2D 0x6A3705 3706# GOOD: c.lui s4, 1237070x31 0x6A3708 3709# GOOD: c.lui s4, 1337100x35 0x6A3711 3712# GOOD: c.lui s4, 1437130x39 0x6A3714 3715# GOOD: c.lui s4, 1537160x3D 0x6A3717 3718# GOOD: c.lui s4, 1637190x41 0x6A3720 3721# GOOD: c.lui s4, 1737220x45 0x6A3723 3724# GOOD: c.lui s4, 1837250x49 0x6A3726 3727# GOOD: c.lui s4, 1937280x4D 0x6A3729 3730# GOOD: c.lui s4, 2037310x51 0x6A3732 3733# GOOD: c.lui s4, 2137340x55 0x6A3735 3736# GOOD: c.lui s4, 2237370x59 0x6A3738 3739# GOOD: c.lui s4, 2337400x5D 0x6A3741 3742# GOOD: c.lui s4, 2437430x61 0x6A3744 3745# GOOD: c.lui s4, 2537460x65 0x6A3747 3748# GOOD: c.lui s4, 2637490x69 0x6A3750 3751# GOOD: c.lui s4, 2737520x6D 0x6A3753 3754# GOOD: c.lui s4, 2837550x71 0x6A3756 3757# GOOD: c.lui s4, 2937580x75 0x6A3759 3760# GOOD: c.lui s4, 3037610x79 0x6A3762 3763# GOOD: c.lui s4, 3137640x7D 0x6A3765 3766# GOOD: c.lui s4, 104854437670x01 0x7A3768 3769# GOOD: c.lui s4, 104854537700x05 0x7A3771 3772# GOOD: c.lui s4, 104854637730x09 0x7A3774 3775# GOOD: c.lui s4, 104854737760x0D 0x7A3777 3778# GOOD: c.lui s4, 104854837790x11 0x7A3780 3781# GOOD: c.lui s4, 104854937820x15 0x7A3783 3784# GOOD: c.lui s4, 104855037850x19 0x7A3786 3787# GOOD: c.lui s4, 104855137880x1D 0x7A3789 3790# GOOD: c.lui s4, 104855237910x21 0x7A3792 3793# GOOD: c.lui s4, 104855337940x25 0x7A3795 3796# GOOD: c.lui s4, 104855437970x29 0x7A3798 3799# GOOD: c.lui s4, 104855538000x2D 0x7A3801 3802# GOOD: c.lui s4, 104855638030x31 0x7A3804 3805# GOOD: c.lui s4, 104855738060x35 0x7A3807 3808# GOOD: c.lui s4, 104855838090x39 0x7A3810 3811# GOOD: c.lui s4, 104855938120x3D 0x7A3813 3814# GOOD: c.lui s4, 104856038150x41 0x7A3816 3817# GOOD: c.lui s4, 104856138180x45 0x7A3819 3820# GOOD: c.lui s4, 104856238210x49 0x7A3822 3823# GOOD: c.lui s4, 104856338240x4D 0x7A3825 3826# GOOD: c.lui s4, 104856438270x51 0x7A3828 3829# GOOD: c.lui s4, 104856538300x55 0x7A3831 3832# GOOD: c.lui s4, 104856638330x59 0x7A3834 3835# GOOD: c.lui s4, 104856738360x5D 0x7A3837 3838# GOOD: c.lui s4, 104856838390x61 0x7A3840 3841# GOOD: c.lui s4, 104856938420x65 0x7A3843 3844# GOOD: c.lui s4, 104857038450x69 0x7A3846 3847# GOOD: c.lui s4, 104857138480x6D 0x7A3849 3850# GOOD: c.lui s4, 104857238510x71 0x7A3852 3853# GOOD: c.lui s4, 104857338540x75 0x7A3855 3856# GOOD: c.lui s4, 104857438570x79 0x7A3858 3859# GOOD: c.lui s4, 104857538600x7D 0x7A3861 3862# BAD: invalid instruction encoding38630x81 0x6A3864 3865# GOOD: c.lui s5, 138660x85 0x6A3867 3868# GOOD: c.lui s5, 238690x89 0x6A3870 3871# GOOD: c.lui s5, 338720x8D 0x6A3873 3874# GOOD: c.lui s5, 438750x91 0x6A3876 3877# GOOD: c.lui s5, 538780x95 0x6A3879 3880# GOOD: c.lui s5, 638810x99 0x6A3882 3883# GOOD: c.lui s5, 738840x9D 0x6A3885 3886# GOOD: c.lui s5, 838870xA1 0x6A3888 3889# GOOD: c.lui s5, 938900xA5 0x6A3891 3892# GOOD: c.lui s5, 1038930xA9 0x6A3894 3895# GOOD: c.lui s5, 1138960xAD 0x6A3897 3898# GOOD: c.lui s5, 1238990xB1 0x6A3900 3901# GOOD: c.lui s5, 1339020xB5 0x6A3903 3904# GOOD: c.lui s5, 1439050xB9 0x6A3906 3907# GOOD: c.lui s5, 1539080xBD 0x6A3909 3910# GOOD: c.lui s5, 1639110xC1 0x6A3912 3913# GOOD: c.lui s5, 1739140xC5 0x6A3915 3916# GOOD: c.lui s5, 1839170xC9 0x6A3918 3919# GOOD: c.lui s5, 1939200xCD 0x6A3921 3922# GOOD: c.lui s5, 2039230xD1 0x6A3924 3925# GOOD: c.lui s5, 2139260xD5 0x6A3927 3928# GOOD: c.lui s5, 2239290xD9 0x6A3930 3931# GOOD: c.lui s5, 2339320xDD 0x6A3933 3934# GOOD: c.lui s5, 2439350xE1 0x6A3936 3937# GOOD: c.lui s5, 2539380xE5 0x6A3939 3940# GOOD: c.lui s5, 2639410xE9 0x6A3942 3943# GOOD: c.lui s5, 2739440xED 0x6A3945 3946# GOOD: c.lui s5, 2839470xF1 0x6A3948 3949# GOOD: c.lui s5, 2939500xF5 0x6A3951 3952# GOOD: c.lui s5, 3039530xF9 0x6A3954 3955# GOOD: c.lui s5, 3139560xFD 0x6A3957 3958# GOOD: c.lui s5, 104854439590x81 0x7A3960 3961# GOOD: c.lui s5, 104854539620x85 0x7A3963 3964# GOOD: c.lui s5, 104854639650x89 0x7A3966 3967# GOOD: c.lui s5, 104854739680x8D 0x7A3969 3970# GOOD: c.lui s5, 104854839710x91 0x7A3972 3973# GOOD: c.lui s5, 104854939740x95 0x7A3975 3976# GOOD: c.lui s5, 104855039770x99 0x7A3978 3979# GOOD: c.lui s5, 104855139800x9D 0x7A3981 3982# GOOD: c.lui s5, 104855239830xA1 0x7A3984 3985# GOOD: c.lui s5, 104855339860xA5 0x7A3987 3988# GOOD: c.lui s5, 104855439890xA9 0x7A3990 3991# GOOD: c.lui s5, 104855539920xAD 0x7A3993 3994# GOOD: c.lui s5, 104855639950xB1 0x7A3996 3997# GOOD: c.lui s5, 104855739980xB5 0x7A3999 4000# GOOD: c.lui s5, 104855840010xB9 0x7A4002 4003# GOOD: c.lui s5, 104855940040xBD 0x7A4005 4006# GOOD: c.lui s5, 104856040070xC1 0x7A4008 4009# GOOD: c.lui s5, 104856140100xC5 0x7A4011 4012# GOOD: c.lui s5, 104856240130xC9 0x7A4014 4015# GOOD: c.lui s5, 104856340160xCD 0x7A4017 4018# GOOD: c.lui s5, 104856440190xD1 0x7A4020 4021# GOOD: c.lui s5, 104856540220xD5 0x7A4023 4024# GOOD: c.lui s5, 104856640250xD9 0x7A4026 4027# GOOD: c.lui s5, 104856740280xDD 0x7A4029 4030# GOOD: c.lui s5, 104856840310xE1 0x7A4032 4033# GOOD: c.lui s5, 104856940340xE5 0x7A4035 4036# GOOD: c.lui s5, 104857040370xE9 0x7A4038 4039# GOOD: c.lui s5, 104857140400xED 0x7A4041 4042# GOOD: c.lui s5, 104857240430xF1 0x7A4044 4045# GOOD: c.lui s5, 104857340460xF5 0x7A4047 4048# GOOD: c.lui s5, 104857440490xF9 0x7A4050 4051# GOOD: c.lui s5, 104857540520xFD 0x7A4053 4054# BAD: invalid instruction encoding40550x01 0x6B4056 4057# GOOD: c.lui s6, 140580x05 0x6B4059 4060# GOOD: c.lui s6, 240610x09 0x6B4062 4063# GOOD: c.lui s6, 340640x0D 0x6B4065 4066# GOOD: c.lui s6, 440670x11 0x6B4068 4069# GOOD: c.lui s6, 540700x15 0x6B4071 4072# GOOD: c.lui s6, 640730x19 0x6B4074 4075# GOOD: c.lui s6, 740760x1D 0x6B4077 4078# GOOD: c.lui s6, 840790x21 0x6B4080 4081# GOOD: c.lui s6, 940820x25 0x6B4083 4084# GOOD: c.lui s6, 1040850x29 0x6B4086 4087# GOOD: c.lui s6, 1140880x2D 0x6B4089 4090# GOOD: c.lui s6, 1240910x31 0x6B4092 4093# GOOD: c.lui s6, 1340940x35 0x6B4095 4096# GOOD: c.lui s6, 1440970x39 0x6B4098 4099# GOOD: c.lui s6, 1541000x3D 0x6B4101 4102# GOOD: c.lui s6, 1641030x41 0x6B4104 4105# GOOD: c.lui s6, 1741060x45 0x6B4107 4108# GOOD: c.lui s6, 1841090x49 0x6B4110 4111# GOOD: c.lui s6, 1941120x4D 0x6B4113 4114# GOOD: c.lui s6, 2041150x51 0x6B4116 4117# GOOD: c.lui s6, 2141180x55 0x6B4119 4120# GOOD: c.lui s6, 2241210x59 0x6B4122 4123# GOOD: c.lui s6, 2341240x5D 0x6B4125 4126# GOOD: c.lui s6, 2441270x61 0x6B4128 4129# GOOD: c.lui s6, 2541300x65 0x6B4131 4132# GOOD: c.lui s6, 2641330x69 0x6B4134 4135# GOOD: c.lui s6, 2741360x6D 0x6B4137 4138# GOOD: c.lui s6, 2841390x71 0x6B4140 4141# GOOD: c.lui s6, 2941420x75 0x6B4143 4144# GOOD: c.lui s6, 3041450x79 0x6B4146 4147# GOOD: c.lui s6, 3141480x7D 0x6B4149 4150# GOOD: c.lui s6, 104854441510x01 0x7B4152 4153# GOOD: c.lui s6, 104854541540x05 0x7B4155 4156# GOOD: c.lui s6, 104854641570x09 0x7B4158 4159# GOOD: c.lui s6, 104854741600x0D 0x7B4161 4162# GOOD: c.lui s6, 104854841630x11 0x7B4164 4165# GOOD: c.lui s6, 104854941660x15 0x7B4167 4168# GOOD: c.lui s6, 104855041690x19 0x7B4170 4171# GOOD: c.lui s6, 104855141720x1D 0x7B4173 4174# GOOD: c.lui s6, 104855241750x21 0x7B4176 4177# GOOD: c.lui s6, 104855341780x25 0x7B4179 4180# GOOD: c.lui s6, 104855441810x29 0x7B4182 4183# GOOD: c.lui s6, 104855541840x2D 0x7B4185 4186# GOOD: c.lui s6, 104855641870x31 0x7B4188 4189# GOOD: c.lui s6, 104855741900x35 0x7B4191 4192# GOOD: c.lui s6, 104855841930x39 0x7B4194 4195# GOOD: c.lui s6, 104855941960x3D 0x7B4197 4198# GOOD: c.lui s6, 104856041990x41 0x7B4200 4201# GOOD: c.lui s6, 104856142020x45 0x7B4203 4204# GOOD: c.lui s6, 104856242050x49 0x7B4206 4207# GOOD: c.lui s6, 104856342080x4D 0x7B4209 4210# GOOD: c.lui s6, 104856442110x51 0x7B4212 4213# GOOD: c.lui s6, 104856542140x55 0x7B4215 4216# GOOD: c.lui s6, 104856642170x59 0x7B4218 4219# GOOD: c.lui s6, 104856742200x5D 0x7B4221 4222# GOOD: c.lui s6, 104856842230x61 0x7B4224 4225# GOOD: c.lui s6, 104856942260x65 0x7B4227 4228# GOOD: c.lui s6, 104857042290x69 0x7B4230 4231# GOOD: c.lui s6, 104857142320x6D 0x7B4233 4234# GOOD: c.lui s6, 104857242350x71 0x7B4236 4237# GOOD: c.lui s6, 104857342380x75 0x7B4239 4240# GOOD: c.lui s6, 104857442410x79 0x7B4242 4243# GOOD: c.lui s6, 104857542440x7D 0x7B4245 4246# BAD: invalid instruction encoding42470x81 0x6B4248 4249# GOOD: c.lui s7, 142500x85 0x6B4251 4252# GOOD: c.lui s7, 242530x89 0x6B4254 4255# GOOD: c.lui s7, 342560x8D 0x6B4257 4258# GOOD: c.lui s7, 442590x91 0x6B4260 4261# GOOD: c.lui s7, 542620x95 0x6B4263 4264# GOOD: c.lui s7, 642650x99 0x6B4266 4267# GOOD: c.lui s7, 742680x9D 0x6B4269 4270# GOOD: c.lui s7, 842710xA1 0x6B4272 4273# GOOD: c.lui s7, 942740xA5 0x6B4275 4276# GOOD: c.lui s7, 1042770xA9 0x6B4278 4279# GOOD: c.lui s7, 1142800xAD 0x6B4281 4282# GOOD: c.lui s7, 1242830xB1 0x6B4284 4285# GOOD: c.lui s7, 1342860xB5 0x6B4287 4288# GOOD: c.lui s7, 1442890xB9 0x6B4290 4291# GOOD: c.lui s7, 1542920xBD 0x6B4293 4294# GOOD: c.lui s7, 1642950xC1 0x6B4296 4297# GOOD: c.lui s7, 1742980xC5 0x6B4299 4300# GOOD: c.lui s7, 1843010xC9 0x6B4302 4303# GOOD: c.lui s7, 1943040xCD 0x6B4305 4306# GOOD: c.lui s7, 2043070xD1 0x6B4308 4309# GOOD: c.lui s7, 2143100xD5 0x6B4311 4312# GOOD: c.lui s7, 2243130xD9 0x6B4314 4315# GOOD: c.lui s7, 2343160xDD 0x6B4317 4318# GOOD: c.lui s7, 2443190xE1 0x6B4320 4321# GOOD: c.lui s7, 2543220xE5 0x6B4323 4324# GOOD: c.lui s7, 2643250xE9 0x6B4326 4327# GOOD: c.lui s7, 2743280xED 0x6B4329 4330# GOOD: c.lui s7, 2843310xF1 0x6B4332 4333# GOOD: c.lui s7, 2943340xF5 0x6B4335 4336# GOOD: c.lui s7, 3043370xF9 0x6B4338 4339# GOOD: c.lui s7, 3143400xFD 0x6B4341 4342# GOOD: c.lui s7, 104854443430x81 0x7B4344 4345# GOOD: c.lui s7, 104854543460x85 0x7B4347 4348# GOOD: c.lui s7, 104854643490x89 0x7B4350 4351# GOOD: c.lui s7, 104854743520x8D 0x7B4353 4354# GOOD: c.lui s7, 104854843550x91 0x7B4356 4357# GOOD: c.lui s7, 104854943580x95 0x7B4359 4360# GOOD: c.lui s7, 104855043610x99 0x7B4362 4363# GOOD: c.lui s7, 104855143640x9D 0x7B4365 4366# GOOD: c.lui s7, 104855243670xA1 0x7B4368 4369# GOOD: c.lui s7, 104855343700xA5 0x7B4371 4372# GOOD: c.lui s7, 104855443730xA9 0x7B4374 4375# GOOD: c.lui s7, 104855543760xAD 0x7B4377 4378# GOOD: c.lui s7, 104855643790xB1 0x7B4380 4381# GOOD: c.lui s7, 104855743820xB5 0x7B4383 4384# GOOD: c.lui s7, 104855843850xB9 0x7B4386 4387# GOOD: c.lui s7, 104855943880xBD 0x7B4389 4390# GOOD: c.lui s7, 104856043910xC1 0x7B4392 4393# GOOD: c.lui s7, 104856143940xC5 0x7B4395 4396# GOOD: c.lui s7, 104856243970xC9 0x7B4398 4399# GOOD: c.lui s7, 104856344000xCD 0x7B4401 4402# GOOD: c.lui s7, 104856444030xD1 0x7B4404 4405# GOOD: c.lui s7, 104856544060xD5 0x7B4407 4408# GOOD: c.lui s7, 104856644090xD9 0x7B4410 4411# GOOD: c.lui s7, 104856744120xDD 0x7B4413 4414# GOOD: c.lui s7, 104856844150xE1 0x7B4416 4417# GOOD: c.lui s7, 104856944180xE5 0x7B4419 4420# GOOD: c.lui s7, 104857044210xE9 0x7B4422 4423# GOOD: c.lui s7, 104857144240xED 0x7B4425 4426# GOOD: c.lui s7, 104857244270xF1 0x7B4428 4429# GOOD: c.lui s7, 104857344300xF5 0x7B4431 4432# GOOD: c.lui s7, 104857444330xF9 0x7B4434 4435# GOOD: c.lui s7, 104857544360xFD 0x7B4437 4438# BAD: invalid instruction encoding44390x01 0x6C4440 4441# GOOD: c.lui s8, 144420x05 0x6C4443 4444# GOOD: c.lui s8, 244450x09 0x6C4446 4447# GOOD: c.lui s8, 344480x0D 0x6C4449 4450# GOOD: c.lui s8, 444510x11 0x6C4452 4453# GOOD: c.lui s8, 544540x15 0x6C4455 4456# GOOD: c.lui s8, 644570x19 0x6C4458 4459# GOOD: c.lui s8, 744600x1D 0x6C4461 4462# GOOD: c.lui s8, 844630x21 0x6C4464 4465# GOOD: c.lui s8, 944660x25 0x6C4467 4468# GOOD: c.lui s8, 1044690x29 0x6C4470 4471# GOOD: c.lui s8, 1144720x2D 0x6C4473 4474# GOOD: c.lui s8, 1244750x31 0x6C4476 4477# GOOD: c.lui s8, 1344780x35 0x6C4479 4480# GOOD: c.lui s8, 1444810x39 0x6C4482 4483# GOOD: c.lui s8, 1544840x3D 0x6C4485 4486# GOOD: c.lui s8, 1644870x41 0x6C4488 4489# GOOD: c.lui s8, 1744900x45 0x6C4491 4492# GOOD: c.lui s8, 1844930x49 0x6C4494 4495# GOOD: c.lui s8, 1944960x4D 0x6C4497 4498# GOOD: c.lui s8, 2044990x51 0x6C4500 4501# GOOD: c.lui s8, 2145020x55 0x6C4503 4504# GOOD: c.lui s8, 2245050x59 0x6C4506 4507# GOOD: c.lui s8, 2345080x5D 0x6C4509 4510# GOOD: c.lui s8, 2445110x61 0x6C4512 4513# GOOD: c.lui s8, 2545140x65 0x6C4515 4516# GOOD: c.lui s8, 2645170x69 0x6C4518 4519# GOOD: c.lui s8, 2745200x6D 0x6C4521 4522# GOOD: c.lui s8, 2845230x71 0x6C4524 4525# GOOD: c.lui s8, 2945260x75 0x6C4527 4528# GOOD: c.lui s8, 3045290x79 0x6C4530 4531# GOOD: c.lui s8, 3145320x7D 0x6C4533 4534# GOOD: c.lui s8, 104854445350x01 0x7C4536 4537# GOOD: c.lui s8, 104854545380x05 0x7C4539 4540# GOOD: c.lui s8, 104854645410x09 0x7C4542 4543# GOOD: c.lui s8, 104854745440x0D 0x7C4545 4546# GOOD: c.lui s8, 104854845470x11 0x7C4548 4549# GOOD: c.lui s8, 104854945500x15 0x7C4551 4552# GOOD: c.lui s8, 104855045530x19 0x7C4554 4555# GOOD: c.lui s8, 104855145560x1D 0x7C4557 4558# GOOD: c.lui s8, 104855245590x21 0x7C4560 4561# GOOD: c.lui s8, 104855345620x25 0x7C4563 4564# GOOD: c.lui s8, 104855445650x29 0x7C4566 4567# GOOD: c.lui s8, 104855545680x2D 0x7C4569 4570# GOOD: c.lui s8, 104855645710x31 0x7C4572 4573# GOOD: c.lui s8, 104855745740x35 0x7C4575 4576# GOOD: c.lui s8, 104855845770x39 0x7C4578 4579# GOOD: c.lui s8, 104855945800x3D 0x7C4581 4582# GOOD: c.lui s8, 104856045830x41 0x7C4584 4585# GOOD: c.lui s8, 104856145860x45 0x7C4587 4588# GOOD: c.lui s8, 104856245890x49 0x7C4590 4591# GOOD: c.lui s8, 104856345920x4D 0x7C4593 4594# GOOD: c.lui s8, 104856445950x51 0x7C4596 4597# GOOD: c.lui s8, 104856545980x55 0x7C4599 4600# GOOD: c.lui s8, 104856646010x59 0x7C4602 4603# GOOD: c.lui s8, 104856746040x5D 0x7C4605 4606# GOOD: c.lui s8, 104856846070x61 0x7C4608 4609# GOOD: c.lui s8, 104856946100x65 0x7C4611 4612# GOOD: c.lui s8, 104857046130x69 0x7C4614 4615# GOOD: c.lui s8, 104857146160x6D 0x7C4617 4618# GOOD: c.lui s8, 104857246190x71 0x7C4620 4621# GOOD: c.lui s8, 104857346220x75 0x7C4623 4624# GOOD: c.lui s8, 104857446250x79 0x7C4626 4627# GOOD: c.lui s8, 104857546280x7D 0x7C4629 4630# BAD: invalid instruction encoding46310x81 0x6C4632 4633# GOOD: c.lui s9, 146340x85 0x6C4635 4636# GOOD: c.lui s9, 246370x89 0x6C4638 4639# GOOD: c.lui s9, 346400x8D 0x6C4641 4642# GOOD: c.lui s9, 446430x91 0x6C4644 4645# GOOD: c.lui s9, 546460x95 0x6C4647 4648# GOOD: c.lui s9, 646490x99 0x6C4650 4651# GOOD: c.lui s9, 746520x9D 0x6C4653 4654# GOOD: c.lui s9, 846550xA1 0x6C4656 4657# GOOD: c.lui s9, 946580xA5 0x6C4659 4660# GOOD: c.lui s9, 1046610xA9 0x6C4662 4663# GOOD: c.lui s9, 1146640xAD 0x6C4665 4666# GOOD: c.lui s9, 1246670xB1 0x6C4668 4669# GOOD: c.lui s9, 1346700xB5 0x6C4671 4672# GOOD: c.lui s9, 1446730xB9 0x6C4674 4675# GOOD: c.lui s9, 1546760xBD 0x6C4677 4678# GOOD: c.lui s9, 1646790xC1 0x6C4680 4681# GOOD: c.lui s9, 1746820xC5 0x6C4683 4684# GOOD: c.lui s9, 1846850xC9 0x6C4686 4687# GOOD: c.lui s9, 1946880xCD 0x6C4689 4690# GOOD: c.lui s9, 2046910xD1 0x6C4692 4693# GOOD: c.lui s9, 2146940xD5 0x6C4695 4696# GOOD: c.lui s9, 2246970xD9 0x6C4698 4699# GOOD: c.lui s9, 2347000xDD 0x6C4701 4702# GOOD: c.lui s9, 2447030xE1 0x6C4704 4705# GOOD: c.lui s9, 2547060xE5 0x6C4707 4708# GOOD: c.lui s9, 2647090xE9 0x6C4710 4711# GOOD: c.lui s9, 2747120xED 0x6C4713 4714# GOOD: c.lui s9, 2847150xF1 0x6C4716 4717# GOOD: c.lui s9, 2947180xF5 0x6C4719 4720# GOOD: c.lui s9, 3047210xF9 0x6C4722 4723# GOOD: c.lui s9, 3147240xFD 0x6C4725 4726# GOOD: c.lui s9, 104854447270x81 0x7C4728 4729# GOOD: c.lui s9, 104854547300x85 0x7C4731 4732# GOOD: c.lui s9, 104854647330x89 0x7C4734 4735# GOOD: c.lui s9, 104854747360x8D 0x7C4737 4738# GOOD: c.lui s9, 104854847390x91 0x7C4740 4741# GOOD: c.lui s9, 104854947420x95 0x7C4743 4744# GOOD: c.lui s9, 104855047450x99 0x7C4746 4747# GOOD: c.lui s9, 104855147480x9D 0x7C4749 4750# GOOD: c.lui s9, 104855247510xA1 0x7C4752 4753# GOOD: c.lui s9, 104855347540xA5 0x7C4755 4756# GOOD: c.lui s9, 104855447570xA9 0x7C4758 4759# GOOD: c.lui s9, 104855547600xAD 0x7C4761 4762# GOOD: c.lui s9, 104855647630xB1 0x7C4764 4765# GOOD: c.lui s9, 104855747660xB5 0x7C4767 4768# GOOD: c.lui s9, 104855847690xB9 0x7C4770 4771# GOOD: c.lui s9, 104855947720xBD 0x7C4773 4774# GOOD: c.lui s9, 104856047750xC1 0x7C4776 4777# GOOD: c.lui s9, 104856147780xC5 0x7C4779 4780# GOOD: c.lui s9, 104856247810xC9 0x7C4782 4783# GOOD: c.lui s9, 104856347840xCD 0x7C4785 4786# GOOD: c.lui s9, 104856447870xD1 0x7C4788 4789# GOOD: c.lui s9, 104856547900xD5 0x7C4791 4792# GOOD: c.lui s9, 104856647930xD9 0x7C4794 4795# GOOD: c.lui s9, 104856747960xDD 0x7C4797 4798# GOOD: c.lui s9, 104856847990xE1 0x7C4800 4801# GOOD: c.lui s9, 104856948020xE5 0x7C4803 4804# GOOD: c.lui s9, 104857048050xE9 0x7C4806 4807# GOOD: c.lui s9, 104857148080xED 0x7C4809 4810# GOOD: c.lui s9, 104857248110xF1 0x7C4812 4813# GOOD: c.lui s9, 104857348140xF5 0x7C4815 4816# GOOD: c.lui s9, 104857448170xF9 0x7C4818 4819# GOOD: c.lui s9, 104857548200xFD 0x7C4821 4822# BAD: invalid instruction encoding48230x01 0x6D4824 4825# GOOD: c.lui s10, 148260x05 0x6D4827 4828# GOOD: c.lui s10, 248290x09 0x6D4830 4831# GOOD: c.lui s10, 348320x0D 0x6D4833 4834# GOOD: c.lui s10, 448350x11 0x6D4836 4837# GOOD: c.lui s10, 548380x15 0x6D4839 4840# GOOD: c.lui s10, 648410x19 0x6D4842 4843# GOOD: c.lui s10, 748440x1D 0x6D4845 4846# GOOD: c.lui s10, 848470x21 0x6D4848 4849# GOOD: c.lui s10, 948500x25 0x6D4851 4852# GOOD: c.lui s10, 1048530x29 0x6D4854 4855# GOOD: c.lui s10, 1148560x2D 0x6D4857 4858# GOOD: c.lui s10, 1248590x31 0x6D4860 4861# GOOD: c.lui s10, 1348620x35 0x6D4863 4864# GOOD: c.lui s10, 1448650x39 0x6D4866 4867# GOOD: c.lui s10, 1548680x3D 0x6D4869 4870# GOOD: c.lui s10, 1648710x41 0x6D4872 4873# GOOD: c.lui s10, 1748740x45 0x6D4875 4876# GOOD: c.lui s10, 1848770x49 0x6D4878 4879# GOOD: c.lui s10, 1948800x4D 0x6D4881 4882# GOOD: c.lui s10, 2048830x51 0x6D4884 4885# GOOD: c.lui s10, 2148860x55 0x6D4887 4888# GOOD: c.lui s10, 2248890x59 0x6D4890 4891# GOOD: c.lui s10, 2348920x5D 0x6D4893 4894# GOOD: c.lui s10, 2448950x61 0x6D4896 4897# GOOD: c.lui s10, 2548980x65 0x6D4899 4900# GOOD: c.lui s10, 2649010x69 0x6D4902 4903# GOOD: c.lui s10, 2749040x6D 0x6D4905 4906# GOOD: c.lui s10, 2849070x71 0x6D4908 4909# GOOD: c.lui s10, 2949100x75 0x6D4911 4912# GOOD: c.lui s10, 3049130x79 0x6D4914 4915# GOOD: c.lui s10, 3149160x7D 0x6D4917 4918# GOOD: c.lui s10, 104854449190x01 0x7D4920 4921# GOOD: c.lui s10, 104854549220x05 0x7D4923 4924# GOOD: c.lui s10, 104854649250x09 0x7D4926 4927# GOOD: c.lui s10, 104854749280x0D 0x7D4929 4930# GOOD: c.lui s10, 104854849310x11 0x7D4932 4933# GOOD: c.lui s10, 104854949340x15 0x7D4935 4936# GOOD: c.lui s10, 104855049370x19 0x7D4938 4939# GOOD: c.lui s10, 104855149400x1D 0x7D4941 4942# GOOD: c.lui s10, 104855249430x21 0x7D4944 4945# GOOD: c.lui s10, 104855349460x25 0x7D4947 4948# GOOD: c.lui s10, 104855449490x29 0x7D4950 4951# GOOD: c.lui s10, 104855549520x2D 0x7D4953 4954# GOOD: c.lui s10, 104855649550x31 0x7D4956 4957# GOOD: c.lui s10, 104855749580x35 0x7D4959 4960# GOOD: c.lui s10, 104855849610x39 0x7D4962 4963# GOOD: c.lui s10, 104855949640x3D 0x7D4965 4966# GOOD: c.lui s10, 104856049670x41 0x7D4968 4969# GOOD: c.lui s10, 104856149700x45 0x7D4971 4972# GOOD: c.lui s10, 104856249730x49 0x7D4974 4975# GOOD: c.lui s10, 104856349760x4D 0x7D4977 4978# GOOD: c.lui s10, 104856449790x51 0x7D4980 4981# GOOD: c.lui s10, 104856549820x55 0x7D4983 4984# GOOD: c.lui s10, 104856649850x59 0x7D4986 4987# GOOD: c.lui s10, 104856749880x5D 0x7D4989 4990# GOOD: c.lui s10, 104856849910x61 0x7D4992 4993# GOOD: c.lui s10, 104856949940x65 0x7D4995 4996# GOOD: c.lui s10, 104857049970x69 0x7D4998 4999# GOOD: c.lui s10, 104857150000x6D 0x7D5001 5002# GOOD: c.lui s10, 104857250030x71 0x7D5004 5005# GOOD: c.lui s10, 104857350060x75 0x7D5007 5008# GOOD: c.lui s10, 104857450090x79 0x7D5010 5011# GOOD: c.lui s10, 104857550120x7D 0x7D5013 5014# BAD: invalid instruction encoding50150x81 0x6D5016 5017# GOOD: c.lui s11, 150180x85 0x6D5019 5020# GOOD: c.lui s11, 250210x89 0x6D5022 5023# GOOD: c.lui s11, 350240x8D 0x6D5025 5026# GOOD: c.lui s11, 450270x91 0x6D5028 5029# GOOD: c.lui s11, 550300x95 0x6D5031 5032# GOOD: c.lui s11, 650330x99 0x6D5034 5035# GOOD: c.lui s11, 750360x9D 0x6D5037 5038# GOOD: c.lui s11, 850390xA1 0x6D5040 5041# GOOD: c.lui s11, 950420xA5 0x6D5043 5044# GOOD: c.lui s11, 1050450xA9 0x6D5046 5047# GOOD: c.lui s11, 1150480xAD 0x6D5049 5050# GOOD: c.lui s11, 1250510xB1 0x6D5052 5053# GOOD: c.lui s11, 1350540xB5 0x6D5055 5056# GOOD: c.lui s11, 1450570xB9 0x6D5058 5059# GOOD: c.lui s11, 1550600xBD 0x6D5061 5062# GOOD: c.lui s11, 1650630xC1 0x6D5064 5065# GOOD: c.lui s11, 1750660xC5 0x6D5067 5068# GOOD: c.lui s11, 1850690xC9 0x6D5070 5071# GOOD: c.lui s11, 1950720xCD 0x6D5073 5074# GOOD: c.lui s11, 2050750xD1 0x6D5076 5077# GOOD: c.lui s11, 2150780xD5 0x6D5079 5080# GOOD: c.lui s11, 2250810xD9 0x6D5082 5083# GOOD: c.lui s11, 2350840xDD 0x6D5085 5086# GOOD: c.lui s11, 2450870xE1 0x6D5088 5089# GOOD: c.lui s11, 2550900xE5 0x6D5091 5092# GOOD: c.lui s11, 2650930xE9 0x6D5094 5095# GOOD: c.lui s11, 2750960xED 0x6D5097 5098# GOOD: c.lui s11, 2850990xF1 0x6D5100 5101# GOOD: c.lui s11, 2951020xF5 0x6D5103 5104# GOOD: c.lui s11, 3051050xF9 0x6D5106 5107# GOOD: c.lui s11, 3151080xFD 0x6D5109 5110# GOOD: c.lui s11, 104854451110x81 0x7D5112 5113# GOOD: c.lui s11, 104854551140x85 0x7D5115 5116# GOOD: c.lui s11, 104854651170x89 0x7D5118 5119# GOOD: c.lui s11, 104854751200x8D 0x7D5121 5122# GOOD: c.lui s11, 104854851230x91 0x7D5124 5125# GOOD: c.lui s11, 104854951260x95 0x7D5127 5128# GOOD: c.lui s11, 104855051290x99 0x7D5130 5131# GOOD: c.lui s11, 104855151320x9D 0x7D5133 5134# GOOD: c.lui s11, 104855251350xA1 0x7D5136 5137# GOOD: c.lui s11, 104855351380xA5 0x7D5139 5140# GOOD: c.lui s11, 104855451410xA9 0x7D5142 5143# GOOD: c.lui s11, 104855551440xAD 0x7D5145 5146# GOOD: c.lui s11, 104855651470xB1 0x7D5148 5149# GOOD: c.lui s11, 104855751500xB5 0x7D5151 5152# GOOD: c.lui s11, 104855851530xB9 0x7D5154 5155# GOOD: c.lui s11, 104855951560xBD 0x7D5157 5158# GOOD: c.lui s11, 104856051590xC1 0x7D5160 5161# GOOD: c.lui s11, 104856151620xC5 0x7D5163 5164# GOOD: c.lui s11, 104856251650xC9 0x7D5166 5167# GOOD: c.lui s11, 104856351680xCD 0x7D5169 5170# GOOD: c.lui s11, 104856451710xD1 0x7D5172 5173# GOOD: c.lui s11, 104856551740xD5 0x7D5175 5176# GOOD: c.lui s11, 104856651770xD9 0x7D5178 5179# GOOD: c.lui s11, 104856751800xDD 0x7D5181 5182# GOOD: c.lui s11, 104856851830xE1 0x7D5184 5185# GOOD: c.lui s11, 104856951860xE5 0x7D5187 5188# GOOD: c.lui s11, 104857051890xE9 0x7D5190 5191# GOOD: c.lui s11, 104857151920xED 0x7D5193 5194# GOOD: c.lui s11, 104857251950xF1 0x7D5196 5197# GOOD: c.lui s11, 104857351980xF5 0x7D5199 5200# GOOD: c.lui s11, 104857452010xF9 0x7D5202 5203# GOOD: c.lui s11, 104857552040xFD 0x7D5205 5206# BAD: invalid instruction encoding52070x01 0x6E5208 5209# GOOD: c.lui t3, 152100x05 0x6E5211 5212# GOOD: c.lui t3, 252130x09 0x6E5214 5215# GOOD: c.lui t3, 352160x0D 0x6E5217 5218# GOOD: c.lui t3, 452190x11 0x6E5220 5221# GOOD: c.lui t3, 552220x15 0x6E5223 5224# GOOD: c.lui t3, 652250x19 0x6E5226 5227# GOOD: c.lui t3, 752280x1D 0x6E5229 5230# GOOD: c.lui t3, 852310x21 0x6E5232 5233# GOOD: c.lui t3, 952340x25 0x6E5235 5236# GOOD: c.lui t3, 1052370x29 0x6E5238 5239# GOOD: c.lui t3, 1152400x2D 0x6E5241 5242# GOOD: c.lui t3, 1252430x31 0x6E5244 5245# GOOD: c.lui t3, 1352460x35 0x6E5247 5248# GOOD: c.lui t3, 1452490x39 0x6E5250 5251# GOOD: c.lui t3, 1552520x3D 0x6E5253 5254# GOOD: c.lui t3, 1652550x41 0x6E5256 5257# GOOD: c.lui t3, 1752580x45 0x6E5259 5260# GOOD: c.lui t3, 1852610x49 0x6E5262 5263# GOOD: c.lui t3, 1952640x4D 0x6E5265 5266# GOOD: c.lui t3, 2052670x51 0x6E5268 5269# GOOD: c.lui t3, 2152700x55 0x6E5271 5272# GOOD: c.lui t3, 2252730x59 0x6E5274 5275# GOOD: c.lui t3, 2352760x5D 0x6E5277 5278# GOOD: c.lui t3, 2452790x61 0x6E5280 5281# GOOD: c.lui t3, 2552820x65 0x6E5283 5284# GOOD: c.lui t3, 2652850x69 0x6E5286 5287# GOOD: c.lui t3, 2752880x6D 0x6E5289 5290# GOOD: c.lui t3, 2852910x71 0x6E5292 5293# GOOD: c.lui t3, 2952940x75 0x6E5295 5296# GOOD: c.lui t3, 3052970x79 0x6E5298 5299# GOOD: c.lui t3, 3153000x7D 0x6E5301 5302# GOOD: c.lui t3, 104854453030x01 0x7E5304 5305# GOOD: c.lui t3, 104854553060x05 0x7E5307 5308# GOOD: c.lui t3, 104854653090x09 0x7E5310 5311# GOOD: c.lui t3, 104854753120x0D 0x7E5313 5314# GOOD: c.lui t3, 104854853150x11 0x7E5316 5317# GOOD: c.lui t3, 104854953180x15 0x7E5319 5320# GOOD: c.lui t3, 104855053210x19 0x7E5322 5323# GOOD: c.lui t3, 104855153240x1D 0x7E5325 5326# GOOD: c.lui t3, 104855253270x21 0x7E5328 5329# GOOD: c.lui t3, 104855353300x25 0x7E5331 5332# GOOD: c.lui t3, 104855453330x29 0x7E5334 5335# GOOD: c.lui t3, 104855553360x2D 0x7E5337 5338# GOOD: c.lui t3, 104855653390x31 0x7E5340 5341# GOOD: c.lui t3, 104855753420x35 0x7E5343 5344# GOOD: c.lui t3, 104855853450x39 0x7E5346 5347# GOOD: c.lui t3, 104855953480x3D 0x7E5349 5350# GOOD: c.lui t3, 104856053510x41 0x7E5352 5353# GOOD: c.lui t3, 104856153540x45 0x7E5355 5356# GOOD: c.lui t3, 104856253570x49 0x7E5358 5359# GOOD: c.lui t3, 104856353600x4D 0x7E5361 5362# GOOD: c.lui t3, 104856453630x51 0x7E5364 5365# GOOD: c.lui t3, 104856553660x55 0x7E5367 5368# GOOD: c.lui t3, 104856653690x59 0x7E5370 5371# GOOD: c.lui t3, 104856753720x5D 0x7E5373 5374# GOOD: c.lui t3, 104856853750x61 0x7E5376 5377# GOOD: c.lui t3, 104856953780x65 0x7E5379 5380# GOOD: c.lui t3, 104857053810x69 0x7E5382 5383# GOOD: c.lui t3, 104857153840x6D 0x7E5385 5386# GOOD: c.lui t3, 104857253870x71 0x7E5388 5389# GOOD: c.lui t3, 104857353900x75 0x7E5391 5392# GOOD: c.lui t3, 104857453930x79 0x7E5394 5395# GOOD: c.lui t3, 104857553960x7D 0x7E5397 5398# BAD: invalid instruction encoding53990x81 0x6E5400 5401# GOOD: c.lui t4, 154020x85 0x6E5403 5404# GOOD: c.lui t4, 254050x89 0x6E5406 5407# GOOD: c.lui t4, 354080x8D 0x6E5409 5410# GOOD: c.lui t4, 454110x91 0x6E5412 5413# GOOD: c.lui t4, 554140x95 0x6E5415 5416# GOOD: c.lui t4, 654170x99 0x6E5418 5419# GOOD: c.lui t4, 754200x9D 0x6E5421 5422# GOOD: c.lui t4, 854230xA1 0x6E5424 5425# GOOD: c.lui t4, 954260xA5 0x6E5427 5428# GOOD: c.lui t4, 1054290xA9 0x6E5430 5431# GOOD: c.lui t4, 1154320xAD 0x6E5433 5434# GOOD: c.lui t4, 1254350xB1 0x6E5436 5437# GOOD: c.lui t4, 1354380xB5 0x6E5439 5440# GOOD: c.lui t4, 1454410xB9 0x6E5442 5443# GOOD: c.lui t4, 1554440xBD 0x6E5445 5446# GOOD: c.lui t4, 1654470xC1 0x6E5448 5449# GOOD: c.lui t4, 1754500xC5 0x6E5451 5452# GOOD: c.lui t4, 1854530xC9 0x6E5454 5455# GOOD: c.lui t4, 1954560xCD 0x6E5457 5458# GOOD: c.lui t4, 2054590xD1 0x6E5460 5461# GOOD: c.lui t4, 2154620xD5 0x6E5463 5464# GOOD: c.lui t4, 2254650xD9 0x6E5466 5467# GOOD: c.lui t4, 2354680xDD 0x6E5469 5470# GOOD: c.lui t4, 2454710xE1 0x6E5472 5473# GOOD: c.lui t4, 2554740xE5 0x6E5475 5476# GOOD: c.lui t4, 2654770xE9 0x6E5478 5479# GOOD: c.lui t4, 2754800xED 0x6E5481 5482# GOOD: c.lui t4, 2854830xF1 0x6E5484 5485# GOOD: c.lui t4, 2954860xF5 0x6E5487 5488# GOOD: c.lui t4, 3054890xF9 0x6E5490 5491# GOOD: c.lui t4, 3154920xFD 0x6E5493 5494# GOOD: c.lui t4, 104854454950x81 0x7E5496 5497# GOOD: c.lui t4, 104854554980x85 0x7E5499 5500# GOOD: c.lui t4, 104854655010x89 0x7E5502 5503# GOOD: c.lui t4, 104854755040x8D 0x7E5505 5506# GOOD: c.lui t4, 104854855070x91 0x7E5508 5509# GOOD: c.lui t4, 104854955100x95 0x7E5511 5512# GOOD: c.lui t4, 104855055130x99 0x7E5514 5515# GOOD: c.lui t4, 104855155160x9D 0x7E5517 5518# GOOD: c.lui t4, 104855255190xA1 0x7E5520 5521# GOOD: c.lui t4, 104855355220xA5 0x7E5523 5524# GOOD: c.lui t4, 104855455250xA9 0x7E5526 5527# GOOD: c.lui t4, 104855555280xAD 0x7E5529 5530# GOOD: c.lui t4, 104855655310xB1 0x7E5532 5533# GOOD: c.lui t4, 104855755340xB5 0x7E5535 5536# GOOD: c.lui t4, 104855855370xB9 0x7E5538 5539# GOOD: c.lui t4, 104855955400xBD 0x7E5541 5542# GOOD: c.lui t4, 104856055430xC1 0x7E5544 5545# GOOD: c.lui t4, 104856155460xC5 0x7E5547 5548# GOOD: c.lui t4, 104856255490xC9 0x7E5550 5551# GOOD: c.lui t4, 104856355520xCD 0x7E5553 5554# GOOD: c.lui t4, 104856455550xD1 0x7E5556 5557# GOOD: c.lui t4, 104856555580xD5 0x7E5559 5560# GOOD: c.lui t4, 104856655610xD9 0x7E5562 5563# GOOD: c.lui t4, 104856755640xDD 0x7E5565 5566# GOOD: c.lui t4, 104856855670xE1 0x7E5568 5569# GOOD: c.lui t4, 104856955700xE5 0x7E5571 5572# GOOD: c.lui t4, 104857055730xE9 0x7E5574 5575# GOOD: c.lui t4, 104857155760xED 0x7E5577 5578# GOOD: c.lui t4, 104857255790xF1 0x7E5580 5581# GOOD: c.lui t4, 104857355820xF5 0x7E5583 5584# GOOD: c.lui t4, 104857455850xF9 0x7E5586 5587# GOOD: c.lui t4, 104857555880xFD 0x7E5589 5590# BAD: invalid instruction encoding55910x01 0x6F5592 5593# GOOD: c.lui t5, 155940x05 0x6F5595 5596# GOOD: c.lui t5, 255970x09 0x6F5598 5599# GOOD: c.lui t5, 356000x0D 0x6F5601 5602# GOOD: c.lui t5, 456030x11 0x6F5604 5605# GOOD: c.lui t5, 556060x15 0x6F5607 5608# GOOD: c.lui t5, 656090x19 0x6F5610 5611# GOOD: c.lui t5, 756120x1D 0x6F5613 5614# GOOD: c.lui t5, 856150x21 0x6F5616 5617# GOOD: c.lui t5, 956180x25 0x6F5619 5620# GOOD: c.lui t5, 1056210x29 0x6F5622 5623# GOOD: c.lui t5, 1156240x2D 0x6F5625 5626# GOOD: c.lui t5, 1256270x31 0x6F5628 5629# GOOD: c.lui t5, 1356300x35 0x6F5631 5632# GOOD: c.lui t5, 1456330x39 0x6F5634 5635# GOOD: c.lui t5, 1556360x3D 0x6F5637 5638# GOOD: c.lui t5, 1656390x41 0x6F5640 5641# GOOD: c.lui t5, 1756420x45 0x6F5643 5644# GOOD: c.lui t5, 1856450x49 0x6F5646 5647# GOOD: c.lui t5, 1956480x4D 0x6F5649 5650# GOOD: c.lui t5, 2056510x51 0x6F5652 5653# GOOD: c.lui t5, 2156540x55 0x6F5655 5656# GOOD: c.lui t5, 2256570x59 0x6F5658 5659# GOOD: c.lui t5, 2356600x5D 0x6F5661 5662# GOOD: c.lui t5, 2456630x61 0x6F5664 5665# GOOD: c.lui t5, 2556660x65 0x6F5667 5668# GOOD: c.lui t5, 2656690x69 0x6F5670 5671# GOOD: c.lui t5, 2756720x6D 0x6F5673 5674# GOOD: c.lui t5, 2856750x71 0x6F5676 5677# GOOD: c.lui t5, 2956780x75 0x6F5679 5680# GOOD: c.lui t5, 3056810x79 0x6F5682 5683# GOOD: c.lui t5, 3156840x7D 0x6F5685 5686# GOOD: c.lui t5, 104854456870x01 0x7F5688 5689# GOOD: c.lui t5, 104854556900x05 0x7F5691 5692# GOOD: c.lui t5, 104854656930x09 0x7F5694 5695# GOOD: c.lui t5, 104854756960x0D 0x7F5697 5698# GOOD: c.lui t5, 104854856990x11 0x7F5700 5701# GOOD: c.lui t5, 104854957020x15 0x7F5703 5704# GOOD: c.lui t5, 104855057050x19 0x7F5706 5707# GOOD: c.lui t5, 104855157080x1D 0x7F5709 5710# GOOD: c.lui t5, 104855257110x21 0x7F5712 5713# GOOD: c.lui t5, 104855357140x25 0x7F5715 5716# GOOD: c.lui t5, 104855457170x29 0x7F5718 5719# GOOD: c.lui t5, 104855557200x2D 0x7F5721 5722# GOOD: c.lui t5, 104855657230x31 0x7F5724 5725# GOOD: c.lui t5, 104855757260x35 0x7F5727 5728# GOOD: c.lui t5, 104855857290x39 0x7F5730 5731# GOOD: c.lui t5, 104855957320x3D 0x7F5733 5734# GOOD: c.lui t5, 104856057350x41 0x7F5736 5737# GOOD: c.lui t5, 104856157380x45 0x7F5739 5740# GOOD: c.lui t5, 104856257410x49 0x7F5742 5743# GOOD: c.lui t5, 104856357440x4D 0x7F5745 5746# GOOD: c.lui t5, 104856457470x51 0x7F5748 5749# GOOD: c.lui t5, 104856557500x55 0x7F5751 5752# GOOD: c.lui t5, 104856657530x59 0x7F5754 5755# GOOD: c.lui t5, 104856757560x5D 0x7F5757 5758# GOOD: c.lui t5, 104856857590x61 0x7F5760 5761# GOOD: c.lui t5, 104856957620x65 0x7F5763 5764# GOOD: c.lui t5, 104857057650x69 0x7F5766 5767# GOOD: c.lui t5, 104857157680x6D 0x7F5769 5770# GOOD: c.lui t5, 104857257710x71 0x7F5772 5773# GOOD: c.lui t5, 104857357740x75 0x7F5775 5776# GOOD: c.lui t5, 104857457770x79 0x7F5778 5779# GOOD: c.lui t5, 104857557800x7D 0x7F5781 5782# BAD: invalid instruction encoding57830x81 0x6F5784 5785# GOOD: c.lui t6, 157860x85 0x6F5787 5788# GOOD: c.lui t6, 257890x89 0x6F5790 5791# GOOD: c.lui t6, 357920x8D 0x6F5793 5794# GOOD: c.lui t6, 457950x91 0x6F5796 5797# GOOD: c.lui t6, 557980x95 0x6F5799 5800# GOOD: c.lui t6, 658010x99 0x6F5802 5803# GOOD: c.lui t6, 758040x9D 0x6F5805 5806# GOOD: c.lui t6, 858070xA1 0x6F5808 5809# GOOD: c.lui t6, 958100xA5 0x6F5811 5812# GOOD: c.lui t6, 1058130xA9 0x6F5814 5815# GOOD: c.lui t6, 1158160xAD 0x6F5817 5818# GOOD: c.lui t6, 1258190xB1 0x6F5820 5821# GOOD: c.lui t6, 1358220xB5 0x6F5823 5824# GOOD: c.lui t6, 1458250xB9 0x6F5826 5827# GOOD: c.lui t6, 1558280xBD 0x6F5829 5830# GOOD: c.lui t6, 1658310xC1 0x6F5832 5833# GOOD: c.lui t6, 1758340xC5 0x6F5835 5836# GOOD: c.lui t6, 1858370xC9 0x6F5838 5839# GOOD: c.lui t6, 1958400xCD 0x6F5841 5842# GOOD: c.lui t6, 2058430xD1 0x6F5844 5845# GOOD: c.lui t6, 2158460xD5 0x6F5847 5848# GOOD: c.lui t6, 2258490xD9 0x6F5850 5851# GOOD: c.lui t6, 2358520xDD 0x6F5853 5854# GOOD: c.lui t6, 2458550xE1 0x6F5856 5857# GOOD: c.lui t6, 2558580xE5 0x6F5859 5860# GOOD: c.lui t6, 2658610xE9 0x6F5862 5863# GOOD: c.lui t6, 2758640xED 0x6F5865 5866# GOOD: c.lui t6, 2858670xF1 0x6F5868 5869# GOOD: c.lui t6, 2958700xF5 0x6F5871 5872# GOOD: c.lui t6, 3058730xF9 0x6F5874 5875# GOOD: c.lui t6, 3158760xFD 0x6F5877 5878# GOOD: c.lui t6, 104854458790x81 0x7F5880 5881# GOOD: c.lui t6, 104854558820x85 0x7F5883 5884# GOOD: c.lui t6, 104854658850x89 0x7F5886 5887# GOOD: c.lui t6, 104854758880x8D 0x7F5889 5890# GOOD: c.lui t6, 104854858910x91 0x7F5892 5893# GOOD: c.lui t6, 104854958940x95 0x7F5895 5896# GOOD: c.lui t6, 104855058970x99 0x7F5898 5899# GOOD: c.lui t6, 104855159000x9D 0x7F5901 5902# GOOD: c.lui t6, 104855259030xA1 0x7F5904 5905# GOOD: c.lui t6, 104855359060xA5 0x7F5907 5908# GOOD: c.lui t6, 104855459090xA9 0x7F5910 5911# GOOD: c.lui t6, 104855559120xAD 0x7F5913 5914# GOOD: c.lui t6, 104855659150xB1 0x7F5916 5917# GOOD: c.lui t6, 104855759180xB5 0x7F5919 5920# GOOD: c.lui t6, 104855859210xB9 0x7F5922 5923# GOOD: c.lui t6, 104855959240xBD 0x7F5925 5926# GOOD: c.lui t6, 104856059270xC1 0x7F5928 5929# GOOD: c.lui t6, 104856159300xC5 0x7F5931 5932# GOOD: c.lui t6, 104856259330xC9 0x7F5934 5935# GOOD: c.lui t6, 104856359360xCD 0x7F5937 5938# GOOD: c.lui t6, 104856459390xD1 0x7F5940 5941# GOOD: c.lui t6, 104856559420xD5 0x7F5943 5944# GOOD: c.lui t6, 104856659450xD9 0x7F5946 5947# GOOD: c.lui t6, 104856759480xDD 0x7F5949 5950# GOOD: c.lui t6, 104856859510xE1 0x7F5952 5953# GOOD: c.lui t6, 104856959540xE5 0x7F5955 5956# GOOD: c.lui t6, 104857059570xE9 0x7F5958 5959# GOOD: c.lui t6, 104857159600xED 0x7F5961 5962# GOOD: c.lui t6, 104857259630xF1 0x7F5964 5965# GOOD: c.lui t6, 104857359660xF5 0x7F5967 5968# GOOD: c.lui t6, 104857459690xF9 0x7F5970 5971# GOOD: c.lui t6, 104857559720xFD 0x7F5973 5974