<div dir="ltr">I think that makes sense, that's just something that hasn't been visited yet. Feel free to send out a patch if you'd like, else I'll get around to it at some point.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jun 11, 2021 at 6:53 AM David Lloyd 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">I was experimenting on godbolt with opaque pointers and I noticed that<br>
while GEP with an opaque pointer type seems to work exactly as I would<br>
expect, it returns a non-opaque pointer type.<br>
<br>
Would it not make sense for GEP to return `ptr` when its basis pointer<br>
is a `ptr`, at least when thinking about how a migration would work?<br>
<br>
Here's an example: <a href="https://godbolt.org/z/3sWGbdKdx" rel="noreferrer" target="_blank">https://godbolt.org/z/3sWGbdKdx</a> - the left compiler<br>
is happy with a `bitcast` but the right one is angry without.<br>
<br>
-- <br>
- DML • he/him<br>
<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>