
<html>

  <head>

    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <p><br>

    </p>

    <br>

    <div class="moz-cite-prefix">On 12/09/2016 08:45 AM, Reid Kleckner

      via llvm-dev wrote:<br>

    </div>

    <blockquote

cite="mid:CACs=tyJYjJuV8W1jyvp7BjYBT0+PSKzxcxgnnfB+VACXktodyQ@mail.gmail.com"

      type="cite">

      <div dir="ltr">On Thu, Dec 8, 2016 at 5:37 PM, Mehdi Amini <span

          dir="ltr"><<a moz-do-not-send="true"

            href="mailto:mehdi.amini@apple.com" target="_blank">mehdi.amini@apple.com</a>></span> wrote:<br>

        <blockquote class="gmail_quote" style="margin:0px 0px 0px

          0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

          <div style="word-wrap:break-word">

            <div>So IIUC basically the *only* reason for this IR change

              is that we don’t want to pattern match in debug build?</div>

            <div>I don't understand right now why we wouldn’t want to do

              this?</div>

          </div>

        </blockquote>

        <div><br>

        </div>

        <div>If we need to pattern match such a basic construct, it

          suggests to me that we have the wrong representation, and we

          should instead make our representation more accurately model

          reality. To me, it feels like this representation allows

          several good things to just "fall out" without any additional

          work, and that suggests it's a good representation.</div>

      </div>

    </blockquote>

    I'm concerned by this response on multiple levels.  I agree Mehdi

    that the proposed IR change seems to be solving a (relatively minor)

    optimization problem with an IR change.  We generally expect our IR

    changes to be well justified and this doesn't even come close to

    me.  More than that, I'm really concerned about the assumption that

    the IR should be a close fit *for a particular frontend* in a

    *particular mode of operation*.  We have tried very hard to keep the

    IR generic enough to be useful by many language frontends and this

    would seem to give up on that goal.  That is deeply concerning  to

    me.<br>

    <br>

    As it stands right now, based on what I've seen to date in

    discussion, I would be strongly opposed to this proposal.  <br>

    <br>

    Philip  <br>

  </body>

</html>