[llvm-dev] Alignment parameter attributes

[David Blaikie via llvm-dev]

Haven't followed the discussion in detail - but just in case: pointee types
aren't something you should build further reliance on as the long term plan
is to remove them. (to have opaque pointer types that don't carry any
information about what they point to) - in part because LLVM doesn't
provide any guarantees about the type safety of pointers, etc.

On Tue, Jan 14, 2020 at 2:27 PM Doerfert, Johannes via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> It might be interesting to add "pointee" attributes on pointers, that is
> attributes that are attached to the pointee, however that requires a larger
> discussion.
>
> ________________________________________
> From: Greene, David <david.greene at hpe.com>
> Sent: Tuesday, January 14, 2020 16:23
> To: Doerfert, Johannes
> Cc: llvm-dev at lists.llvm.org
> Subject: Re: [llvm-dev] Alignment parameter attributes
>
> "Doerfert, Johannes via llvm-dev" <llvm-dev at lists.llvm.org> writes:
>
> > We could use a custom tag on `llvm.assume`, as an extension of
> > https://reviews.llvm.org/D72475, but that is not yet implemented.
>
> I had thought about using llvm.assume but was wondering if there is a
> better way.  Tagging the loads with metadata really seems about the same
> amount of effort.  Both require major surgery to code generation.
>
> Thanks for your help Johannes!
>
>                   -David
> _______________________________________________
> 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/20200115/75985775/attachment.html>