public static void overflowCondition(final long offset,final ITranslationEnvironment environment,final IInstruction instruction,final List<ReilInstruction> instructions,final String firstOperand){
  final OperandSize qw=OperandSize.QWORD;
  final OperandSize dw=OperandSize.DWORD;
  final OperandSize bt=OperandSize.BYTE;
  final String isNotOverflowed=environment.getNextVariableString();
  final String tmpVar7=environment.getNextVariableString();
  long baseOffset=offset;
  instructions.add(ReilHelpers.createBsh(baseOffset++,qw,firstOperand,dw,String.valueOf(-32),dw,tmpVar7));
  instructions.add(ReilHelpers.createBisz(baseOffset++,dw,tmpVar7,bt,isNotOverflowed));
  instructions.add(ReilHelpers.createBisz(baseOffset++,bt,isNotOverflowed,bt,"Q"));
}

public static void overflowCondition ( final long offset , final ITranslationEnvironment environment , final IInstruction instruction , final List < ReilInstruction > instructions , final String firstOperand ) { final OperandSize qw = OperandSize . QWORD ; final OperandSize dw = OperandSize . DWORD ; final OperandSize bt = OperandSize . BYTE ; final String isNotOverflowed = environment . getNextVariableString ( ) ; final String tmpVar7 = environment . getNextVariableString ( ) ; long baseOffset = offset ; instructions . add ( ReilHelpers . createBsh ( baseOffset ++ , qw , firstOperand , dw , String . valueOf ( - 32 ) , dw , tmpVar7 ) ) ; instructions . add ( ReilHelpers . createBisz ( baseOffset ++ , dw , tmpVar7 , bt , isNotOverflowed ) ) ; instructions . add ( ReilHelpers . createBisz ( baseOffset ++ , bt , isNotOverflowed , bt , "Q" ) ) ; }
overflow condition for unsigned operations
