| addr | FindConstantsPolicy | |
| BINARY_COMPUTATION(concat, Len1, Len2, Len1+Len2,{return a|(b<< Len1);}) XVariablePtr< 1 > false_() | FindConstantsPolicy | [inline] |
| BINARY_COMPUTATION(rotateLeft, Len, SALen, Len,{return IntegerOps::rotateLeft< Len >(a, b);}) template< size_t Len | FindConstantsPolicy | |
| BINARY_COMPUTATION(rotateRight, Len, SALen, Len,{return IntegerOps::rotateRight< Len >(a, b);}) template< size_t Len | FindConstantsPolicy | |
| BINARY_COMPUTATION(shiftLeft, Len, SALen, Len,{return IntegerOps::shiftLeft< Len >(a, b);}) template< size_t Len | FindConstantsPolicy | |
| BINARY_COMPUTATION(shiftRight, Len, SALen, Len,{return IntegerOps::shiftRightLogical< Len >(a, b);}) template< size_t Len | FindConstantsPolicy | |
| BINARY_COMPUTATION(shiftRightArithmetic, Len, SALen, Len,{return IntegerOps::shiftRightArithmetic< Len >(a, b);}) template< size_t Len1 | FindConstantsPolicy | |
| BINARY_COMPUTATION(signedMultiply, Len1, Len2, Len1+Len2,{return(IntegerOps::signExtend< Len1, 64 >(a)*IntegerOps::signExtend< Len2, 64 >(b));}) template< size_t Len1 | FindConstantsPolicy | |
| BINARY_COMPUTATION(unsignedMultiply, Len1, Len2, Len1+Len2,{return(a *b);}) template< size_t Len1 | FindConstantsPolicy | |
| BINARY_COMPUTATION(signedDivide, Len1, Len2, Len1,{return(IntegerOps::signExtend< Len1, 64 >(a)/IntegerOps::signExtend< Len2, 64 >(b));}) template< size_t Len1 | FindConstantsPolicy | |
| BINARY_COMPUTATION(signedModulo, Len1, Len2, Len2,{return(IntegerOps::signExtend< Len1, 64 >(a)%IntegerOps::signExtend< Len2, 64 >(b));}) template< size_t Len1 | FindConstantsPolicy | |
| BINARY_COMPUTATION(unsignedDivide, Len1, Len2, Len1,{if(0==b) throw std::string("division by zero");return(a/b);}) template< size_t Len1 | FindConstantsPolicy | |
| BINARY_COMPUTATION(unsignedModulo, Len1, Len2, Len2,{return(a%b);}) template< size_t Len > UNARY_COMPUTATION(leastSignificantSetBit | FindConstantsPolicy | |
| cur_state | FindConstantsPolicy | |
| FindConstantsPolicy() | FindConstantsPolicy | [inline] |
| FindConstantsPolicy(RegisterSet *initial_rs) | FindConstantsPolicy | [inline] |
| get_register_dictionary() const | FindConstantsPolicy | [inline] |
| ifTrue | FindConstantsPolicy | |
| Len | FindConstantsPolicy | |
| Len | FindConstantsPolicy | |
| Len | FindConstantsPolicy | |
| newIp | FindConstantsPolicy | |
| number(uint64_t n) | FindConstantsPolicy | [inline] |
| orig_state | FindConstantsPolicy | |
| regdict | FindConstantsPolicy | |
| rsets | FindConstantsPolicy | |
| set_register_dictionary(const RegisterDictionary *regdict) | FindConstantsPolicy | [inline] |
| To | FindConstantsPolicy | |
| true_() | FindConstantsPolicy | [inline] |
| UNARY_COMPUTATION(signExtend, From, To,{return(From==To?(a):IntegerOps::signExtend< From, To >(a));}) template< size_t Len > XVariablePtr< Len > ite(XVariablePtr< 1 > sel | FindConstantsPolicy | |
| UNARY_COMPUTATION(generateMask, SCLen, Len,{return IntegerOps::genMask< uint64_t >(a);}) template< size_t Len > BINARY_COMPUTATION_SPECIAL(add | FindConstantsPolicy | |
| UNARY_COMPUTATION_SPECIAL(unsignedExtend, Len, Len2,{result->set(LatticeElement< Len2 >(le1.name, le1.definingInstruction, le1.negate, le1.offset));}) template< size_t From | FindConstantsPolicy | [static] |
| UNARY_COMPUTATION_SPECIAL(extract, Len, To-From,{if(From==0){result->set(LatticeElement< To-From >(le1.name, le1.definingInstruction, le1.negate, le1.offset));return;}if(le1.name!=0){result->set(LatticeElement< To-From >::nonconstant(result->myName, result->def));return;}result->set(LatticeElement< To-From >::constant((le1.offset >> From)&(IntegerOps::SHL1< uint64_t, To-From >::value-1), result->def));}) template< size_t Len1 | FindConstantsPolicy | [static] |
| UNARY_COMPUTATION_SPECIAL(invert, Len, Len,{if(le1.name==0) result->set(LatticeElement< Len >::constant(~le1.offset, result->def));else result->set(LatticeElement< Len >(le1.name, le1.definingInstruction,!le1.negate,~le1.offset));}) template< size_t Len > UNARY_COMPUTATION_SPECIAL(negate | FindConstantsPolicy | |
| undefined_() | FindConstantsPolicy | [inline] |
