Module Simplify_terminator
Merge successors that go to the same label and simplify their conditions. Modifies the terminators in place. Does not merge blocks.
val block : Cfg.t -> Cfg.basic_block -> boolval run : Cfg.t -> unitSimplify_terminatorMerge successors that go to the same label and simplify their conditions. Modifies the terminators in place. Does not merge blocks.
val block : Cfg.t -> Cfg.basic_block -> boolval run : Cfg.t -> unit