Should PGO automatically compile hot code O3 and cold code Oz?

Note that anything here would basically be an LLVM change, so you might want to raise it with them. I don't think rust itself actually uses the PGO information in any meaningful way. (At most if forwards things along.) I don't think it needs to be a different opt level; PGO can just make other choices with the information it has when you use it.