<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Dec 14, 2015 at 11:46 AM, Philip Reames <span dir="ltr"><<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF"><div><div class="h5">
    <br>
    <br>
    <div>On 12/12/2015 01:44 PM, JF Bastien
      wrote:<br>
    </div>
    <blockquote type="cite">
      <div dir="ltr">
        <div class="gmail_extra">
          <div class="gmail_quote">On Sat, Dec 12, 2015 at 1:24 AM,
            Philip Reames <span dir="ltr"><<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span>
            wrote:<br>
            <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Patch
              posted for review: <a href="http://reviews.llvm.org/D15471" rel="noreferrer" target="_blank">http://reviews.llvm.org/D15471</a></blockquote>
            <div><br>
            </div>
            <div>Looking at the patch, I think we should do FP only for
              now as vectors have extra complexities which IMO warrant
              more discussion. <br>
            </div>
          </div>
        </div>
      </div>
    </blockquote></div></div>
    I'm fine with splitting the patch up to make progress.  I'll post a
    split patch shortly.  <br></div></blockquote><div><br></div><div>Thanks. FWIW I think we'll want to do vectors, but I think it's trickier than just FP.</div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div text="#000000" bgcolor="#FFFFFF">Would you mind explaining what complexities you see for vectors?  As
    per my direct email, the set of vectors which can practically be
    made atomic may be smaller than we'd like, but the existing atomic
    semantics seem to map cleanly.  What am I missing?</div></blockquote><div><br></div></div></div><div class="gmail_extra"><br></div><div class="gmail_extra">I'm also concerned about:</div><div class="gmail_extra"><ul><li>Alignment is the big one, I think we'll want to discuss having entirely atomic vectors as well as vectors whose elements are atomic only.<br></li><li>Having vectors of pointers without fully supporting atomic pointer.<br></li><li>Vectors of unusual sizes or integer types being atomic, and how they get legalized. e.g. <3 x i32> or <256 x i1>.</li><li>Once we add vector, should we consider adding other composite types in general, including structs? C++ allows this, but has substantial issues w.r.t. padding.</li></ul></div></div>