<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <br>
    <div class="moz-cite-prefix">On 4/9/2018 3:16 PM, Rui Ueyama wrote:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAJENXgv_cBtOTWyq_2AdvUU1b3=0bb1Ht2++NokBkP7bO95YTw@mail.gmail.com">
      <div dir="ltr">
        <div class="gmail_quote">
          <div dir="ltr">On Mon, Apr 9, 2018 at 3:13 PM Mandeep Singh
            Grang via Phabricator <<a
              href="mailto:reviews@reviews.llvm.org"
              moz-do-not-send="true">reviews@reviews.llvm.org</a>>
            wrote:<br>
          </div>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">mgrang
            added a comment.<br>
            <br>
            In <a href="https://reviews.llvm.org/D45138#1062213"
              rel="noreferrer" target="_blank" moz-do-not-send="true">https://reviews.llvm.org/D45138#1062213</a>,
            @ruiu wrote:<br>
            <br>
            > I'm not familiar with r327219, but if a decision to use
            randomized sort has been made, why don't you replace all
            occurrences of std::sort with llvm::sort in a single patch?
            I don't think that an author of each file don't have to
            understand this kind of change and approve individually.<br>
            <br>
            <br>
            I had a patch to replace *all* occurrences of std::sort to
            llvm::sort <a href="https://reviews.llvm.org/D44363"
              rel="noreferrer" target="_blank" moz-do-not-send="true">https://reviews.llvm.org/D44363</a>.
            However, the reviewers felt that the patch was getting too
            big and suggested splitting it into smaller patches
            target-wise, tablegen, MC, etc. Hence these separate
            patches.<br>
          </blockquote>
          <div><br>
          </div>
          <div>If the only reason not to submit them as a single patch
            is its size, I can actually approve. As long as it is a
            mechanical patch, I'm not worried too much about its size.</div>
        </div>
      </div>
    </blockquote>
    Adding @rksimon since he has been reviewing my patches. Is it OK if
    I squash the remaining 4 patches (<span class="phui-oi-objname"
      style="color: rgb(0, 0, 0); cursor: text; font-weight: 700;
      font-family: "Segoe UI", "Segoe UI Emoji",
      "Segoe UI Symbol", Lato, "Helvetica Neue",
      Helvetica, Arial, sans-serif; font-size: 13px; font-style: normal;
      font-variant-ligatures: normal; font-variant-caps: normal;
      letter-spacing: normal; orphans: 2; text-align: left; text-indent:
      0px; text-transform: none; white-space: nowrap; widows: 2;
      word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial;">D45142</span><span
      style="color: rgb(0, 0, 0); font-family: "Segoe UI",
      "Segoe UI Emoji", "Segoe UI Symbol", Lato,
      "Helvetica Neue", Helvetica, Arial, sans-serif;
      font-size: 13px; font-style: normal; font-variant-ligatures:
      normal; font-variant-caps: normal; font-weight: 700;
      letter-spacing: normal; orphans: 2; text-align: left; text-indent:
      0px; text-transform: none; white-space: nowrap; widows: 2;
      word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial; display: inline
      !important; float: none;"><span> </span></span><span
      class="phui-oi-objname" style="color: rgb(0, 0, 0); cursor: text;
      font-weight: 700; font-family: "Segoe UI", "Segoe
      UI Emoji", "Segoe UI Symbol", Lato, "Helvetica
      Neue", Helvetica, Arial, sans-serif; font-size: 13px;
      font-style: normal; font-variant-ligatures: normal;
      font-variant-caps: normal; letter-spacing: normal; orphans: 2;
      text-align: left; text-indent: 0px; text-transform: none;
      white-space: nowrap; widows: 2; word-spacing: 0px;
      -webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
      255); text-decoration-style: initial; text-decoration-color:
      initial;">D45139</span><span style="color: rgb(0, 0, 0);
      font-family: "Segoe UI", "Segoe UI Emoji",
      "Segoe UI Symbol", Lato, "Helvetica Neue",
      Helvetica, Arial, sans-serif; font-size: 13px; font-style: normal;
      font-variant-ligatures: normal; font-variant-caps: normal;
      font-weight: 700; letter-spacing: normal; orphans: 2; text-align:
      left; text-indent: 0px; text-transform: none; white-space: nowrap;
      widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial; display: inline
      !important; float: none;"><span> </span></span><span
      class="phui-oi-objname" style="color: rgb(0, 0, 0); cursor: text;
      font-weight: 700; font-family: "Segoe UI", "Segoe
      UI Emoji", "Segoe UI Symbol", Lato, "Helvetica
      Neue", Helvetica, Arial, sans-serif; font-size: 13px;
      font-style: normal; font-variant-ligatures: normal;
      font-variant-caps: normal; letter-spacing: normal; orphans: 2;
      text-align: left; text-indent: 0px; text-transform: none;
      white-space: nowrap; widows: 2; word-spacing: 0px;
      -webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
      255); text-decoration-style: initial; text-decoration-color:
      initial;">D45138</span><span style="color: rgb(0, 0, 0);
      font-family: "Segoe UI", "Segoe UI Emoji",
      "Segoe UI Symbol", Lato, "Helvetica Neue",
      Helvetica, Arial, sans-serif; font-size: 13px; font-style: normal;
      font-variant-ligatures: normal; font-variant-caps: normal;
      font-weight: 700; letter-spacing: normal; orphans: 2; text-align:
      left; text-indent: 0px; text-transform: none; white-space: nowrap;
      widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial; display: inline
      !important; float: none;"><span> </span></span><span
      class="phui-oi-objname" style="color: rgb(0, 0, 0); cursor: text;
      font-weight: 700; font-family: "Segoe UI", "Segoe
      UI Emoji", "Segoe UI Symbol", Lato, "Helvetica
      Neue", Helvetica, Arial, sans-serif; font-size: 13px;
      font-style: normal; font-variant-ligatures: normal;
      font-variant-caps: normal; letter-spacing: normal; orphans: 2;
      text-align: left; text-indent: 0px; text-transform: none;
      white-space: nowrap; widows: 2; word-spacing: 0px;
      -webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
      255); text-decoration-style: initial; text-decoration-color:
      initial;">D45137</span><span style="color: rgb(0, 0, 0);
      font-family: "Segoe UI", "Segoe UI Emoji",
      "Segoe UI Symbol", Lato, "Helvetica Neue",
      Helvetica, Arial, sans-serif; font-size: 13px; font-style: normal;
      font-variant-ligatures: normal; font-variant-caps: normal;
      font-weight: 700; letter-spacing: normal; orphans: 2; text-align:
      left; text-indent: 0px; text-transform: none; white-space: nowrap;
      widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px;
      background-color: rgb(255, 255, 255); text-decoration-style:
      initial; text-decoration-color: initial; display: inline
      !important; float: none;"><span></span></span>) into one and push
    them as a single patch?<br>
  </body>
</html>