競技ルール

  • 競技用プログラムは全部で6個
    • PandAのリソースからcontest.zipをダウンロード
  • 各プログラムに対し,同梱の測定専用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