LLVM IR中的基本块在汇编代码中似乎已损坏

我通过llvm pass将调试信息添加到基本块的第一条和最后一条指令中，然后我成功地在汇编代码中找到了添加的信息。但是第一条指令和最后一条指令的信息数量是不同的

我想知道结果是否正确，如果正确，为什么数字不同，以及如何正确获得汇编代码中的块边界

我通行证的密码

  bool runOnFunction(Function &F) override {
    unsigned start = 2333;
    unsigned end = 23333;
    MDNode *N = F.getMetadata("dbg");
    for (BasicBlock &B : F) {
      errs() << "Hello: ";
      Instruction *I = B.getFirstNonPHI();
      DebugLoc loc = DebugLoc::get(start, 0, N);
      if (loc && I!=NULL) {
        I->setDebugLoc(loc);
      } else {
        errs() << "start error";
      }
      I = B.getTerminator();
      loc = DebugLoc::get(end, 1, N);
      if (loc && I!= NULL) {
        I->setDebugLoc(loc);
      } else {
        errs() << "end error";
      }
      errs() << "\n";
    }
    return true;
  }
};
} 

我发现2333和23333不匹配，并且2333和23333的数字在不同体系结构的汇编代码中是不同的。我使用opt运行pass和llc来获取汇编代码

---

非常感谢您的帮助。

我认为问题在于优化。通过后，IR会进行其他几轮优化，这些优化更改了基本块并删除了一些指令

您可能有一个寄存器函数，如下所示

尝试使用

EP\u OptimizerLast

而不是

EP\u尽可能早地使用
。这将作为最后一个优化器运行您的pass

另一个选项是使用
EP_EnabledOnOptLevel0
并将opt与
-O0
一起使用

你可以在这本书中查找旗帜


使用
-emit llvm
在
*.ll
中生成llvm IR可能会有所帮助。您的代码对IR所做的操作更为明显
请尝试
-print after all
选项，以确定何时删除带有调试信息的指令。您可能希望在过程中分析统计信息。获取插入指令的第一条指令和最后一条指令的计数。此外，还需要确保基本块的第一条指令和最后一条指令不相同
# %bb.2:                                # %for.body
                                        #   in Loop: Header=BB0_1 Depth=1
    .loc    1 2333 0                # myls.c:2333:0
    movl    -4(%ebp), %eax
.Ltmp4:
    .loc    1 71 14                 # myls.c:71:14
    movl    %eax, -8(%ebp)
.Ltmp5:
.LBB0_3:                                # %for.cond1
                                        #   Parent Loop BB0_1 Depth=1
                                        # =>  This Inner Loop Header: Depth=2
    .loc    1 2333 0                # myls.c:2333:0
    movl    -8(%ebp), %eax
.Ltmp6:
    .loc    1 71 18                 # myls.c:71:18
    cmpl    n, %eax
.Ltmp7:
    .loc    1 23333 1               # myls.c:23333:1
    jge .LBB0_13

......

LBB2_10:                               # %sw.epilog
    .loc    1 23333 1               # myls.c:23333:1
    jmp .LBB2_11
.LBB2_11:                               # %while.cond
                                        # =>This Inner Loop Header: Depth=1
    .loc    1 162 13                # myls.c:162:13
    cmpl    $0, -164(%ebp)
    .loc    1 23333 1               # myls.c:23333:1
    jl  .LBB2_20
# %bb.12:                               # %while.body
                                        #   in Loop: Header=BB2_11 Depth=1
.Ltmp75:
    .loc    1 164 14                # myls.c:164:14
    movl    -136(%ebp), %eax
    .loc    1 164 28 is_stmt 0      # myls.c:164:28
    movl    -164(%ebp), %ecx
                                        # kill: def $cl killed $ecx
    .loc    1 164 25                # myls.c:164:25
    movl    $1, %edx
    shll    %cl, %edx
    .loc    1 164 22                # myls.c:164:22
    andl    %edx, %eax
    cmpl    $0, %eax
.Ltmp76:
    .loc    1 23333 1 is_stmt 1     # myls.c:23333:1
    je  .LBB2_18

static llvm::RegisterStandardPasses Y(
    llvm::PassManagerBuilder::EP_EarlyAsPossible,
    [](const llvm::PassManagerBuilder &Builder,
       llvm::legacy::PassManagerBase &PM) { PM.add(new Hello()); });