It's current done in ModFloatingNode::Ideal

    const Type* constant_result = get_result_if_constant(dividend_type, divisor_type);
    if (constant_result != nullptr) {
      return make_tuple_of_input_state_and_constant_result(igvn, constant_result);
    }

but should be in Value so CCP benefits from constant folding