mieki256's diary

C/C++ で書いた処理を即座にアセンブラで表示してくれるページを利用して勉強中。

_Compiler Explorer

x86 gcc を選んで、最適化オプションの -O 3 等をつけて結果が変わる様子を眺めていたけれど、かなり変わるものなのだなと感心してしまった。最適化をしないと、なんでもかんでもスタックに置いて、スタック上の値を使おうとするので、絶えずメモリアクセスが入って遅くなりそうだけど、最適化を有効にすると極力レジスタに入れてどうにかしようとしてくれる。また、ループ内の命令数も激減するように見える。たしかに速くなりそう…。

コンパイル結果を眺めているうちに、FreeBASIC のライブラリをC言語を使って書けないものかと思えてきた。C言語で書けたら gcc の最適化も使えるだろうから、アセンブラで書かずにC言語で書いたとしても、そこそこの速度が出てくれるのではないかしらん。

それはさておき。C言語のソース上でポインタの型をちゃんと指定しても、アセンブラ上では結局のところ、2だの4だのを足してアドレスを変化させてることにも気づいた。+= N を ++ にしても、出てくるアセンブラの結果は同じ。FreeBASIC のソース上で、どうにかして += 1 と書かないと速くならないのかなと思ってたけど、あまり関係ないのかもしれない。…いや、関係あるか。+= xd といった感じで、変数を足していたところが定数になってくれるのだから、変数1つ分 ―― スタックだかレジスタだかを1つ使わずに済むよな…。実際に試したら少しは速くなったし…。

_アセンブラに手を出してみる #アセンブラ - Qiita
_C言語とアセンブリ言語の相互呼び出し #C - Qiita
_x86アセンブリ言語での関数コール
_アセンブリ言語入門

どうしてライブラリファイルの形にしたいのかと言うと、そのライブラリファイルだけでも gcc でコンパイルしたいから。

FreeBASIC 32bit版は、gas と呼ばれる、GNUアセンブラ(as.exe)を使って実行形式を作るのだけど、最適化はかからないから処理が遅い実行形式が生成されてしまう。しかし、gcc の最適化を有効にしてコンパイルするだけで、同じソースでも数倍の速さになってくれる。

しかし、gcc はどの環境にも入ってるわけではないので、gccが入ってる環境でライブラリファイルだけでも作ることができれば、そのライブラリファイルを配布することで処理が速い版を使えるのではないかなと…。

ただ、Windows 32bit版、64bit版、Linux版 の lib*.a を用意しなきゃいけないあたりが少し面倒臭いかも。