(original) (raw)

There's a stale proposal with similar motivation here:
https://reviews.llvm.org/D23798

Setting the const-ness in the tablegen definition sounds better than that, but that patch may provide a starting point for intrinsics that have immarg potential.

On Tue, Feb 5, 2019 at 6:37 PM Krzysztof Parzyszek via llvm-dev <llvm-dev@lists.llvm.org> wrote:
On 2/5/2019 6:17 PM, Matt Arsenault wrote:
\> This is for the benefit of IR transform passes and codegen. I’m not attempting to diagnose frontend builtins or do anything for the end user.

Ah, I thought you wanted to have the ability to verify an intrinsic in
IR. Yeah, the attribute should be enough.

\-Krzysztof
\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_
LLVM Developers mailing list
llvm-dev@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev