fix wrong assertion in load elimination

The assertion fails incorrectly on a block right
after the end of a loop.

1 files changed, 1 insertions, 1 deletions

diff --git a/load.c b/load.c
index a6bd68e..26bc2ca 100644
--- a/load.c
+++ b/load.c
@@ -260,7 +260,7 @@ def(Slice sl, bits msk, Blk *b, Ins *i, Loc *il)
 		goto Load;
 	if (b->npred == 1) {
 		bp = b->pred[0];
-		assert(bp->loop == il->blk->loop);
+		assert(bp->s2 || bp->loop == il->blk->loop);
 		l = *il;
 		if (bp->s2)
 			l.type = LNoLoad;