| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4 |
| # RUN: llc %s -mtriple=riscv64 -run-pass=riscv-opt-w-instrs -verify-machineinstrs \ |
| # RUN: -mattr=+m -o - | FileCheck %s -check-prefixes=NO-PREFER-W-INST |
| # RUN: llc %s -mtriple=riscv64 -run-pass=riscv-opt-w-instrs -verify-machineinstrs \ |
| # RUN: -mattr=+m,+prefer-w-inst -o - | FileCheck %s -check-prefixes=PREFER-W-INST |
| |
| --- |
| name: addi |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: addi |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[ADDI:%[0-9]+]]:gpr = ADDI [[COPY]], 1 |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[ADDI]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: addi |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[COPY]], 1 |
| ; PREFER-W-INST-NEXT: [[ADDIW1:%[0-9]+]]:gpr = ADDIW [[ADDIW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW1]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = ADDI %1, 1 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| --- |
| name: add |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: add |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[ADD:%[0-9]+]]:gpr = ADD [[COPY]], [[COPY1]] |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[ADD]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: add |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[ADDW:%[0-9]+]]:gpr = ADDW [[COPY]], [[COPY1]] |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[ADDW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = ADD %1, %2 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| --- |
| name: sub |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: sub |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[SUB:%[0-9]+]]:gpr = SUB [[COPY]], [[COPY1]] |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SUB]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: sub |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[SUBW:%[0-9]+]]:gpr = SUBW [[COPY]], [[COPY1]] |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SUBW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = SUB %1, %2 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| --- |
| name: mul |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: mul |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[MUL:%[0-9]+]]:gpr = MUL [[COPY]], [[COPY1]] |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[MUL]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: mul |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[MULW:%[0-9]+]]:gpr = MULW [[COPY]], [[COPY1]] |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[MULW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = MUL %1, %2 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| |
| --- |
| name: slli_31 |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: slli_31 |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[SLLI:%[0-9]+]]:gpr = SLLI [[COPY]], 31 |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLI]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: slli_31 |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[SLLIW:%[0-9]+]]:gpr = SLLIW [[COPY]], 31 |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLIW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = SLLI %1, 31 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| --- |
| name: slli_32 |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: slli_32 |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[SLLI:%[0-9]+]]:gpr = SLLI [[COPY]], 32 |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLI]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: slli_32 |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[SLLI:%[0-9]+]]:gpr = SLLI [[COPY]], 32 |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[SLLI]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = SLLI %1, 32 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| --- |
| name: ld |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: ld |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[LD:%[0-9]+]]:gpr = LD [[COPY]], 0 |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LD]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: ld |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[LW:%[0-9]+]]:gpr = LW [[COPY]], 0 |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = LD %1, 0 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |
| |
| --- |
| name: lwu |
| body: | |
| bb.0.entry: |
| liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-LABEL: name: lwu |
| ; NO-PREFER-W-INST: liveins: $x10, $x11 |
| ; NO-PREFER-W-INST-NEXT: {{ $}} |
| ; NO-PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; NO-PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; NO-PREFER-W-INST-NEXT: [[LWU:%[0-9]+]]:gpr = LWU [[COPY]], 0 |
| ; NO-PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LWU]], 1 |
| ; NO-PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; NO-PREFER-W-INST-NEXT: PseudoRET |
| ; |
| ; PREFER-W-INST-LABEL: name: lwu |
| ; PREFER-W-INST: liveins: $x10, $x11 |
| ; PREFER-W-INST-NEXT: {{ $}} |
| ; PREFER-W-INST-NEXT: [[COPY:%[0-9]+]]:gpr = COPY $x10 |
| ; PREFER-W-INST-NEXT: [[COPY1:%[0-9]+]]:gpr = COPY $x11 |
| ; PREFER-W-INST-NEXT: [[LW:%[0-9]+]]:gpr = LW [[COPY]], 0 |
| ; PREFER-W-INST-NEXT: [[ADDIW:%[0-9]+]]:gpr = ADDIW [[LW]], 1 |
| ; PREFER-W-INST-NEXT: $x10 = COPY [[ADDIW]] |
| ; PREFER-W-INST-NEXT: PseudoRET |
| %1:gpr = COPY $x10 |
| %2:gpr = COPY $x11 |
| %3:gpr = LWU %1, 0 |
| %4:gpr = ADDIW %3, 1 |
| $x10 = COPY %4 |
| PseudoRET |
| ... |