A lightweight algorithm for dynamic if-conversion during dynamic optimization