#37116
77%

Ran 22 Apr 2022 11:16AM UTC

Jobs 1

Files 362

Run time 29s

Badge

Embed ▾

pending completion

Build # #37116

Build Type

push

local

Committed by

web-flow

Commit Message

NFC: tidy up `InferenceState` definition (#45049)

This commit sorts its fields in order of their purpose, and refactor the
main constructor accordingly. Also removed the `nargs::Int` field as it
can be easily recovered and not used so often.

Now it's defined as:
```julia
mutable struct InferenceState
    #= information about this method instance =#
    linfo::MethodInstance
    world::UInt
    mod::Module
    sptypes::Vector{Any}
    slottypes::Vector{Any}
    src::CodeInfo

    #= intermediate states for local abstract interpretation =#
    currpc::Int
    ip::BitSetBoundedMinPrioritySet
    handler_at::Vector{Int}
    ssavalue_uses::Vector{BitSet}
    stmt_types::Vector{Union{Nothing, VarTable}}
    stmt_edges::Vector{Union{Nothing, Vector{Any}}}
    stmt_info::Vector{Any}

    #= interprocedural intermediate states for abstract interpretation 
=#
    pclimitations::IdSet{InferenceState}
    limitations::IdSet{InferenceState}
    cycle_backedges::Vector{Tuple{InferenceState, Int}}
    callers_in_cycle::Vector{InferenceState}
    dont_work_on_me::Bool
    parent::Union{Nothing, InferenceState}
    inferred::Bool

    #= results =#
    result::InferenceResult
    valid_worlds::WorldRange
    bestguess
    ipo_effects::Effects

    #= flags =#
    params::InferenceParams
    restrict_abstract_call_sites::Bool
    cached::Bool

    interp::AbstractInterpreter
    ...
end
```

Run Details

69842 of 78331 relevant lines covered (89.16%)

15100695.52 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37116.1	22 Apr 2022 11:16AM UTC	0	89.16

Source Files on build #37116

Detailed source file information is not available for this build.

JuliaLang / julia / #37116
77%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37116

JuliaLang / julia / #37116 77%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #37116

JuliaLang / julia / #37116
77%

README BADGES
x