[PATCH] D121898: [Verifier] Verify parameter alignment.

[Phoebe Wang via Phabricator via llvm-commits]

pengfei added a comment.

Can we check if the pointer has `byval/byref` attribute? I think the `MemAlign` should only be meaningful for them. And if we simply passing a pointer with `OrigAlign`, it's safe to truncate to the maximum of `MemAlign` in backend.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D121898