-
Notifications
You must be signed in to change notification settings - Fork 15.2k
Revert "[Mips] Fix atomic min/max generate mips4 instructions when compiling for mips2" #159495
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
…mpiling …" This reverts commit b7f68cb.
@llvm/pr-subscribers-backend-mips Author: None (yingopq) ChangesReverts llvm/llvm-project#149983 Patch is 31.58 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/159495.diff 2 Files Affected:
diff --git a/llvm/lib/Target/Mips/MipsExpandPseudo.cpp b/llvm/lib/Target/Mips/MipsExpandPseudo.cpp
index 95822c94946a1..34ff41f6e02da 100644
--- a/llvm/lib/Target/Mips/MipsExpandPseudo.cpp
+++ b/llvm/lib/Target/Mips/MipsExpandPseudo.cpp
@@ -432,24 +432,13 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
Register OldVal = I->getOperand(6).getReg();
Register BinOpRes = I->getOperand(7).getReg();
Register StoreVal = I->getOperand(8).getReg();
- bool NoMovnInstr = (IsMin || IsMax) && !STI->hasMips4() && !STI->hasMips32();
const BasicBlock *LLVM_BB = BB.getBasicBlock();
MachineBasicBlock *loopMBB = MF->CreateMachineBasicBlock(LLVM_BB);
- MachineBasicBlock *loop1MBB;
- MachineBasicBlock *loop2MBB;
- if (NoMovnInstr) {
- loop1MBB = MF->CreateMachineBasicBlock(LLVM_BB);
- loop2MBB = MF->CreateMachineBasicBlock(LLVM_BB);
- }
MachineBasicBlock *sinkMBB = MF->CreateMachineBasicBlock(LLVM_BB);
MachineBasicBlock *exitMBB = MF->CreateMachineBasicBlock(LLVM_BB);
MachineFunction::iterator It = ++BB.getIterator();
MF->insert(It, loopMBB);
- if (NoMovnInstr) {
- MF->insert(It, loop1MBB);
- MF->insert(It, loop2MBB);
- }
MF->insert(It, sinkMBB);
MF->insert(It, exitMBB);
@@ -457,19 +446,9 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
exitMBB->transferSuccessorsAndUpdatePHIs(&BB);
BB.addSuccessor(loopMBB, BranchProbability::getOne());
- if (NoMovnInstr) {
- loopMBB->addSuccessor(loop1MBB);
- loopMBB->addSuccessor(loop2MBB);
- } else {
- loopMBB->addSuccessor(sinkMBB);
- loopMBB->addSuccessor(loopMBB);
- }
+ loopMBB->addSuccessor(sinkMBB);
+ loopMBB->addSuccessor(loopMBB);
loopMBB->normalizeSuccProbs();
- if (NoMovnInstr) {
- loop1MBB->addSuccessor(loop2MBB);
- loop2MBB->addSuccessor(loopMBB);
- loop2MBB->addSuccessor(exitMBB, BranchProbability::getOne());
- }
BuildMI(loopMBB, DL, TII->get(LL), OldVal).addReg(Ptr).addImm(0);
if (IsNand) {
@@ -546,7 +525,7 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
BuildMI(loopMBB, DL, TII->get(OR), BinOpRes)
.addReg(BinOpRes)
.addReg(Scratch4);
- } else if (STI->hasMips4() || STI->hasMips32()) {
+ } else {
// max: move BinOpRes, StoreVal
// movn BinOpRes, Incr, Scratch4, BinOpRes
// min: move BinOpRes, StoreVal
@@ -558,59 +537,12 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
.addReg(Incr)
.addReg(Scratch4)
.addReg(BinOpRes);
- } else {
- // if min:
- // loopMBB: move BinOpRes, StoreVal
- // beq Scratch4, 0, loop1MBB
- // j loop2MBB
- // loop1MBB: move BinOpRes, Incr
- // loop2MBB: and BinOpRes, BinOpRes, Mask
- // and StoreVal, OlddVal, Mask2
- // or StoreVal, StoreVal, BinOpRes
- // StoreVal<tied1> = sc StoreVal, 0(Ptr)
- // beq StoreVal, zero, loopMBB
- //
- // if max:
- // loopMBB: move BinOpRes, Incr
- // beq Scratch4, 0, loop1MBB
- // j loop2MBB
- // loop1MBB: move BinOpRes, StoreVal
- // loop2MBB: and BinOpRes, BinOpRes, Mask
- // and StoreVal, OlddVal, Mask2
- // or StoreVal, StoreVal, BinOpRes
- // StoreVal<tied1> = sc StoreVal, 0(Ptr)
- // beq StoreVal, zero, loopMBB
- if (IsMin) {
- BuildMI(loopMBB, DL, TII->get(OR), BinOpRes)
- .addReg(StoreVal)
- .addReg(Mips::ZERO);
- BuildMI(loop1MBB, DL, TII->get(OR), BinOpRes)
- .addReg(Incr)
- .addReg(Mips::ZERO);
- } else {
- BuildMI(loopMBB, DL, TII->get(OR), BinOpRes)
- .addReg(Incr)
- .addReg(Mips::ZERO);
- BuildMI(loop1MBB, DL, TII->get(OR), BinOpRes)
- .addReg(StoreVal)
- .addReg(Mips::ZERO);
- }
- BuildMI(loopMBB, DL, TII->get(BEQ))
- .addReg(Scratch4)
- .addReg(Mips::ZERO)
- .addMBB(loop1MBB);
- BuildMI(loopMBB, DL, TII->get(Mips::B)).addMBB(loop2MBB);
}
// and BinOpRes, BinOpRes, Mask
- if (NoMovnInstr)
- BuildMI(loop2MBB, DL, TII->get(Mips::AND), BinOpRes)
- .addReg(BinOpRes)
- .addReg(Mask);
- else
- BuildMI(loopMBB, DL, TII->get(Mips::AND), BinOpRes)
- .addReg(BinOpRes)
- .addReg(Mask);
+ BuildMI(loopMBB, DL, TII->get(Mips::AND), BinOpRes)
+ .addReg(BinOpRes)
+ .addReg(Mask);
} else if (!IsSwap) {
// <binop> binopres, oldval, incr2
@@ -632,37 +564,14 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
// or StoreVal, StoreVal, BinOpRes
// StoreVal<tied1> = sc StoreVal, 0(Ptr)
// beq StoreVal, zero, loopMBB
- if (NoMovnInstr) {
- BuildMI(loop2MBB, DL, TII->get(Mips::AND), StoreVal)
- .addReg(OldVal)
- .addReg(Mask2);
- BuildMI(loop2MBB, DL, TII->get(Mips::OR), StoreVal)
- .addReg(StoreVal)
- .addReg(BinOpRes);
- BuildMI(loop2MBB, DL, TII->get(SC), StoreVal)
- .addReg(StoreVal)
- .addReg(Ptr)
- .addImm(0);
- BuildMI(loop2MBB, DL, TII->get(BEQ))
- .addReg(StoreVal)
- .addReg(Mips::ZERO)
- .addMBB(loopMBB);
- } else {
- BuildMI(loopMBB, DL, TII->get(Mips::AND), StoreVal)
- .addReg(OldVal)
- .addReg(Mask2);
- BuildMI(loopMBB, DL, TII->get(Mips::OR), StoreVal)
- .addReg(StoreVal)
- .addReg(BinOpRes);
- BuildMI(loopMBB, DL, TII->get(SC), StoreVal)
- .addReg(StoreVal)
- .addReg(Ptr)
- .addImm(0);
- BuildMI(loopMBB, DL, TII->get(BEQ))
- .addReg(StoreVal)
- .addReg(Mips::ZERO)
- .addMBB(loopMBB);
- }
+ BuildMI(loopMBB, DL, TII->get(Mips::AND), StoreVal)
+ .addReg(OldVal).addReg(Mask2);
+ BuildMI(loopMBB, DL, TII->get(Mips::OR), StoreVal)
+ .addReg(StoreVal).addReg(BinOpRes);
+ BuildMI(loopMBB, DL, TII->get(SC), StoreVal)
+ .addReg(StoreVal).addReg(Ptr).addImm(0);
+ BuildMI(loopMBB, DL, TII->get(BEQ))
+ .addReg(StoreVal).addReg(Mips::ZERO).addMBB(loopMBB);
// sinkMBB:
// and maskedoldval1,oldval,mask
@@ -691,10 +600,6 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
LivePhysRegs LiveRegs;
computeAndAddLiveIns(LiveRegs, *loopMBB);
- if (NoMovnInstr) {
- computeAndAddLiveIns(LiveRegs, *loop1MBB);
- computeAndAddLiveIns(LiveRegs, *loop2MBB);
- }
computeAndAddLiveIns(LiveRegs, *sinkMBB);
computeAndAddLiveIns(LiveRegs, *exitMBB);
@@ -841,41 +746,20 @@ bool MipsExpandPseudo::expandAtomicBinOp(MachineBasicBlock &BB,
llvm_unreachable("Unknown pseudo atomic!");
}
- bool NoMovnInstr = (IsMin || IsMax) && !STI->hasMips4() && !STI->hasMips32();
const BasicBlock *LLVM_BB = BB.getBasicBlock();
MachineBasicBlock *loopMBB = MF->CreateMachineBasicBlock(LLVM_BB);
- MachineBasicBlock *loop1MBB;
- MachineBasicBlock *loop2MBB;
- if (NoMovnInstr) {
- loop1MBB = MF->CreateMachineBasicBlock(LLVM_BB);
- loop2MBB = MF->CreateMachineBasicBlock(LLVM_BB);
- }
MachineBasicBlock *exitMBB = MF->CreateMachineBasicBlock(LLVM_BB);
MachineFunction::iterator It = ++BB.getIterator();
MF->insert(It, loopMBB);
- if (NoMovnInstr) {
- MF->insert(It, loop1MBB);
- MF->insert(It, loop2MBB);
- }
MF->insert(It, exitMBB);
exitMBB->splice(exitMBB->begin(), &BB, std::next(I), BB.end());
exitMBB->transferSuccessorsAndUpdatePHIs(&BB);
BB.addSuccessor(loopMBB, BranchProbability::getOne());
- if (NoMovnInstr) {
- loopMBB->addSuccessor(loop1MBB);
- loopMBB->addSuccessor(loop2MBB);
- } else {
- loopMBB->addSuccessor(exitMBB);
- loopMBB->addSuccessor(loopMBB);
- }
+ loopMBB->addSuccessor(exitMBB);
+ loopMBB->addSuccessor(loopMBB);
loopMBB->normalizeSuccProbs();
- if (NoMovnInstr) {
- loop1MBB->addSuccessor(loop2MBB);
- loop2MBB->addSuccessor(loopMBB);
- loop2MBB->addSuccessor(exitMBB, BranchProbability::getOne());
- }
BuildMI(loopMBB, DL, TII->get(LL), OldVal).addReg(Ptr).addImm(0);
assert((OldVal != Ptr) && "Clobbered the wrong ptr reg!");
@@ -918,7 +802,7 @@ bool MipsExpandPseudo::expandAtomicBinOp(MachineBasicBlock &BB,
BuildMI(loopMBB, DL, TII->get(OR), Scratch)
.addReg(Scratch)
.addReg(Scratch2);
- } else if (STI->hasMips4() || STI->hasMips32()) {
+ } else {
// max: move Scratch, OldVal
// movn Scratch, Incr, Scratch2, Scratch
// min: move Scratch, OldVal
@@ -930,38 +814,6 @@ bool MipsExpandPseudo::expandAtomicBinOp(MachineBasicBlock &BB,
.addReg(Incr)
.addReg(Scratch2)
.addReg(Scratch);
- } else {
- // if min:
- // loopMBB: move Scratch, OldVal
- // beq Scratch2_32, 0, loop1MBB
- // j loop2MBB
- // loop1MBB: move Scratch, Incr
- // loop2MBB: sc $2, 0($4)
- // beqz $2, $BB0_1
- // nop
- //
- // if max:
- // loopMBB: move Scratch, Incr
- // beq Scratch2_32, 0, loop1MBB
- // j loop2MBB
- // loop1MBB: move Scratch, OldVal
- // loop2MBB: sc $2, 0($4)
- // beqz $2, $BB0_1
- // nop
- if (IsMin) {
- BuildMI(loopMBB, DL, TII->get(OR), Scratch).addReg(OldVal).addReg(ZERO);
- BuildMI(loop1MBB, DL, TII->get(OR), Scratch).addReg(Incr).addReg(ZERO);
- } else {
- BuildMI(loopMBB, DL, TII->get(OR), Scratch).addReg(Incr).addReg(ZERO);
- BuildMI(loop1MBB, DL, TII->get(OR), Scratch)
- .addReg(OldVal)
- .addReg(ZERO);
- }
- BuildMI(loopMBB, DL, TII->get(BEQ))
- .addReg(Scratch2_32)
- .addReg(ZERO)
- .addMBB(loop1MBB);
- BuildMI(loopMBB, DL, TII->get(Mips::B)).addMBB(loop2MBB);
}
} else if (Opcode) {
@@ -977,35 +829,20 @@ bool MipsExpandPseudo::expandAtomicBinOp(MachineBasicBlock &BB,
BuildMI(loopMBB, DL, TII->get(OR), Scratch).addReg(Incr).addReg(ZERO);
}
- if (NoMovnInstr) {
- BuildMI(loop2MBB, DL, TII->get(SC), Scratch)
- .addReg(Scratch)
- .addReg(Ptr)
- .addImm(0);
- BuildMI(loop2MBB, DL, TII->get(BEQ))
- .addReg(Scratch)
- .addReg(ZERO)
- .addMBB(loopMBB);
- } else {
- BuildMI(loopMBB, DL, TII->get(SC), Scratch)
- .addReg(Scratch)
- .addReg(Ptr)
- .addImm(0);
- BuildMI(loopMBB, DL, TII->get(BEQ))
- .addReg(Scratch)
- .addReg(ZERO)
- .addMBB(loopMBB);
- }
+ BuildMI(loopMBB, DL, TII->get(SC), Scratch)
+ .addReg(Scratch)
+ .addReg(Ptr)
+ .addImm(0);
+ BuildMI(loopMBB, DL, TII->get(BEQ))
+ .addReg(Scratch)
+ .addReg(ZERO)
+ .addMBB(loopMBB);
NMBBI = BB.end();
I->eraseFromParent();
LivePhysRegs LiveRegs;
computeAndAddLiveIns(LiveRegs, *loopMBB);
- if (!STI->hasMips4() && !STI->hasMips32()) {
- computeAndAddLiveIns(LiveRegs, *loop1MBB);
- computeAndAddLiveIns(LiveRegs, *loop2MBB);
- }
computeAndAddLiveIns(LiveRegs, *exitMBB);
return true;
diff --git a/llvm/test/CodeGen/Mips/atomic-min-max.ll b/llvm/test/CodeGen/Mips/atomic-min-max.ll
index 8320224680ff8..85bf6d02c7d8f 100644
--- a/llvm/test/CodeGen/Mips/atomic-min-max.ll
+++ b/llvm/test/CodeGen/Mips/atomic-min-max.ll
@@ -3,7 +3,6 @@
; RUN: llc -mtriple=mips-elf -O0 -mcpu=mips32r6 -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=MIPSR6
; RUN: llc -mtriple=mips-elf -O0 -mcpu=mips32r2 -mattr=+micromips -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=MM
; RUN: llc -mtriple=mips-elf -O0 -mcpu=mips32r6 -mattr=+micromips -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=MMR6
-; RUN: llc -mtriple=mipsel-elf -O0 -mcpu=mips2 %s -o - | FileCheck %s --check-prefix=MIPS2
; RUN: llc -mtriple=mipsel-elf -O0 -mcpu=mips32 -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=MIPS32
; RUN: llc -mtriple=mipsel-elf -O0 -mcpu=mips32r2 -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=MIPSEL
; RUN: llc -mtriple=mipsel-elf -O0 -mcpu=mips32r6 -verify-machineinstrs %s -o - | FileCheck %s --check-prefix=MIPSELR6
@@ -32,33 +31,6 @@ define i32 @test_max_32(ptr nocapture %ptr, i32 signext %val) {
; MIPS-NEXT: jr $ra
; MIPS-NEXT: nop
;
-; MIPS2-LABEL: test_max_32:
-; MIPS2: # %bb.0: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: $BB0_1: # %entry
-; MIPS2-NEXT: # =>This Inner Loop Header: Depth=1
-; MIPS2-NEXT: ll $2, 0($4)
-; MIPS2-NEXT: slt $3, $2, $5
-; MIPS2-NEXT: move $1, $5
-; MIPS2-NEXT: beqz $3, $BB0_3
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.2: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB0_1 Depth=1
-; MIPS2-NEXT: b $BB0_4
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: $BB0_3: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB0_1 Depth=1
-; MIPS2-NEXT: move $1, $2
-; MIPS2-NEXT: $BB0_4: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB0_1 Depth=1
-; MIPS2-NEXT: sc $1, 0($4)
-; MIPS2-NEXT: beqz $1, $BB0_1
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.5: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: jr $ra
-; MIPS2-NEXT: nop
-;
; MIPSR6-LABEL: test_max_32:
; MIPSR6: # %bb.0: # %entry
; MIPSR6-NEXT: sync
@@ -279,33 +251,6 @@ define i32 @test_min_32(ptr nocapture %ptr, i32 signext %val) {
; MIPS-NEXT: jr $ra
; MIPS-NEXT: nop
;
-; MIPS2-LABEL: test_min_32:
-; MIPS2: # %bb.0: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: $BB1_1: # %entry
-; MIPS2-NEXT: # =>This Inner Loop Header: Depth=1
-; MIPS2-NEXT: ll $2, 0($4)
-; MIPS2-NEXT: slt $3, $2, $5
-; MIPS2-NEXT: move $1, $2
-; MIPS2-NEXT: beqz $3, $BB1_3
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.2: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB1_1 Depth=1
-; MIPS2-NEXT: b $BB1_4
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: $BB1_3: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB1_1 Depth=1
-; MIPS2-NEXT: move $1, $5
-; MIPS2-NEXT: $BB1_4: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB1_1 Depth=1
-; MIPS2-NEXT: sc $1, 0($4)
-; MIPS2-NEXT: beqz $1, $BB1_1
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.5: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: jr $ra
-; MIPS2-NEXT: nop
-;
; MIPSR6-LABEL: test_min_32:
; MIPSR6: # %bb.0: # %entry
; MIPSR6-NEXT: sync
@@ -526,33 +471,6 @@ define i32 @test_umax_32(ptr nocapture %ptr, i32 signext %val) {
; MIPS-NEXT: jr $ra
; MIPS-NEXT: nop
;
-; MIPS2-LABEL: test_umax_32:
-; MIPS2: # %bb.0: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: $BB2_1: # %entry
-; MIPS2-NEXT: # =>This Inner Loop Header: Depth=1
-; MIPS2-NEXT: ll $2, 0($4)
-; MIPS2-NEXT: sltu $3, $2, $5
-; MIPS2-NEXT: move $1, $5
-; MIPS2-NEXT: beqz $3, $BB2_3
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.2: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB2_1 Depth=1
-; MIPS2-NEXT: b $BB2_4
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: $BB2_3: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB2_1 Depth=1
-; MIPS2-NEXT: move $1, $2
-; MIPS2-NEXT: $BB2_4: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB2_1 Depth=1
-; MIPS2-NEXT: sc $1, 0($4)
-; MIPS2-NEXT: beqz $1, $BB2_1
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.5: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: jr $ra
-; MIPS2-NEXT: nop
-;
; MIPSR6-LABEL: test_umax_32:
; MIPSR6: # %bb.0: # %entry
; MIPSR6-NEXT: sync
@@ -773,33 +691,6 @@ define i32 @test_umin_32(ptr nocapture %ptr, i32 signext %val) {
; MIPS-NEXT: jr $ra
; MIPS-NEXT: nop
;
-; MIPS2-LABEL: test_umin_32:
-; MIPS2: # %bb.0: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: $BB3_1: # %entry
-; MIPS2-NEXT: # =>This Inner Loop Header: Depth=1
-; MIPS2-NEXT: ll $2, 0($4)
-; MIPS2-NEXT: sltu $3, $2, $5
-; MIPS2-NEXT: move $1, $2
-; MIPS2-NEXT: beqz $3, $BB3_3
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.2: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB3_1 Depth=1
-; MIPS2-NEXT: b $BB3_4
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: $BB3_3: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB3_1 Depth=1
-; MIPS2-NEXT: move $1, $5
-; MIPS2-NEXT: $BB3_4: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB3_1 Depth=1
-; MIPS2-NEXT: sc $1, 0($4)
-; MIPS2-NEXT: beqz $1, $BB3_1
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.5: # %entry
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: jr $ra
-; MIPS2-NEXT: nop
-;
; MIPSR6-LABEL: test_umin_32:
; MIPSR6: # %bb.0: # %entry
; MIPSR6-NEXT: sync
@@ -1045,58 +936,6 @@ define i16 @test_max_16(ptr nocapture %ptr, i16 signext %val) {
; MIPS-NEXT: jr $ra
; MIPS-NEXT: nop
;
-; MIPS2-LABEL: test_max_16:
-; MIPS2: # %bb.0: # %entry
-; MIPS2-NEXT: addiu $sp, $sp, -8
-; MIPS2-NEXT: .cfi_def_cfa_offset 8
-; MIPS2-NEXT: # kill: def $at killed $a1
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: addiu $1, $zero, -4
-; MIPS2-NEXT: and $6, $4, $1
-; MIPS2-NEXT: andi $1, $4, 3
-; MIPS2-NEXT: sll $10, $1, 3
-; MIPS2-NEXT: ori $1, $zero, 65535
-; MIPS2-NEXT: sllv $8, $1, $10
-; MIPS2-NEXT: nor $9, $zero, $8
-; MIPS2-NEXT: sllv $7, $5, $10
-; MIPS2-NEXT: $BB4_1: # %entry
-; MIPS2-NEXT: # =>This Inner Loop Header: Depth=1
-; MIPS2-NEXT: ll $2, 0($6)
-; MIPS2-NEXT: srav $4, $2, $10
-; MIPS2-NEXT: sll $4, $4, 16
-; MIPS2-NEXT: sra $4, $4, 16
-; MIPS2-NEXT: or $1, $zero, $4
-; MIPS2-NEXT: sllv $4, $4, $10
-; MIPS2-NEXT: slt $5, $4, $7
-; MIPS2-NEXT: move $3, $7
-; MIPS2-NEXT: beqz $5, $BB4_3
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.2: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB4_1 Depth=1
-; MIPS2-NEXT: b $BB4_4
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: $BB4_3: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB4_1 Depth=1
-; MIPS2-NEXT: move $3, $4
-; MIPS2-NEXT: $BB4_4: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB4_1 Depth=1
-; MIPS2-NEXT: and $3, $3, $8
-; MIPS2-NEXT: and $4, $2, $9
-; MIPS2-NEXT: or $4, $4, $3
-; MIPS2-NEXT: sc $4, 0($6)
-; MIPS2-NEXT: beqz $4, $BB4_1
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.5: # %entry
-; MIPS2-NEXT: .insn
-; MIPS2-NEXT: $BB4_6: # %entry
-; MIPS2-NEXT: sw $1, 4($sp) # 4-byte Folded Spill
-; MIPS2-NEXT: # %bb.7: # %entry
-; MIPS2-NEXT: lw $2, 4($sp) # 4-byte Folded Reload
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: addiu $sp, $sp, 8
-; MIPS2-NEXT: jr $ra
-; MIPS2-NEXT: nop
-;
; MIPSR6-LABEL: test_max_16:
; MIPSR6: # %bb.0: # %entry
; MIPSR6-NEXT: addiu $sp, $sp, -8
@@ -1637,58 +1476,6 @@ define i16 @test_min_16(ptr nocapture %ptr, i16 signext %val) {
; MIPS-NEXT: jr $ra
; MIPS-NEXT: nop
;
-; MIPS2-LABEL: test_min_16:
-; MIPS2: # %bb.0: # %entry
-; MIPS2-NEXT: addiu $sp, $sp, -8
-; MIPS2-NEXT: .cfi_def_cfa_offset 8
-; MIPS2-NEXT: # kill: def $at killed $a1
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: addiu $1, $zero, -4
-; MIPS2-NEXT: and $6, $4, $1
-; MIPS2-NEXT: andi $1, $4, 3
-; MIPS2-NEXT: sll $10, $1, 3
-; MIPS2-NEXT: ori $1, $zero, 65535
-; MIPS2-NEXT: sllv $8, $1, $10
-; MIPS2-NEXT: nor $9, $zero, $8
-; MIPS2-NEXT: sllv $7, $5, $10
-; MIPS2-NEXT: $BB5_1: # %entry
-; MIPS2-NEXT: # =>This Inner Loop Header: Depth=1
-; MIPS2-NEXT: ll $2, 0($6)
-; MIPS2-NEXT: srav $4, $2, $10
-; MIPS2-NEXT: sll $4, $4, 16
-; MIPS2-NEXT: sra $4, $4, 16
-; MIPS2-NEXT: or $1, $zero, $4
-; MIPS2-NEXT: sllv $4, $4, $10
-; MIPS2-NEXT: slt $5, $4, $7
-; MIPS2-NEXT: move $3, $4
-; MIPS2-NEXT: beqz $5, $BB5_3
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.2: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB5_1 Depth=1
-; MIPS2-NEXT: b $BB5_4
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: $BB5_3: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB5_1 Depth=1
-; MIPS2-NEXT: move $3, $7
-; MIPS2-NEXT: $BB5_4: # %entry
-; MIPS2-NEXT: # in Loop: Header=BB5_1 Depth=1
-; MIPS2-NEXT: and $3, $3, $8
-; MIPS2-NEXT: and $4, $2, $9
-; MIPS2-NEXT: or $4, $4, $3
-; MIPS2-NEXT: sc $4, 0($6)
-; MIPS2-NEXT: beqz $4, $BB5_1
-; MIPS2-NEXT: nop
-; MIPS2-NEXT: # %bb.5: # %entry
-; MIPS2-NEXT: .insn
-; MIPS2-NEXT: $BB5_6: # %entry
-; MIPS2-NEXT: sw $1, 4($sp) # 4-byte Folded Spill
-; MIPS2-NEXT: # %bb.7: # %entry
-; MIPS2-NEXT: lw $2, 4($sp) # 4-byte Folded Reload
-; MIPS2-NEXT: sync
-; MIPS2-NEXT: addiu $sp, $sp, 8
-; MIPS2-NEXT: jr $ra
-; MIPS2-NEXT: nop
-;
; MIPSR6-LABEL: test_min_16:
; MIPSR6: # %bb.0: # %entry
; MIPSR6-NEXT: addiu $sp, $sp, -8
@@ -2228,57 +2015,6 @@ de...
[truncated]
|
|
You can test this locally with the following command:git-clang-format --diff origin/main HEAD --extensions cpp -- llvm/lib/Target/Mips/MipsExpandPseudo.cpp
View the diff from clang-format here.diff --git a/llvm/lib/Target/Mips/MipsExpandPseudo.cpp b/llvm/lib/Target/Mips/MipsExpandPseudo.cpp
index 34ff41f6e..8d449711f 100644
--- a/llvm/lib/Target/Mips/MipsExpandPseudo.cpp
+++ b/llvm/lib/Target/Mips/MipsExpandPseudo.cpp
@@ -565,13 +565,19 @@ bool MipsExpandPseudo::expandAtomicBinOpSubword(
// StoreVal<tied1> = sc StoreVal, 0(Ptr)
// beq StoreVal, zero, loopMBB
BuildMI(loopMBB, DL, TII->get(Mips::AND), StoreVal)
- .addReg(OldVal).addReg(Mask2);
+ .addReg(OldVal)
+ .addReg(Mask2);
BuildMI(loopMBB, DL, TII->get(Mips::OR), StoreVal)
- .addReg(StoreVal).addReg(BinOpRes);
+ .addReg(StoreVal)
+ .addReg(BinOpRes);
BuildMI(loopMBB, DL, TII->get(SC), StoreVal)
- .addReg(StoreVal).addReg(Ptr).addImm(0);
+ .addReg(StoreVal)
+ .addReg(Ptr)
+ .addImm(0);
BuildMI(loopMBB, DL, TII->get(BEQ))
- .addReg(StoreVal).addReg(Mips::ZERO).addMBB(loopMBB);
+ .addReg(StoreVal)
+ .addReg(Mips::ZERO)
+ .addMBB(loopMBB);
// sinkMBB:
// and maskedoldval1,oldval,mask
|
Reverts #149983