Cコンパイラの改造（未）

Cコンパイラの改造（未）七誌

動機• トレースのとき、逆アセンブルした命令がC言語ではどこなのか特定するのが面倒 – シンボルを見ればどこの関数なのかは分かる• C言語のセンテンスごとに対応するアセンブリを特定したい• gcc -g のようなイメージ

Cコンパイラのビルド• Cコンパイラをいじるため、自作インタプリタでビルドに挑戦• ビルドは簡単に完了• しかし・・・まったく動かない！！！まったく動かない！！！

アセンブラと格闘• 何だかよく分からないので、インタプリタが止まっている付近を逆アセンブル• 念のためV6のasでアセンブルしてバイナリを確認• あれ？一致しない• 延々と悩み続けた結果・・・ mov 10 10(r0), r0ディスプレースメントはディスプレースメントはプレフィックスなしでも8進数だ！！プレフィックスなしでも進数だプレフィックスなしでも進数だ！！プレフィックスなしでも8進数進数だ進数

バイナリを疑え• 振り出しに戻った• リンク前のオブジェクトファイルを確認• V6でCRC計算ツールでも作って確認しようかと思ったけど、ファイル抽出ツールで抜き出せば済むことに気付いたので中止 – 私がまともに仕様を知っているのはCRC-32だけだが、16bit CPUで計算するのは苦しいので、 CRC-16の仕様を調べなくちゃ・・・とか迷走• 比較の結果、完全に一致していた

410• オブジェクトファイルは一致していたので、他の原因を調査。• 410をサポートしていなかったため、-nを外して407にしていたのが原因か？と疑う – それが問題になるとは考えにくいけど• 410のサポートはdataセグメントをアラインするだけなので簡単にできた• c0とc2は動くようになった• 依然としてc1が動かない・・・

simhで確認• インタプリタでビルドするとき、シェルスクリプトをMakefileに作り変えていた• Makefileが実行するのと同じ手順を、手動で simh上のV6で行ってc1をビルド• エラーが止まらない！ – 自作インタプリタと同じ症状 – インタプリタ自体はまともに動いているらしい – simh強制終了→ディスクイメージ破損• どこかビルド手順を間違えたみたい・・・

runスクリプト• ビルドはrunというシェルスクリプトで行う• スクリプトをインタプリタ用に修正• ビルドしたらsimh上とバイナリが完全一致• もちろん完全動作Makefileの作成ミスだった！Makefileの作成ミスだった！ミスだった

スタブ• runとMakefileをよく見比べたら、c1をリンクするときにc1t.oが足りなかった• リンクしなくてもundefinedにならないので気付かなかった – V6のldは同名のグローバルシンボルを1つにまとめるためextern不要だが、その仕様を利用して定義がc1h.cとc1t.sに重複していた – c1h.cがスタブで、c1t.sが実体 – スタブの存在でundefinedが避けられていた

コンパイルフロー (1)• cc a.c としてコンパイルするときに裏で呼ばれるコマンドcc a.c /lib/c0 a.c /tmp/ctm1f /tmp/ctm2f /lib/c1 /tmp/ctm1f /tmp/ctm2f /tmp/ctm3f as - /tmp/ctm3f /lib/as2 /tmp/atm1a /tmp/atm2a /tmp/atm3a -g ld -X /lib/crt0.o a.o -lc -l

コンパイルフロー (2) c0 c1 as /tmp/ctm1fa.c /tmp/ctm3f /tmp/ctm2fよくわからないバイナリアセンブリ出力シリアライズされたAST? （-Sと同じ）• c0で位置情報を残して、c1で埋め込みたい

ご清聴ありがとうございましたここでタイムアップです・・・

http://d.hatena.ne.jp	1300
http://hatenatunnel.appspot.com	3
http://webcache.googleusercontent.com	2

Cコンパイラの改造（未）

by n 7shi on Oct 16, 2011

Accessibility

Categories

Tags

Upload Details

Usage Rights

3 Embeds 1,305

Statistics

Cコンパイラの改造（未） — Presentation Transcript