/* ###
 * IP: GHIDRA
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *      http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
#include "opbehavior.hh"
#include "translate.hh"

/// This routine generates a vector of OpBehavior objects indexed by opcode
/// \param inst is the vector of behaviors to be filled
/// \param trans is the translator object needed by the floating point behaviors
void OpBehavior::registerInstructions(vector<OpBehavior *> &inst,const Translate *trans)

{
  inst.insert(inst.end(),CPUI_MAX,(OpBehavior *)0);

  inst[CPUI_COPY] = new OpBehaviorCopy();
  inst[CPUI_LOAD] = new OpBehavior(CPUI_LOAD,false,true);
  inst[CPUI_STORE] = new OpBehavior(CPUI_STORE,false,true);
  inst[CPUI_BRANCH] = new OpBehavior(CPUI_BRANCH,false,true);
  inst[CPUI_CBRANCH] = new OpBehavior(CPUI_CBRANCH,false,true);
  inst[CPUI_BRANCHIND] = new OpBehavior(CPUI_BRANCHIND,false,true);
  inst[CPUI_CALL] = new OpBehavior(CPUI_CALL,false,true);
  inst[CPUI_CALLIND] = new OpBehavior(CPUI_CALLIND,false,true);
  inst[CPUI_CALLOTHER] = new OpBehavior(CPUI_CALLOTHER,false,true);
  inst[CPUI_RETURN] = new OpBehavior(CPUI_RETURN,false,true);

  inst[CPUI_MULTIEQUAL] = new OpBehavior(CPUI_MULTIEQUAL,false,true);
  inst[CPUI_INDIRECT] = new OpBehavior(CPUI_INDIRECT,false,true);

  inst[CPUI_PIECE] = new OpBehaviorPiece();
  inst[CPUI_SUBPIECE] = new OpBehaviorSubpiece();
  inst[CPUI_INT_EQUAL] = new OpBehaviorEqual();
  inst[CPUI_INT_NOTEQUAL] = new OpBehaviorNotEqual();
  inst[CPUI_INT_SLESS] = new OpBehaviorIntSless();
  inst[CPUI_INT_SLESSEQUAL] = new OpBehaviorIntSlessEqual();
  inst[CPUI_INT_LESS] = new OpBehaviorIntLess();
  inst[CPUI_INT_LESSEQUAL] = new OpBehaviorIntLessEqual();
  inst[CPUI_INT_ZEXT] = new OpBehaviorIntZext();
  inst[CPUI_INT_SEXT] = new OpBehaviorIntSext();
  inst[CPUI_INT_ADD] = new OpBehaviorIntAdd();
  inst[CPUI_INT_SUB] = new OpBehaviorIntSub();
  inst[CPUI_INT_CARRY] = new OpBehaviorIntCarry();
  inst[CPUI_INT_SCARRY] = new OpBehaviorIntScarry();
  inst[CPUI_INT_SBORROW] = new OpBehaviorIntSborrow();
  inst[CPUI_INT_2COMP] = new OpBehaviorInt2Comp();
  inst[CPUI_INT_NEGATE] = new OpBehaviorIntNegate();
  inst[CPUI_INT_XOR] = new OpBehaviorIntXor();
  inst[CPUI_INT_AND] = new OpBehaviorIntAnd();
  inst[CPUI_INT_OR] = new OpBehaviorIntOr();
  inst[CPUI_INT_LEFT] = new OpBehaviorIntLeft();
  inst[CPUI_INT_RIGHT] = new OpBehaviorIntRight();
  inst[CPUI_INT_SRIGHT] = new OpBehaviorIntSright();
  inst[CPUI_INT_MULT] = new OpBehaviorIntMult();
  inst[CPUI_INT_DIV] = new OpBehaviorIntDiv();
  inst[CPUI_INT_SDIV] = new OpBehaviorIntSdiv();
  inst[CPUI_INT_REM] = new OpBehaviorIntRem();
  inst[CPUI_INT_SREM] = new OpBehaviorIntSrem();

  inst[CPUI_BOOL_NEGATE] = new OpBehaviorBoolNegate();
  inst[CPUI_BOOL_XOR] = new OpBehaviorBoolXor();
  inst[CPUI_BOOL_AND] = new OpBehaviorBoolAnd();
  inst[CPUI_BOOL_OR] = new OpBehaviorBoolOr();

  inst[CPUI_CAST] = new OpBehavior(CPUI_CAST,false,true);
  inst[CPUI_PTRADD] = new OpBehavior(CPUI_PTRADD,false);
  inst[CPUI_PTRSUB] = new OpBehavior(CPUI_PTRSUB,false);

  inst[CPUI_FLOAT_EQUAL] = new OpBehaviorFloatEqual(trans);
  inst[CPUI_FLOAT_NOTEQUAL] = new OpBehaviorFloatNotEqual(trans);
  inst[CPUI_FLOAT_LESS] = new OpBehaviorFloatLess(trans);
  inst[CPUI_FLOAT_LESSEQUAL] = new OpBehaviorFloatLessEqual(trans);
  inst[CPUI_FLOAT_NAN] = new OpBehaviorFloatNan(trans);

  inst[CPUI_FLOAT_ADD] = new OpBehaviorFloatAdd(trans);
  inst[CPUI_FLOAT_DIV] = new OpBehaviorFloatDiv(trans);
  inst[CPUI_FLOAT_MULT] = new OpBehaviorFloatMult(trans);
  inst[CPUI_FLOAT_SUB] = new OpBehaviorFloatSub(trans);
  inst[CPUI_FLOAT_NEG] = new OpBehaviorFloatNeg(trans);
  inst[CPUI_FLOAT_ABS] = new OpBehaviorFloatAbs(trans);
  inst[CPUI_FLOAT_SQRT] = new OpBehaviorFloatSqrt(trans);

  inst[CPUI_FLOAT_INT2FLOAT] = new OpBehaviorFloatInt2Float(trans);
  inst[CPUI_FLOAT_FLOAT2FLOAT] = new OpBehaviorFloatFloat2Float(trans);
  inst[CPUI_FLOAT_TRUNC] = new OpBehaviorFloatTrunc(trans);
  inst[CPUI_FLOAT_CEIL] = new OpBehaviorFloatCeil(trans);
  inst[CPUI_FLOAT_FLOOR] = new OpBehaviorFloatFloor(trans);
  inst[CPUI_FLOAT_ROUND] = new OpBehaviorFloatRound(trans);
  inst[CPUI_SEGMENTOP] = new OpBehavior(CPUI_SEGMENTOP,false,true);
  inst[CPUI_CPOOLREF] = new OpBehavior(CPUI_CPOOLREF,false,true);
  inst[CPUI_NEW] = new OpBehavior(CPUI_NEW,false,true);
  inst[CPUI_INSERT] = new OpBehavior(CPUI_INSERT,false);
  inst[CPUI_EXTRACT] = new OpBehavior(CPUI_EXTRACT,false);
  inst[CPUI_POPCOUNT] = new OpBehaviorPopcount();
}

/// \param sizeout is the size of the output in bytes
/// \param sizein is the size of the input in bytes
/// \param in1 is the input value
/// \return the output value
uintb OpBehavior::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  string name(get_opname(opcode));
  throw LowlevelError("Unary emulation unimplemented for "+name);
}

/// \param sizeout is the size of the output in bytes
/// \param sizein is the size of the inputs in bytes
/// \param in1 is the first input value
/// \param in2 is the second input value
/// \return the output value
uintb OpBehavior::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  string name(get_opname(opcode));
  throw LowlevelError("Binary emulation unimplemented for "+name);
}
  
/// If the output value is known, recover the input value.
/// \param sizeout is the size of the output in bytes
/// \param out is the output value
/// \param sizein is the size of the input in bytes
/// \return the input value
uintb OpBehavior::recoverInputUnary(int4 sizeout,uintb out,int4 sizein) const

{
  throw LowlevelError("Cannot recover input parameter without loss of information");
}

/// If the output value and one of the input values is known, recover the value
/// of the other input.
/// \param slot is the input slot to recover
/// \param sizeout is the size of the output in bytes
/// \param out is the output value
/// \param sizein is the size of the inputs in bytes
/// \param in is the known input value
/// \return the input value corresponding to the \b slot
uintb OpBehavior::recoverInputBinary(int4 slot,int4 sizeout,uintb out,int4 sizein,uintb in) const

{
  throw LowlevelError("Cannot recover input parameter without loss of information");
}

uintb OpBehaviorCopy::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  return in1;
}

uintb OpBehaviorCopy::recoverInputUnary(int4 sizeout,uintb out,int4 sizein) const

{
  return out;
}

uintb OpBehaviorEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 == in2) ? 1 : 0;
  return res;
}

uintb OpBehaviorNotEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 != in2) ? 1 : 0;
  return res;
}

uintb OpBehaviorIntSless::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res,mask,bit1,bit2;

  if (sizein<=0)
    res = 0;
  else {
    mask = 0x80;
    mask <<= 8*(sizein-1);
    bit1 = in1 & mask;		// Get the sign bits
    bit2 = in2 & mask;
    if (bit1 != bit2)
      res = (bit1 != 0) ? 1 : 0;
    else
      res = (in1 < in2) ? 1 : 0;
  }
  return res;
}

uintb OpBehaviorIntSlessEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res,mask,bit1,bit2;

  if (sizein<=0)
    res = 0;
  else {
    mask = 0x80;
    mask <<= 8*(sizein-1);
    bit1 = in1 & mask;		// Get the sign bits
    bit2 = in2 & mask;
    if (bit1 != bit2)
      res = (bit1 != 0) ? 1 : 0;
    else
      res = (in1 <= in2) ? 1 : 0;
  }
  return res;
}

uintb OpBehaviorIntLess::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 < in2) ? 1 : 0;
  return res;
}

uintb OpBehaviorIntLessEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 <= in2) ? 1 : 0;
  return res;
}

uintb OpBehaviorIntZext::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  return in1;
}

uintb OpBehaviorIntZext::recoverInputUnary(int4 sizeout,uintb out,int4 sizein) const

{
  uintb mask = calc_mask(sizein);
  if ((mask&out)!=out)
    throw EvaluationError("Output is not in range of zext operation");
  return out;
}

uintb OpBehaviorIntSext::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  uintb res = sign_extend(in1,sizein,sizeout);
  return res;
}

uintb OpBehaviorIntSext::recoverInputUnary(int4 sizeout,uintb out,int4 sizein) const

{
  uintb masklong = calc_mask(sizeout);
  uintb maskshort = calc_mask(sizein);

  if ((out & (maskshort ^ (maskshort>>1))) == 0) { // Positive input
    if ((out & maskshort) != out)
      throw EvaluationError("Output is not in range of sext operation");
  }
  else {			// Negative input
    if ((out & (masklong^maskshort)) != (masklong^maskshort))
      throw EvaluationError("Output is not in range of sext operation");
  }
  return (out&maskshort);
}

uintb OpBehaviorIntAdd::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 + in2) & calc_mask(sizeout);
  return res;
}

uintb OpBehaviorIntAdd::recoverInputBinary(int4 slot,int4 sizeout,uintb out,int4 sizein,uintb in) const

{
  uintb res = (out-in) & calc_mask(sizeout);
  return res;
}

uintb OpBehaviorIntSub::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 - in2) & calc_mask(sizeout);
  return res;
}

uintb OpBehaviorIntSub::recoverInputBinary(int4 slot,int4 sizeout,uintb out,int4 sizein,uintb in) const

{
  uintb res;
  if (slot==0)
    res = in + out;
  else
    res = in - out;
  res &= calc_mask(sizeout);
  return res;
}

uintb OpBehaviorIntCarry::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 > ((in1 + in2)&calc_mask(sizein))) ? 1 : 0;
  return res;
}

uintb OpBehaviorIntScarry::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 + in2;

  uint4 a = (in1>>(sizein*8-1))&1; // Grab sign bit
  uint4 b = (in2>>(sizein*8-1))&1; // Grab sign bit
  uint4 r = (res>>(sizein*8-1))&1; // Grab sign bit
  
  r ^= a;
  a ^= b;
  a ^= 1;
  r &= a;
  return (uintb)r;
}

uintb OpBehaviorIntSborrow::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 - in2;

  uint4 a = (in1>>(sizein*8-1))&1; // Grab sign bit
  uint4 b = (in2>>(sizein*8-1))&1; // Grab sign bit
  uint4 r = (res>>(sizein*8-1))&1; // Grab sign bit

  a ^= r;
  r ^= b;
  r ^= 1;
  a &= r;
  return (uintb)a;
}

uintb OpBehaviorInt2Comp::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  uintb res = uintb_negate(in1-1,sizein);
  return res;
}

uintb OpBehaviorInt2Comp::recoverInputUnary(int4 sizeout,uintb out,int4 sizein) const

{
  uintb res = uintb_negate(out-1,sizein);
  return res;
}

uintb OpBehaviorIntNegate::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  uintb res = uintb_negate(in1,sizein);
  return res;
}

uintb OpBehaviorIntNegate::recoverInputUnary(int4 sizeout,uintb out,int4 sizein) const

{
  uintb res = uintb_negate(out,sizein);
  return res;
}

uintb OpBehaviorIntXor::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 ^ in2;
  return res;
}

uintb OpBehaviorIntAnd::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 & in2;
  return res;
}

uintb OpBehaviorIntOr::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 | in2;
  return res;
}

uintb OpBehaviorIntLeft::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
    if (in2 >= sizeout*8){
    	return 0;
    }
	uintb res = (in1 << in2) & calc_mask(sizeout);
    return res;
}

uintb OpBehaviorIntLeft::recoverInputBinary(int4 slot,int4 sizeout,uintb out,int4 sizein,uintb in) const

{
  if ((slot!=0) || (in >= sizeout*8))
    return OpBehavior::recoverInputBinary(slot,sizeout,out,sizein,in);
  int4 sa = in;
  if (((out<<(8*sizeout-sa))&calc_mask(sizeout))!=0)
    throw EvaluationError("Output is not in range of left shift operation");
  return out >> sa;
}

uintb OpBehaviorIntRight::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  if (in2 >= sizeout*8){
	 return 0;
  }
  uintb res = (in1&calc_mask(sizeout)) >> in2;
  return res;
}

uintb OpBehaviorIntRight::recoverInputBinary(int4 slot,int4 sizeout,uintb out,int4 sizein,uintb in) const

{
  if ((slot!=0) || (in >= sizeout*8))
    return OpBehavior::recoverInputBinary(slot,sizeout,out,sizein,in);
  
  int4 sa = in;
  if ((out>>(8*sizein-sa))!=0)
    throw EvaluationError("Output is not in range of right shift operation");
  return out << sa;
}

uintb OpBehaviorIntSright::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  if (in2 >= 8*sizeout){
	  return signbit_negative(in1,sizein) ? calc_mask(sizeout) : 0;
  }

  uintb res;
  if (signbit_negative(in1,sizein)) {
    res = in1 >> in2;
    uintb mask = calc_mask(sizein);
    mask = (mask >> in2) ^ mask;
    res |= mask;
  }
  else {
    res = in1 >> in2;
  }
  return res;
}

uintb OpBehaviorIntSright::recoverInputBinary(int4 slot,int4 sizeout,uintb out,int4 sizein,uintb in) const

{
  if ((slot!=0) || (in >= sizeout*8))
    return OpBehavior::recoverInputBinary(slot,sizeout,out,sizein,in);
  
  int4 sa = in;
  uintb testval = out>>(sizein*8-sa-1);
  int4 count=0;
  for(int4 i=0;i<=sa;++i) {
    if ((testval&1)!=0) count += 1;
    testval >>= 1;
  }
  if (count != sa+1)
    throw EvaluationError("Output is not in range of right shift operation");
  return out<<sa;
}

uintb OpBehaviorIntMult::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1 * in2) & calc_mask(sizeout);
  return res;
}

uintb OpBehaviorIntDiv::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  if (in2 == 0)
    throw EvaluationError("Divide by 0");
  return in1 / in2;
}

uintb OpBehaviorIntSdiv::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  if (in2 == 0)
    throw EvaluationError("Divide by 0");
  intb num = in1;		// Convert to signed
  intb denom = in2;
  sign_extend(num,8*sizein-1);
  sign_extend(denom,8*sizein-1);
  intb sres = num/denom;	// Do the signed division
  zero_extend(sres,8*sizeout-1); // Cut to appropriate size
  return (uintb)sres;		// Recast as unsigned
}

uintb OpBehaviorIntRem::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  if (in2 == 0)
    throw EvaluationError("Remainder by 0");
  
  uintb res = in1 % in2;
  return res;
}

uintb OpBehaviorIntSrem::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  if (in2 == 0)
    throw EvaluationError("Remainder by 0");
  intb val = in1;
  intb mod = in2;
  sign_extend(val,8*sizein-1);	// Convert inputs to signed values
  sign_extend(mod,8*sizein-1);
  intb sres = val % mod;	// Do the remainder
  zero_extend(sres,8*sizeout-1); // Convert back to unsigned
  return (uintb)sres;
}

uintb OpBehaviorBoolNegate::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  uintb res = in1 ^ 1;
  return res;
}

uintb OpBehaviorBoolXor::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 ^ in2;
  return res;
}

uintb OpBehaviorBoolAnd::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 & in2;
  return res;
}

uintb OpBehaviorBoolOr::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = in1 | in2;
  return res;
}

uintb OpBehaviorFloatEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opEqual(in1,in2);
}

uintb OpBehaviorFloatNotEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opNotEqual(in1,in2);
}

uintb OpBehaviorFloatLess::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opLess(in1,in2);
}

uintb OpBehaviorFloatLessEqual::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opLessEqual(in1,in2);
}

uintb OpBehaviorFloatNan::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opNan(in1);
}

uintb OpBehaviorFloatAdd::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opAdd(in1,in2);
}

uintb OpBehaviorFloatDiv::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opDiv(in1,in2);
}

uintb OpBehaviorFloatMult::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opMult(in1,in2);
}

uintb OpBehaviorFloatSub::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateBinary(sizeout,sizein,in1,in2);

  return format->opSub(in1,in2);
}

uintb OpBehaviorFloatNeg::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opNeg(in1);
}

uintb OpBehaviorFloatAbs::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opAbs(in1);
}

uintb OpBehaviorFloatSqrt::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opSqrt(in1);
}

uintb OpBehaviorFloatInt2Float::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizeout);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opInt2Float(in1,sizein);
}

uintb OpBehaviorFloatFloat2Float::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *formatout = translate->getFloatFormat(sizeout);
  if (formatout == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);
  const FloatFormat *formatin = translate->getFloatFormat(sizein);
  if (formatin == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return formatin->opFloat2Float(in1,*formatout);
}

uintb OpBehaviorFloatTrunc::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opTrunc(in1,sizeout);
}

uintb OpBehaviorFloatCeil::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opCeil(in1);
}

uintb OpBehaviorFloatFloor::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opFloor(in1);
}

uintb OpBehaviorFloatRound::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  const FloatFormat *format = translate->getFloatFormat(sizein);
  if (format == (const FloatFormat *)0)
    return OpBehavior::evaluateUnary(sizeout,sizein,in1);

  return format->opRound(in1);
}

uintb OpBehaviorPiece::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = ( in1<<((sizeout-sizein)*8)) | in2;
  return res;
}

uintb OpBehaviorSubpiece::evaluateBinary(int4 sizeout,int4 sizein,uintb in1,uintb in2) const

{
  uintb res = (in1>>(in2*8)) & calc_mask(sizeout);
  return res;
}

uintb OpBehaviorPopcount::evaluateUnary(int4 sizeout,int4 sizein,uintb in1) const

{
  return (uintb)popcount(in1);
}