Class ExprTransformer


  • public final class ExprTransformer
    extends java.lang.Object
    Class ExprTransformer transforms operations that involve shifts and bit masks into concatenation-based expressions. The shift amount and the bitmask value must be constants. In addition, the transformer helps get rid of nested bit field extraction operations (StandardOperation.BVEXTRACT) by replacing them with a single bit field extraction. Supported operations include:
    1. StandardOperation.BVZEROEXT
    2. StandardOperation.BVLSHL
    3. StandardOperation.BVASHL
    4. StandardOperation.BVLSHR
    5. StandardOperation.BVAND
    6. StandardOperation.BVOR
    • Constructor Summary

      Constructors 
      Constructor Description
      ExprTransformer()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ru.ispras.fortress.expression.Node transform​(ru.ispras.fortress.expression.Node expr)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ExprTransformer

        public ExprTransformer()
    • Method Detail

      • transform

        public ru.ispras.fortress.expression.Node transform​(ru.ispras.fortress.expression.Node expr)