第四章：Vitis HLS控制流——for循环优化、if-else条件综合、函数综合、数组综合

各位同学，欢迎来到第四章。这一章我们聊聊HLS里的控制流。说白了，就是代码里的循环、条件判断、函数调用和数组这些结构，在硬件综合时到底怎么处理。

我刚开始学HLS时，总觉得写C代码和写RTL是两码事。后来踩了不少坑才明白——HLS综合器其实很“笨”，它只会按你的代码结构去推断硬件。你代码写得像软件，它就综合出低效的硬件；你写得像硬件思维，它才能给你好东西。

4.1 for循环优化：性能的关键

循环是HLS里最常用的结构。但你知道吗？默认情况下，HLS会把循环综合成一个串行执行的有限状态机。也就是说，循环体里的操作是一个接一个做的，不会并行。

举个例子：

for (int i = 0; i < N; i++) {
    a[i] = b[i] + c[i];
}

这个循环默认综合出来，就是一个加法器，每次算一个数，算N次。如果你N=1000，那就得1000个时钟周期。

4.1.1 流水线优化

我个人习惯，遇到循环第一件事就是加流水线。流水线能让循环体的不同迭代重叠执行。

#pragma HLS PIPELINE
for (int i = 0; i < N; i++) {
    a[i] = b[i] + c[i];
}

加了流水线后，虽然单个加法还是需要一个时钟，但下一个迭代可以在当前迭代还没完成时就开始。理想情况下，吞吐率能提升到每个时钟一个结果。

4.1.2 循环展开

展开就是把循环体复制多份。比如：

#pragma HLS UNROLL factor=4
for (int i = 0; i < N; i++) {
    a[i] = b[i] + c[i];
}

这相当于同时例化了4个加法器，每个时钟算4个数。代价是资源消耗翻倍。

什么时候用展开？ 当你的循环体很小，且你有足够的资源时。我一般只在性能瓶颈处用展开，否则资源吃不消。

4.1.3 循环合并

如果你有多个循环，且它们访问相同的数据范围，可以合并成一个循环：

// 不合并
for (i=0; i<N; i++) a[i] = b[i] + 1;
for (i=0; i<N; i++) c[i] = a[i] * 2;

// 合并后
for (i=0; i<N; i++) {
    a[i] = b[i] + 1;
    c[i] = a[i] * 2;
}

合并后，两个操作在一个循环里完成，减少了循环控制的开销。

4.2 if-else条件综合

条件判断在硬件里对应的是多路选择器（MUX）。你写的if-else越多，综合出来的MUX层级就越深。

举个例子：

if (sel == 0)
    out = a + b;
else if (sel == 1)
    out = a - b;
else
    out = a * b;

这个综合出来就是一个3选1的MUX，加上三个运算器。注意，三个运算器是并行存在的，只是输出被MUX选择。

建议：

• 能用case就用case，综合器对case的优化更好
• 避免深层嵌套的if-else
• 如果条件判断很复杂，考虑拆成多个小模块

4.3 函数综合

HLS里的函数，综合出来就是硬件模块。函数调用对应的是模块实例化。

这里有个重要的概念：函数默认是内联的。也就是说，函数体会被直接嵌入到调用处，不会生成独立的模块。

int add(int x, int y) {
    return x + y;
}

void top(int a, int b, int *out) {
    *out = add(a, b);
}

默认情况下，add函数会被内联，top模块里直接就是一个加法器。

如果你想让add成为一个独立的模块，可以用：

#pragma HLS INLINE off
int add(int x, int y) { ... }

什么时候用独立模块？ 当这个函数被多处调用，且你想复用硬件时。我在做图像处理时，经常把滤波函数做成独立模块，多个处理单元共享。

4.4 数组综合

数组在HLS里对应的是BRAM或寄存器。默认情况下，小数组（通常小于1024个元素）综合成寄存器，大数组综合成BRAM。

但这里有个坑：数组的读写端口数量有限。BRAM一般是双端口，如果你在一个时钟周期内要读3个不同的地址，那就需要多块BRAM。

4.4.1 数组分割

把一个大数组拆成多个小数组，增加读写端口：

#pragma HLS ARRAY_PARTITION variable=a complete dim=1
int a[16];

complete表示完全分割，每个元素独立成寄存器。还有block和cyclic两种方式，适合不同的访问模式。

4.4.2 数组映射

把多个小数组合并成一个大数组，减少BRAM数量：

#pragma HLS ARRAY_MAP variable=a, b, c instance=combined

这个我用的不多，但在资源紧张时很管用。

知识体系总览

下面这张图总结了本章的核心内容：

总结

这一章我们聊了HLS控制流的四个核心方面。说白了，就是让你写的C代码能综合出高效的硬件。

• for循环：流水线提升吞吐，展开提升并行度，合并减少开销
• if-else：对应MUX，避免深层嵌套
• 函数：默认内联，可配置为独立模块
• 数组：BRAM vs 寄存器，分割增加端口，映射节省资源

嗯，这些内容看起来多，但你在实际项目中多用几次就熟了。我记得第一次做HLS项目时，光调循环流水线就花了两天。但一旦调通了，那种性能提升的成就感，真的很爽。

可可精品资料库