craig.topper added inline comments.

================
Comment at: clang/docs/LanguageExtensions.rst:552
+operation(x, y) as pairwise tree reduction to the input. The pairs are formed
+by concatenating both inputs and pairing adjacent elements.
+
----------------
fhahn wrote:
> craig.topper wrote:
> > scanon wrote:
> > > fhahn wrote:
> > > > craig.topper wrote:
> > > > > I'm not sure I understand what is being concatenated here.
> > > > I tried to spell it out more clearly. I'm still not sure if that spells 
> > > > it out as clearly as possibly and I'd appreciate any suggestions on how 
> > > > to improve the wording.
> > > It's unclear because there's no apparent "first" or "second" vector; 
> > > there's just a single argument, and the result isn't a vector, it's a 
> > > scalar. I think you want to say something like: "the operation is 
> > > repeatedly applied to adjacent pairs of elements until the result is a 
> > > scalar" and then provide a worked example.
> > The input is a single vector. I'm not understanding where we get a second 
> > vector to concatenate.
> Oh yes, now I see where the confusion was coming from. I was thinking about 
> the reduction tree and how the input is broken up. Sorry for the confusing 
> wording. I gave it another try, should be much simpler again now.
Should it somehow mention the pair is the even element `i` and the odd element 
`i+1`. There are n-1 adjacent pairs in an n element vector, but we want 
non-overlapping pairs.

Should probably spell out the non-power2 behavior. Presumably we pad identity 
elements after the last element to widen the vector out to a power 2 and then 
proceed normally?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D111529/new/

https://reviews.llvm.org/D111529

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to