diff options
Diffstat (limited to 'llvm/tools/llvm-reduce/ReducerWorkItem.cpp')
| -rw-r--r-- | llvm/tools/llvm-reduce/ReducerWorkItem.cpp | 29 |
1 files changed, 23 insertions, 6 deletions
diff --git a/llvm/tools/llvm-reduce/ReducerWorkItem.cpp b/llvm/tools/llvm-reduce/ReducerWorkItem.cpp index 3d36d80f8231..1510e9fb3200 100644 --- a/llvm/tools/llvm-reduce/ReducerWorkItem.cpp +++ b/llvm/tools/llvm-reduce/ReducerWorkItem.cpp @@ -306,9 +306,10 @@ static std::unique_ptr<MachineFunction> cloneMF(MachineFunction *SrcMF, DstMRI->setType(NewReg, RegTy); // Copy register allocation hints. - const auto &Hints = SrcMRI->getRegAllocationHints(Reg); - for (Register PrefReg : Hints.second) - DstMRI->addRegAllocationHint(NewReg, PrefReg); + const auto *Hints = SrcMRI->getRegAllocationHints(Reg); + if (Hints) + for (Register PrefReg : Hints->second) + DstMRI->addRegAllocationHint(NewReg, PrefReg); } const TargetSubtargetInfo &STI = DstMF->getSubtarget(); @@ -530,7 +531,8 @@ static uint64_t computeMIRComplexityScoreImpl(const MachineFunction &MF) { const MachineRegisterInfo &MRI = MF.getRegInfo(); for (unsigned I = 0, E = MRI.getNumVirtRegs(); I != E; ++I) { Register Reg = Register::index2VirtReg(I); - Score += MRI.getRegAllocationHints(Reg).second.size(); + if (const auto *Hints = MRI.getRegAllocationHints(Reg)) + Score += Hints->second.size(); } for (const MachineBasicBlock &MBB : MF) { @@ -641,12 +643,27 @@ static uint64_t computeIRComplexityScoreImpl(const Function &F) { ++Score; if (OverflowOp->hasNoSignedWrap()) ++Score; - } else if (const auto *GEP = dyn_cast<GEPOperator>(&I)) { - if (GEP->isInBounds()) + } else if (const auto *Trunc = dyn_cast<TruncInst>(&I)) { + if (Trunc->hasNoSignedWrap()) + ++Score; + if (Trunc->hasNoUnsignedWrap()) ++Score; } else if (const auto *ExactOp = dyn_cast<PossiblyExactOperator>(&I)) { if (ExactOp->isExact()) ++Score; + } else if (const auto *NNI = dyn_cast<PossiblyNonNegInst>(&I)) { + if (NNI->hasNonNeg()) + ++Score; + } else if (const auto *PDI = dyn_cast<PossiblyDisjointInst>(&I)) { + if (PDI->isDisjoint()) + ++Score; + } else if (const auto *GEP = dyn_cast<GEPOperator>(&I)) { + if (GEP->isInBounds()) + ++Score; + if (GEP->hasNoUnsignedSignedWrap()) + ++Score; + if (GEP->hasNoUnsignedWrap()) + ++Score; } else if (const auto *FPOp = dyn_cast<FPMathOperator>(&I)) { FastMathFlags FMF = FPOp->getFastMathFlags(); if (FMF.allowReassoc()) |