[PATCH] D136330: [Verifier] Relieve intrinsics parameter alignment size constrain

[LuoYuanke via Phabricator via llvm-commits]

LuoYuanke added inline comments.


================
Comment at: llvm/lib/IR/Verifier.cpp:3228-3230
+  if (IsIntrinsic)
+    Check(Callee->getValueType() == FTy,
+          "Intrinsic called with incompatible signature", Call);
----------------
skan wrote:
> Why do we need this check? Is there a LIT test for it?
This is the original code, and I just move it above `VerifyTypeAlign` check. See the left line 3240 ~ 3245.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D136330/new/

https://reviews.llvm.org/D136330