[PATCH] D101725: [Verifier] Check that calls' arguments match the callee's byval/inalloca/preallocated

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

FWIW I think the that we don't auto-upgrade textual IR as a matter of general policy. The only exception that comes to mind are `align` annotations on load/store, and those are really more a matter of the annotation being optional in textual IR than a real auto-upgrade.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D101725