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:
StandardOperation.BVZEROEXT
StandardOperation.BVLSHL
StandardOperation.BVASHL
StandardOperation.BVLSHR
StandardOperation.BVAND
StandardOperation.BVOR