[DO NOT SUBMIT] Verify that ABI argument attributes match callee's parameter ABI attributes

[aeubanks]

Summary

This can't be submitted due to
https://llvm.org/docs/FAQ.html#why-does-instcombine-simplifycfg-turn-a-call-to-a-function-with-a-mismatched-calling-convention-into-unreachable-why-not-make-the-verifier-reject-it

llvm/lib/IR/Verifier.cpp

void Verifier::visitCallBase(CallBase &Call) {
   // Verify that indirect calls don't return tokens.
   if (!Call.getCalledFunction()) {
     Assert(!FTy->getReturnType()->isTokenTy(),
            "Return type cannot be token for indirect call!");
     Assert(!FTy->getReturnType()->isX86_AMXTy(),
            "Return type cannot be x86_amx for indirect call!");
   }
 
-  if (Function *F = Call.getCalledFunction())
-    if (Intrinsic::ID ID = (Intrinsic::ID)F->getIntrinsicID())
+  if (Function *F = Call.getCalledFunction()) {
+    if (Intrinsic::ID ID = F->getIntrinsicID())
       visitIntrinsicCall(ID, Call);
 
+    // Verify that arguments have matching attributes as the callee's
+    // parameters.
+    for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i) {
+      for (auto A :
+           {Attribute::ZExt, Attribute::SExt, Attribute::InAlloca,
+            Attribute::ByRef, Attribute::ByVal, Attribute::Preallocated,
+            Attribute::StructRet, Attribute::InReg}) {
+        if (F->hasParamAttribute(i, A)) {
+          StringRef Name = Attribute::getNameFromAttrKind(A);
+          Assert(Attrs.getParamAttributes(i).hasAttribute(A),
+                 "argument to " + Name + " parameter requires " + Name +
+                     " attribute",
+                 Call);
+        }
+      }
+    }
+  }
+
   // Verify that a callsite has at most one "deopt", at most one "funclet", at
   // most one "gc-transition", at most one "cfguardtarget",
   // and at most one "preallocated" operand bundle.
   bool FoundDeoptBundle = false, FoundFuncletBundle = false,
        FoundGCTransitionBundle = false, FoundCFGuardTargetBundle = false,
        FoundPreallocatedBundle = false, FoundGCLiveBundle = false,
        FoundAttachedCallBundle = false;
   for (unsigned i = 0, e = Call.getNumOperandBundles(); i < e; ++i) {