如何将LLVM IR br转换回while循环

Question

我想知道如何使用LLVM在较高级别上进行源到源的某种转换。 鉴于LLVM将while循环转换为使用br等，我想知道如何将特定的IR块转换为以JavaScript之类的语言转换回 while循环。

C while loop -> LLVM IR -> JavaScript while loop

本文建议Emscripten将LLVM代码转换为JavaScript，因此它可能在某处进行处理。

我想知道是否有一种通用的转换策略。 从远处看似乎有些棘手，弄清楚这些语句可以从IR中组合出while循环。

Answer 1

在从C到LLVM IR的转换过程中，可以用元数据修饰认为必要的指令，然后可以使用此元数据将LLVM IR转换为JavaScript，例如，指示基本块之间的循环分支是否为while循环（信息存在于C上下文中）。 请参阅本征和元数据属性 。

有关LLVM元数据的更多信息，请参见LLVM-Metadata 。

Answer 2

在Emscripten中，重新创建高级语言结构的算法称为Relooping，并在此parer中进行了描述。 不过，我不确定这是最新信息，但它可能会回答您的问题。