simplify_lifted_il
Optimizes a lifted IL tree using a curated pass set for encrypted-VM bytecode handlers. Applies MBA folding, opaque predicate evaluation, and control flow unflattening.
Instructions
Run the curated default pass set on a lifted IL tree.
The canonical pass order comes from
data/ollvm-pass-catalog.json::_meta.default_pass_order and
is curated for the encrypted-VM bytecode handler-lift case
(MBA-fold + opaque-predicate-eval + control-flow-unflatten
on top of the d810-ng default set).
Args:
il: the IL tree produced by :func:lift_handler
passes: optional override; when None, the curated
default order is used.
default_preset: "d810-ng" (the curated set), or
"none" to disable simplification entirely.
Returns::
{"il": <optimized il>, "passes_applied": [...],
"preset": "d810-ng"}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| il | Yes | ||
| passes | No | ||
| default_preset | No | d810-ng |