LLVM是否有启用循环反转的选项？能否将while循环转为do-while？

LLVM支持将while循环转换为do-while加前置条件判断的形式，但这并非通过单独的"循环反转"开关直接启用，而是依赖Loop Rotation和Loop Simplify等Pass的组合逻辑，且这类转换有特定的触发条件。

你的案例未触发转换的原因 #

1. 显式循环展开指令的干扰：你的代码中带有#pragma unroll 4的显式展开提示，LLVM的Loop Rotation Pass默认会优先尊重这类用户指定的优化指令，从而跳过对该循环的旋转转换。
2. 动态变化的循环条件：循环条件包含undone这个在循环体内会被修改的布尔变量，这种非固定的条件会让Loop Rotation Pass判断旋转后的循环无法保证语义完全等价，或者优化收益极低，因此不会执行转换。
3. 循环类型的适配性：Loop Rotation更倾向于优化计数型循环（比如基于固定迭代次数的循环），你的循环属于条件驱动的动态循环，不在该Pass的典型优化目标范围内。

可行的解决方向 #

• 移除展开指令重试：先去掉#pragma unroll 4，再运行opt -loop-rotate -loop-simplify，看是否能触发目标转换。
• 调整优化级别：如果需要保留展开，可以尝试使用-O2或-O3优化级别，这些级别会自动组合多个优化Pass，可能在执行循环展开前完成旋转转换。
• 自定义Pass处理：如果上述方法都不满足需求，可以编写一个轻量的自定义Pass，针对性检测这种while循环结构，手动将其转换为do-while加前置判断的形式，这种方式更可控。

转换前后代码示例 #

转换前：

void foo(unsigned a, unsigned& ret) {
  bool undone = true;
  #pragma unroll 4
  while((a > 0) && undone) {
    ++ret;
    if(ret > 2)  undone = false;
    if(undone)   --a;
  }
}

转换后目标形式：

void foo(unsigned a, unsigned& ret) {
  bool undone = true;
  #pragma unroll 4
  if((a > 0) && undone) {
    do {
      ++ret;
      if(ret > 2)  undone = false;
      if(undone)   --a;
    } while((a > 0) && undone);
  }
}

内容的提问来源于stack exchange，提问作者shu