如何避免 LLVM 优化器移动特定指令？

Question

我知道移动指令可能会让性能更好。

但我想避免 LLVM 优化器为我的研究移动特定指令。

我现在使用的方法是在具体指令后面放一条 IO 指令（可能是打印输出指令）。

我想知道是否有任何“更清洁”的方法可以做到这一点。

也许 LLVM 元数据可以做到这一点？

例如（根据 LLVM IR）

for.body:                                         ; preds = %for.cond
 %rem = urem i32 100, %i.0

**%div = udiv i32 880, %i.0**

 %conv = zext i32 %rem to i64
 %add = add nsw i64 %result.0, %conv
 %rem1 = and i32 %i.0, 1
 %cmp2 = icmp eq i32 %rem1, 0
 br i1 %cmp2, label %if.then, label %if.end

if.then:                                          ; preds = %for.body
 %conv4 = zext i32 %div to i64
 %add5 = add nsw i64 %add, %conv4
 br label %if.end

if.end:                                           ; preds = %if.then, %for.body
 %result.1 = phi i64 [ %add5, %if.then ], [ %add, %for.body ]
 br label %for.inc

指令div = udiv i32 880, %i.0可以移动到其他基本块。 我现在使用的解决方案是在目标指令后面插入 IO 指令。

for.body:                                         ; preds = %for.cond
 %rem = urem i32 100, %i.0

**%div = udiv i32 880, %i.0**
**%IO = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %div)**

 %conv = zext i32 %rem to i64
 %add = add nsw i64 %result.0, %conv
 %rem1 = and i32 %i.0, 1
 %cmp2 = icmp eq i32 %rem1, 0
 br i1 %cmp2, label %if.then, label %if.end

if.then:                                          ; preds = %for.body
 %conv4 = zext i32 %div to i64
 %add5 = add nsw i64 %add, %conv4
 br label %if.end

if.end:                                           ; preds = %if.then, %for.body
 %result.1 = phi i64 [ %add5, %if.then ], [ %add, %for.body ]
 br label %for.inc

但我认为这个解决方案不是很干净。