[llvm] [AggressiveInstCombine] Expand strchr/memchr with small constant strings (PR #98501)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Jul 16 01:36:35 PDT 2024
================
@@ -1103,6 +1108,80 @@ void StrNCmpInliner::inlineCompare(Value *LHS, StringRef RHS, uint64_t N,
}
}
+/// Convert memchr with a small constant string into a switch
+static bool foldMemChr(CallInst *Call, DomTreeUpdater *DTU,
+ const DataLayout &DL) {
+ if (isa<Constant>(Call->getArgOperand(1)))
+ return false;
+
+ StringRef Str;
+ Value *Base = Call->getArgOperand(0);
+ if (!getConstantStringInfo(Base, Str, /*TrimAtNul=*/false))
+ return false;
+
+ uint64_t N = Str.size();
+ if (auto *ConstInt = dyn_cast<ConstantInt>(Call->getArgOperand(2))) {
+ uint64_t Val = ConstInt->getZExtValue();
+ // Ignore the case that n is larger than the size of string.
+ if (Val > N)
+ return false;
+ N = Val;
+ } else
+ return false;
+
+ if (N > MemChrInlineThreshold)
+ return false;
+
+ BasicBlock *BB = Call->getParent();
+ BasicBlock *BBNext = SplitBlock(BB, Call, DTU);
+ IRBuilder<> IRB(BB);
+ IntegerType *ByteTy = IRB.getInt8Ty();
+ BB->getTerminator()->eraseFromParent();
+ SwitchInst *SI = IRB.CreateSwitch(
+ IRB.CreateTrunc(Call->getArgOperand(1), ByteTy), BBNext, N);
+ Type *IndexTy = DL.getIndexType(Call->getType());
+ SmallVector<DominatorTree::UpdateType, 8> Updates;
+
+ BasicBlock *BBSuccess = BasicBlock::Create(
+ Call->getContext(), "memchr.success", BB->getParent(), BBNext);
+ IRB.SetInsertPoint(BBSuccess);
+ PHINode *IndexPHI = IRB.CreatePHI(IndexTy, N);
----------------
nikic wrote:
```suggestion
PHINode *IndexPHI = IRB.CreatePHI(IndexTy, N, "memchr.idx");
```
https://github.com/llvm/llvm-project/pull/98501
More information about the llvm-commits
mailing list