================
@@ -230,30 +230,96 @@ static cl::opt<bool>
EnableFixedwidthAutovecInStreamingMode(
static cl::opt<bool> EnableScalableAutovecInStreamingMode(
"enable-scalable-autovec-in-streaming-mode", cl::init(false), cl::Hidden);
-static bool isSMEABIRoutineCall(const CallInst &CI,
- const AArch64TargetLowering &TLI) {
- const auto *F = CI.getCalledFunction();
- return F &&
- SMEAttrs(F->getName(),
TLI.getRuntimeLibcallsInfo()).isSMEABIRoutine();
+/// Returns true if \p I is an intrinsic that may not be compatible with a
+/// different streaming mode (because it depends on vscale).
+static bool isPossiblyIncompatibleIntrinsic(const Instruction *I) {
+ if (I->isDebugOrPseudoInst())
+ return false;
+
+ if (auto *II = dyn_cast<IntrinsicInst>(I)) {
+ unsigned IID = II->getIntrinsicID();
+ switch (IID) {
+ default:
+ return Intrinsic::isTargetIntrinsic(IID);
+ case Intrinsic::vscale:
+ case Intrinsic::masked_gather:
+ case Intrinsic::masked_scatter:
+ return true;
+ }
+ }
+
+ return false;
}
/// Returns true if the function has explicit operations that can only be
/// lowered using incompatible instructions for the selected mode. This also
/// returns true if the function F may use or modify ZA state.
static bool hasPossibleIncompatibleOps(const Function *F,
- const AArch64TargetLowering &TLI) {
+ const AArch64TargetLowering &TLI,
+ bool ConsiderZA, bool ConsiderZT,
+ bool ConsiderSM) {
+ assert((ConsiderZA || ConsiderZT || ConsiderSM) &&
+ "No SME state to consider");
+
+ bool IsAlwaysInline = F->hasFnAttribute(Attribute::AlwaysInline);
+ bool HasVLDependentArgsOrRet =
+ F->getReturnType()->isScalableTy() ||
+ any_of(F->getFunctionType()->params(),
+ [](const Type *T) { return T->isScalableTy(); });
----------------
sdesmalen-arm wrote:
I've added a FIXME to handle this case in a follow-up PR.
https://github.com/llvm/llvm-project/pull/223393
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
