Merge pull request #20820 from JuliaLang/jb/reorg3

 fix compile=all, move code related to static compilation to precompile.c

base/inference.jl

@@ -1930,8 +1930,12 @@ function abstract_eval(e::ANY, vtypes::VarTable, sv::InferenceState)
  if isdefined(sv.linfo, :def)
  spsig = sv.linfo.def.sig
  if isa(spsig, UnionAll)
- env = data_pointer_from_objref(sv.linfo.sparam_vals) + sizeof(Ptr{Void})
- rt = ccall(:jl_instantiate_type_in_env, Any, (Any, Any, Ptr{Any}), e.args[2], spsig, env)
+ if !isempty(sv.linfo.sparam_vals)
+ env = data_pointer_from_objref(sv.linfo.sparam_vals) + sizeof(Ptr{Void})
+ rt = ccall(:jl_instantiate_type_in_env, Any, (Any, Any, Ptr{Any}), e.args[2], spsig, env)
+ else
+ rt = rewrap_unionall(e.args[2], spsig)
+ end
  end
  end
  abstract_eval(e.args[1], vtypes, sv)
@@ -3290,6 +3294,7 @@ function substitute!(e::ANY, na::Int, argexprs::Vector{Any}, spsig::ANY, spvals:
  if head === :static_parameter
  return spvals[e.args[1]]
  elseif head === :foreigncall
+ @assert !isa(spsig,UnionAll) || !isempty(spvals)
  for i = 1:length(e.args)
  if i == 2
  e.args[2] = ccall(:jl_instantiate_type_in_env, Any, (Any, Any, Ptr{Any}), e.args[2], spsig, spvals)

src/Makefile

@@ -42,7 +42,7 @@ endif
 SRCS := \
  jltypes gf typemap ast builtins module interpreter symbol \
  dlload sys init task array dump toplevel jl_uv datatype \
- simplevector APInt-C runtime_intrinsics runtime_ccall \
+ simplevector APInt-C runtime_intrinsics runtime_ccall precompile \
  threadgroup threading stackwalk gc gc-debug gc-pages method \
  jlapi signal-handling safepoint jloptions timing subtype rtutils
 

src/ccall.cpp

@@ -1464,7 +1464,7 @@ static const std::string verify_ccall_sig(size_t nargs, jl_value_t *&rt, jl_valu
  }
  else {
  static_rt = retboxed || !jl_has_typevar_from_unionall(rt, unionall_env);
- if (!static_rt && sparam_vals != NULL) {
+ if (!static_rt && sparam_vals != NULL && jl_svec_len(sparam_vals) > 0) {
  rt = jl_instantiate_type_in_env(rt, unionall_env, jl_svec_data(sparam_vals));
  // `rt` is gc-rooted by the caller
  static_rt = true;
@@ -1875,7 +1875,8 @@ jl_cgval_t function_sig_t::emit_a_ccall(
  // if we know the function sparams, try to fill those in now
  // so that the julia_to_native type checks are more likely to be doable (e.g. leaf types) at compile-time
  jl_value_t *jargty_in_env = jargty;
- if (ctx->spvals_ptr == NULL && !toboxed && unionall_env && jl_has_typevar_from_unionall(jargty, unionall_env)) {
+ if (ctx->spvals_ptr == NULL && !toboxed && unionall_env && jl_has_typevar_from_unionall(jargty, unionall_env) &&
+ jl_svec_len(ctx->linfo->sparam_vals) > 0) {
  jargty_in_env = jl_instantiate_type_in_env(jargty_in_env, unionall_env, jl_svec_data(ctx->linfo->sparam_vals));
  if (jargty_in_env != jargty)
  jl_add_method_root(ctx, jargty_in_env);