On Code Generation for Multi-generator WITH-Loops in SAC

Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its loop instances can be computed in any order which provides considerable freedom when it comes to compiling them into nestings of for-loops in C. This paper discusses several different execution orders and their impact on compilation complexity, size of generated code, and execution runtimes. As a result, a multiply parameterized compilation scheme is proposed which achieves speedups of up to a factor of 16 when compared against a na¨ıve compilation scheme.

• Type: Conference
• Year: 1999
• Where: IFL
• Authors: Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
• Keywords: Compilation Scheme, Formal Methods, IFL 1999, Most Array Operations, Multiply Parameterized Compilation