re PR target/28014 (space-optimized divide used inconsistently)