{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00185138","sets":["1164:1579:9341:9342"]},"path":["9342"],"owner":"11","recid":"185138","title":["LLVMバックエンドの最適化性能テストのミュータント生成"],"pubdate":{"attribute_name":"公開日","attribute_value":"2018-01-11"},"_buckets":{"deposit":"c938bd14-2b6d-47ba-95cd-3e4c2b940203"},"_deposit":{"id":"185138","pid":{"type":"depid","value":"185138","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"LLVMバックエンドの最適化性能テストのミュータント生成","author_link":["410864","410865","410863","410866","410860","410861","410862","410859"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"LLVMバックエンドの最適化性能テストのミュータント生成"},{"subitem_title":"Mutant Generation of Performance Tests for LLVM Back-Ends","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"設計・検証技術","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2018-01-11","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"関西学院大学理工学部"},{"subitem_text_value":"関西学院大学理工学部"},{"subitem_text_value":"ルネサスエレクトロニクス株式会社"},{"subitem_text_value":"ルネサスエレクトロニクス株式会社"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Kwansei Gakuin University","subitem_text_language":"en"},{"subitem_text_value":"Kwansei Gakuin University","subitem_text_language":"en"},{"subitem_text_value":"Renesas Electronics Corporation","subitem_text_language":"en"},{"subitem_text_value":"Renesas Electronics Corporation","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/185138/files/IPSJ-ARC18229029.pdf","label":"IPSJ-ARC18229029.pdf"},"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ARC18229029.pdf","filesize":[{"value":"884.9 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"0","billingrole":"16"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_login","version_id":"d94b1daa-85ce-45a3-9dbb-0782bd084c9a","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2018 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG."}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"田中, 健司"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"石浦, 菜岐佐"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"西村, 啓成"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"福井, 昭也"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kenji, Tanaka","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Nagisa, Ishiura","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Masanari, Nishimura","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Akiya, Fukui","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10096105","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8574","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では，既存のテストプログラムから自動生成した機能等価なミュータントにより，コンパイラ基盤 LLVM のバックエンドの最適化性能をテストする手法を提案する．LLVM のバックエンドはコード生成のための変換に加えて，ターゲット依存の最適化や各種ピープホール最適化を行うため，生成されているコードの正誤だけでなく，意図通りの最適化が行われているかのテスト （性能テスト） が必要になる．最適化の性能テストは，主としてコンパイラ開発者が手動で作成したテストプログラムによって行われるため，テストプログラムのバリエーションが限られてしまう．本稿の手法では，開発者が特定の最適化機能を対象に作成したテストプログラムからミュータントを自動生成することによって，バックエンドの性能テストを強化する．本手法のミューテーション操作は元プログラムの実行結果を変化させないものに限定するため,意図通りの最適化ができているかどうかの判定はアセンブリコードの機械的な比較により行える．提案手法に基づくツールを Perl 5 を用いて実装しテストを行った結果，LLVM 6.0.0 の x86_64 用バックエンドにおいて，バックエンドの性能向上の参考になると考えられるテストケースを 2 件検出した．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"This article presents a method of testing optimization capability of LLVM back-ends by generating functionally equivalent test mutants from existing test programs. Since the LLVM back-ends perform various target dependent and peephole optimization as well as transformations for code generation, it is necessary to test if optimization is properly done as designed to enhance performance, not to mention if generated codes are correct. Test programs for the performance test are usually developed manually by compiler designers, which do not always provide enough variation to cover corner cases. The method in this article attempts to augment test cases by generating mutants from existing test programs. The mutation in our method is designed not to change the functionality of the original test programs, so that insufficient optimization is detected by mechanical comparison of assembly codes. In a preliminary experiment on the LLVM 6.0.0 back-end for x86_64, a tool based on the proposed method has found two interesting cases which might contribute toward performance improvement of the back-end.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告システム・アーキテクチャ（ARC）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2018-01-11","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"29","bibliographicVolumeNumber":"2018-ARC-229"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"updated":"2025-01-20T03:04:38.729129+00:00","created":"2025-01-19T00:52:20.415475+00:00","links":{},"id":185138}