[PATCH] Add iterator for PHINode value/BB pair
Duncan P. N. Exon Smith
dexonsmith at apple.com
Wed Jul 22 16:50:27 PDT 2015
> On 2015-Jul-22, at 15:07, David Blaikie <dblaikie at gmail.com> wrote:
>
>
>
> On Wed, Jul 22, 2015 at 12:11 PM, Duncan P. N. Exon Smith <dexonsmith at apple.com> wrote:
>
> > On 2015-Jul-21, at 21:20, Pete Cooper <peter_cooper at apple.com> wrote:
> >
> > Thanks for all the feedback. This is a patch which addresses all of it.
> >
> > <phinode.diff>
> >
>
> > +
> > + const PHINodeEdge operator*() const {
>
> No reason for the const in `const PHINodeEdge` here.
>
> to support operator-> you have to return a pointer, which means you need the PHINodeEdge storage inside the iterator to point to (& then you can just return a const ref from op*)
Do we need operator->()?
If so, we can return a proxy object:
struct PHINodeEdgeArrowProxy {
const PHINodeEdge RefProxy;
public:
PHINodeEdgeArrowProxy(PHINodeEdge Edge) : RefProxy(Edge) {}
const PHINodeEdge *operator->() const { return &RefProxy; }
};
PHINodeEdgeArrowProxy operator->() const { return operator*(); }
Then we avoid bloating the iterator, and only make the copy when we
actually need it.
>
>
> > + return { *Values, *Blocks };
> > + }
> > + };
> > +
>
> Otherwise LGTM. Might want to pass it through clang-format; I noticed
> some minor whitespace oddities.
>
> > *snip*
> >> On Jul 21, 2015, at 8:21 PM, Duncan P. N. Exon Smith <dexonsmith at apple.com> wrote:
> >>
> >>
> >>
> >> If you drop the requirements from `forward_iterator` to
> >> `input_iterator`, then you're allowed to return a `PHINodeEdge` by-value
> >> here instead of by-reference (unfortunately this makes it illegal to use
> >> a bunch of STL algorithms; STL iterator traits are completely broken
> >> IMO).
> > I’m fine with this. David, Chandler, please let me know how you feel about this.
> >
> > Also, i forgot to say that I considered doing a zip iterator and inheriting this from it. This is something I think Chandler or David mentioned a few months ago. If there’s been any progress in the C++ committee on that then i’m happy to try implement something better. If not, then i don’t think what I have here should be difficult to change in future.
>
> I guess a generalized version would return a
> `std::tuple<Value *const &, BasicBlock *const &>` or some such. Not
> sure how to actually make zip iterators work well without something
> like N1550 though.
>
> What's N1550 offer to make zip work?
s/work/& well/
I think bloated iterators are bad, but without bloating them (so you
can return a T&), you can't call a zip_iterator a ForwardIterator,
which means you can't use it in a bunch of algorithms that you might
want to (such as the destination for `std::copy()`).
N1550 let's you correctly identify the type of traversal the
zip_iterator can do, without requiring a T& return from operator*().
> I wouldn't mind a slightly half-hearted version that works for basic/common cases...
More information about the llvm-commits
mailing list