[Mesa-dev] [PATCH] nir: allow stitching of non-empty block

[Caio Marcelo de Oliveira Filho]

Hi Juan,

On Tue, Feb 12, 2019 at 04:37:23PM +0100, Juan A. Suarez Romero wrote:
> On Fri, 2019-02-08 at 15:39 -0600, Jason Ekstrand wrote:
> > I had a chat with Caio about this and I'm skeptical.  In general, users of the CF manipulation code shouldn't be stitching two blocks together where the first contains a jump and the second is non-empty.  If the caller knows that this case is ok, then they can check for it and empty out the one block before stitching.  Also, I'm not really seeing how peel_initial_if would hit this case from your example.
> > 
> > 
> The problem happens when moving the continous list to the end of continue block in loop; the former ends in a jump ("break") and the later also ends in a jump ("continue"), so stitch block complains because there will be an instruction (the "continue") after the jump (the "break").

I was investigating this yesterday and attempted to write a MR, could
you take a look?

https://gitlab.freedesktop.org/mesa/mesa/merge_requests/238


	Caio