Определить nuw и nsw в LLVM IR

Question

Пожалуйста, дайте мне знать, как обнаружить наличие инструкций с установленными на них флагами nsw и nuw в IR LLVM.

Answer 1

OverflowingBinaryOperator имеет для этой цели предикаты hasNoUnsignedWrap и hasNoSignedWrap.

Более конкретно, учитывая некоторую инструкцию ii:

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