rename :nonoverlayed to :native_executable

Author: aviatesk

base/boot.jl

@@ -465,7 +465,7 @@ macro _foldable_meta()
         #=:notaskstate=#false,
         #=:inaccessiblememonly=#false,
         #=:noub=#true,
-        #=:nonoverlayed=#false))
+        #=:native_executable=#false))
 end
 
 const NTuple{N,T} = Tuple{Vararg{T,N}}

base/compiler/abstractinterpretation.jl

@@ -451,10 +451,10 @@ function add_call_backedges!(interp::AbstractInterpreter, @nospecialize(rettype)
     # don't bother to add backedges when both type and effects information are already
     # maximized to the top since a new method couldn't refine or widen them anyway
     if rettype === Any
-        # ignore the `:nonoverlayed` property if `interp` doesn't use overlayed method table
+        # ignore the `:native_executable` property if `interp` doesn't use overlayed method table
         # since it will never be tainted anyway
         if !isoverlayed(method_table(interp))
-            all_effects = Effects(all_effects; nonoverlayed=false)
+            all_effects = Effects(all_effects; native_executable=false)
         end
         if (# ignore the `:noinbounds` property if `:consistent`-cy is tainted already
             (sv isa InferenceState && sv.ipo_effects.consistent === ALWAYS_FALSE) ||
@@ -854,7 +854,7 @@ function concrete_eval_eligible(interp::AbstractInterpreter,
     mi = result.edge
     if mi !== nothing && is_foldable(effects)
         if f !== nothing && is_all_const_arg(arginfo, #=start=#2)
-            if is_nonoverlayed(interp) || is_nonoverlayed(effects)
+            if is_native_executable(interp) || is_native_executable(effects)
                 return :concrete_eval
             end
             # disable concrete-evaluation if this function call is tainted by some overlayed

base/compiler/effects.jl

@@ -42,8 +42,9 @@ following meanings:
   Note that undefined behavior may technically cause the method to violate any other effect
   assertions (such as `:consistent` or `:effect_free`) as well, but we do not model this,
   and they assume the absence of undefined behavior.
-- `nonoverlayed::Bool`: indicates that any methods that may be called within this method
-  are not defined in an [overlayed method table](@ref OverlayMethodTable).
+- `native_executable::Bool`: indicates whether this method can be executed using Julia's
+  native compiler and runtime. Note that in particular this is generally not the case when
+  any methods defined in an [OverlayMethodTable](OverlayMethodTable) can be called.
 - `noinbounds::Bool`: If set, indicates that this method does not read the parent's `:inbounds`
   state. In particular, it does not have any reached `:boundscheck` exprs, not propagates inbounds
   to any children that do.
@@ -91,7 +92,8 @@ The output represents the state of different effect properties in the following
     - `+i` (green): `true`
     - `-i` (red): `false`
 
-Additionally, if the `nonoverlayed` property is false, a red prime symbol (′) is displayed after the tuple.
+Additionally, if the `native_executable` property is `false`,
+a red prime symbol (′) is displayed after the tuple.
 """
 struct Effects
     consistent::UInt8
@@ -101,7 +103,7 @@ struct Effects
     notaskstate::Bool
     inaccessiblememonly::UInt8
     noub::Bool
-    nonoverlayed::Bool
+    native_executable::Bool
     noinbounds::Bool
     function Effects(
         consistent::UInt8,
@@ -111,7 +113,7 @@ struct Effects
         notaskstate::Bool,
         inaccessiblememonly::UInt8,
         noub::Bool,
-        nonoverlayed::Bool,
+        native_executable::Bool,
         noinbounds::Bool)
         return new(
             consistent,
@@ -121,7 +123,7 @@ struct Effects
             notaskstate,
             inaccessiblememonly,
             noub,
-            nonoverlayed,
+            native_executable,
             noinbounds)
     end
 end
@@ -152,7 +154,7 @@ function Effects(effects::Effects = _EFFECTS_UNKNOWN;
     notaskstate::Bool = effects.notaskstate,
     inaccessiblememonly::UInt8 = effects.inaccessiblememonly,
     noub::Bool = effects.noub,
-    nonoverlayed::Bool = effects.nonoverlayed,
+    native_executable::Bool = effects.native_executable,
     noinbounds::Bool = effects.noinbounds)
     return Effects(
         consistent,
@@ -162,7 +164,7 @@ function Effects(effects::Effects = _EFFECTS_UNKNOWN;
         notaskstate,
         inaccessiblememonly,
         noub,
-        nonoverlayed,
+        native_executable,
         noinbounds)
 end
 
@@ -175,7 +177,7 @@ function merge_effects(old::Effects, new::Effects)
         merge_effectbits(old.notaskstate, new.notaskstate),
         merge_effectbits(old.inaccessiblememonly, new.inaccessiblememonly),
         merge_effectbits(old.noub, new.noub),
-        merge_effectbits(old.nonoverlayed, new.nonoverlayed),
+        merge_effectbits(old.native_executable, new.native_executable),
         merge_effectbits(old.noinbounds, new.noinbounds))
 end
 
@@ -194,7 +196,7 @@ is_terminates(effects::Effects)          = effects.terminates
 is_notaskstate(effects::Effects)         = effects.notaskstate
 is_inaccessiblememonly(effects::Effects) = effects.inaccessiblememonly === ALWAYS_TRUE
 is_noub(effects::Effects)                = effects.noub
-is_nonoverlayed(effects::Effects)        = effects.nonoverlayed
+is_native_executable(effects::Effects)   = effects.native_executable
 
 # implies `is_notaskstate` & `is_inaccessiblememonly`, but not explicitly checked here
 is_foldable(effects::Effects) =
@@ -232,7 +234,7 @@ function encode_effects(e::Effects)
            ((e.notaskstate         % UInt32) << 7)  |
            ((e.inaccessiblememonly % UInt32) << 8)  |
            ((e.noub                % UInt32) << 10) |
-           ((e.nonoverlayed        % UInt32) << 11) |
+           ((e.native_executable   % UInt32) << 11) |
            ((e.noinbounds          % UInt32) << 12)
 end
 
@@ -258,7 +260,7 @@ struct EffectsOverride
     notaskstate::Bool
     inaccessiblememonly::Bool
     noub::Bool
-    nonoverlayed::Bool
+    native_executable::Bool
 end
 
 function encode_effects_override(eo::EffectsOverride)
@@ -271,7 +273,7 @@ function encode_effects_override(eo::EffectsOverride)
     eo.notaskstate         && (e |= (1 << 5) % UInt32)
     eo.inaccessiblememonly && (e |= (1 << 6) % UInt32)
     eo.noub                && (e |= (1 << 7) % UInt32)
-    eo.nonoverlayed        && (e |= (1 << 8) % UInt32)
+    eo.native_executable   && (e |= (1 << 8) % UInt32)
     return e
 end
 

base/compiler/inferencestate.jl

@@ -297,7 +297,7 @@ mutable struct InferenceState
         end
 
         if def isa Method
-            ipo_effects = Effects(ipo_effects; nonoverlayed=is_nonoverlayed(def))
+            ipo_effects = Effects(ipo_effects; native_executable=is_native_executable(def))
         end
 
         restrict_abstract_call_sites = isa(def, Module)
@@ -318,8 +318,9 @@ mutable struct InferenceState
     end
 end
 
-is_nonoverlayed(m::Method) = !isdefined(m, :external_mt)
-is_nonoverlayed(interp::AbstractInterpreter) = !isoverlayed(method_table(interp))
+is_native_executable(m::Method) = !isdefined(m, :external_mt)
+is_native_executable(interp::AbstractInterpreter) = !isoverlayed(method_table(interp))
+
 isoverlayed(::MethodTableView) = error("unsatisfied MethodTableView interface")
 isoverlayed(::InternalMethodTable) = false
 isoverlayed(::OverlayMethodTable) = true

base/compiler/ssair/irinterp.jl

@@ -15,7 +15,7 @@ function concrete_eval_invoke(interp::AbstractInterpreter,
     argtypes === nothing && return Pair{Any,Bool}(Bottom, false)
     effects = decode_effects(code.ipo_purity_bits)
     if (is_foldable(effects) && is_all_const_arg(argtypes, #=start=#1) &&
-        (is_nonoverlayed(interp) || is_nonoverlayed(effects)))
+        (is_native_executable(interp) || is_native_executable(effects)))
         args = collect_const_args(argtypes, #=start=#1)
         value = let world = get_world_counter(interp)
             try

base/compiler/ssair/show.jl

@@ -1020,7 +1020,7 @@ function Base.show(io::IO, e::Effects)
     print(io, ',')
     printstyled(io, effectbits_letter(e, :noinbounds, 'i'); color=effectbits_color(e, :noinbounds))
     print(io, ')')
-    e.nonoverlayed || printstyled(io, '′'; color=:red)
+    e.native_executable || printstyled(io, '′'; color=:red)
 end
 
 @specialize

base/compiler/typeinfer.jl

@@ -500,8 +500,8 @@ function adjust_effects(sv::InferenceState)
         if is_effect_overridden(override, :noub)
             ipo_effects = Effects(ipo_effects; noub=true)
         end
-        if is_effect_overridden(override, :nonoverlayed)
-            ipo_effects = Effects(ipo_effects; nonoverlayed=true)
+        if is_effect_overridden(override, :native_executable)
+            ipo_effects = Effects(ipo_effects; native_executable=true)
         end
     end
 

base/essentials.jl

@@ -210,7 +210,7 @@ macro _total_meta()
         #=:notaskstate=#true,
         #=:inaccessiblememonly=#true,
         #=:noub=#true,
-        #=:nonoverlayed=#false))
+        #=:native_executable=#false))
 end
 # can be used in place of `@assume_effects :foldable` (supposed to be used for bootstrapping)
 macro _foldable_meta()
@@ -223,7 +223,7 @@ macro _foldable_meta()
         #=:notaskstate=#false,
         #=:inaccessiblememonly=#true,
         #=:noub=#true,
-        #=:nonoverlayed=#false))
+        #=:native_executable=#false))
 end
 # can be used in place of `@assume_effects :nothrow` (supposed to be used for bootstrapping)
 macro _nothrow_meta()
@@ -236,7 +236,7 @@ macro _nothrow_meta()
         #=:notaskstate=#false,
         #=:inaccessiblememonly=#false,
         #=:noub=#false,
-        #=:nonoverlayed=#false))
+        #=:native_executable=#false))
 end
 # can be used in place of `@assume_effects :terminates_locally` (supposed to be used for bootstrapping)
 macro _terminates_locally_meta()
@@ -249,7 +249,7 @@ macro _terminates_locally_meta()
         #=:notaskstate=#false,
         #=:inaccessiblememonly=#false,
         #=:noub=#false,
-        #=:nonoverlayed=#false))
+        #=:native_executable=#false))
 end
 # can be used in place of `@assume_effects :effect_free :terminates_locally` (supposed to be used for bootstrapping)
 macro _effect_free_terminates_locally_meta()
@@ -262,7 +262,7 @@ macro _effect_free_terminates_locally_meta()
         #=:notaskstate=#false,
         #=:inaccessiblememonly=#false,
         #=:noub=#false,
-        #=:nonoverlayed=#false))
+        #=:native_executable=#false))
 end
 
 # another version of inlining that propagates an inbounds context

base/expr.jl

@@ -479,6 +479,7 @@ The following `setting`s are supported.
 - `:notaskstate`
 - `:inaccessiblememonly`
 - `:noub`
+- `:native_executable`
 - `:foldable`
 - `:removable`
 - `:total`
@@ -643,6 +644,17 @@ The `:noub` setting asserts that the method will not execute any undefined behav
 any other effect assertions (such as `:consistent` or `:effect_free`) as well, but we do
 not model this, and they assume the absence of undefined behavior.
 
+---
+## `:native_executable`
+
+The `:native_executable` setting asserts that this method can be executed using Julia's
+native compiler and runtime. Currently this particularly implies that any methods defined
+in an [OverlayMethodTable](@ref Core.Compiler.OverlayMethodTable) (including this method in
+question) are never be called during executing the method. However, it is worth noting that
+it is safe to annotate [`@overlay`](@ref Base.Experimental.@overlay) method as
+`:native_executable` when the overlay-ed method has the same semantics as the original
+method and its result can safely be replaced with the result of the original method.
+
 ---
 ## `:foldable`
 
@@ -717,7 +729,7 @@ macro assume_effects(args...)
         idx = length(args)
     end
     (consistent, effect_free, nothrow, terminates_globally, terminates_locally,
-        notaskstate, inaccessiblememonly, noub, nonoverlayed) =
+        notaskstate, inaccessiblememonly, noub, native_executable) =
         (false, false, false, false, false, false, false, false, false, false)
     for org_setting in args[1:idx]
         (setting, val) = compute_assumed_setting(org_setting)
@@ -737,8 +749,8 @@ macro assume_effects(args...)
             inaccessiblememonly = val
         elseif setting === :noub
             noub = val
-        elseif setting === :nonoverlayed
-            nonoverlayed = val
+        elseif setting === :native_executable
+            native_executable = val
         elseif setting === :foldable
             consistent = effect_free = terminates_globally = noub = val
         elseif setting === :removable
@@ -752,17 +764,17 @@ macro assume_effects(args...)
     if is_function_def(inner)
         return esc(pushmeta!(ex, :purity,
             consistent, effect_free, nothrow, terminates_globally, terminates_locally,
-            notaskstate, inaccessiblememonly, noub, nonoverlayed))
+            notaskstate, inaccessiblememonly, noub, native_executable))
     elseif isexpr(ex, :macrocall) && ex.args[1] === Symbol("@ccall")
         ex.args[1] = GlobalRef(Base, Symbol("@ccall_effects"))
         insert!(ex.args, 3, Core.Compiler.encode_effects_override(Core.Compiler.EffectsOverride(
             consistent, effect_free, nothrow, terminates_globally, terminates_locally,
-            notaskstate, inaccessiblememonly, noub, nonoverlayed)))
+            notaskstate, inaccessiblememonly, noub, native_executable)))
         return esc(ex)
     else # anonymous function case
         return Expr(:meta, Expr(:purity,
             consistent, effect_free, nothrow, terminates_globally, terminates_locally,
-            notaskstate, inaccessiblememonly, noub, nonoverlayed))
+            notaskstate, inaccessiblememonly, noub, native_executable))
     end
 end
 

src/julia.h

@@ -269,7 +269,7 @@ typedef union __jl_purity_overrides_t {
         uint8_t ipo_notaskstate         : 1;
         uint8_t ipo_inaccessiblememonly : 1;
         uint8_t ipo_noub                : 1;
-        uint8_t ipo_nonoverlayed        : 1;
+        uint8_t ipo_native_executable   : 1;
     } overrides;
     uint32_t bits;
 } _jl_purity_overrides_t;
@@ -435,7 +435,7 @@ typedef struct _jl_code_instance_t {
     //     uint8_t ipo_terminates          : 1;
     //     uint8_t ipo_notaskstate         : 2;
     //     uint8_t ipo_inaccessiblememonly : 2;
-    //     uint8_t ipo_nonoverlayed        : 1;
+    //     uint8_t ipo_native_executable   : 1;
     //     uint8_t ipo_noinbounds          : 1;
     _Atomic(uint32_t) purity_bits;
     // purity_flags:
@@ -445,7 +445,7 @@ typedef struct _jl_code_instance_t {
     //     uint8_t ipo_terminates          : 1;
     //     uint8_t ipo_notaskstate         : 2;
     //     uint8_t ipo_inaccessiblememonly : 2;
-    //     uint8_t ipo_nonoverlayed        : 1;
+    //     uint8_t ipo_native_executable   : 1;
     //     uint8_t ipo_noinbounds          : 1;
     jl_value_t *argescapes; // escape information of call arguments