型変換を伴う式評価(コード生成)

前回は、コンパイラの生成コードに関連して主にアセンブラ言語について簡単なお話をしました。今回は、コンパイラのコード生成の評価について具体的にどのような評価をしているかなど簡単にご紹介して見たいと思います。

型変換を伴う式評価

ANSIで決められているCコンパイラの評価の中で、組込などでは、影響が大きいものにchar型（文字のデータ型）の評価方法があります。

基本的にANSI規格に準拠というコンパイラであれば、整数型で演算評価されます。整数型は、16bit以上の語長と規定されていますので、char型が8bit語調のデータ型である場合、一旦、整数に型変換してから評価式が評価されます。

例えば、Cコンパイラの場合、次のようなソースコードの場合です。（ソフトウェア技術者ではない方にはスミマセン。）

このソースコードでは、cという変数はchar型の変数ですから、ゼロであるかを評価するためには、8bitの変数cを16bit以上の整数に変換してから評価されるのが、ANSI規格に沿った式評価の方式になります。(もし、32bit整数を標準とする32bitのCPUの場合、8bitの整数を32bitに変換する必要があります)。

コード生成出力を調べる

そこで、このようなソースコードを作成して、実際にコンパイラにコードを生成させて、整数への変換が行なわれてから評価されるのか、それとも、8bitのまま処理することで、効率的なコードを優先的に生成するのかを調べます（オプティマイズを有効、無効を切り替えたり生成関連のオプションでの変化も調べます）。

CPUやDSPの組込コードの生成では、正しく評価できるのであれば、厳密にANSIに従うよりも、効率や生成コードサイズを優先させてほしいですから、コンパイラがこのような型変換を行なう部分を正しく処理されるかと、効率的なコード生成をさせることが可能かという２つの視点で評価します。

演算のコード生成出力

類似した評価として、演算を行なって代入(記憶)する場合があります。次のようなソースコードです。

この場合には、実際に演算しますので、その場合の評価はどのようにされるか、演算結果がそのまま次の処理でも利用できる場合には、効率的な処理を行なうか、単純な±１の場合には特殊なコードで効率化されるかなど、数種類のソースコードで結果を見ながら、コンパイラの生成コードの特徴を調べたり評価を行ないます。