[clang] [llvm] [IR] Add TargetExtType::CanBeLocal property (PR #99016)

[Jay Foad via llvm-commits]

================
@@ -4285,6 +4291,12 @@ void Verifier::visitAllocaInst(AllocaInst &AI) {
   SmallPtrSet<Type*, 4> Visited;
   Check(AI.getAllocatedType()->isSized(&Visited),
         "Cannot allocate unsized type", &AI);
+  // Check if it's a target extension type that disallows being used on the
+  // stack.
+  if (auto *TTy = dyn_cast<TargetExtType>(AI.getAllocatedType())) {
+    Check(TTy->hasProperty(TargetExtType::CanBeLocal),
+          "Alloca has illegal target extension type", &AI);
----------------
jayfoad wrote:

I've now added the recursive checks to this patch too.

https://github.com/llvm/llvm-project/pull/99016