LLVMでnuwとnswを検出するIR

Question

LLVM IRにnswとnuwフラグが設定されている命令の存在を検出する方法を教えてください。

Answer 1

OverflowingBinaryOperatorは、hasNoUnsignedWrapとhasNoSignedWrapの述語をこの目的のために持っています。

if (OverflowingBinaryOperator *op = dyn_cast<OverflowingBinaryOperator>(ii)) { 
     if (op->hasNoUnsignedWrap()) 
      errs() << " has nuw\n"; 
     else if (op->hasNoSignedWrap()) 
      errs() << " has nsw\n"; 
     } 
    } 

：いくつかの命令 ii所与具体

、