<div dir="ltr">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.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jan 14, 2020 at 2:27 PM Doerfert, Johannes via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">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.<br>
<br>
________________________________________<br>
From: Greene, David <<a href="mailto:david.greene@hpe.com" target="_blank">david.greene@hpe.com</a>><br>
Sent: Tuesday, January 14, 2020 16:23<br>
To: Doerfert, Johannes<br>
Cc: <a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
Subject: Re: [llvm-dev] Alignment parameter attributes<br>
<br>
"Doerfert, Johannes via llvm-dev" <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> writes:<br>
<br>
> We could use a custom tag on `llvm.assume`, as an extension of<br>
> <a href="https://reviews.llvm.org/D72475" rel="noreferrer" target="_blank">https://reviews.llvm.org/D72475</a>, but that is not yet implemented.<br>
<br>
I had thought about using llvm.assume but was wondering if there is a<br>
better way.  Tagging the loads with metadata really seems about the same<br>
amount of effort.  Both require major surgery to code generation.<br>
<br>
Thanks for your help Johannes!<br>
<br>
                  -David<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>