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

[Phoebe Wang via Phabricator via llvm-commits]

pengfei added a comment.

Further more, `byval/byref` together with align attribute are all ABI related. It does make sense to have different alignment with a pure pointer used inside function only. Here's comment from LangRef:

  The byval attribute also supports specifying an alignment with the align attribute. It indicates the alignment of the stack slot to form and the known alignment of the pointer specified to the call site. If the alignment is not specified, then the code generator makes a target-specific assumption.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D121898