具有恆定的LLVM

Question

比較IR操作我有一個IR看起來像這樣：

%5=icmp eq i32 %4,0 

我要檢查，如果ICMP指令的第二個操作數爲0或別的東西。我使用了getOperand(1)，它返回格式爲Value *的結果。我怎樣才能比較它與常數0？

Answer 1

這裏有一個抽樣合格可以運行發現了這一點：

class DetectZeroValuePass : public FunctionPass { 
public: 
    static char ID; 

    DetectZeroValuePass() 
     : FunctionPass(ID) 
    {} 

    virtual bool runOnFunction(Function &F) { 
     for (Function::iterator bb = F.begin(), bb_e = F.end(); bb != bb_e; ++bb) { 
      for (BasicBlock::iterator ii = bb->begin(), ii_e = bb->end(); ii != ii_e; ++ii) { 
       if (CmpInst *cmpInst = dyn_cast<CmpInst>(&*ii)) { 
        handle_cmp(cmpInst); 
       } 
      } 
     } 
    } 

    void handle_cmp(CmpInst *cmpInst) { 
     // Detect cmp instructions with the second operand being 0 
     if (cmpInst->getNumOperands() >= 2) { 
      Value *secondOperand = cmpInst->getOperand(1); 
      if (ConstantInt *CI = dyn_cast<ConstantInt>(secondOperand)) 
       if (CI->isZero()) { 
        errs() << "In the following instruction, second operand is 0\n"; 
        cmpInst->dump(); 
       } 
     } 
    } 
};