#37221
85%

Ran 05 Aug 2022 11:10AM UTC

Jobs 1

Files 384

Run time 18s

Badge

Embed ▾

pending completion

Build # #37221

Build Type

push

local

Committed by

web-flow

Commit Message

effects: add effects analysis for array construction (#46015)

This commit implements an infrastructure to analyze effects of
`:foreigncall` expression, and especially implements effects
analysis for array constructions.

Some improvements:
```julia
julia> @noinline construct_array(@nospecialize(T), args...) = Array{T}(undef, args...);

julia> function check_dims(T, dims)
           construct_array(T, dims...)
           return  nothing
       end;
```

```julia
julia> code_typed() do
           check_dims(Int, (1,2,3))
       end
```
```diff
diff --git a/_master b/_pr
index b0ed0eaac1..38e2d3553d 100644
--- a/_master
+++ b/_pr
@@ -1,6 +1,4 @@
 1-element Vector{Any}:
  CodeInfo(
-1 ─      invoke Main.construct_array(Int64::Any, -1::Int64, 2::Vararg{Int64}, 3)::Any
-│   %2 = Main.nothing::Nothing
-└──      return %2
+1 ─     return nothing
 ) => Nothing
```

```julia
julia> code_typed() do
          check_dims(Int, (-1,2,3))
      end
```
```diff
diff --git a/_master b/_pr
index b0ed0eaac1..e5e724db10 100644
--- a/_master
+++ b/_pr
@@ -1,6 +1,5 @@
 1-element Vector{Any}:
  CodeInfo(
-1 ─      invoke Main.construct_array(Int64::Any, -1::Int64, 2::Vararg{Int64}, 3)::Any
-│   %2 = Main.nothing::Nothing
-└──      return %2
-) => Nothing
+1 ─     invoke Main.check_dims(Main.Int::Type, (-1, 2, 3)::Tuple{Int64, Int64, Int64})::Union{}
+└──     unreachable
+) => Union{}
```

Run Details

79025 of 84848 relevant lines covered (93.14%)

34263347.22 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
1	99.04	-0.24%	intfuncs.jl
1	91.16	0.17%	loading.jl
1	93.13	-0.31%	process.jl
2	88.68	1.45%	multimedia.jl
2	90.36	-0.06%	stream.jl
3	98.73	-0.48%	special/trig.jl
7	66.86	-0.76%	errorshow.jl
9	97.22	0.1%	abstractarray.jl
9	81.79	1.7%	client.jl
23	90.1	0.49%	compiler/tfuncs.jl
25	91.85	0.63%	compiler/abstractinterpretation.jl
26	51.43	-37.76%	deprecated.jl
54	87.37	-0.96%	compiler/optimize.jl
89	82.86	-16.78%	complex.jl

Jobs

ID	Job ID	Ran	Files	Coverage
1	#37221.1	05 Aug 2022 11:10AM UTC	384	93.14

JuliaLang / julia / #37221
85%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #37221

JuliaLang / julia / #37221 85%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build #37221

JuliaLang / julia / #37221
85%

README BADGES
x