Split out of JDK-8376514 in Valhalla: I think we need to verify more thoroughly that if we reply is_oop_field = false for AddP, then there are no nodes that we feed into oops. We handle it pretty well in various branches in the method already, and we "just" need to check it at the end. Valhalla catches fire on that post-condition check, tracked in JDK-8376514.