C言語の変数は、あくまでデータを抽象的に表現した高級言語としての概念。
アセンブラレベルでwrite専用レジスタを直接叩いているのとは違う。
例え、レジスタのread値が0や不定であっても、書き込んだデータの内容の扱いは変わらない。
代入文によってwrite動作を行なった後でread動作によって値を上書きすることはない。
逆にレジスタをreadする場合は、代入文の一番右側の右辺値としないとレジスタの値は保証されない。