[all-commits] [llvm/llvm-project] 8c975e: Assert on polymorphic pointer intrinsic param

[RoboTux via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8c975eac34347aec1911a90ca07926f1d6325d8a
      https://github.com/llvm/llvm-project/commit/8c975eac34347aec1911a90ca07926f1d6325d8a
  Author: Thomas Preud'homme <thomasp at graphcore.ai>
  Date:   2022-05-18 (Wed, 18 May 2022)

  Changed paths:
    M llvm/lib/IR/Function.cpp

  Log Message:
  -----------
  Assert on polymorphic pointer intrinsic param

Opaque pointers cannot be polymorphic on the pointed type given their
lack thereof. However they are currently accepted by tablegen but the
intrinsic signature verifier trips when verifying any further
polymorphic type because the opaque pointer codepath for pointers will
not push the pointed type in ArgTys.

This commit adds an assert to easily catch such cases instead of having
the generic signature match failure.

Reviewed By: #opaque-pointers, nikic

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