[all-commits] [llvm/llvm-project] fad8d4: [OpaquePtr] Verify Opaque pointer in function para...

[ZequanWu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fad8d4230ff73432b73f8111f5d640c6bb014daa
      https://github.com/llvm/llvm-project/commit/fad8d4230ff73432b73f8111f5d640c6bb014daa
  Author: Zequan Wu <zequanwu at google.com>
  Date:   2021-06-15 (Tue, 15 Jun 2021)

  Changed paths:
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/Assembler/invalid-byval-type3.ll
    M llvm/test/Verifier/byref.ll
    M llvm/test/Verifier/inalloca1.ll
    A llvm/test/Verifier/opaque-ptr-invalid.ll

  Log Message:
  -----------
  [OpaquePtr] Verify Opaque pointer in function parameter

Verifying opaque pointer as function parameter when using with `byval`, `byref`,
`inalloca`, `preallocated`.

Differential Revision: https://reviews.llvm.org/D104309