A comprehensive high-level synthesis system for control-flow intensive behaviors