[llvm] r364415 - [HardwareLoops] NFC - move loop with irreducible control flow checking logic to HarewareLoopInfo.
Chen Zheng via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 26 05:02:44 PDT 2019
Author: shchenz
Date: Wed Jun 26 05:02:43 2019
New Revision: 364415
URL: http://llvm.org/viewvc/llvm-project?rev=364415&view=rev
Log:
[HardwareLoops] NFC - move loop with irreducible control flow checking logic to HarewareLoopInfo.
Modified:
llvm/trunk/include/llvm/Analysis/TargetTransformInfo.h
llvm/trunk/lib/Analysis/TargetTransformInfo.cpp
llvm/trunk/lib/CodeGen/HardwareLoops.cpp
Modified: llvm/trunk/include/llvm/Analysis/TargetTransformInfo.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/TargetTransformInfo.h?rev=364415&r1=364414&r2=364415&view=diff
==============================================================================
--- llvm/trunk/include/llvm/Analysis/TargetTransformInfo.h (original)
+++ llvm/trunk/include/llvm/Analysis/TargetTransformInfo.h Wed Jun 26 05:02:43 2019
@@ -96,6 +96,7 @@ struct HardwareLoopInfo {
bool isHardwareLoopCandidate(ScalarEvolution &SE, LoopInfo &LI,
DominatorTree &DT, bool ForceNestedLoop = false,
bool ForceHardwareLoopPHI = false);
+ bool canAnalyze(LoopInfo &LI);
};
/// This pass provides access to the codegen interfaces that are needed
@@ -473,8 +474,7 @@ public:
/// Query the target whether it would be profitable to convert the given loop
/// into a hardware loop.
- bool isHardwareLoopProfitable(Loop *L, LoopInfo &LI,
- ScalarEvolution &SE,
+ bool isHardwareLoopProfitable(Loop *L, ScalarEvolution &SE,
AssumptionCache &AC,
TargetLibraryInfo *LibInfo,
HardwareLoopInfo &HWLoopInfo) const;
Modified: llvm/trunk/lib/Analysis/TargetTransformInfo.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/TargetTransformInfo.cpp?rev=364415&r1=364414&r2=364415&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/TargetTransformInfo.cpp (original)
+++ llvm/trunk/lib/Analysis/TargetTransformInfo.cpp Wed Jun 26 05:02:43 2019
@@ -42,6 +42,16 @@ struct NoTTIImpl : TargetTransformInfoIm
};
}
+bool HardwareLoopInfo::canAnalyze(LoopInfo &LI) {
+ // If the loop has irreducible control flow, it can not be converted to
+ // Hardware loop.
+ LoopBlocksRPO RPOT(L);
+ RPOT.perform(&LI);
+ if (containsIrreducibleCFG<const BasicBlock *>(RPOT, LI))
+ return false;
+ return true;
+}
+
bool HardwareLoopInfo::isHardwareLoopCandidate(ScalarEvolution &SE,
LoopInfo &LI, DominatorTree &DT,
bool ForceNestedLoop,
@@ -218,14 +228,8 @@ bool TargetTransformInfo::isLoweredToCal
}
bool TargetTransformInfo::isHardwareLoopProfitable(
- Loop *L, LoopInfo &LI, ScalarEvolution &SE, AssumptionCache &AC,
+ Loop *L, ScalarEvolution &SE, AssumptionCache &AC,
TargetLibraryInfo *LibInfo, HardwareLoopInfo &HWLoopInfo) const {
- // If the loop has irreducible control flow, it can not be converted to
- // Hardware loop.
- LoopBlocksRPO RPOT(L);
- RPOT.perform(&LI);
- if (containsIrreducibleCFG<const BasicBlock *>(RPOT, LI))
- return false;
return TTIImpl->isHardwareLoopProfitable(L, SE, AC, LibInfo, HWLoopInfo);
}
Modified: llvm/trunk/lib/CodeGen/HardwareLoops.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/HardwareLoops.cpp?rev=364415&r1=364414&r2=364415&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/HardwareLoops.cpp (original)
+++ llvm/trunk/lib/CodeGen/HardwareLoops.cpp Wed Jun 26 05:02:43 2019
@@ -198,7 +198,10 @@ bool HardwareLoops::TryConvertLoop(Loop
return true; // Stop search.
HardwareLoopInfo HWLoopInfo(L);
- if (TTI->isHardwareLoopProfitable(L, *LI, *SE, *AC, LibInfo, HWLoopInfo) ||
+ if (!HWLoopInfo.canAnalyze(*LI))
+ return false;
+
+ if (TTI->isHardwareLoopProfitable(L, *SE, *AC, LibInfo, HWLoopInfo) ||
ForceHardwareLoops) {
// Allow overriding of the counter width and loop decrement value.
More information about the llvm-commits
mailing list