JuliaLang / julia / #37241
85%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 381
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
#37241

push

local

web-flow 
implement `compilerbarrier` builtin (#46432)

This builtin is useful to control compiler behavior.
It could be considered as a more robust and generalized version of `inferencebarrier`.

I scratched the following docstring for `compilerbarrier`, that hopefully
explains its purpose.

    Base.compilerbarrier(setting::Symbol, val)

This function puts a barrier at a specified compilation phase.
It is supposed to only influence the compilation behavior according to `setting`,
and its runtime semantics is just to return the second argument `val` (except that
this function will perform additional checks on `setting` in a case when `setting`
isn't known precisely at compile-time.)

Currently either of the following `setting`s is allowed:
- Barriers on abstract interpretation:
* `:type`: the return type of this function call will be inferred as `Any` always
(the strongest barrier on abstract interpretation)
* `:const`: the return type of this function call will be inferred with widening
constant information on `val`
* `:conditional`: the return type of this function call will be inferred with widening
conditional information on `val` (see the example below)
- Any barriers on optimization aren't implemented yet

!!! note
    This function is supposed to be used _with `setting` known precisely at compile-time_.
    Note that in a case when the `setting` isn't known precisely at compile-time, the compiler
    currently will put the most strongest barrier(s) rather than emitting a compile-time warning.

\# Examples

```julia
julia> Base.return_types((Int,)) do a
       x = compilerbarrier(:type, a) # `x` won't be inferred as `x::Int`
       return x
   end |> only
Any

julia> Base.return_types() do
       x = compilerbarrier(:const, 42)
       if x == 42 # no constant information here, so inference also accounts for the else branch
           return x # but `x` is still inferred as `x::Int` at least here
       else
    ... (continued)

78913 of 84630 relevant lines covered (93.24%)

33715566.69 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
95.33
 -0.33% boot.jl
1
91.62
 0.62% compiler/abstractinterpretation.jl
1
99.8
 0.0% iterators.jl
1
97.87
 -0.71% strings/substring.jl
1
99.55
 1.59% subarray.jl
2
95.39
 0.04% compiler/ssair/inlining.jl
2
96.51
 -2.14% deepcopy.jl
2
86.49
 -2.7% deprecated.jl
2
90.5
 -0.59% file.jl
2
98.61
 0.0% special/exp.jl
4
99.68
 0.0% abstractarray.jl
4
85.33
 -2.17% iostream.jl
6
90.71
 -1.57% process.jl
6
90.36
 0.39% stream.jl
10
90.42
 -0.85% loading.jl
17
93.79
 0.07% math.jl
103
90.11
 0.08% compiler/tfuncs.jl
Jobs
ID Job ID Ran Files Coverage
1 #37241.1 381
93.24
Source Files on build #37241