Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs

• Hashimoto Atsushi

  Nomura Research Institute, Ltd.

• Ishiura Nagisa

  Kwansei Gakuin University

抄録

This paper presents new methods of detecting missed arithmetic optimization opportunities for C compilers by random testing. For each iteration of random testing, two equivalent programs are generated, where the arithmetic expressions in the second program are more optimized in the C program level. By comparing the two assembly codes compiled from the two C programs, lack of optimization on either of the programs is detected. This method is further extended for detecting erroneous or insufficient optimization involving volatile variables. Two random programs differing only on the initial values for volatile variables are generated, and the resulting assembly codes are compared. Random test systems implemented based on the proposed methods have detected missed optimization opportunities on several compilers, including the latest development versions of GCC-5.0.0 and LLVM/Clang-3.6.

収録刊行物

• IPSJ Transactions on System LSI Design Methodology

  IPSJ Transactions on System LSI Design Methodology 9 (0), 21-29, 2016

  一般社団法人 情報処理学会

キーワード

• compiler validation
• random testing
• arithmetic optimization
• optimization opportunities

詳細情報

• CRID: 1390001205291716096
• NII論文ID: 130005126056
• DOI: 10.2197/ipsjtsldm.9.21
• ISSN: 18826687
• Web Site: https://www.jstage.jst.go.jp/article/ipsjtsldm/9/0/9_21/_pdf
• 本文言語コード: en
• データソース種別:
  • JaLC
  • Crossref
  • CiNii Articles
  • KAKEN
• 抄録ライセンスフラグ: 使用不可