SCEVExpander: Fold constant PHIs harder. The logic below only understands proper...