[llvm-dev] [RFC] Enforcing immediate operands for intrinsics (original) (raw)
Sanjay Patel via llvm-dev llvm-dev at lists.llvm.org
Wed Feb 6 06:12:49 PST 2019
- Previous message: [llvm-dev] [RFC] Enforcing immediate operands for intrinsics
- Next message: [llvm-dev] stale info in the assumption cache
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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 at 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 at lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190206/bf49d1ad/attachment.html>
- Previous message: [llvm-dev] [RFC] Enforcing immediate operands for intrinsics
- Next message: [llvm-dev] stale info in the assumption cache
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]