Application of the LLVM Compiler Infrastructure to the Program Analysis in SAPFOR

Author

N.A. Kataev

Annotation

The paper proposes an approach to implementation of program analysis in SAPFOR (System FOR Automated Parallelization). This is a software development suit that is focused on cost reduction of manual program parallelization. It was primarily designed to perform source-to-source transformation of a sequential program for execution on parallel architectures with distributed memory. LLVM (Low Level Virtual Machine) compiler infrastructure is used to examine a program. This paper focuses on establishing a correspondence between the properties of the program in the programming language and the properties of its low-level representation.

The reported study was funded by the Program of the Presidium of RAS 26 “Fundamental basis for creating algorithms and software for perspective ultrahigh-performance computing”.

Key words

Program analysis, program parallelization, source-to-source transformation, LLVM.

Language

English

Reference

N.A. Kataev. Application of the LLVM Compiler Infrastructure to the Program Analysis in SAPFOR // Supercomputing, Cham: Springer, 2018, Vol. Communications in Computer and Information Science, No. 965, P. 487-499