Author: Tom Stellard Date: 2021-08-24T21:59:54-07:00 New Revision: d069343fa526da97e360bbfb17032ac713a377a3
URL: https://github.com/llvm/llvm-project/commit/d069343fa526da97e360bbfb17032ac713a377a3 DIFF: https://github.com/llvm/llvm-project/commit/d069343fa526da97e360bbfb17032ac713a377a3.diff LOG: Revert "[RISCV] Fix reporting of incorrect commutable operand indices" This reverts commit a7933290f72a08dc060d38fa52772a9cc33ed9ba. This commit caused some bot failures: clang-with-thin-lto-ubuntu-release lld-x86_64-win-release llvm-clang-x86_64-expensive-checks-debian-release Added: Modified: llvm/lib/Target/RISCV/RISCVInstrInfo.cpp Removed: llvm/test/CodeGen/RISCV/rvv/commuted-op-indices-regression.mir ################################################################################ diff --git a/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp b/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp index 207101763ac2..a541daaff9f4 100644 --- a/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp +++ b/llvm/lib/Target/RISCV/RISCVInstrInfo.cpp @@ -1223,7 +1223,7 @@ bool RISCVInstrInfo::findCommutedOpIndices(const MachineInstr &MI, // Both of operands are not fixed. Set one of commutable // operands to the tied source. CommutableOpIdx1 = 1; - } else if (SrcOpIdx1 == CommuteAnyOperandIndex) { + } else if (SrcOpIdx1 == CommutableOpIdx1) { // Only one of the operands is not fixed. CommutableOpIdx1 = SrcOpIdx2; } diff --git a/llvm/test/CodeGen/RISCV/rvv/commuted-op-indices-regression.mir b/llvm/test/CodeGen/RISCV/rvv/commuted-op-indices-regression.mir deleted file mode 100644 index 2d389e0cf49f..000000000000 --- a/llvm/test/CodeGen/RISCV/rvv/commuted-op-indices-regression.mir +++ /dev/null @@ -1,45 +0,0 @@ -# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py -# RUN: llc -march=riscv64 -mattr=+experimental-v -run-pass=simple-register-coalescing %s -o - 2>&1 | FileCheck %s - -# This test used to crash in the register coalescer when the target would -# return the out-of-bounds CommuteAnyOperandIndex for one of its commutable -# operand indices. - ---- | - target triple = "riscv64" - target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n64-S128" - - define void @commuted_op_indices() { - unreachable - } -... ---- -name: commuted_op_indices -tracksRegLiveness: true -registers: - - { id: 0, class: vr, preferred-register: '' } - - { id: 1, class: vrnov0, preferred-register: '' } - - { id: 2, class: vrnov0, preferred-register: '' } - - { id: 3, class: vr, preferred-register: '' } -body: | - bb.0: - liveins: $v0, $v1, $v2 - ; CHECK-LABEL: name: commuted_op_indices - ; CHECK: liveins: $v0, $v1, $v2 - ; CHECK: [[COPY:%[0-9]+]]:vr = COPY $v0 - ; CHECK: [[COPY1:%[0-9]+]]:vrnov0 = COPY $v1 - ; CHECK: [[COPY2:%[0-9]+]]:vrnov0 = COPY $v2 - ; CHECK: [[PseudoVNMSUB_VV_M1_:%[0-9]+]]:vr = PseudoVNMSUB_VV_M1 [[PseudoVNMSUB_VV_M1_]], [[COPY1]], [[COPY2]], $x0, 6, 1, implicit $vl, implicit $vtype - ; CHECK: [[COPY2:%[0-9]+]]:vr = COPY [[PseudoVNMSUB_VV_M1_]] - ; CHECK: dead [[COPY2]]:vr = PseudoVSLL_VI_M1 [[COPY2]], 11, $noreg, 6, implicit $vl, implicit $vtype - ; CHECK: $v0 = COPY [[PseudoVNMSUB_VV_M1_]] - ; CHECK: PseudoRET implicit $v0 - %0:vr = COPY $v0 - %1:vrnov0 = COPY $v1 - %2:vrnov0 = COPY $v2 - %0:vr = PseudoVNMSUB_VV_M1 %0, %1, killed %2, $x0, 6, 1, implicit $vl, implicit $vtype - %3:vr = COPY %0 - %3:vr = PseudoVSLL_VI_M1 %3, 11, $noreg, 6, implicit $vl, implicit $vtype - $v0 = COPY %0 - PseudoRET implicit $v0 -... _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits