<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html;
      charset=windows-1252">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Hi, Elena,</p>
    <p>You're correct. We do assume that pointers in different address
      spaces can alias.</p>
    <p>Targets can add their own AA pass into the AA query chain, and
      one of the things such analysis passes can do account for
      target-specific knowledge of address-space semantics. For example,
      see lib/Target/AMDGPU/AMDGPUAliasAnalysis.cpp</p>
    <p> -Hal<br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 04/26/2018 07:56 AM, Demikhovsky,
      Elena via llvm-dev wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:A0DC88CEB3010344830D52D66533DA8E82CAE415@hasmsx108.ger.corp.intel.com">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      <meta name="Generator" content="Microsoft Exchange Server">
      <!-- converted from rtf -->
      <style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>
      <font size="2" face="Calibri"><span style="font-size:11pt;">
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">Hi,</div>
          <div> </div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">Can I
            configure address spaces aliasing for my specific target?</div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">I found
            this discussion (<a
              href="https://groups.google.com/forum/#%21topic/llvm-dev/0ZbzzN6t05o"
              moz-do-not-send="true"><font color="#0563C1"><u>https://groups.google.com/forum/#!topic/llvm-dev/0ZbzzN6t05o</u></font></a>)
            , where
            James says “<font color="#222222" size="2" face="Arial"><span
                style="font-size:10pt;">pointers in different address
                spaces cannot alia</span></font><font color="#222222"
              size="2" face="Arial"><span style="font-size:10pt;">s</span></font><font
              color="#222222" size="2" face="Arial"><span
                style="font-size:10pt;">”,</span></font></div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">but it
            is not what I see in the code.</div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">I
            looked for a way to customize address spaces separation in
            Target, but I can’t find.</div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">Any
            thoughts?</div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;">Thanks.</div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;"> </div>
          <ul style="margin:0;padding-left:36pt;">
            <font color="#2F5496" size="3" face="Times New Roman"><span
                style="font-size:12pt;">
                <li><b><i> Elena</i></b></li>
              </span></font>
          </ul>
          <div> </div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;"> </div>
          <div style="text-indent:-17.85pt;padding-left:46.2pt;"> </div>
        </span></font>
      <p>---------------------------------------------------------------------<br>
        Intel Israel (74) Limited</p>
      <p>This e-mail and any attachments may contain confidential
        material for<br>
        the sole use of the intended recipient(s). Any review or
        distribution<br>
        by others is strictly prohibited. If you are not the intended<br>
        recipient, please contact the sender and delete all copies.</p>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
LLVM Developers mailing list
<a class="moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>
<a class="moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
    </blockquote>
    <br>
    <pre class="moz-signature" cols="72">-- 
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory</pre>
  </body>
</html>