2014년 컴퓨터종합학술대회
Current Result Document :
| 한글제목(Korean Title) |
LLVM 컴파일러의 한 최적화 패스를 위한 검산틀 |
| 영문제목(English Title) |
A Validation Framework for an Optimization Pass of LLVM Compiler |
| 저자(Author) |
최준원
조성근
강지훈
허충길
이광근
Joonwon Choi
Sungkeun Cho
Jeehoon Kang
Chung-Kil Hur
Kwangkeun Yi
|
| 원문수록처(Citation) |
VOL 41 NO. 01 PP. 1606 ~ 1608 (2014. 06) |
한글내용
(Korean Abstract) |
이 논문은 LLVM 컴파일러의 명령어합성(instruction combining) 최적화 패스의 올바름을 보이는 검산틀에 대해 설명한다. 어떤 프로그램의 올바름을 엄밀하게 보이는 대표적인 두 가지 방법이 있다. 대상 프로그램의 올바름을 직접 검증하는 것과 검증된 검산기를 대상 프로그램 장착하는 것이다. 하지만 명령어합성 최적화 패스는 약 400여 개의 꼬마 최적화들로 구성되어 있어 각각의 꼬마 최적화들이 올바름을 직접 검증하는 방법은 올바름을 보이기에 적합하지 않다. 따라서 우리는 꼬마 최적화들의 최적화 결과가 올바름을 검산하는 검산기를 검증하고 LLVM 컴파일러에 장착하려 한다. 우리는 400여 개의 꼬마 최적화들을 적은 비용으로 검산할 수 있도록 검산기를 디자인하였고, 대표적인 꼬마 최적화들에 대해 검산기가 동작
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
