大会名称 |
---|
2016年 ソサイエティ大会 |
大会コ-ド |
2016S |
開催年 |
2016 |
発行日 |
2016-09-06 |
セッション番号 |
A-6 |
セッション名 |
VLSI設計技術 |
講演日 |
2016/9/21 |
講演場所(会議室等) |
工学部 C棟 C209 |
講演番号 |
A-6-12 |
タイトル |
Cコンパイラの最適化のリグレッションテストのためのアセンブリコード比較法 |
著者名 |
◎北浦幸太, 岩辻光功, 石浦菜岐佐, |
キーワード |
コンパイラ, 最適化, アセンブリコード |
抄録 |
コンパイラには , 信頼性とともに高い最適化の性能が 要求されるため , 意図通りの最適化が行われているかど うかはコンパイラの重要なテスト項目になる . 岩辻ら では , 2 つのコンパイラが生成するアセンブリコードの 比較によって一方の最適化の不足を検出する手法を提案 している . しかし , その比較は単純に命令数だけに基づ いて行っていたため , 誤判定が生じていた . そこで本稿 では , C コンパイラの最適化のリグレッションテストを 対象に , アセンブリコードの比較法の改良を提案する . |
本文pdf |
PDF download
|