kecc
0.1.0
Module simplify_
cfg
Module Items
Structs
Type Aliases
In kecc::
opt
kecc
::
opt
Module
simplify_cfg
Copy item path
Source
Structs
§
Simplify
CfgConst
Prop
Simplifies block exits by propagating constants.
Simplify
CfgEmpty
Removes empty blocks
Simplify
CfgMerge
Merges two blocks if a block is pointed to only by another
Simplify
CfgReach
Retains only those blocks that are reachable from the init.
Type Aliases
§
Simplify
Cfg