Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements

This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-address code SSA (static single assignment) representation of the kernel being mapped and Rewriting Logic for template matching and algebraic optimizations. This approach is able to identify sets of SSA instructions that can be mapped to different PE complexities available in coarsegrained reconfigurable computing architectures. As a proof of concept, results of the approach with a number of benchmark kernels, as far as coverage of template instructions is concerned, are included.

• Type: Conference
• Year: 2007
• Where: IPPS
• Authors: Carlos Morra, João M. P. Cardoso, Jürgen Becker
• Keywords: Coarsegrained Processing Elements, Distributed And Parallel Computing, IPPS 2007, Static Single Assignment, Three-address Code Ssa