1 Tests loop information update after DCE because block removal can disconnect loops, leaving other 2 live blocks outside the loop they had been a member of.
