add a pass to tell if we need bv extension