Paper Abstract and Keywords |
Presentation |
2021-01-26 15:30
Performance Testing of VRP Optimization of C Compilers by Random Program Generation Daiki Murakami, Nagisa Ishiura (Kwansei Gakuin Univ.) VLD2020-66 CPSY2020-49 RECONF2020-85 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
This paper proposes an automated method to test if C compilers properly perform VRP optimization. The VRP optimization is a sophisticated variant of constant folding that replaces subexpressions into constants at compile time, whose complex precondition may induce mis-optimization or under-optimization. The proposed method attempts to detect under-optimization by generating a pair of C programs, where VRP optimization is applicable to one program and VRP optimization is applied to the other program at source code level, and comparing the compiled assembly codes. The arithmetic expressions with VRP optimization opportunities are generated by propagating value ranges in the opposite direction to that in range analysis in the optimization and by appropriately choosing operators and operands. A test system has been implemented on top of a random test system Orange4, which detected under-optimization in the latest version 10.2.0 of GCC. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
compiler / random testing / optimization / / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 120, no. 337, VLD2020-66, pp. 154-159, Jan. 2021. |
Paper # |
VLD2020-66 |
Date of Issue |
2021-01-18 (VLD, CPSY, RECONF) |
ISSN |
Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
VLD2020-66 CPSY2020-49 RECONF2020-85 |
Conference Information |
Committee |
CPSY RECONF VLD IPSJ-ARC IPSJ-SLDM |
Conference Date |
2021-01-25 - 2021-01-26 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Online |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
FPGA Applications, etc. |
Paper Information |
Registration To |
VLD |
Conference Code |
2021-01-CPSY-RECONF-VLD-ARC-SLDM |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Performance Testing of VRP Optimization of C Compilers by Random Program Generation |
Sub Title (in English) |
|
Keyword(1) |
compiler |
Keyword(2) |
random testing |
Keyword(3) |
optimization |
Keyword(4) |
|
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Daiki Murakami |
1st Author's Affiliation |
Kwansei Gakuin University (Kwansei Gakuin Univ.) |
2nd Author's Name |
Nagisa Ishiura |
2nd Author's Affiliation |
Kwansei Gakuin University (Kwansei Gakuin Univ.) |
3rd Author's Name |
|
3rd Author's Affiliation |
() |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2021-01-26 15:30:00 |
Presentation Time |
25 minutes |
Registration for |
VLD |
Paper # |
VLD2020-66, CPSY2020-49, RECONF2020-85 |
Volume (vol) |
vol.120 |
Number (no) |
no.337(VLD), no.338(CPSY), no.339(RECONF) |
Page |
pp.154-159 |
#Pages |
6 |
Date of Issue |
2021-01-18 (VLD, CPSY, RECONF) |
|