effects: some improvements for type-based-effects-analysis #46329
aviatesk
wants to merge
1418 commits into
avi/typetypeinf
from
avi/moreeffects
vtjnash
commented
on 2022-09-12
Close code block for `div12` docstring (#48866)
a4d94a3d
effects: handle va-method properly when refining `:inaccessiblememonl…
903dbd5f
Vector{Any} is not mutation free so make it so (#48868)
3c7ca401
Calculate a checksum for the system image (#48869)
48b4caaf
Fix heapsize hint and use a line for max memory (#48747)
51db8af4
Small grammar fix in sysimg.md (#48879)
3f3be09d
Link to VS Code instead of Juno in Profile manual (#48778)
ef077475
Vectorized isascii using simple loop 25+bytes/cycle for large strings…
778947fa
Simplify multiversioning
615b142c
Refactor aotcompile
27808e13
Timing print statements
4524987a
Move image init to processor.cpp
094269c8
Annotate information before running optimization
2c7375cb
Table-based dlsym
6ab18621
Allow loader to deal with multiple shards
798ee224
Multithreaded image builder
3915101d
Don't try to extract indexes during partitioning
4ad943da
Fix whitespace
d717fa70
Fix warnings
fe0600d2
Set reloc slot to be external linkage
bdf65f4b
Formalize printing more, correct module weight estimation with multiv…
4fc5bed6
Alter naming, sort partitions
0c68e4af
Fix whitespace
f9da0e26
Avoid unused function warning
9a72be66
Check relocations for generic target as well
1f07ea51
Debug macos linker
83b19675
Respect JULIA_CPU_THREADS
c98ff304
Don't inject CRT aliases on macos
8cf48f23
Clean up timers and prints, link to JULIA_IMAGE_TIMINGS
4e35f416
Fix whitespace
a723211c
Don't leave aliases to extern global objects
7cf839aa
Break multiversioning's dependency on jl_get_llvm_clone_targets
fa208d43
Add multiversioning annotation test
3dcd1a23
Couple more tests for multiversioning
b3d3ffbc
Inject CRT aliases with internal linkage within every shard
e75e362d
Expand on the multiversioning tests
65e6de2a
Remove stray debug prints
55612239
Track gvar count
fef319cf
Add more assertions
acc54d9e
hoist "obvious" fastpaths into morespecific (#48847)
5c3a2e26
staticdata: set method.nroots_sysimg in `jl_write_values` (#48875)
0ec704e2
staticdata: check ci->relocatability before caching external speciali…
89f30fff
Show typeinfo for arrays with >2 dimensions (#48884)
5f8fcd94
Remove `[l/r]mul!` of `AbstractQ` with `*Triangular` (#48716)
53c5a5a5
ambiguity detection: more optimal code order (#48846)
ff5bd4b7
array: fix some atomic orderings (#48888)
6124987d
pkgimage: use faster flags to jl_matching_methods (#48841)
eb36cb9e
Merge pull request #48858 from stahta01/fix_curl_config
3254e623
Initialize JIT bytes
39e34ee6
Merge pull request #48902 from JuliaLang/pc/init-bytes
ad3eca4e
Make `jit_total_bytes()` return a `UInt` instead of an `Int`
24b9dd08
Add mention of keywords in tab completion to HISTORY (#48905)
bba9082d
complete code block for `issubnormal` (#48893)
ae751e1c
Merge pull request #48901 from JuliaLang/sf/jl_total_bytes
0f7b419c
Fix sorting missing values with offset indices (#48864)
7eb96158
Move dbgs under LLVM_DEBUG
27f1ccdf
Add some documentation
6b8ec27d
Update documentation
5108b403
doc: fix admonition syntax in ENV and withenv docstrings (#48909)
a70bbdf2
Extend `Threads.threadpoolsize`
dc68ffca
Update `nthreads(pool)`
944dce96
Fix task thread pool assignment
38727be9
avoid some invalidations from untyped dict code in TOML print (#48908)
015301ab
Merge pull request #47797 from JuliaLang/pc/psys3
0f5f62cf
Remove most ifdefs from codegen
1fe6f2b0
RAUW getSizeTy(ctx.builder.getContext()) with ctx.types().T_size
f456621d
Remove getSizeTy from many optimization passes
03d16f6d
Remove OS ifdefs from codegen
9c701655
Remove OS ifdefs from some optimization passes
6d5775c9
Remove a few more OS and CPPU ifdefs
7bc670fd
Fix `enq_work` behavior when single-threaded
a3a92e8d
Fix test for threadpool use
55422d98
remove `inferred` field from `InferenceState` (#48915)
608e26dc
Let Base handle concatenation of arrays and numbers
54eda417
🤖 [master] Bump the Pkg stdlib from 3c073aa25 to 40e07927f (#48929)
03fdd0fa
simplify
7142d59d
include review comments
6008f8c7
hoist out of loop, rename internal function
2cd167f0
close code block for in `PartialQuickSort` docstring (#48937)
a3fe0a8c
Fix typos in `Base.ccall_macro_parse` (#48936)
7ace0fbb
typemap: improve quality of leaf split (#48925)
eb4b1a78
tidy up compiler implementation (#48930)
a2912e21
Add an inference option to ignore the recursion hardlimit
e08689c5
🤖 [master] Bump the SparseArrays stdlib from 760989e to 4aab8df (#48941)
b87c2263
use `OptimizationParams` parameterized by `interp::AbstractInterprete…
99d01ea0
refactor the `at-newinterp` test utility (#48943)
93166066
revert all uniformscaling.jl changes
77f52e3b
Make example in string interpolation independent of previous section …
e7b0b557
effects: ignore `:noinbounds` effect bit when collecting backedges (#…
8851fc89
Merge pull request #48944 from JuliaLang/kf/hardlimitoption
9b8d778a
codegen: add missing ssavalue check for store hoisting (#48939)
9ef2c90e
Release checklist: the release manager should wait between step 13 an…
a580556d
Install 7z, lld and dsymutils to private libexec/julia directory (#48…
eb2e9687
resolve more type piracies
89f323a0
add safe optimization
554b5a6e
Merge branch 'master' into dk/cat_array_number
c588a475
rearrange code
2709dcf0
Add Base.in_finalizer query
c811cf50
Use module's triple in dump_native
33593886
Add compat for set_active_project (#48947)
3f7c0467
Fix `Vararg` methods widening with unused type variable (#48953)
4da03592
Add a `fourthroot` function with unicode symbol ∜ (#48899)
78ec99b5
add a Diagonal constructor and a conversion (#48895)
2ed1cfeb
Show rationals without `//1` when typeinfo <: Rational (#45396)
5b2240cd
gf: add support for invalidating invoke edges (#48954)
386b1b67
Merge pull request #48702 from JuliaLang/kp/fix-48644
f288f888
Merge pull request #48781 from topolarity/add-tracy
41ef6938
Merge pull request #48779 from JuliaLang/stevengj-patch-2
ee62d377
Merge pull request #48933 from JuliaLang/dk/cat_array_number
e6c84a1e
Merge pull request #48857 from jpsamaroo/jps/in-finalizer-no-sticky
407dbdb8
more consistent findall output (#45538)
162b9e90
🤖 [master] Bump the SparseArrays stdlib from 4aab8df to 8affe9e (#48965)
ba1d5656
add overflow checking for `abs(::Rational)` (#48912)
ad304ea4
Fix CFG corruption in CFG simplify (#48962)
fd5b5e38
gf: accelerate adding backedges back to old performance (#48966)
369660fd
Defensively copy IRCode from semi-concrete eval for inlining (#48963)
441c5705
tasks: Don't make parent sticky in finalizer (#48919)
9f997fcc
Add test for issue #48802 (#48984)
6c241036
irinterp: Allow setting all IR flags (#48993)
7ba7e326
Enable the AVR backend of LLVM (#49006)
4beea98a
🤖 [master] Bump the Pkg stdlib from 40e07927f to 429175914 (#49009)
ae86b246
aotcompile: name each output shards uniquely (#48992)
fd67fe85
Merge pull request #47882 from JuliaLang/pc/module-data
5eab4516
Parse semantic version string correctly
a7a5468b
codegen: fix use-after-free of module name (#49011)
b5aa0570
Add test for #48961 (#49014)
5960b523
add more test case for inference with overlayed method table (#48988)
669d6ca0
Add *(::Diagonal, ::Diagonal, ::Diagonal) (#49005) (#49007)
c37fc279
delay loading of extensions as much as possible (#48674)
e3043a87
Merge pull request #49018 from JuliaLang/kp/fix-version
551f3038
reuse existing typemap search for method overwrite detection (#48968)
38d9d837
fix problem with string_concatenation_hint_handler (#49016)
3919a89a
Fix typo in GC stat name
4ea2d2fa
Add `total_time_to_safepoint` GC stat
34b7155f
Unwrap `y::UnionALL` eagerly when `x<:y` if `x` isa ∀-var. (#49023)
c1d1bde5
Update inference.md (#49031)
abae35c0
Ensure accurate invalidation logging data (#48982)
5e4669c7
compiler: fix performance issue introduced in #48962 (#49036)
403e4e2a
irinterp: make sure to use `optimizer_lattice` when performing irinte…
77231345
avoid creating a few MethodInstances for Missing (#49015)
ebdb187f
opaque_closure: Properly set world for OC from inferred CodeInfo (#49…
4486bc40
Allow external lattice elements to properly union split (#49030)
0a9abc19
Remove SparseArrays from system image (#48979)
66c58505
Exclude 'build' from 'patch' in version parsing
e8774637
Dict: rehesh when there are too many tombstones (#49045)
114e675f
Merge pull request #49059 from JuliaLang/kp/fix-version-parsing-darwin
8b6f59f7
datatype: handle concrete type intersections that happen (#49017)
6337cf6a
Ensure invalidated target gets logged (#49048)
99fce415
Fix show_method_candidate for Builtins (#49053)
ceeefc8f
fix multiq_check_empty to only look at the caller's pool (#49065)
1323d2f7
Fix name indexing issues (#49070)
826674cf
Fix invdepth within existential subtyping. (#49049)
ceffaee3
code clean for `intvalued`.
e528b304
`restore_env` for re-intersection of concrete var.
25e2c9c0
NFC clean for #49049
be94b87d
Remove inference timing fields from TLS (#49000)
c8a4fa43
polymorphic specializations field: either svec or value (#49071)
0b877b70
Use the POSIX timers API rather than itimer on FreeBSD (#49072)
9c19f409
improve `apply_type_tfunc` accuracy in rare case (#49069)
2f687a20
Merge pull request #48867 from JuliaLang/kp/add-gc-ttsp
3e96c768
[LibCURL_jll] Upgrade to v8.0.1 (#49063)
4d8c22f7
inlining: allow non-compileable result when handling `ConcreteResult`…
5b49c037
Temp cleanup log tweaks (#49092)
7a13258a
dont show `#unused#` for unnamed arguments in stacktraces (#49058)
5f5d2040
`LinearAlgebra.norm(x::Union{Transpose, Adjoint})` should default to …
70f6f7f0
doc: remove outdata const (#49096)
6d678fec
clean up test/opaque_closure (#49099)
e2c0be33
make `Core.OpaqueClosure(ir::IRCode)` non-destructive (#49100)
04691543
fix incorrect static parameter definedness check (#49097)
489d0764
hide internally created methods in stacktraces that occur as a result…
703b3f8c
use simpler way of computing positional parameters for stacktrace col…
f8a332ec
Improve robustness in Dates/conversions test (#49086)
e33b31bc
Add retry for socket race condition in libgit2 tests (#49089)
20b8139e
improve string effects (#48996)
56950e27
define `InteractiveUtils.@infer_effects` (#49062)
124abaa7
Merge pull request #49073 from N5N3/interbug-find
8ca8ef38
rework on `src.slottypes` and `ir.argtypes` (#49113)
97cf96a7
Type-assert the value type in getindex(::AbstractDict, key) (#49115)
db7971f4
Make subtype handle offset from intersection correctly.
f8c6be4e
Fix intersection bug caused by intvalued clean.
b7452936
add back the exception to the error logging when loading an extension…
d7df15d1
Reland: expose caller world to GeneratedFunctionStub (#48766)
dc3953db
fix malloc-stack CI failure (#49082)
685da8f1
restore support for cross-compile builds (#49081)
60e7d184
small cleanup to loading code (#49078)
b9a334fe
Quieter tests (#49093)
7d320993
Add pkgimage.mk to auto-parallelize pkgimage caching for stdlibs (#48…
cac267c1
Prefer blocked LAPACK routines for generalized eigen (#49037)
f78b3a66
channels: Don't rely on tight timing constraints (#49090)
1b7f98a7
restrict codeunit effects slightly (#49136)
e90f6a3d
ensure C++ does not free the DebugRegistry while we are using it (#49…
a922b596
replace `NULL` with a innervar
508992c3
minor follow up on #48996 (#49129)
16e9f188
Offset to indices in (unsafe_)copyto docstring (#49147)
88a1fc7d
be careful about signed zero for complex real isequal (#48997)
4853a52d
print NamedTuple types using the macro format (#49117)
1944ef65
Export JULIA_DEPOT_PATH in pkgimage.mk (#49161)
4fd52b49
codegen: decide opaque pointer usage at runtime (#49128)
fa6db2fe
Add ITTAPI source for offline (#49022)
6b934f91
Make sure read hasn't failed before updating position. (#49158)
39fd7ddb
Subtype: Add a fastpath for nested constructor with identity name. (#…
7341fb95
effects: Do not over-taint :terminates in abstract cycle (#49119)
2da4c3ec
simplify default outer constructor for struct (#49146)
94c884eb
simplify default inner constructor for struct without types (#49137)
7d2491d6
doc: clarify that the unsigned type is promoted to (#48973)
045a392c
Mark llvm::Any::TypeId as global in julia.expmap (#49124)
d8fa3c85
Format arg-name in ast.scm (#49163)
68ab859b
Emit bitcode, reserve more space for native code dumping (#49173)
58b7e0ad
fix several invalid code blocks in docstrings (#49174)
f79fdf94
Optimize reverse(::CartesianIndices, dims=...) (#49112)
e95839f1
Merge pull request #49133 from N5N3/interbug-find
38d24e57
Fix LLVMPtr subtyping
887ff5a0
Binary search for pkgimage metadata (#48940)
bc33c81b
throw runtime `TypeError` on invalid ccall symbol (#49142)
8f78a94d
Add bit to the GC tag
d586b0c9
rewrite DW_TAG_compile_unit during aotcompile (#49183)
cdc37ce4
build checkbounds default last to make them the first to try
7d8322d0
add missing dependency on sysimage
0b15e7e8
Remove left-over code from special handling of bindings (#49180)
7ca912f6
fix printed repr of `:(using A: (..) [as xxx])` (#49178)
9169c194
Merge pull request #49189 from JuliaLang/vc/mk_pkgimage_2
001505a1
Handle `ProcessChain` in open(f, cmd, ..) (#49166)
329f92c3
fix(REPL): using/import statements should on top-level, #49041 (#49098)
e5c2c51c
fix `obviously_disjoint` for Union Types (#49177)
20920007
Add iterator for method specializations (#49116)
da1ce65f
fixed 2 typo in doc (#49192)
ceafd6ca
Update Allocs.jl (#49169)
fe1e1c4b
show: support toplevel `InferenceResult` (#49202)
a43b1ad4
allow more statements in generate_precompile.jl (#49200)
9001ea0c
Fix interval for many pointers
450c1faf
Fix typo in Base.binomial overflow message (#49204)
77de8db9
Merge pull request #49176 from Tokazama/llvm-ptr
cd394eb6
Merge pull request #49185 from gbaraldi/image_bit
8b19f5fa
complete `ismutationfree` fixup (#49209)
55dcfca6
base/versions_git.sh fix when GNU date is present on BSD systems (#49…
dfc2cb51
Derive T_size from DataLayout (#49188)
8327e859
Tasks: don't advance task RNG on task spawn (#49110)
7618e64f
Make :open ccall use variadic cconv (#49212)
1eee6ef7
effects: avoid `UndefRefError` error check when analyzing `arrayset`
e022ab22
effects: analyze bounds checking of `getfield` properly
8b86d910
NEWS: add news for task-local RNG split change (#49217)
121dca64
Don't hardcode LLVM version number (#49051)
b8057f34
Merge pull request #48853 from JuliaLang/avi/boundscheck
ce64b80c
effects: power-up effects analysis for array operations (#47154)
a20a3d09
effects: add docstrings to the type-based-effect-analysis queries (#4…
a6122206
effects: improve analysis for `getfield` on `Type`-object
34b40b8b
optimizer: allow inlining of `TypeName` constant
09dc54c2
effects: improve `:consistent`-cy refinement
44e5739c
effects: improve effect analysis on `isdefined`
93052066
Revert "effects: improve effect analysis on `isdefined`"
b5619983
Reviewers
Assignees
No one assigned
Labels
don't squash
compiler:effects
Milestone
No milestone
Login to write a write a comment.
Login via GitHub