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

Mon Mar 21 05:54:02 PDT 2022

LuoYuanke added a comment.

In D121898#3392260 <https://reviews.llvm.org/D121898#3392260>, @pengfei wrote:

> 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.

LGTM, thanks Phoebe. I create anther patch at https://reviews.llvm.org/D122130.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D121898