前回の記事はこちらcoins関係はこちら具体的な実装に入る．で，コードはこんなかんじ．ちなみに，実行しながら中身をチェックできる様にprintlnをめちゃくちゃ入れまくってる．javaのデバッガ使いたい... /* CP.java データフロー解析を用いた定数伝搬(Const…

前回の記事はこちらcoins関係はこちらで，具体的に最適化器をつくる．今回はビットベクタ法を用いたデータフロー解析を行って定数伝搬の最適化を行う．(ビットベクタ法に関する論文はコチラ : Uday.P, et.al., A generalized theory of bit vector data flow…

前回の記事はこちらcoins関係はこちらまず，コンパイルする環境を整える．流れとしては cソース -> coinsで最適化 -> アセンブラ(macならgas)ソース -> gccでアセンブルとリンク -> 実行ファイル となる．で，めんどいのでcoins/classes下にtest_srcディレク…

前回はこちらで，もう一度coinsのテストスーツについてもう一度調べる．ちょっとググってみたら東工大の佐々木研究室というところでcoinsを使って研究をしているらしく，wikiが見つかる．...fmfmなんぞ，testdriverは，そもそも86マシンではコンパイルが通ら…

前回はこちらまずコンパイルエラーを吐いているcoins/test/c/Sample1/tptreetrav.cを調べると，#testdriver-YYMMDD-HHMMSS/c-Sample1-tptreetrav.txt ... ../test/c/Sample1/tptreetrav.c:23 (Warning) function call without declaration: strncpy() ... と…

ちょと必要があってcoinsっていうコンパイラの最適化器を作る(補助をしてくれる)ソフトをいじってます．coinsについてはこちら■本家サイト http://www.coins-project.org/ 本プロジェクトでは、新しいコンパイラ方式を容易に実験、評価できるような共通イン…