PENCIL support in pet and PPCG
Sven Verdoolaege · Lirias · 2015
This report describes various changes to the polyhedral modelextractor pet and the automatic parallelizer PPCG,including support for generic statements, arrays of structures,function summaries, dead code elimination and live-range reorderingas well as support for annotations allowing the user to explicitlydescribe relations among program variables, kills andthe absence of loop-carried dependences.Most of these changes are instrumental in supporting pencil in PPCG.The report also describes how synchronization is introduced by PPCG.