================
@@ -25,6 +26,23 @@ TargetSubtargetInfo::TargetSubtargetInfo(
 
 TargetSubtargetInfo::~TargetSubtargetInfo() = default;
 
+bool TargetSubtargetInfo::isIntrinsicSupported(unsigned IntrinsicID,
+                                               const CallBase &CB) const {
+  StringRef RequiredFeatures = Intrinsic::getRequiredTargetFeatures(
+      static_cast<Intrinsic::ID>(IntrinsicID));
+
+  if (RequiredFeatures.empty())
+    return true;
+
+  if (RequiredFeatures == Intrinsic::CustomTargetFeatures)
+    return isIntrinsicSupportedByTarget(IntrinsicID, CB);
+
+  auto [It, Inserted] = IntrinsicSupportCache.try_emplace(IntrinsicID);
+  if (Inserted)
+    It->second = checkFeatureExpression(RequiredFeatures);
----------------
ssahasra wrote:

Related to my comment elsewhere about `$custom`, what if we _always_ do this:
```
  It->second = checkFeatureExpression(RequiredFeatures) && 
isIntrinsicSupportedByTarget(IntrinsicID, CB);
```
Essentially, if the required features are present, then always give the target 
a chance to deny support. That would make the `$custom` keyword unnecessary?


https://github.com/llvm/llvm-project/pull/201470
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to