Cなら変数の型とレジスタの種類が直結してるかもしれんが

高級な言語はもっと複雑な内部構造してるだろ。
JAVAなんか全部クラスだし。