draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
51 stars 1 forks source link

Don't adjust the exits when the patch is in a trivial form #199

Closed bmourad01 closed 2 years ago

bmourad01 commented 2 years ago

We may try to compile a patch that consists of a single blk term with no jmp terms. In this case, this (entry block) is also the implicit exit block, so no new blocks need to be inserted by the adjust_exits pass. This allows us to benefit from more peephole optimizations where possible.