Abstract:Static compiler optimizations can hardly cope with the complex run-time behavior and hardware components interplay of modern processor architectures. Multiple architectural phenomena occur and interact simultaneously, which requires the optimizer to combine multiple program transformations. Whether these transformations are selected through static analysis and models, runtime feedback, or both, the underlying infrastructure must have the ability to perform long and complex compositions of program transformations in a flexible manner. Existing compilers are ill-equipped to perform that task because of rigid phase ordering, fragile selection rules using pattern matching, and cumbersome expression of loop transformations on syntax trees. Moreover, iterative optimization emerges as a pragmatic and general means to select an optimization strategy via machine learning and operations research. Searching for the composition of dozens of complex, dependent, parameterized transformations is a challenge for iterative approaches.The purpose of this article is threefold: (1) to facilitate the automatic search for compositions of program transformations, introducing a richer framework which improves on classical polyhedral representations, suitable for iterative optimization on a simpler, structured search space, (2) to illustrate, using several examples, that syntactic code representations close to the operational semantics hamper the composition of transformations, and (3) that complex compositions of transformations can be necessary to achieve significant performance benefits. The proposed framework relies on a unified polyhedral representation of loops and statements. The key is to clearly separate four types of actions associated with program transformations: iteration domain, schedule, data layout and memory access functions modifications. The framework is implemented within the Open64/ORC compiler, aiming for native IA64, AMD64 and IA32 code generation, along with source-to-source optimization of Fortran90, C and C++.

Syntactic Representation Transformation in Operator Design Method Based on ANTLR Tool

A transition language for scheduling analysis in operator design methodology

A High Level Synthesis Method for Reconfigurable Operator Array

Scheduling to timing optimization for a novel high-level synthesis approach

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization

Exploring AADL verification tool through model transformation

Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation

Implementing of Gaussian Syntax-Analyzer Using ANTLR

Formal Method In Implementation Of Atlas Language

Implementing the Compiler of AADL Behavior Annex Using ANTLR

VerilogCoder: Autonomous Verilog Coding Agents with Graph-based Planning and Abstract Syntax Tree (AST)-based Waveform Tracing Tool

Domain‐specific translation tool from structured text to C source code with code readability enhancement in programmable logic controllers

Efficient Tolerance Design of Topology-Optimized Functional Structures

Transformation from Test Language ATLAS to C++

Generation of memory architecture in operator design methodology

Automatic Transformation Technology from AADL Model to UML Model

The MLIR Transform Dialect. Your compiler is more powerful than you think

Construction Tools for Compiler Front-End and JLUCC's Implementation

Application of Object-oriented Technique in the OCC C Compiler

Facilitating the search for compositions of program transformations