[Mesa-dev] [PATCH 3/5] nir: Do opt_algebraic in reverse order.

[Matt Turner]

On Mon, Feb 8, 2016 at 3:57 PM, Ian Romanick <idr at freedesktop.org> wrote:
> On 02/04/2016 05:47 PM, Matt Turner wrote:
>> Walking the SSA definitions in order means that we consider the smallest
>> algebraic optimizations before larger optimizations. So if a smaller
>> rule is part of a larger rule, the smaller one will happen first,
>> preventing the larger one from happening.
>
> Doesn't that just mean that our "larger pattern" space is somehow
> incompletely?  This seems to indicate that applications could (but
> probably don't?) open-code these patterns and we'll miss them.

I don't understand the question. Does my reply to Eduardo perhaps
answer your question?