829 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 52# RUN: llc -o - %s -mtriple=riscv64 -run-pass=machine-cp -mcp-use-is-copy-instr | FileCheck %s3 4# Check that instruction simplifications expected to be performed after5# machine copy propagation are done.6 7---8name: add19body: |10 bb.0:11 ; CHECK-LABEL: name: add112 ; CHECK: renamable $x10 = ADDI $x12, 013 ; CHECK-NEXT: PseudoRET implicit $x1014 renamable $x11 = COPY $x1215 renamable $x10 = ADD renamable $x11, $x016 PseudoRET implicit $x1017...18---19name: add220body: |21 bb.0:22 ; CHECK-LABEL: name: add223 ; CHECK: renamable $x10 = ADDI $x12, 024 ; CHECK-NEXT: PseudoRET implicit $x1025 renamable $x11 = COPY $x1226 renamable $x10 = ADD $x0, renamable $x1127 PseudoRET implicit $x1028...29---30name: or131body: |32 bb.0:33 ; CHECK-LABEL: name: or134 ; CHECK: renamable $x10 = ADDI $x12, 035 ; CHECK-NEXT: PseudoRET implicit $x1036 renamable $x11 = COPY $x1237 renamable $x10 = OR renamable $x11, $x038 PseudoRET implicit $x1039...40---41name: or242body: |43 bb.0:44 ; CHECK-LABEL: name: or245 ; CHECK: renamable $x10 = ADDI $x12, 046 ; CHECK-NEXT: PseudoRET implicit $x1047 renamable $x11 = COPY $x1248 renamable $x10 = OR $x0, renamable $x1149 PseudoRET implicit $x1050...51---52name: xor153body: |54 bb.0:55 ; CHECK-LABEL: name: xor156 ; CHECK: renamable $x10 = ADDI $x12, 057 ; CHECK-NEXT: PseudoRET implicit $x1058 renamable $x11 = COPY $x1259 renamable $x10 = XOR renamable $x11, $x060 PseudoRET implicit $x1061...62---63name: xor264body: |65 bb.0:66 ; CHECK-LABEL: name: xor267 ; CHECK: renamable $x10 = ADDI $x12, 068 ; CHECK-NEXT: PseudoRET implicit $x1069 renamable $x11 = COPY $x1270 renamable $x10 = XOR $x0, renamable $x1171 PseudoRET implicit $x1072...73---74---75name: xor376body: |77 bb.0:78 ; CHECK-LABEL: name: xor379 ; CHECK: renamable $x10 = ADDI $x0, 080 ; CHECK-NEXT: PseudoRET implicit $x1081 renamable $x11 = COPY $x1282 renamable $x10 = XOR renamable $x11, renamable $x1183 PseudoRET implicit $x1084...85---86name: addw187body: |88 bb.0:89 ; CHECK-LABEL: name: addw190 ; CHECK: renamable $x10 = ADDIW $x12, 091 ; CHECK-NEXT: PseudoRET implicit $x1092 renamable $x11 = COPY $x093 renamable $x10 = ADDW renamable $x11, $x1294 PseudoRET implicit $x1095...96---97name: addw298body: |99 bb.0:100 ; CHECK-LABEL: name: addw2101 ; CHECK: renamable $x10 = ADDIW $x12, 0102 ; CHECK-NEXT: PseudoRET implicit $x10103 renamable $x11 = COPY $x0104 renamable $x10 = ADDW $x12, renamable $x11105 PseudoRET implicit $x10106...107---108name: sub109body: |110 bb.0:111 ; CHECK-LABEL: name: sub112 ; CHECK: renamable $x10 = ADDI $x12, 0113 ; CHECK-NEXT: PseudoRET implicit $x10114 renamable $x11 = COPY $x12115 renamable $x10 = SUB renamable $x11, $x0116 PseudoRET implicit $x10117...118---119name: subw120body: |121 bb.0:122 ; CHECK-LABEL: name: subw123 ; CHECK: renamable $x10 = ADDIW $x12, 0124 ; CHECK-NEXT: PseudoRET implicit $x10125 renamable $x11 = COPY $x12126 renamable $x10 = SUBW renamable $x11, $x0127 PseudoRET implicit $x10128...129---130name: sh1add1131body: |132 bb.0:133 ; CHECK-LABEL: name: sh1add1134 ; CHECK: renamable $x10 = ADDI $x12, 0135 ; CHECK-NEXT: PseudoRET implicit $x10136 renamable $x11 = COPY $x12137 renamable $x10 = SH1ADD $x0, renamable $x11138 PseudoRET implicit $x10139...140---141name: sh1add2142body: |143 bb.0:144 ; CHECK-LABEL: name: sh1add2145 ; CHECK: renamable $x10 = SLLI $x12, 1146 ; CHECK-NEXT: PseudoRET implicit $x10147 renamable $x11 = COPY $x12148 renamable $x10 = SH1ADD renamable $x11, $x0149 PseudoRET implicit $x10150...151---152name: sh1add.uw1153body: |154 bb.0:155 ; CHECK-LABEL: name: sh1add.uw1156 ; CHECK: renamable $x10 = ADDI $x12, 0157 ; CHECK-NEXT: PseudoRET implicit $x10158 renamable $x11 = COPY $x12159 renamable $x10 = SH1ADD_UW $x0, renamable $x11160 PseudoRET implicit $x10161...162---163name: sh1add.uw2164body: |165 bb.0:166 ; CHECK-LABEL: name: sh1add.uw2167 ; CHECK: renamable $x10 = SLLI_UW $x12, 1168 ; CHECK-NEXT: PseudoRET implicit $x10169 renamable $x11 = COPY $x12170 renamable $x10 = SH1ADD_UW renamable $x11, $x0171 PseudoRET implicit $x10172...173---174name: sh2add1175body: |176 bb.0:177 ; CHECK-LABEL: name: sh2add1178 ; CHECK: renamable $x10 = ADDI $x12, 0179 ; CHECK-NEXT: PseudoRET implicit $x10180 renamable $x11 = COPY $x12181 renamable $x10 = SH2ADD $x0, renamable $x11182 PseudoRET implicit $x10183...184---185name: sh2add2186body: |187 bb.0:188 ; CHECK-LABEL: name: sh2add2189 ; CHECK: renamable $x10 = SLLI $x12, 2190 ; CHECK-NEXT: PseudoRET implicit $x10191 renamable $x11 = COPY $x12192 renamable $x10 = SH2ADD renamable $x11, $x0193 PseudoRET implicit $x10194...195---196name: sh2add.uw1197body: |198 bb.0:199 ; CHECK-LABEL: name: sh2add.uw1200 ; CHECK: renamable $x10 = ADDI $x12, 0201 ; CHECK-NEXT: PseudoRET implicit $x10202 renamable $x11 = COPY $x12203 renamable $x10 = SH2ADD_UW $x0, renamable $x11204 PseudoRET implicit $x10205...206---207name: sh2add.uw2208body: |209 bb.0:210 ; CHECK-LABEL: name: sh2add.uw2211 ; CHECK: renamable $x10 = SLLI_UW $x12, 2212 ; CHECK-NEXT: PseudoRET implicit $x10213 renamable $x11 = COPY $x12214 renamable $x10 = SH2ADD_UW renamable $x11, $x0215 PseudoRET implicit $x10216...217---218name: sh3add1219body: |220 bb.0:221 ; CHECK-LABEL: name: sh3add1222 ; CHECK: renamable $x10 = ADDI $x12, 0223 ; CHECK-NEXT: PseudoRET implicit $x10224 renamable $x11 = COPY $x12225 renamable $x10 = SH3ADD $x0, renamable $x11226 PseudoRET implicit $x10227...228---229name: sh3add2230body: |231 bb.0:232 ; CHECK-LABEL: name: sh3add2233 ; CHECK: renamable $x10 = SLLI $x12, 3234 ; CHECK-NEXT: PseudoRET implicit $x10235 renamable $x11 = COPY $x12236 renamable $x10 = SH3ADD renamable $x11, $x0237 PseudoRET implicit $x10238...239---240name: sh3add.uw1241body: |242 bb.0:243 ; CHECK-LABEL: name: sh3add.uw1244 ; CHECK: renamable $x10 = ADDI $x12, 0245 ; CHECK-NEXT: PseudoRET implicit $x10246 renamable $x11 = COPY $x12247 renamable $x10 = SH3ADD_UW $x0, renamable $x11248 PseudoRET implicit $x10249...250---251name: sh3add.uw2252body: |253 bb.0:254 ; CHECK-LABEL: name: sh3add.uw2255 ; CHECK: renamable $x10 = SLLI_UW $x12, 3256 ; CHECK-NEXT: PseudoRET implicit $x10257 renamable $x11 = COPY $x12258 renamable $x10 = SH3ADD_UW renamable $x11, $x0259 PseudoRET implicit $x10260...261---262name: andi263body: |264 bb.0:265 ; CHECK-LABEL: name: andi266 ; CHECK: renamable $x10 = ADDI $x0, 0267 ; CHECK-NEXT: PseudoRET implicit $x10268 renamable $x11 = COPY $x0269 renamable $x10 = ANDI renamable $x11, 13270 PseudoRET implicit $x10271...272---273name: and1274body: |275 bb.0:276 ; CHECK-LABEL: name: and1277 ; CHECK: renamable $x10 = ADDI $x0, 0278 ; CHECK-NEXT: PseudoRET implicit $x10279 renamable $x11 = COPY $x12280 renamable $x10 = AND renamable $x11, $x0281 PseudoRET implicit $x10282...283---284name: and2285body: |286 bb.0:287 ; CHECK-LABEL: name: and2288 ; CHECK: renamable $x10 = ADDI $x0, 0289 ; CHECK-NEXT: PseudoRET implicit $x10290 renamable $x11 = COPY $x12291 renamable $x10 = AND $x0, renamable $x11292 PseudoRET implicit $x10293...294---295name: mul1296body: |297 bb.0:298 ; CHECK-LABEL: name: mul1299 ; CHECK: renamable $x10 = ADDI $x0, 0300 ; CHECK-NEXT: PseudoRET implicit $x10301 renamable $x11 = COPY $x12302 renamable $x10 = MUL renamable $x11, $x0303 PseudoRET implicit $x10304...305---306name: mul2307body: |308 bb.0:309 ; CHECK-LABEL: name: mul2310 ; CHECK: renamable $x10 = ADDI $x0, 0311 ; CHECK-NEXT: PseudoRET implicit $x10312 renamable $x11 = COPY $x12313 renamable $x10 = MUL $x0, renamable $x11314 PseudoRET implicit $x10315...316---317name: mulh1318body: |319 bb.0:320 ; CHECK-LABEL: name: mulh1321 ; CHECK: renamable $x10 = ADDI $x0, 0322 ; CHECK-NEXT: PseudoRET implicit $x10323 renamable $x11 = COPY $x12324 renamable $x10 = MULH renamable $x11, $x0325 PseudoRET implicit $x10326...327---328name: mulh2329body: |330 bb.0:331 ; CHECK-LABEL: name: mulh2332 ; CHECK: renamable $x10 = ADDI $x0, 0333 ; CHECK-NEXT: PseudoRET implicit $x10334 renamable $x11 = COPY $x12335 renamable $x10 = MULH $x0, renamable $x11336 PseudoRET implicit $x10337...338---339name: mulhsu1340body: |341 bb.0:342 ; CHECK-LABEL: name: mulhsu1343 ; CHECK: renamable $x10 = ADDI $x0, 0344 ; CHECK-NEXT: PseudoRET implicit $x10345 renamable $x11 = COPY $x12346 renamable $x10 = MULHSU renamable $x11, $x0347 PseudoRET implicit $x10348...349---350name: mulhsu2351body: |352 bb.0:353 ; CHECK-LABEL: name: mulhsu2354 ; CHECK: renamable $x10 = ADDI $x0, 0355 ; CHECK-NEXT: PseudoRET implicit $x10356 renamable $x11 = COPY $x12357 renamable $x10 = MULHSU $x0, renamable $x11358 PseudoRET implicit $x10359...360---361name: mulhu1362body: |363 bb.0:364 ; CHECK-LABEL: name: mulhu1365 ; CHECK: renamable $x10 = ADDI $x0, 0366 ; CHECK-NEXT: PseudoRET implicit $x10367 renamable $x11 = COPY $x12368 renamable $x10 = MULHU renamable $x11, $x0369 PseudoRET implicit $x10370...371---372name: mulhu2373body: |374 bb.0:375 ; CHECK-LABEL: name: mulhu2376 ; CHECK: renamable $x10 = ADDI $x0, 0377 ; CHECK-NEXT: PseudoRET implicit $x10378 renamable $x11 = COPY $x12379 renamable $x10 = MULHU $x0, renamable $x11380 PseudoRET implicit $x10381...382---383name: mulw1384body: |385 bb.0:386 ; CHECK-LABEL: name: mulw1387 ; CHECK: renamable $x10 = ADDI $x0, 0388 ; CHECK-NEXT: PseudoRET implicit $x10389 renamable $x11 = COPY $x12390 renamable $x10 = MULW renamable $x11, $x0391 PseudoRET implicit $x10392...393---394name: mulw2395body: |396 bb.0:397 ; CHECK-LABEL: name: mulw2398 ; CHECK: renamable $x10 = ADDI $x0, 0399 ; CHECK-NEXT: PseudoRET implicit $x10400 renamable $x11 = COPY $x12401 renamable $x10 = MULW $x0, renamable $x11402 PseudoRET implicit $x10403...404---405name: slli406body: |407 bb.0:408 ; CHECK-LABEL: name: slli409 ; CHECK: renamable $x10 = ADDI $x0, 0410 ; CHECK-NEXT: PseudoRET implicit $x10411 renamable $x11 = COPY $x0412 renamable $x10 = SLLI renamable $x11, 13413 PseudoRET implicit $x10414...415---416name: srli417body: |418 bb.0:419 ; CHECK-LABEL: name: srli420 ; CHECK: renamable $x10 = ADDI $x0, 0421 ; CHECK-NEXT: PseudoRET implicit $x10422 renamable $x11 = COPY $x0423 renamable $x10 = SRLI renamable $x11, 13424 PseudoRET implicit $x10425...426---427name: srai428body: |429 bb.0:430 ; CHECK-LABEL: name: srai431 ; CHECK: renamable $x10 = ADDI $x0, 0432 ; CHECK-NEXT: PseudoRET implicit $x10433 renamable $x11 = COPY $x0434 renamable $x10 = SRAI renamable $x11, 13435 PseudoRET implicit $x10436...437---438name: slliw439body: |440 bb.0:441 ; CHECK-LABEL: name: slliw442 ; CHECK: renamable $x10 = ADDI $x0, 0443 ; CHECK-NEXT: PseudoRET implicit $x10444 renamable $x11 = COPY $x0445 renamable $x10 = SLLIW renamable $x11, 13446 PseudoRET implicit $x10447...448---449name: srliw450body: |451 bb.0:452 ; CHECK-LABEL: name: srliw453 ; CHECK: renamable $x10 = ADDI $x0, 0454 ; CHECK-NEXT: PseudoRET implicit $x10455 renamable $x11 = COPY $x0456 renamable $x10 = SRLIW renamable $x11, 13457 PseudoRET implicit $x10458...459---460name: sraiw461body: |462 bb.0:463 ; CHECK-LABEL: name: sraiw464 ; CHECK: renamable $x10 = ADDI $x0, 0465 ; CHECK-NEXT: PseudoRET implicit $x10466 renamable $x11 = COPY $x0467 renamable $x10 = SRAIW renamable $x11, 13468 PseudoRET implicit $x10469...470---471name: slli_uw472body: |473 bb.0:474 ; CHECK-LABEL: name: slli_uw475 ; CHECK: renamable $x10 = ADDI $x0, 0476 ; CHECK-NEXT: PseudoRET implicit $x10477 renamable $x11 = COPY $x0478 renamable $x10 = SLLI_UW renamable $x11, 13479 PseudoRET implicit $x10480...481---482name: ori483body: |484 bb.0:485 ; CHECK-LABEL: name: ori486 ; CHECK: renamable $x10 = ADDI $x0, 13487 ; CHECK-NEXT: PseudoRET implicit $x10488 renamable $x11 = COPY $x0489 renamable $x10 = ORI renamable $x11, 13490 PseudoRET implicit $x10491...492---493name: xori494body: |495 bb.0:496 ; CHECK-LABEL: name: xori497 ; CHECK: renamable $x10 = ADDI $x0, 13498 ; CHECK-NEXT: PseudoRET implicit $x10499 renamable $x11 = COPY $x0500 renamable $x10 = XORI renamable $x11, 13501 PseudoRET implicit $x10502...503---504name: sltiu1505body: |506 bb.0:507 ; CHECK-LABEL: name: sltiu1508 ; CHECK: renamable $x10 = ADDI $x0, 1509 ; CHECK-NEXT: PseudoRET implicit $x10510 renamable $x11 = COPY $x0511 renamable $x10 = SLTIU renamable $x11, 2512 PseudoRET implicit $x10513...514---515name: sltiu2516body: |517 bb.0:518 ; CHECK-LABEL: name: sltiu2519 ; CHECK: renamable $x10 = ADDI $x0, 0520 ; CHECK-NEXT: PseudoRET implicit $x10521 renamable $x11 = COPY $x0522 renamable $x10 = SLTIU renamable $x11, 0523 PseudoRET implicit $x10524...525---526name: sltu527body: |528 bb.0:529 ; CHECK-LABEL: name: sltu530 ; CHECK: renamable $x10 = ADDI $x0, 0531 ; CHECK-NEXT: PseudoRET implicit $x10532 renamable $x11 = COPY $x0533 renamable $x10 = SLTU renamable $x11, $x0534 PseudoRET implicit $x10535...536---537name: add.uw1538body: |539 bb.0:540 ; CHECK-LABEL: name: add.uw1541 ; CHECK: renamable $x10 = ADDI $x0, 0542 ; CHECK-NEXT: PseudoRET implicit $x10543 renamable $x11 = COPY $x0544 renamable $x10 = ADD_UW renamable $x11, $x0545 PseudoRET implicit $x10546...547---548name: add.uw2549body: |550 bb.0:551 ; CHECK-LABEL: name: add.uw2552 ; CHECK: renamable $x10 = ADDI $x12, 0553 ; CHECK-NEXT: PseudoRET implicit $x10554 renamable $x11 = COPY $x12555 renamable $x10 = ADD_UW $x0, renamable $x11556 PseudoRET implicit $x10557...558---559name: sext.h560body: |561 bb.0:562 ; CHECK-LABEL: name: sext.h563 ; CHECK: renamable $x10 = ADDI $x0, 0564 ; CHECK-NEXT: PseudoRET implicit $x10565 renamable $x11 = COPY $x0566 renamable $x10 = SEXT_H renamable $x11567 PseudoRET implicit $x10568...569---570name: sext.b571body: |572 bb.0:573 ; CHECK-LABEL: name: sext.b574 ; CHECK: renamable $x10 = ADDI $x0, 0575 ; CHECK-NEXT: PseudoRET implicit $x10576 renamable $x11 = COPY $x0577 renamable $x10 = SEXT_B renamable $x11578 PseudoRET implicit $x10579...580---581name: zext.h.rv32582body: |583 bb.0:584 ; CHECK-LABEL: name: zext.h.rv32585 ; CHECK: renamable $x10 = ADDI $x0, 0586 ; CHECK-NEXT: PseudoRET implicit $x10587 renamable $x11 = COPY $x0588 renamable $x10 = ZEXT_H_RV32 renamable $x11589 PseudoRET implicit $x10590...591---592name: zext.h.rv64593body: |594 bb.0:595 ; CHECK-LABEL: name: zext.h.rv64596 ; CHECK: renamable $x10 = ADDI $x0, 0597 ; CHECK-NEXT: PseudoRET implicit $x10598 renamable $x11 = COPY $x0599 renamable $x10 = ZEXT_H_RV64 renamable $x11600 PseudoRET implicit $x10601...602---603name: sll1604body: |605 bb.0:606 ; CHECK-LABEL: name: sll1607 ; CHECK: renamable $x10 = ADDI $x0, 0608 ; CHECK-NEXT: PseudoRET implicit $x10609 renamable $x11 = COPY $x12610 renamable $x10 = SLL $x0, renamable $x11611 PseudoRET implicit $x10612...613---614name: sll2615body: |616 bb.0:617 ; CHECK-LABEL: name: sll2618 ; CHECK: renamable $x10 = ADDI $x12, 0619 ; CHECK-NEXT: PseudoRET implicit $x10620 renamable $x11 = COPY $x12621 renamable $x10 = SLL renamable $x11, $x0622 PseudoRET implicit $x10623...624---625name: sr11626body: |627 bb.0:628 ; CHECK-LABEL: name: sr11629 ; CHECK: renamable $x10 = ADDI $x0, 0630 ; CHECK-NEXT: PseudoRET implicit $x10631 renamable $x11 = COPY $x12632 renamable $x10 = SRL $x0, renamable $x11633 PseudoRET implicit $x10634...635---636name: sr12637body: |638 bb.0:639 ; CHECK-LABEL: name: sr12640 ; CHECK: renamable $x10 = ADDI $x12, 0641 ; CHECK-NEXT: PseudoRET implicit $x10642 renamable $x11 = COPY $x12643 renamable $x10 = SRL renamable $x11, $x0644 PseudoRET implicit $x10645...646---647name: sra1648body: |649 bb.0:650 ; CHECK-LABEL: name: sra1651 ; CHECK: renamable $x10 = ADDI $x0, 0652 ; CHECK-NEXT: PseudoRET implicit $x10653 renamable $x11 = COPY $x12654 renamable $x10 = SRA $x0, renamable $x11655 PseudoRET implicit $x10656...657---658name: sra2659body: |660 bb.0:661 ; CHECK-LABEL: name: sra2662 ; CHECK: renamable $x10 = ADDI $x12, 0663 ; CHECK-NEXT: PseudoRET implicit $x10664 renamable $x11 = COPY $x12665 renamable $x10 = SRA renamable $x11, $x0666 PseudoRET implicit $x10667...668---669name: sllw670body: |671 bb.0:672 ; CHECK-LABEL: name: sllw673 ; CHECK: renamable $x10 = ADDI $x0, 0674 ; CHECK-NEXT: PseudoRET implicit $x10675 renamable $x11 = COPY $x12676 renamable $x10 = SLLW $x0, renamable $x11677 PseudoRET implicit $x10678...679---680name: srlw681body: |682 bb.0:683 ; CHECK-LABEL: name: srlw684 ; CHECK: renamable $x10 = ADDI $x0, 0685 ; CHECK-NEXT: PseudoRET implicit $x10686 renamable $x11 = COPY $x12687 renamable $x10 = SRLW $x0, renamable $x11688 PseudoRET implicit $x10689...690---691name: sraw692body: |693 bb.0:694 ; CHECK-LABEL: name: sraw695 ; CHECK: renamable $x10 = ADDI $x0, 0696 ; CHECK-NEXT: PseudoRET implicit $x10697 renamable $x11 = COPY $x12698 renamable $x10 = SRAW $x0, renamable $x11699 PseudoRET implicit $x10700...701---702name: min703body: |704 bb.0:705 ; CHECK-LABEL: name: min706 ; CHECK: renamable $x10 = ADDI $x12, 0707 ; CHECK-NEXT: PseudoRET implicit $x10708 renamable $x11 = COPY $x12709 renamable $x10 = MIN renamable $x11, renamable $x11710 PseudoRET implicit $x10711...712---713name: minu714body: |715 bb.0:716 ; CHECK-LABEL: name: minu717 ; CHECK: renamable $x10 = ADDI $x12, 0718 ; CHECK-NEXT: PseudoRET implicit $x10719 renamable $x11 = COPY $x12720 renamable $x10 = MINU renamable $x11, renamable $x11721 PseudoRET implicit $x10722...723---724name: max725body: |726 bb.0:727 ; CHECK-LABEL: name: max728 ; CHECK: renamable $x10 = ADDI $x12, 0729 ; CHECK-NEXT: PseudoRET implicit $x10730 renamable $x11 = COPY $x12731 renamable $x10 = MAX renamable $x11, renamable $x11732 PseudoRET implicit $x10733...734---735name: maxu736body: |737 bb.0:738 ; CHECK-LABEL: name: maxu739 ; CHECK: renamable $x10 = ADDI $x12, 0740 ; CHECK-NEXT: PseudoRET implicit $x10741 renamable $x11 = COPY $x12742 renamable $x10 = MAXU renamable $x11, renamable $x11743 PseudoRET implicit $x10744...745---746name: multipass747body: |748 bb.0:749 ; CHECK-LABEL: name: multipass750 ; CHECK: renamable $x9 = ADDI $x0, 0751 ; CHECK-NEXT: PseudoRET implicit $x9752 renamable $x11 = COPY $x0753 renamable $x10 = SLLI renamable $x11, 13754 renamable $x9 = SRLI renamable $x10, 13755 PseudoRET implicit $x9756...757---758name: beq759body: |760 ; CHECK-LABEL: name: beq761 ; CHECK: bb.0:762 ; CHECK-NEXT: successors: %bb.1(0x80000000)763 ; CHECK-NEXT: {{ $}}764 ; CHECK-NEXT: renamable $x11 = COPY $x12765 ; CHECK-NEXT: BEQ $x12, $x0, %bb.1766 ; CHECK-NEXT: {{ $}}767 ; CHECK-NEXT: bb.1:768 ; CHECK-NEXT: PseudoRET769 bb.0:770 renamable $x11 = COPY $x12771 BEQ $x0, renamable $x11, %bb.1772 bb.1:773 PseudoRET774...775---776name: bne777body: |778 ; CHECK-LABEL: name: bne779 ; CHECK: bb.0:780 ; CHECK-NEXT: successors: %bb.1(0x80000000)781 ; CHECK-NEXT: {{ $}}782 ; CHECK-NEXT: renamable $x11 = COPY $x12783 ; CHECK-NEXT: BNE $x12, $x0, %bb.1784 ; CHECK-NEXT: {{ $}}785 ; CHECK-NEXT: bb.1:786 ; CHECK-NEXT: PseudoRET787 bb.0:788 renamable $x11 = COPY $x12789 BNE $x0, renamable $x11, %bb.1790 bb.1:791 PseudoRET792...793---794name: bltu795body: |796 ; CHECK-LABEL: name: bltu797 ; CHECK: bb.0:798 ; CHECK-NEXT: successors: %bb.1(0x80000000)799 ; CHECK-NEXT: {{ $}}800 ; CHECK-NEXT: renamable $x11 = COPY $x12801 ; CHECK-NEXT: BNE $x12, $x0, %bb.1802 ; CHECK-NEXT: {{ $}}803 ; CHECK-NEXT: bb.1:804 ; CHECK-NEXT: PseudoRET805 bb.0:806 renamable $x11 = COPY $x12807 BLTU $x0, renamable $x11, %bb.1808 bb.1:809 PseudoRET810...811---812name: bgeu813body: |814 ; CHECK-LABEL: name: bgeu815 ; CHECK: bb.0:816 ; CHECK-NEXT: successors: %bb.1(0x80000000)817 ; CHECK-NEXT: {{ $}}818 ; CHECK-NEXT: renamable $x11 = COPY $x12819 ; CHECK-NEXT: BEQ $x12, $x0, %bb.1820 ; CHECK-NEXT: {{ $}}821 ; CHECK-NEXT: bb.1:822 ; CHECK-NEXT: PseudoRET823 bb.0:824 renamable $x11 = COPY $x12825 BGEU $x0, renamable $x11, %bb.1826 bb.1:827 PseudoRET828...829