Presentation | 2009-03-11 Random Testing for Arithmetic Optimization of C compilers Hironobu AWAZU, Nagisa ISHIURA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This article presents random testing of C compilers focusing on arithmetic optimization. It tests if code generation and optimization are properly performed for integer arithmetic expressions containing various integer type variables and implicit casting. The types and the initial values of the variables are randomly selected and the arithmetic expressions are randomly composed to form a test program. The expected values of the expressions are precomputed by the random test program generator so that the comparison between the computed values and the expected values is done within the test program. During the preparation of the expected values, all the intermediate values are tested so that the generator do not produce programs that results in undefined behavior by zero division, overflow, nor left-shift of negative values, etc. An implemented random test system successfully detected a bug in GCC 4.1.2 for x86. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | C compilers / random test / optimization / arithmetic expressions |
Paper # | VLD2008-127 |
Date of Issue |
Conference Information | |
Committee | VLD |
---|---|
Conference Date | 2009/3/4(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | VLSI Design Technologies (VLD) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Random Testing for Arithmetic Optimization of C compilers |
Sub Title (in English) | |
Keyword(1) | C compilers |
Keyword(2) | random test |
Keyword(3) | optimization |
Keyword(4) | arithmetic expressions |
1st Author's Name | Hironobu AWAZU |
1st Author's Affiliation | School of Science and Technology, Kwansei Gakuin University() |
2nd Author's Name | Nagisa ISHIURA |
2nd Author's Affiliation | School of Science and Technology, Kwansei Gakuin University |
Date | 2009-03-11 |
Paper # | VLD2008-127 |
Volume (vol) | vol.108 |
Number (no) | 478 |
Page | pp.pp.- |
#Pages | 4 |
Date of Issue |