There’s no advantage and not current allowed to make a variable constant. The compiler doesn’t need that information at all.
There can be an advantage to just do x00 = z.x0. It may or may not be possible for the compiler to infer that. The effect of that can range from improving the performance by a order of magnitude (e.g. when that helps alias analysis to enable loop vectorization) to slightly negative (e.g. when the increase in register pressure cause additional spilling)
You mean that the compiler deduces the ‘constantness’ of a variable automatically in any case, or only if one makes an explicit assignment like x00 = z.x0?
I did not say “it depends” for constantness. I just don’t know what is the difference between a variable (automatically) in any case and an explicit assignment like x00 = z.x0