<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    <div class="moz-cite-prefix">On 1/14/2015 12:03 PM, Chandler Carruth
      wrote:<br>
    </div>
    <blockquote class=" cite"
id="mid_CAGCO0KiJ96bmKECB4BfMrxOM5ZrnYmXg_Tvg88kFCcmMp13_4Q_mail_gmail_com"
cite="mid:CAGCO0KiJ96bmKECB4BfMrxOM5ZrnYmXg_Tvg88kFCcmMp13_4Q@mail.gmail.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
      <div dir="ltr">
        <div class="gmail_extra"><br>
          <div class="gmail_quote">On Tue, Jan 13, 2015 at 10:27 PM,
            Sameer Sahasrabuddhe <span dir="ltr"><<a
                moz-do-not-send="true"
                href="mailto:sameer.sahasrabuddhe@amd.com"
                target="_blank">sameer.sahasrabuddhe@amd.com</a>></span>
            wrote:<br>
            <blockquote id="Cite_6849863" class="gmail_quote cite"
              style="margin:0 0 0 .8ex;border-left:1px #ccc
              solid;padding-left:1ex">Ping! We need to close on whether
              everyone is convinced that symbolic memory scopes have a
              significant advantage over opaque numbers. Either of them
              will be examined by optimizations using a
              target-implemented API. I personally don't think that
              readability in the LLVM text format is worth the effort,
              especially given that address spaces work well enough with
              opaque numbers.</blockquote>
            <div><br>
            </div>
            <div>I am much more comfortable with symbolic memory scopes.
              The reason I feel this way is actually because there *is*
              a particular ordering of them that the target will
              mandate. Having an ordering but having it *not* be the
              order of the numbers used seems too actively confusing to
              me. </div>
          </div>
        </div>
      </div>
    </blockquote>
    <br>
    All that is true about address spaces too. On some platforms,
    address spaces could have a subset relationship, but it would be
    wrong to infer that from the numerical value. Isn't it enough to say
    that the number is opaque and should not be interpreted via any
    comparison?<br>
    <br>
    I do see your ponit, though. But now the task got much bigger and
    will have to reexamine the time required. I suppose it starts with
    bitcode reader that can interpret existing bitcode files and
    translate the scopes to symbols instead.<br>
    <br>
    Sameer.<br>
  </body>
</html>