Index: llvm/lib/CodeGen/PrologEpilogInserter.cpp =================================================================== --- llvm/lib/CodeGen/PrologEpilogInserter.cpp +++ llvm/lib/CodeGen/PrologEpilogInserter.cpp @@ -129,6 +129,15 @@ int &SPAdj); void insertPrologEpilogCode(MachineFunction &MF); void insertZeroCallUsedRegs(MachineFunction &MF); + + void removeRedundantAddrAnchors(MachineFunction &MF); + // Data structures to map regs to definitions per MBB. + typedef std::map Reg2DefMap; + typedef std::map MBB2RegDefsMap; + void visitBlock(MachineBasicBlock *MBB, + std::set &Visited, + std::list &Worklist, + MBB2RegDefsMap &RegDefs); }; } // end anonymous namespace @@ -269,6 +278,11 @@ if (TRI->requiresRegisterScavenging(MF) && FrameIndexVirtualScavenging) scavengeFrameVirtualRegs(MF, *RS); + // Remove redundant frame addressing anchor points created during Frame + // Indices elimination. + if (MF.getTarget().getOptLevel() != CodeGenOpt::None) + removeRedundantAddrAnchors(MF); + // Warn on stack size when we exceeds the given limit. MachineFrameInfo &MFI = MF.getFrameInfo(); uint64_t StackSize = MFI.getStackSize(); @@ -1443,3 +1457,196 @@ RS->forward(MI); } } + +#ifndef NDEBUG +// (Experimental) Only used to verify that all reachable MBBs were processed. +static void addSuccessors(MachineBasicBlock *MBB, + std::set &Visited) { + Visited.insert(MBB); + for (MachineBasicBlock *SuccMBB : MBB->successors()) + if (!Visited.count(SuccMBB)) + addSuccessors(SuccMBB, Visited); +} +static unsigned getNumReachableBlocks(MachineFunction &MF) { + std::set Visited; + addSuccessors(&MF.front(), Visited); + return Visited.size(); +} +#endif + +void PEI::removeRedundantAddrAnchors(MachineFunction &MF) { + // TODO: BreadthFirstIterator..? + std::set Visited; + std::list Worklist; + Worklist.push_back(&MF.front()); + MBB2RegDefsMap RegDefs; + auto allPredsVisited = [&Visited](MachineBasicBlock *MBB) { + for (MachineBasicBlock *Pred : MBB->predecessors()) + if (!Visited.count(Pred)) + return false; + return true; + }; + + // Try to visit all blocks in an order so that all predecessors of an MBB + // were visited before, in order to reuse definitions from them. + bool Change = true; + while (Change) { + Change = false; + for (auto &MBB : Worklist) + if (!Visited.count(MBB) && allPredsVisited(MBB)) { + visitBlock(MBB, Visited, Worklist, RegDefs); + Change = true; + } + if (!Change) + // TODO: Probably better to prioritize a loop header here. + for (auto &MBB : Worklist) + if (!Visited.count(MBB)) { + visitBlock(MBB, Visited, Worklist, RegDefs); + Change = true; + break; + } + } + + assert(Visited.size() == getNumReachableBlocks(MF) && + "Failed to visit all MBBs."); +} + +// Slow version for now: Update live-in lists and clear kill flags after each +// removal of a redundant definition. Not sure how important kill-flags are +// after PEI, but this clears them carefully on each user. TODO: This should +// probably be done after all else in a single pass instead to avoid +// unnecessary compile-time. +static void clearKillsForDef(MachineBasicBlock *MBB, + MachineBasicBlock::iterator I, + Register Reg, + MachineInstr *MI, + std::set &Visited, + const TargetRegisterInfo *TRI) { + Visited.insert(MBB); + // Clear kill flags on instructions before I in MBB, stopping at a + // definition of Reg, which should be an identical instruction. + while (I != MBB->begin()) { + I--; + if (I->modifiesRegister(Reg, TRI)) { + assert (I->isIdenticalTo(*MI) && "Broken redundancy assumption."); + return; + } + I->clearRegisterKills(Reg, TRI); + } + + // If earlier def is not in MBB, continue in predecessors. + if (!MBB->isLiveIn(Reg)) + MBB->addLiveIn(Reg); + assert(MBB->pred_size() && "Predecessor def not found!"); + for (MachineBasicBlock *Pred : MBB->predecessors()) + if (!Visited.count(Pred)) + clearKillsForDef(Pred, Pred->end(), Reg, MI, Visited, TRI); +} + +static void removeRedundantDef(MachineInstr *MI, + const TargetRegisterInfo *TRI) { + Register Reg = MI->getOperand(0).getReg(); + std::set Visited; + clearKillsForDef(MI->getParent(), MI->getIterator(), Reg, MI, Visited, TRI); + MI->eraseFromParent(); +} + +void PEI::visitBlock(MachineBasicBlock *MBB, + std::set &Visited, + std::list &Worklist, + MBB2RegDefsMap &RegDefs) { + Visited.insert(MBB); + + // Reuse definition in predecessor(s). + std::set PredRegs; + // Find set of all regs reusable from any predecessor. + for (MachineBasicBlock *Pred : MBB->predecessors()) + for (auto I : RegDefs[Pred]) + PredRegs.insert(I.first); + Reg2DefMap &MBBDefs = RegDefs[MBB]; + // Fill MBBDefs with reusable definitions if all predecessor definitions + // are present and identical. + for(auto Reg : PredRegs) { + MachineInstr *IdenticalDefMI = nullptr; + for (MachineBasicBlock *Pred : MBB->predecessors()) { + MachineInstr *PredDefMI = nullptr; + if (RegDefs[Pred].find(Reg) != RegDefs[Pred].end()) + PredDefMI = RegDefs[Pred][Reg]; + if (PredDefMI == nullptr || + (IdenticalDefMI != nullptr && + !IdenticalDefMI->isIdenticalTo(*PredDefMI))) { + IdenticalDefMI = nullptr; + break; + } + IdenticalDefMI = PredDefMI; + } + if (IdenticalDefMI != nullptr) { + MBBDefs[Reg] = IdenticalDefMI; + LLVM_DEBUG(dbgs() << "Reusable instruction from pred(s): in MBB#" + << MBB->getNumber() << ":"; IdenticalDefMI->dump();); + } + } + + // Process MBB. + MachineFunction *MF = MBB->getParent(); + const TargetRegisterInfo *TRI =MF->getSubtarget().getRegisterInfo(); + Register FrameReg = TRI->getFrameRegister(*MF); + for (MachineBasicBlock::iterator I = MBB->begin(); I != MBB->end();) { + MachineInstr *MI = &*(I++); + + // If the FrameReg is modified, no previous definitions (using it) can be + // reused. TODO: There seems to be many load immediate instructions that + // do not use FrameReg that could still be reused. + if (MI->modifiesRegister(FrameReg, TRI)) { + MBBDefs.clear(); + continue; + } + + // A candidate is a simple instruction that does not touch memory, has + // only one register definition and the only reg it may use is FrameReg. + Register DefedReg = 0; + bool Candidate = !(MI->mayStore() || MI->mayLoad() || MI->isCall() || + MI->isImplicitDef() || MI->isInlineAsm() || + MI->hasUnmodeledSideEffects()); + for (unsigned i = 0, e = MI->getNumOperands(); i != e; ++i) { + MachineOperand &MO = MI->getOperand(i); + if (MO.isReg()) { + if (MO.isDef()) { + if (i == 0 && !MO.isImplicit() && !MO.isDead()) + DefedReg = MO.getReg(); + else + Candidate = false; + } + else if (MO.getReg() && MO.getReg() != FrameReg) + Candidate = false; + } + else if (!MO.isImm()) + Candidate = false; + } + + if (Candidate && DefedReg && MBBDefs[DefedReg] != nullptr && + MBBDefs[DefedReg]->isIdenticalTo(*MI)) { + LLVM_DEBUG(dbgs() << "Removing redundant instruction in MBB#" + << MBB->getNumber() << ":"; MI->dump();); + removeRedundantDef(MI, TRI); + continue; + } + + // Clear any defs that MI clobbers. + for (auto DefI : MBBDefs) { + Register Reg = DefI.first; + if (MI->modifiesRegister(Reg, TRI)) + MBBDefs[Reg] = nullptr; + } + + if (Candidate && DefedReg) { + LLVM_DEBUG(dbgs() << "Found interesting instruction in MBB#" + << MBB->getNumber() << ":"; MI->dump();); + MBBDefs[DefedReg] = MI; + } + } + + // Add successors to worklist. + for (MachineBasicBlock *SuccMBB : MBB->successors()) + Worklist.push_back(SuccMBB); +} Index: llvm/test/CodeGen/AArch64/framelayout-sve.mir =================================================================== --- llvm/test/CodeGen/AArch64/framelayout-sve.mir +++ llvm/test/CodeGen/AArch64/framelayout-sve.mir @@ -266,10 +266,8 @@ # CHECK-NEXT: frame-setup CFI_INSTRUCTION escape 0x0f, 0x0c, 0x8f, 0x00, 0x11, 0x20, 0x22, 0x11, 0x18, 0x92, 0x2e, 0x00, 0x1e, 0x22 # CHECK-NEXT: $[[TMP:x[0-9]+]] = ADDXri $sp, 16 -# CHECK-NEXT: STR_ZXI $z0, killed $[[TMP]], 2 -# CHECK-NEXT: $[[TMP:x[0-9]+]] = ADDXri $sp, 16 -# CHECK-NEXT: STR_ZXI $z1, killed $[[TMP]], 1 -# CHECK-NEXT: $[[TMP:x[0-9]+]] = ADDXri $sp, 16 +# CHECK-NEXT: STR_ZXI $z0, $[[TMP]], 2 +# CHECK-NEXT: STR_ZXI $z1, $[[TMP]], 1 # CHECK-NEXT: STR_PXI $p0, killed $[[TMP]], 7 # CHECK-NEXT: $sp = frame-destroy ADDVL_XXI $sp, 3 Index: llvm/test/CodeGen/AArch64/strict-fp-int-promote.ll =================================================================== --- llvm/test/CodeGen/AArch64/strict-fp-int-promote.ll +++ llvm/test/CodeGen/AArch64/strict-fp-int-promote.ll @@ -22,7 +22,6 @@ ; SUBOPTIMAL: // %bb.0: // %entry ; SUBOPTIMAL-NEXT: mov w8, #1 ; SUBOPTIMAL-NEXT: scvtf s0, w8 -; SUBOPTIMAL-NEXT: mov w8, #1 ; SUBOPTIMAL-NEXT: scvtf s1, w8 ; SUBOPTIMAL-NEXT: fcmp s0, s1 ; SUBOPTIMAL-NEXT: cset w8, eq @@ -50,7 +49,6 @@ ; SUBOPTIMAL: // %bb.0: // %entry ; SUBOPTIMAL-NEXT: mov w8, #1 ; SUBOPTIMAL-NEXT: scvtf s0, w8 -; SUBOPTIMAL-NEXT: mov w8, #1 ; SUBOPTIMAL-NEXT: ucvtf s1, w8 ; SUBOPTIMAL-NEXT: fcmp s0, s1 ; SUBOPTIMAL-NEXT: cset w8, eq Index: llvm/test/CodeGen/AArch64/sve-calling-convention-mixed.ll =================================================================== --- llvm/test/CodeGen/AArch64/sve-calling-convention-mixed.ll +++ llvm/test/CodeGen/AArch64/sve-calling-convention-mixed.ll @@ -43,26 +43,23 @@ ; CHECK-NEXT: addvl sp, sp, #-4 ; CHECK-NEXT: sub sp, sp, #16 ; CHECK-NEXT: ptrue p0.b -; CHECK-NEXT: add x9, sp, #16 +; CHECK-NEXT: add x8, sp, #16 ; CHECK-NEXT: ld4d { z1.d, z2.d, z3.d, z4.d }, p0/z, [x0] ; CHECK-NEXT: ld4d { z16.d, z17.d, z18.d, z19.d }, p0/z, [x1] -; CHECK-NEXT: ptrue p0.d -; CHECK-NEXT: add x8, sp, #16 ; CHECK-NEXT: fmov s0, #1.00000000 ; CHECK-NEXT: mov w0, wzr ; CHECK-NEXT: mov w1, #1 ; CHECK-NEXT: mov w2, #2 -; CHECK-NEXT: st1d { z16.d }, p0, [x9] -; CHECK-NEXT: add x9, sp, #16 ; CHECK-NEXT: mov w3, #3 ; CHECK-NEXT: mov w4, #4 ; CHECK-NEXT: mov w5, #5 ; CHECK-NEXT: mov w6, #6 -; CHECK-NEXT: st1d { z17.d }, p0, [x9, #1, mul vl] -; CHECK-NEXT: add x9, sp, #16 ; CHECK-NEXT: mov w7, #7 -; CHECK-NEXT: st1d { z18.d }, p0, [x9, #2, mul vl] ; CHECK-NEXT: add x9, sp, #16 +; CHECK-NEXT: ptrue p0.d +; CHECK-NEXT: st1d { z16.d }, p0, [x9] +; CHECK-NEXT: st1d { z17.d }, p0, [x9, #1, mul vl] +; CHECK-NEXT: st1d { z18.d }, p0, [x9, #2, mul vl] ; CHECK-NEXT: st1d { z19.d }, p0, [x9, #3, mul vl] ; CHECK-NEXT: str x8, [sp] ; CHECK-NEXT: bl callee2 Index: llvm/test/CodeGen/AArch64/sve-ld1r.mir =================================================================== --- llvm/test/CodeGen/AArch64/sve-ld1r.mir +++ llvm/test/CodeGen/AArch64/sve-ld1r.mir @@ -35,27 +35,28 @@ ; CHECK-LABEL: name: testcase_positive_offset ; CHECK: liveins: $p0 - ; CHECK: $sp = frame-setup SUBXri $sp, 16, 0 - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 16 - ; CHECK: renamable $z0 = LD1RB_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RB_H_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RB_S_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RB_D_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RSB_H_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RSB_S_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RSB_D_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: renamable $z0 = LD1RH_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) - ; CHECK: renamable $z0 = LD1RH_S_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) - ; CHECK: renamable $z0 = LD1RH_D_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) - ; CHECK: renamable $z0 = LD1RSH_S_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) - ; CHECK: renamable $z0 = LD1RSH_D_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) - ; CHECK: renamable $z0 = LD1RW_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) - ; CHECK: renamable $z0 = LD1RW_D_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) - ; CHECK: renamable $z0 = LD1RSW_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) - ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, $sp, 63 :: (load (s64) from %ir.object) - ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, $sp, 63 :: (load (s64) from %ir.object) - ; CHECK: $sp = frame-destroy ADDXri $sp, 16, 0 - ; CHECK: RET_ReallyLR implicit $z0 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 16, 0 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 16 + ; CHECK-NEXT: renamable $z0 = LD1RB_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_H_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_S_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_D_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_H_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_S_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_D_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RH_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RH_S_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RH_D_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSH_S_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSH_D_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RW_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RW_D_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSW_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RD_IMM renamable $p0, $sp, 63 :: (load (s64) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RD_IMM renamable $p0, $sp, 63 :: (load (s64) from %ir.object) + ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 16, 0 + ; CHECK-NEXT: RET_ReallyLR implicit $z0 renamable $z0 = LD1RB_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) renamable $z0 = LD1RB_H_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) renamable $z0 = LD1RB_S_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) @@ -87,44 +88,32 @@ ; CHECK-LABEL: name: testcase_positive_offset_out_of_range ; CHECK: liveins: $p0 - ; CHECK: $sp = frame-setup SUBXri $sp, 16, 0 - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 16 - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_H_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_S_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_D_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RSB_H_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RSB_S_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RSB_D_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = ADDXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RH_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RH_S_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RH_D_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RSH_S_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RSH_D_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 4, 0 - ; CHECK: renamable $z0 = LD1RW_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 4, 0 - ; CHECK: renamable $z0 = LD1RW_D_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 4, 0 - ; CHECK: renamable $z0 = LD1RSW_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 8, 0 - ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 63 :: (load (s64) from %ir.object) - ; CHECK: $x8 = ADDXri $sp, 8, 0 - ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 63 :: (load (s64) from %ir.object) - ; CHECK: $sp = frame-destroy ADDXri $sp, 16, 0 - ; CHECK: RET_ReallyLR implicit $z0 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 16, 0 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 16 + ; CHECK-NEXT: $x8 = ADDXri $sp, 1, 0 + ; CHECK-NEXT: renamable $z0 = LD1RB_IMM renamable $p0, $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_H_IMM renamable $p0, $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_S_IMM renamable $p0, $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_D_IMM renamable $p0, $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_H_IMM renamable $p0, $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_S_IMM renamable $p0, $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_D_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: $x8 = ADDXri $sp, 2, 0 + ; CHECK-NEXT: renamable $z0 = LD1RH_IMM renamable $p0, $x8, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RH_S_IMM renamable $p0, $x8, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RH_D_IMM renamable $p0, $x8, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSH_S_IMM renamable $p0, $x8, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSH_D_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) + ; CHECK-NEXT: $x8 = ADDXri $sp, 4, 0 + ; CHECK-NEXT: renamable $z0 = LD1RW_IMM renamable $p0, $x8, 63 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RW_D_IMM renamable $p0, $x8, 63 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSW_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) + ; CHECK-NEXT: $x8 = ADDXri $sp, 8, 0 + ; CHECK-NEXT: renamable $z0 = LD1RD_IMM renamable $p0, $x8, 63 :: (load (s64) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 63 :: (load (s64) from %ir.object) + ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 16, 0 + ; CHECK-NEXT: RET_ReallyLR implicit $z0 renamable $z0 = LD1RB_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) renamable $z0 = LD1RB_H_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) renamable $z0 = LD1RB_S_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) @@ -158,44 +147,32 @@ ; CHECK-LABEL: name: testcase_negative_offset_out_of_range ; CHECK: liveins: $p0 - ; CHECK: $sp = frame-setup SUBXri $sp, 16, 0 - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 16 - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_H_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_S_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RB_D_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RSB_H_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RSB_S_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 1, 0 - ; CHECK: renamable $z0 = LD1RSB_D_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) - ; CHECK: $x8 = SUBXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RH_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RH_S_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RH_D_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RSH_S_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 2, 0 - ; CHECK: renamable $z0 = LD1RSH_D_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 4, 0 - ; CHECK: renamable $z0 = LD1RW_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 4, 0 - ; CHECK: renamable $z0 = LD1RW_D_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 4, 0 - ; CHECK: renamable $z0 = LD1RSW_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 8, 0 - ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 0 :: (load (s64) from %ir.object) - ; CHECK: $x8 = SUBXri $sp, 8, 0 - ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 0 :: (load (s64) from %ir.object) - ; CHECK: $sp = frame-destroy ADDXri $sp, 16, 0 - ; CHECK: RET_ReallyLR implicit $z0 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup SUBXri $sp, 16, 0 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 16 + ; CHECK-NEXT: $x8 = SUBXri $sp, 1, 0 + ; CHECK-NEXT: renamable $z0 = LD1RB_IMM renamable $p0, $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_H_IMM renamable $p0, $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_S_IMM renamable $p0, $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RB_D_IMM renamable $p0, $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_H_IMM renamable $p0, $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_S_IMM renamable $p0, $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LD1RSB_D_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: $x8 = SUBXri $sp, 2, 0 + ; CHECK-NEXT: renamable $z0 = LD1RH_IMM renamable $p0, $x8, 0 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RH_S_IMM renamable $p0, $x8, 0 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RH_D_IMM renamable $p0, $x8, 0 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSH_S_IMM renamable $p0, $x8, 0 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSH_D_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) + ; CHECK-NEXT: $x8 = SUBXri $sp, 4, 0 + ; CHECK-NEXT: renamable $z0 = LD1RW_IMM renamable $p0, $x8, 0 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RW_D_IMM renamable $p0, $x8, 0 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RSW_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) + ; CHECK-NEXT: $x8 = SUBXri $sp, 8, 0 + ; CHECK-NEXT: renamable $z0 = LD1RD_IMM renamable $p0, $x8, 0 :: (load (s64) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 0 :: (load (s64) from %ir.object) + ; CHECK-NEXT: $sp = frame-destroy ADDXri $sp, 16, 0 + ; CHECK-NEXT: RET_ReallyLR implicit $z0 renamable $z0 = LD1RB_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) renamable $z0 = LD1RB_H_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) renamable $z0 = LD1RB_S_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) Index: llvm/test/CodeGen/AArch64/sve-ldstnt1.mir =================================================================== --- llvm/test/CodeGen/AArch64/sve-ldstnt1.mir +++ llvm/test/CodeGen/AArch64/sve-ldstnt1.mir @@ -135,20 +135,13 @@ ; CHECK-NEXT: $sp = frame-setup ADDVL_XXI $sp, -4 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION escape 0x0f, 0x0c, 0x8f, 0x00, 0x11, 0x10, 0x22, 0x11, 0x20, 0x92, 0x2e, 0x00, 0x1e, 0x22 ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: renamable $z0 = LDNT1B_ZRI renamable $p0, killed $x8, 7 :: (load (s8) from %ir.object, align 2) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: renamable $z0 = LDNT1H_ZRI renamable $p0, killed $x8, 7 :: (load (s16) from %ir.object) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: renamable $z0 = LDNT1W_ZRI renamable $p0, killed $x8, 7 :: (load (s32) from %ir.object) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: renamable $z0 = LDNT1D_ZRI renamable $p0, killed $x8, 7 :: (load (s64) from %ir.object) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: STNT1B_ZRI renamable $z0, renamable $p0, killed $x8, 7 :: (store (s8) into %ir.object, align 8) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: STNT1H_ZRI renamable $z0, renamable $p0, killed $x8, 7 :: (store (s16) into %ir.object, align 8) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 - ; CHECK-NEXT: STNT1W_ZRI renamable $z0, renamable $p0, killed $x8, 7 :: (store (s32) into %ir.object, align 8) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, 1 + ; CHECK-NEXT: renamable $z0 = LDNT1B_ZRI renamable $p0, $x8, 7 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LDNT1H_ZRI renamable $p0, $x8, 7 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LDNT1W_ZRI renamable $p0, $x8, 7 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LDNT1D_ZRI renamable $p0, $x8, 7 :: (load (s64) from %ir.object) + ; CHECK-NEXT: STNT1B_ZRI renamable $z0, renamable $p0, $x8, 7 :: (store (s8) into %ir.object, align 8) + ; CHECK-NEXT: STNT1H_ZRI renamable $z0, renamable $p0, $x8, 7 :: (store (s16) into %ir.object, align 8) + ; CHECK-NEXT: STNT1W_ZRI renamable $z0, renamable $p0, $x8, 7 :: (store (s32) into %ir.object, align 8) ; CHECK-NEXT: STNT1D_ZRI renamable $z0, renamable $p0, killed $x8, 7 :: (store (s64) into %ir.object) ; CHECK-NEXT: $sp = frame-destroy ADDVL_XXI $sp, 4 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa $wsp, 16 @@ -186,20 +179,13 @@ ; CHECK-NEXT: $sp = frame-setup ADDVL_XXI $sp, -4 ; CHECK-NEXT: frame-setup CFI_INSTRUCTION escape 0x0f, 0x0c, 0x8f, 0x00, 0x11, 0x10, 0x22, 0x11, 0x20, 0x92, 0x2e, 0x00, 0x1e, 0x22 ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: renamable $z0 = LDNT1B_ZRI renamable $p0, killed $x8, -8 :: (load (s8) from %ir.object, align 2) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: renamable $z0 = LDNT1H_ZRI renamable $p0, killed $x8, -8 :: (load (s16) from %ir.object) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: renamable $z0 = LDNT1W_ZRI renamable $p0, killed $x8, -8 :: (load (s32) from %ir.object) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: renamable $z0 = LDNT1D_ZRI renamable $p0, killed $x8, -8 :: (load (s64) from %ir.object) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: STNT1B_ZRI renamable $z0, renamable $p0, killed $x8, -8 :: (store (s8) into %ir.object, align 8) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: STNT1H_ZRI renamable $z0, renamable $p0, killed $x8, -8 :: (store (s16) into %ir.object, align 8) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 - ; CHECK-NEXT: STNT1W_ZRI renamable $z0, renamable $p0, killed $x8, -8 :: (store (s32) into %ir.object, align 8) - ; CHECK-NEXT: $x8 = ADDVL_XXI $sp, -1 + ; CHECK-NEXT: renamable $z0 = LDNT1B_ZRI renamable $p0, $x8, -8 :: (load (s8) from %ir.object, align 2) + ; CHECK-NEXT: renamable $z0 = LDNT1H_ZRI renamable $p0, $x8, -8 :: (load (s16) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LDNT1W_ZRI renamable $p0, $x8, -8 :: (load (s32) from %ir.object) + ; CHECK-NEXT: renamable $z0 = LDNT1D_ZRI renamable $p0, $x8, -8 :: (load (s64) from %ir.object) + ; CHECK-NEXT: STNT1B_ZRI renamable $z0, renamable $p0, $x8, -8 :: (store (s8) into %ir.object, align 8) + ; CHECK-NEXT: STNT1H_ZRI renamable $z0, renamable $p0, $x8, -8 :: (store (s16) into %ir.object, align 8) + ; CHECK-NEXT: STNT1W_ZRI renamable $z0, renamable $p0, $x8, -8 :: (store (s32) into %ir.object, align 8) ; CHECK-NEXT: STNT1D_ZRI renamable $z0, renamable $p0, killed $x8, -8 :: (store (s64) into %ir.object) ; CHECK-NEXT: $sp = frame-destroy ADDVL_XXI $sp, 4 ; CHECK-NEXT: frame-destroy CFI_INSTRUCTION def_cfa $wsp, 16 Index: llvm/test/CodeGen/ARM/arm-shrink-wrapping.ll =================================================================== --- llvm/test/CodeGen/ARM/arm-shrink-wrapping.ll +++ llvm/test/CodeGen/ARM/arm-shrink-wrapping.ll @@ -1652,7 +1652,6 @@ ; THUMB-ENABLE-NEXT: movs r0, #0 ; THUMB-ENABLE-NEXT: cbnz r0, LBB11_5 ; THUMB-ENABLE-NEXT: @ %bb.1: @ %loop2a.preheader -; THUMB-ENABLE-NEXT: movs r0, #0 ; THUMB-ENABLE-NEXT: movs r1, #0 ; THUMB-ENABLE-NEXT: mov r2, r0 ; THUMB-ENABLE-NEXT: b LBB11_3 @@ -1679,7 +1678,6 @@ ; THUMB-DISABLE-NEXT: movs r0, #0 ; THUMB-DISABLE-NEXT: cbnz r0, LBB11_5 ; THUMB-DISABLE-NEXT: @ %bb.1: @ %loop2a.preheader -; THUMB-DISABLE-NEXT: movs r0, #0 ; THUMB-DISABLE-NEXT: movs r1, #0 ; THUMB-DISABLE-NEXT: mov r2, r0 ; THUMB-DISABLE-NEXT: b LBB11_3 Index: llvm/test/CodeGen/ARM/ifcvt-branch-weight-bug.ll =================================================================== --- llvm/test/CodeGen/ARM/ifcvt-branch-weight-bug.ll +++ llvm/test/CodeGen/ARM/ifcvt-branch-weight-bug.ll @@ -22,7 +22,7 @@ ; for.body -> for.cond.backedge (100%) ; -> cond.false.i (0%) ; CHECK: bb.1.for.body: -; CHECK: successors: %bb.2(0x80000000), %bb.4(0x00000000) +; CHECK: successors: %bb.2(0x80000000), %bb.5(0x00000000) for.body: br i1 undef, label %for.cond.backedge, label %lor.lhs.false.i, !prof !1 Index: llvm/test/CodeGen/ARM/machine-outliner-calls.mir =================================================================== --- llvm/test/CodeGen/ARM/machine-outliner-calls.mir +++ llvm/test/CodeGen/ARM/machine-outliner-calls.mir @@ -21,23 +21,47 @@ body: | ; CHECK-LABEL: name: outline_call_arm ; CHECK: bb.0: - ; CHECK: liveins: $r4, $lr - ; CHECK: $sp = frame-setup STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $lr - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4 - ; CHECK: frame-setup CFI_INSTRUCTION offset $r4, -8 - ; CHECK: BL @OUTLINED_FUNCTION_0 - ; CHECK: bb.1: - ; CHECK: BL @OUTLINED_FUNCTION_0 - ; CHECK: bb.2: - ; CHECK: BL @OUTLINED_FUNCTION_0 - ; CHECK: bb.3: - ; CHECK: BL @OUTLINED_FUNCTION_0 - ; CHECK: bb.4: - ; CHECK: BL @OUTLINED_FUNCTION_0 - ; CHECK: bb.5: - ; CHECK: $sp = frame-destroy LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r4, def $lr - ; CHECK: BX_RET 14 /* CC::al */, $noreg + ; CHECK-NEXT: successors: %bb.1(0x80000000) + ; CHECK-NEXT: liveins: $r4, $lr + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $lr + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 8 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $lr, -4 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $r4, -8 + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: $r0 = MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r1 = MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r2 = MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r3 = MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r4 = MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.1: + ; CHECK-NEXT: successors: %bb.2(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.2: + ; CHECK-NEXT: successors: %bb.3(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.3: + ; CHECK-NEXT: successors: %bb.4(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.4: + ; CHECK-NEXT: successors: %bb.5(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.5: + ; CHECK-NEXT: $sp = frame-destroy LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r4, def $lr + ; CHECK-NEXT: BX_RET 14 /* CC::al */, $noreg bb.0: BL @bar, implicit-def dead $lr, implicit $sp $r0 = MOVi 1, 14, $noreg, $noreg @@ -83,22 +107,44 @@ body: | ; CHECK-LABEL: name: outline_call_thumb ; CHECK: bb.0: - ; CHECK: liveins: $r7, $lr - ; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4 - ; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8 - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_4 - ; CHECK: bb.1: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_4 - ; CHECK: bb.2: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_4 - ; CHECK: bb.3: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_4 - ; CHECK: bb.4: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_4 - ; CHECK: bb.5: - ; CHECK: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc + ; CHECK-NEXT: successors: %bb.1(0x80000000) + ; CHECK-NEXT: liveins: $r7, $lr + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 8 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $lr, -4 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $r7, -8 + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r2 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.1: + ; CHECK-NEXT: successors: %bb.2(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.2: + ; CHECK-NEXT: successors: %bb.3(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.3: + ; CHECK-NEXT: successors: %bb.4(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.4: + ; CHECK-NEXT: successors: %bb.5(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.5: + ; CHECK-NEXT: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc bb.0: tBL 14, $noreg, @bar, implicit-def dead $lr, implicit $sp $r0 = t2MOVi 1, 14, $noreg, $noreg @@ -134,21 +180,45 @@ body: | ; CHECK-LABEL: name: outline_call_tailcall_arm ; CHECK: bb.0: - ; CHECK: liveins: $r4, $lr - ; CHECK: $sp = frame-setup STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $lr - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4 - ; CHECK: frame-setup CFI_INSTRUCTION offset $r4, -8 - ; CHECK: BL @OUTLINED_FUNCTION_1 - ; CHECK: bb.1: - ; CHECK: BL @OUTLINED_FUNCTION_1 - ; CHECK: bb.2: - ; CHECK: BL @OUTLINED_FUNCTION_1 - ; CHECK: bb.3: - ; CHECK: BL @OUTLINED_FUNCTION_1 - ; CHECK: bb.4: - ; CHECK: $sp = frame-destroy LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r4, def $lr - ; CHECK: BX_RET 14 /* CC::al */, $noreg + ; CHECK-NEXT: successors: %bb.1(0x80000000) + ; CHECK-NEXT: liveins: $r4, $lr + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $lr + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 8 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $lr, -4 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $r4, -8 + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: $r0 = MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r1 = MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r2 = MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r3 = MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r4 = MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.1: + ; CHECK-NEXT: successors: %bb.2(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.2: + ; CHECK-NEXT: successors: %bb.3(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.3: + ; CHECK-NEXT: successors: %bb.4(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2, $r3, $r4 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.4: + ; CHECK-NEXT: $sp = frame-destroy LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r4, def $lr + ; CHECK-NEXT: BX_RET 14 /* CC::al */, $noreg bb.0: BL @bar, implicit-def dead $lr, implicit $sp $r0 = MOVi 2, 14, $noreg, $noreg @@ -191,20 +261,42 @@ body: | ; CHECK-LABEL: name: outline_call_tailcall_thumb ; CHECK: bb.0: - ; CHECK: liveins: $r7, $lr - ; CHECK: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4 - ; CHECK: frame-setup CFI_INSTRUCTION offset $r7, -8 - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_3 - ; CHECK: bb.1: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_3 - ; CHECK: bb.2: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_3 - ; CHECK: bb.3: - ; CHECK: tBL 14 /* CC::al */, $noreg, @OUTLINED_FUNCTION_3 - ; CHECK: bb.4: - ; CHECK: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc + ; CHECK-NEXT: successors: %bb.1(0x80000000) + ; CHECK-NEXT: liveins: $r7, $lr + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup t2STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r7, killed $lr + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 8 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $lr, -4 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $r7, -8 + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: $r0 = t2MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r1 = t2MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: $r2 = t2MOVi 2, 14 /* CC::al */, $noreg, $noreg + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.1: + ; CHECK-NEXT: successors: %bb.2(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.2: + ; CHECK-NEXT: successors: %bb.3(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.3: + ; CHECK-NEXT: successors: %bb.4(0x80000000) + ; CHECK-NEXT: liveins: $r0, $r1, $r2 + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.4: + ; CHECK-NEXT: $sp = frame-destroy t2LDMIA_RET $sp, 14 /* CC::al */, $noreg, def $r7, def $pc bb.0: tBL 14, $noreg, @bar, implicit-def dead $lr, implicit $sp $r0 = t2MOVi 2, 14, $noreg, $noreg @@ -239,28 +331,43 @@ body: | ; CHECK-LABEL: name: outline_call_KO_mcount ; CHECK: bb.0: - ; CHECK: liveins: $r4, $lr - ; CHECK: $sp = frame-setup STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $lr - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -4 - ; CHECK: frame-setup CFI_INSTRUCTION offset $r4, -8 - ; CHECK: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp - ; CHECK: BL @OUTLINED_FUNCTION_2 - ; CHECK: bb.1: - ; CHECK: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp - ; CHECK: BL @OUTLINED_FUNCTION_2 - ; CHECK: bb.2: - ; CHECK: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp - ; CHECK: BL @OUTLINED_FUNCTION_2 - ; CHECK: bb.3: - ; CHECK: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp - ; CHECK: BL @OUTLINED_FUNCTION_2 - ; CHECK: bb.4: - ; CHECK: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp - ; CHECK: BL @OUTLINED_FUNCTION_2 - ; CHECK: bb.5: - ; CHECK: $sp = frame-destroy LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r4, def $lr - ; CHECK: BX_RET 14 /* CC::al */, $noreg + ; CHECK-NEXT: successors: %bb.1(0x80000000) + ; CHECK-NEXT: liveins: $r4, $lr + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: $sp = frame-setup STMDB_UPD $sp, 14 /* CC::al */, $noreg, killed $r4, killed $lr + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION def_cfa_offset 8 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $lr, -4 + ; CHECK-NEXT: frame-setup CFI_INSTRUCTION offset $r4, -8 + ; CHECK-NEXT: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $r0, implicit-def $r1, implicit-def $r2, implicit-def $r3, implicit-def $r4, implicit $noreg, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.1: + ; CHECK-NEXT: successors: %bb.2(0x80000000) + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $r0, implicit-def $r1, implicit-def $r2, implicit-def $r3, implicit-def $r4, implicit $noreg, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.2: + ; CHECK-NEXT: successors: %bb.3(0x80000000) + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $r0, implicit-def $r1, implicit-def $r2, implicit-def $r3, implicit-def $r4, implicit $noreg, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.3: + ; CHECK-NEXT: successors: %bb.4(0x80000000) + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $r0, implicit-def $r1, implicit-def $r2, implicit-def $r3, implicit-def $r4, implicit $noreg, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.4: + ; CHECK-NEXT: successors: %bb.5(0x80000000) + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp + ; CHECK-NEXT: BL @OUTLINED_FUNCTION_0, implicit-def $lr, implicit $sp, implicit-def $lr, implicit-def $r0, implicit-def $r1, implicit-def $r2, implicit-def $r3, implicit-def $r4, implicit $noreg, implicit $sp + ; CHECK-NEXT: {{ $}} + ; CHECK-NEXT: bb.5: + ; CHECK-NEXT: $sp = frame-destroy LDMIA_UPD $sp, 14 /* CC::al */, $noreg, def $r4, def $lr + ; CHECK-NEXT: BX_RET 14 /* CC::al */, $noreg bb.0: BL @"\01mcount", csr_aapcs, implicit-def dead $lr, implicit $sp $r0 = MOVi 3, 14, $noreg, $noreg @@ -305,74 +412,15 @@ tracksRegLiveness: true body: | bb.0: + ; CHECK-LABEL: name: bar + ; CHECK: BX_RET 14 /* CC::al */, $noreg BX_RET 14, $noreg - ; CHECK-LABEL: name: OUTLINED_FUNCTION_0 - ; CHECK: bb.0: - ; CHECK: liveins: $r11, $r10, $r9, $r8, $r7, $r6, $r5, $d15, $d14, $d13, $d12, $d11, $d10, $d9, $d8, $lr - ; CHECK: early-clobber $sp = frame-setup STR_PRE_IMM killed $lr, $sp, -8, 14 /* CC::al */, $noreg - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -8 - ; CHECK: BL @bar, implicit-def dead $lr, implicit $sp - ; CHECK: $r0 = MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r1 = MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r2 = MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r3 = MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r4 = MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $lr, $sp = frame-destroy LDR_POST_IMM $sp, $noreg, 8, 14 /* CC::al */, $noreg - ; CHECK: MOVPCLR 14 /* CC::al */, $noreg - ; CHECK-LABEL: name: OUTLINED_FUNCTION_1 - ; CHECK: bb.0: - ; CHECK: liveins: $r11, $r10, $r9, $r8, $r7, $r6, $r5, $d15, $d14, $d13, $d12, $d11, $d10, $d9, $d8, $lr - ; CHECK: early-clobber $sp = frame-setup STR_PRE_IMM killed $lr, $sp, -8, 14 /* CC::al */, $noreg - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -8 - ; CHECK: BL @bar, implicit-def dead $lr, implicit $sp - ; CHECK: $r0 = MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r1 = MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r2 = MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r3 = MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r4 = MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $lr, $sp = frame-destroy LDR_POST_IMM $sp, $noreg, 8, 14 /* CC::al */, $noreg - ; CHECK: TAILJMPd @bar, implicit $sp - ; CHECK-LABEL: name: OUTLINED_FUNCTION_2 - ; CHECK: bb.0: - ; CHECK: liveins: $r11, $r10, $r9, $r8, $r7, $r6, $r5, $d15, $d14, $d13, $d12, $d11, $d10, $d9, $d8 - ; CHECK: $r0 = MOVi 3, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r1 = MOVi 3, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r2 = MOVi 3, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r3 = MOVi 3, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r4 = MOVi 3, 14 /* CC::al */, $noreg, $noreg - ; CHECK: MOVPCLR 14 /* CC::al */, $noreg - ; CHECK-LABEL: name: OUTLINED_FUNCTION_3 - ; CHECK: bb.0: - ; CHECK: liveins: $r11, $r10, $r9, $r8, $r6, $r5, $r4, $d15, $d14, $d13, $d12, $d11, $d10, $d9, $d8, $lr - ; CHECK: early-clobber $sp = frame-setup t2STR_PRE killed $lr, $sp, -8, 14 /* CC::al */, $noreg - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -8 - ; CHECK: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp - ; CHECK: $r0 = t2MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r1 = t2MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r2 = t2MOVi 2, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $lr, $sp = frame-destroy t2LDR_POST $sp, 8, 14 /* CC::al */, $noreg - ; CHECK: tTAILJMPdND @bar, 14 /* CC::al */, $noreg, implicit $sp - ; CHECK-LABEL: name: OUTLINED_FUNCTION_4 - ; CHECK: bb.0: - ; CHECK: liveins: $r11, $r10, $r9, $r8, $r6, $r5, $r4, $d15, $d14, $d13, $d12, $d11, $d10, $d9, $d8, $lr - ; CHECK: early-clobber $sp = frame-setup t2STR_PRE killed $lr, $sp, -8, 14 /* CC::al */, $noreg - ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset 8 - ; CHECK: frame-setup CFI_INSTRUCTION offset $lr, -8 - ; CHECK: tBL 14 /* CC::al */, $noreg, @bar, implicit-def dead $lr, implicit $sp - ; CHECK: $r0 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r1 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $r2 = t2MOVi 1, 14 /* CC::al */, $noreg, $noreg - ; CHECK: $lr, $sp = frame-destroy t2LDR_POST $sp, 8, 14 /* CC::al */, $noreg - ; CHECK: tBX_RET 14 /* CC::al */, $noreg Index: llvm/test/CodeGen/ARM/reg_sequence.ll =================================================================== --- llvm/test/CodeGen/ARM/reg_sequence.ll +++ llvm/test/CodeGen/ARM/reg_sequence.ll @@ -283,7 +283,6 @@ ; CHECK-NEXT: vst1.32 {d17[1]}, [r0:32] ; CHECK-NEXT: mov r0, #0 ; CHECK-NEXT: cmp r0, #0 -; CHECK-NEXT: movne r0, #0 ; CHECK-NEXT: bxne lr ; CHECK-NEXT: LBB9_1: ; CHECK-NEXT: trap Index: llvm/test/CodeGen/BPF/objdump_cond_op_2.ll =================================================================== --- llvm/test/CodeGen/BPF/objdump_cond_op_2.ll +++ llvm/test/CodeGen/BPF/objdump_cond_op_2.ll @@ -14,9 +14,8 @@ ;