競技ルール
- 競技用プログラムは全部で6個
- PandAのリソースから
contest.zip
をダウンロード
- PandAのリソースから
- 各プログラムに対し,同梱の測定専用
main.c
を用いてコンパイル_toplevel
関数全体の実行時間を計測
- コンパイル方法は以下のコマンドによる
$ ./minimlc -O -o XXX.s XXX.ml $ gcc -o XXX XXX.s timer.c main.c
- 担当教員のラズパイ上で3回実行した計測結果の中央値を採用
- 各プログラム毎に順位付け
- 競技参加用のコンパイラソース一式を11/16(金) 3限終了(14時半)までにメールで連絡用メールアドレス宛に送ること
結果について
- 順位表をこのページ中に掲載予定
- 最終報告会中(17時まで)に掲載できると思います
- どのような最適化を行ったか(例:「定数伝搬,deadコード除去」等)をソースコード提出時にメール本文中に書いてくれれば,順位表の備考欄に記載します
順位表(平成30年度)
氏名 | 実装した最適化手法 |
---|---|
尾崎 翔太 | コピー伝搬,定数畳み込み,不要代入分削除,レジスタ割り付け |
四十坊 純也 | |
畠山 昂大 | |
山口 左近 | 末尾呼出し除去 |
脇坂 遼 | 定数畳み込み,コピー伝搬,無駄な命令の除去,レジスタ割付, Movlt 命令の導入 |
bst.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 尾崎 翔太 | 2.097318238 |
2 | 脇坂 遼 | 2.128450369 |
3 | 四十坊 純也 | 2.296077039 |
4 | 畠山 昂大 | 2.343242355 |
5 | 山口 左近 | 2.345399486 |
fenv.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 尾崎 翔太 | 1.707564487 |
2 | 脇坂 遼 | 1.713158860 |
3 | 四十坊 純也 | 1.848405891 |
4 | 畠山 昂大 | 1.850378653 |
5 | 山口 左近 | 1.853176308 |
fib.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 脇坂 遼 | 2.729815113 |
2 | 尾崎 翔太 | 3.093333292 |
3 | 四十坊 純也 | 3.599669281 |
4 | 畠山 昂大 | 3.690535530 |
5 | 山口 左近 | 3.900690062 |
rr.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 尾崎 翔太 | 3.027550479 |
2 | 脇坂 遼 | 3.044285473 |
3 | 四十坊 純也 | 3.279392200 |
4 | 畠山 昂大 | 3.302781680 |
5 | 山口 左近 | 3.305211107 |
rw.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 尾崎 翔太 | 2.696018967 |
2 | 脇坂 遼 | 2.727510270 |
3 | 四十坊 純也 | 2.884421415 |
4 | 山口 左近 | 2.935029697 |
5 | 畠山 昂大 | 2.950913497 |
sort.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 脇坂 遼 | 2.054602558 |
2 | 尾崎 翔太 | 2.060460424 |
3 | 四十坊 純也 | 2.224317974 |
4 | 山口 左近 | 2.267164697 |
5 | 畠山 昂大 | 2.308767715 |
順位表(平成29年度)
参加者一覧
氏名 | 実装した最適化手法 |
---|---|
齋藤 大聖 | レジスタ割り付け |
佐藤 竜馬 | レジスタ割り付け/コピー伝搬/無駄な命令の除去/ dirty でないレジスタはcaller側で保存しない/ A1, A2 はcallee保存/一時レジスタを増やした/ Malloc を reg 側で保存/Cmp 命令を Movlt, Movge にコンパイルした |
神宮 陽介 | 正規形での簡単な定数伝搬,条件付き命令 (movlt, movge) を 用いた不等号比較の短縮化 |
田中 佑 | 定数畳み込み,無駄なコード除去(if式の除去はしない),コピー伝搬 |
松浦 孝平 | なし |
山口 仁司 | 定数畳み込み, コピー伝搬, 不要代入除去, レジスタ割当 |
bst.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 佐藤 竜馬 | 2.127026725 |
2 | 齋藤 大聖 | 2.244952299 |
3 | 田中 佑 | 2.341577040 |
4 | 神宮 陽介 | 2.342562562 |
5 | 山口 仁司 | 2.436067091 |
6 | 松浦 孝平 | n/a |
fenv.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 齋藤 大聖 | 1.725830269 |
2 | 佐藤 竜馬 | 1.741131511 |
3 | 山口 仁司 | 1.840323551 |
4 | 神宮 陽介 | 1.868370889 |
5 | 田中 佑 | 1.893703388 |
6 | 松浦 孝平 | 1.897907301 |
fib.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 佐藤 竜馬 | 2.722252562 |
2 | 齋藤 大聖 | 3.330383865 |
3 | 山口 仁司 | 3.530487874 |
4 | 神宮 陽介 | 3.756801522 |
5 | 松浦 孝平 | 3.919219342 |
6 | 田中 佑 | 3.964488500 |
rr.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 佐藤 竜馬 | 2.957935117 |
2 | 山口 仁司 | 3.062632613 |
3 | 齋藤 大聖 | 3.193929334 |
4 | 田中 佑 | 3.270313714 |
5 | 神宮 陽介 | 3.306870064 |
6 | 松浦 孝平 | 3.327957819 |
rw.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 佐藤 竜馬 | 2.713342456 |
2 | 山口 仁司 | 2.772309486 |
3 | 齋藤 大聖 | 2.861272823 |
4 | 松浦 孝平 | 2.955677669 |
5 | 神宮 陽介 | 2.971397824 |
6 | 田中 佑 | 2.990588346 |
sort.ml
順位 | 氏名 | 実行時間(秒) |
---|---|---|
1 | 齋藤 大聖 | 2.147004997 |
2 | 佐藤 竜馬 | 2.201208757 |
3 | 神宮 陽介 | 2.276095940 |
4 | 山口 仁司 | 2.312256723 |
5 | 松浦 孝平 | 2.465935736 |
6 | 田中 佑 | n/a |