Some of the moves seemed to change what an individual function might do. For example they suggested pulling an if from a function to the calling function.

Could the compiler figure it out? My gut says maybe; maybe if it started by inlining the callee? But inlining happens based on some heuristics usually, this seems like an unreliable strategy if it would even work at all.