cast.hh

Go to the documentation of this file.

/* ###
 * 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.
 */
 
#ifndef __CPUI_CAST__
#define __CPUI_CAST__
 
#include "type.hh"
 
class Varnode;
class PcodeOp;
 
class CastStrategy {
public:
  enum IntPromotionCode {
    NO_PROMOTION = -1,          
    UNKNOWN_PROMOTION = 0,      
    UNSIGNED_EXTENSION = 1,     
    SIGNED_EXTENSION = 2,       
    EITHER_EXTENSION = 3        
  };
protected:
  TypeFactory *tlst;            
  int4 promoteSize;         
public:
  CastStrategy(void) {}         
  void setTypeFactory(TypeFactory *t);  
  virtual ~CastStrategy(void) {}    
 
  virtual int4 localExtensionType(const Varnode *vn) const=0;
 
  virtual int4 intPromotionType(const Varnode *vn) const=0;
 
  virtual bool checkIntPromotionForCompare(const PcodeOp *op,int4 slot) const=0;
 
  virtual bool checkIntPromotionForExtension(const PcodeOp *op) const=0;
 
 
  virtual bool isExtensionCastImplied(const PcodeOp *op,const PcodeOp *readOp) const=0;
 
  virtual Datatype *castStandard(Datatype *reqtype,Datatype *curtype,bool care_uint_int,bool care_ptr_uint) const=0;
 
  virtual Datatype *arithmeticOutputStandard(const PcodeOp *op)=0;
 
  virtual bool isSubpieceCast(Datatype *outtype,Datatype *intype,uint4 offset) const=0;
 
  virtual bool isSubpieceCastEndian(Datatype *outtype,Datatype *intype,uint4 offset,bool isbigend) const=0;
 
  virtual bool isSextCast(Datatype *outtype,Datatype *intype) const=0;
 
  virtual bool isZextCast(Datatype *outtype,Datatype *intype) const=0;
};
 
class CastStrategyC : public CastStrategy {
public:
  virtual int4 localExtensionType(const Varnode *vn) const;
  virtual int4 intPromotionType(const Varnode *vn) const;
  virtual bool checkIntPromotionForCompare(const PcodeOp *op,int4 slot) const;
  virtual bool checkIntPromotionForExtension(const PcodeOp *op) const;
  virtual bool isExtensionCastImplied(const PcodeOp *op,const PcodeOp *readOp) const;
  virtual Datatype *castStandard(Datatype *reqtype,Datatype *curtype,bool care_uint_int,bool care_ptr_uint) const;
  virtual Datatype *arithmeticOutputStandard(const PcodeOp *op);
  virtual bool isSubpieceCast(Datatype *outtype,Datatype *intype,uint4 offset) const;
  virtual bool isSubpieceCastEndian(Datatype *outtype,Datatype *intype,uint4 offset,bool isbigend) const;
  virtual bool isSextCast(Datatype *outtype,Datatype *intype) const;
  virtual bool isZextCast(Datatype *outtype,Datatype *intype) const;
};
 
class CastStrategyJava : public CastStrategyC {
public:
  virtual Datatype *castStandard(Datatype *reqtype,Datatype *curtype,bool care_uint_int,bool care_ptr_uint) const;
  virtual bool isZextCast(Datatype *outtype,Datatype *intype) const;
};
 
#endif