<div dir="ltr">That's a transitionary step I hadn't considered - implementing typeless pointers just as "another pointer type" in the interim.<br><br>Possible, but the complication of supporting this new pointer type in the rest of the IR might make it impractical - not sure. I'll certainly keep it in mind.</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Oct 3, 2016 at 7:53 AM Philip Reames <<a href="mailto:listmail@philipreames.com">listmail@philipreames.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000" class="gmail_msg">
    <p class="gmail_msg">One possibility here would be to add the syntax for typeless
      pointers and use them for intrinsics without using them globally
      yet.  Not sure how practical that is, but if it could be made to
      work it would be both a nice cleanup of a bunch of intrinsic code
      and a nice proof of concept for the typeless pointer work.  This
      would require that we allow a bitcast to/from the typeless pointer
      type.  <br class="gmail_msg">
    </p>
    <p class="gmail_msg">Philip<br class="gmail_msg">
    </p></div><div bgcolor="#FFFFFF" text="#000000" class="gmail_msg">
    <br class="gmail_msg">
    <div class="m_-5016933769214833537moz-cite-prefix gmail_msg">On 10/03/2016 07:38 AM, David Blaikie
      via llvm-commits wrote:<br class="gmail_msg">
    </div>
    </div><div bgcolor="#FFFFFF" text="#000000" class="gmail_msg"><blockquote type="cite" class="gmail_msg">
      <div dir="ltr" class="gmail_msg">Yep, agreed on all counts - and would be happy to
        find some volunteers to help out with the typeless pointer work,
        but I do intend to get back around to it (probably need to do
        some inventorying myself so I can point others to the right
        places/direction/overall approach at the very least).<br class="gmail_msg">
        <br class="gmail_msg">
        - Dave</div>
      <br class="gmail_msg">
      <div class="gmail_quote gmail_msg">
        <div dir="ltr" class="gmail_msg">On Mon, Oct 3, 2016 at 6:51 AM Rafael Espíndola
          <<a href="mailto:rafael.espindola@gmail.com" class="gmail_msg" target="_blank">rafael.espindola@gmail.com</a>>
          wrote:<br class="gmail_msg">
        </div>
        <blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 3 October
          2016 at 06:46, Artur Pilipenko <<a href="mailto:apilipenko@azulsystems.com" class="gmail_msg" target="_blank">apilipenko@azulsystems.com</a>> wrote:<br class="gmail_msg">
          > The only reason for intrinsic mangling is the way to get
          a unique symbolic<br class="gmail_msg">
          > name. One we have typeless pointers I expect that pointer
          arguments are<br class="gmail_msg">
          > mangled as ‘p’ and we won’t have any headache with
          remangling. But now we<br class="gmail_msg">
          > still can have two overloaded intrinsics which only
          differ by pointer type:<br class="gmail_msg">
          > declare @llvm.intrinsic(i8* p)<br class="gmail_msg">
          > declare @llvm.intrinsic(i32* p)<br class="gmail_msg">
          <br class="gmail_msg">
          My thought was to allow overloading such that the above would
          be legal<br class="gmail_msg">
          IR, but I can see the annoyance in supporting that. Given that
          the<br class="gmail_msg">
          mangling becomes trivial once we have typeless pointers (and
          therefore<br class="gmail_msg">
          non-cyclic types), I guess there is nothing do to about it for
          now.<br class="gmail_msg">
          <br class="gmail_msg">
          Thanks,<br class="gmail_msg">
          Rafael<br class="gmail_msg">
        </blockquote>
      </div>
      <br class="gmail_msg">
      <fieldset class="m_-5016933769214833537mimeAttachmentHeader gmail_msg"></fieldset>
      <br class="gmail_msg">
      </blockquote></div><div bgcolor="#FFFFFF" text="#000000" class="gmail_msg"><blockquote type="cite" class="gmail_msg"><pre class="gmail_msg">_______________________________________________
llvm-commits mailing list
<a class="m_-5016933769214833537moz-txt-link-abbreviated gmail_msg" href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>
<a class="m_-5016933769214833537moz-txt-link-freetext gmail_msg" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a>
</pre>
    </blockquote>
    <br class="gmail_msg">
  </div>

</blockquote></div>