This assert prevents us from running my (slightly) modified ss-fannkuch benchmark.
Created attachment 594724 [details] [diff] [review]
LICM bug. We have to unmark the blocks if we skipped the loop. Otherwise, if there's an inner loop, we would incorrectly skip some blocks.
Blocking bug 724444 to avoid duplicates.