電子情報通信学会ソサイエティ大会講演要旨
A-6-2
コンパイラの最適化性能テストのためのリターゲッタブルアセンブリコード比較
◎村上大喜・北浦幸太・石浦菜岐佐(関西学院大)
コンパイラには高い最適化の性能が求められるため, コンパイラが意図通りの最適化を行っているかは重要なテスト項目になる. 北浦らは, 異なる2つのコンパイラが生成するアセンブリコードの比較によって一方の最適化不足を検出している. このコード比較ツールはLLVMのバックエンドのテスト(田中)等にも利用できるが, 特定のアーキテクチャ (x86) にしか対応していない. 本稿ではこれを一般化し, 他のアーキテクチャでもコード比較ができる手法を提案する.