Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers

Mohamed Riyadh Baghdadi (1) , Javed Absar (2) , Ulysse Beaugnon (1) , Adam Betts (3) , Albert Cohen (1) , Róbert Dávid (4) , Alastair Donaldson (5) , Tobias Grosser (1) , Sven van Haastregt (2) , Elnar Hajiyev (6) , Jeroen Ketema (5) , Alexey Kravets (2) , Michael Kruse (1) , Anton Lokhmotov (2) , Chandan Reddy (1) , Sven Verdoolaege (1)

1 Parkas - Parallélisme de Kahn Synchrone
2 ARM Research [Cambridge]
3 Equipe Systèmes temps-réel
4 CobTek - Cognition Behaviour Technology
5 Imperial College London
6 Realeyes

Programming accelerators such as GPUs with low-level APIs and languages like OpenCL and CUDA is difficult, error prone, and not performance-portable. Automatic parallelization and domain specific languages (DSLs) have been proposed to hide this complexity and to regain some performance portability. In this presentation, I will present PENCIL (Platform-Neutral Compute Intermediate Language) and present some details about how it is compiled. PENCIL is a rigorously defined subset of GNU C99 with specific programming rules and few extensions. Adherence to this subset and the use of these extensions enable compilers to exploit parallelism and to better optimize code when targeting accelerators. We intend PENCIL both as a portable language to facilitate accelerator programming, and as an intermediate language for DSL compilers. We validate the potential of PENCIL on a state-of-the-art polyhedral compiler, extending the applicability of the compiler to dynamic, data-dependent control flow and non-affine array accesses.

Mots clés: PENCIL

Domaines: Langage de programmation [cs.PL]; Informatique et langage [cs.CL]

Mohamed Riyadh Baghdadi, Javed Absar, Ulysse Beaugnon, Adam Betts, Albert Cohen, et al.. Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers. 10th International Conference on High Performance and Embedded Architectures and Compilers - HIPEAC 2015, Jan 2015, Amsterdam, Netherlands. ⟨hal-01165017⟩