ICP has two modes: jump table promotion and indirect call promotion.
The selection is based on whether an instruction has a jump table or not.
An instruction with unknown control flow doesn't have a jump table and will
fall under indirect call promotion policy which might be incorrect/unsafe
(if an instruction is not a tail call, i.e. has local jump targets).
Prevent ICP for functions containing instructions with unknown control flow.
Follow-up to https://reviews.llvm.org/D128870.
Reviewed By: maksfb
Differential Revision: https://reviews.llvm.org/D132882
bool shouldPrint(const BinaryFunction &BF) const override {
return BinaryFunctionPass::shouldPrint(BF) && Modified.count(&BF) > 0;
}
+ bool shouldOptimize(const BinaryFunction &BF) const override {
+ return BF.isSimple() && !BF.isIgnored() && BF.hasProfile() &&
+ !BF.hasUnknownControlFlow();
+ }
void runOnFunctions(BinaryContext &BC) override;
};
for (auto &BFIt : BFs) {
BinaryFunction &Function = BFIt.second;
- if (!Function.isSimple() || Function.isIgnored() ||
- !Function.hasProfile())
+ if (!shouldOptimize(Function))
continue;
const bool HasLayout = !Function.getLayout().block_empty();
for (BinaryFunction *FuncPtr : Functions) {
BinaryFunction &Function = *FuncPtr;
- if (!Function.isSimple() || Function.isIgnored() || !Function.hasProfile())
+ if (!shouldOptimize(Function))
continue;
const bool HasLayout = !Function.getLayout().block_empty();