java.lang.Object | ||||
↳ | com.pnfsoftware.jeb.core.AbstractPlugin | |||
↳ | com.pnfsoftware.jeb.core.units.code.asm.decompiler.opt.AbstractOptimizer<T> | |||
↳ | com.pnfsoftware.jeb.core.units.code.asm.decompiler.ir.opt.AbstractEOptimizer | |||
↳ | com.pnfsoftware.jeb.core.units.code.asm.decompiler.ir.opt.AbstractEBlockOptimizer |
Skeleton for an IRE basic block
optimizer.
[Expand]
Inherited Constants | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
![]() |
[Expand]
Inherited Fields | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
![]() | |||||||||||
![]() |
Public Constructors | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
AbstractEBlockOptimizer(DataChainsUpdatePolicy dataChainsUpdatePolicy) |
Protected Methods | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
abstract int |
optimizeBlock(BasicBlock<IEStatement> b)
Attempt to optimize a basic block.
| ||||||||||
int |
perform(boolean updateDFA)
Perform the optimization pass.
|
[Expand]
Inherited Methods | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
![]() | |||||||||||
![]() | |||||||||||
![]() | |||||||||||
![]() | |||||||||||
![]() | |||||||||||
![]() |
dataChainsUpdatePolicy | block optimizers should have a policy of
UPDATE_IF_OPTIMIZED or
UPDATE_IF_REQUIRED
|
---|
Attempt to optimize a basic block. All instruction in the block may be modified.
b | a basic block |
---|
Perform the optimization pass. The caller may request that data chains not be updated, whenever possible. (They may be updated internally by the optimizer, which has the final say as to how and when DFA calculations should be run.)
The above means that data chains after running this method may or may not have been modified, and may or may not be in a consistent state with the optimized CFG.
updateDFA | must be true / this parameter will be deprecated (previously was: if true, update data chains according to the optimizer's policy; if false, the optimizer should not perform final DFA computations if needed) |
---|
postPerform(...)
or a negative number
indicating an error has occurred and the optimizing process should be aborted