[llvm] [VP] Add missing functional_intrinsic properties and add static_assert. NFC (PR #66199)

[Simon Pilgrim via llvm-commits]

RKSimon wrote:

Are you intending to squash these? They seem to have merit as individual commits.

https://github.com/llvm/llvm-project/pull/66199