"If the code has more than that many variables, OCaml compiler has to park the extra variables in memory and this parking is called spilling."

This is just wrong. It would be accurate to say "If the code has more than that number of variables live at the same time".

If the computations are not live at the same time, they can share a register.