5、WCC编译器结构与WCET分析器集成详解

WCC编译器结构与WCET分析器集成详解

1. WCC编译器结构

WCC编译器具有独特的结构，其中LLIR目标处理机制和标准汇编级优化是重要组成部分。

1.1 LLIR目标处理机制

为了用与编译器相关的任意数据注释汇编代码，LLIR提供了目标机制。目标是可附加到任何LLIR组件的通用容器，目标到LLIR组件的分配由目标处理程序管理。目标处理程序负责保持一致性，例如不允许将多个相同类型的目标分配给一个LLIR组件，并提供设置和获取特定目标类型的方法。该机制的一般结构有特定的图示，其详细描述可参考相关资料。除了当前用于WCET数据外，还打算集成更多目标，如能耗或ACET，以实现追求不同优化目标的编译器优化。

1.2 标准汇编级优化

WCC内的汇编优化主要是处理器特定的，可分为对虚拟LLIR和物理LLIR进行操作的两类。
- 虚拟LLIR优化 ：使用代码选择器，代码的高级IR通常被转换为虚拟低级IR。虚拟意味着使用标识操作之间依赖关系的占位符，而不是物理寄存器。许多编译器优化受益于虚拟寄存器，因为它们数量不受限制，为优化提供了更高的灵活性。WCC编译器在虚拟LLIR上执行许多标准ACET优化，包括数据流优化，如常量传播、循环不变代码移动或窥孔优化等。此外，寄存器分配也是重要的优化，其目标是将虚拟寄存器映射到处理器内部寄存器或内存。WCC的寄存器分配基于图着色算法，输出是物理LLIR。
- 物理LLIR优化 ：WCC目前在物理LLIR上执行两种优化。一是将32位操作可能转换为等效的16位操作，例如TriCore的32位操作“add d8, d8,