著者
Atsushi Hashimoto Nagisa Ishiura
出版者
一般社団法人 情報処理学会
雑誌
IPSJ Transactions on System LSI Design Methodology (ISSN:18826687)
巻号頁・発行日
vol.9, pp.21-29, 2016 (Released:2016-02-12)
参考文献数
17

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.

言及状況

外部データベース (DOI)

Delicious (1 users, 1 posts)

[Coding][Nobelcode] via Hacker News https://news.ycombinator.com/

Twitter (26 users, 32 posts, 22 favorites)

Detecting Arithmetic Optimization Opportunities for C Compilers : https://t.co/hnxQdxTFcm
#Arithmetic Optimization for Compilers by Randomly Generated Equivalent Programs [pdf] #Hacker #News #Headline https://t.co/7EQl77giVx
Arithmetic Optimization for Compilers by Randomly Generated Equivalent Programs [pdf] https://t.co/UxbVHq8nQ7
Arithmetic Optimization for Compilers by Randomly Generated Equivalent Programs [pdf] https://t.co/MbjlRWZ8bE (cm… https://t.co/gzSaPEzlEH)
Arithmetic Optimization for Compilers by Randomly Generated Equivalent Programs [pdf] https://t.co/wc6oxnGJLn (cmts https://t.co/qG1MK1XhLd)
Arithmetic Optimization for Compilers by Randomly Generated Equivalent Programs [pdf] L: https://t.co/wrQIcG1RNq C: https://t.co/rpoovO0r8M
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/vaIbogKvHI
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/FRXyWil8nC
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/cBxdsnVENG
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs (jstage​.jst​.go​.jp) https://t.co/SIMIzQVSFK
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/UxbVHq8nQ7
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs: https://t.co/d3K2mWXjc4 Comments: https://t.co/5dNVqCvFjm
IT news: Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/vY7KxTRftF
IT news: Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/LXlDlMcIoT
#Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs #Hacker #News #Headline https://t.co/7EQl77giVx
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/wYDUREFl9k
Arithmetic Optim for C Compilers by Randomly Generated Equivalent Programs https://t.co/MbjlRWZ8bE (cmts https://t.co/gzSaPEzlEH)
昨年度のM2のコンパイラの最適化のテストに関する研究成果をまとめた論文が情報処理学会の論文誌 (英文) に掲載されましたー! https://t.co/p17zM109ow 結構な大作になりました ^^

収集済み URL リスト