Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Backports for 1.11.0-alpha2 #53543

Merged
merged 56 commits into from
Mar 17, 2024
Merged
Changes from 1 commit
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
6abaed1
add IR encoding for EnterNode (#53482)
JeffBezanson Feb 27, 2024
79421de
Avoid compiler warning about redefining jl_globalref_t (#53499)
fingolfin Feb 28, 2024
4301147
update staled `Core.Compiler.Effects` documentation (#53507)
aviatesk Feb 28, 2024
b701b5d
add back an alias for `check_top_bit` (#53523)
KristofferC Feb 29, 2024
1366e34
add _readdirx for returning more object info gathered during dir scan…
IanButterworth Feb 29, 2024
0520b80
fix InteractiveUtils call in Base.runtests on failure (#53525)
vtjnash Mar 1, 2024
8912805
Add a lazy `logrange` function and `LogRange` type (#39071)
mcabbott Feb 16, 2024
42a71a5
Allow AnnotatedStrings in log messages (#51802)
tecosaur Feb 17, 2024
6904351
improve `--heap-size-hint` arg handling (#48050)
mbauman Feb 23, 2024
7859e32
use more efficient `_readdirx` for tab completion (#53540)
IanButterworth Mar 1, 2024
b63e086
use `_readdirx` for `walkdir` (#53545)
IanButterworth Mar 1, 2024
c01ef98
Always return a value in 1-d circshift! of abstractarray.jl (#53554)
erich-9 Mar 3, 2024
53180e4
yet more atomics & cache-line fixes on work-stealing queue (#53424)
d-netto Mar 4, 2024
d30d8ef
Update Documenter to v1.3 for inventory writing (#53571)
goerz Mar 4, 2024
bd6b7eb
Move parallel precompilation to Base (#53403)
KristofferC Mar 5, 2024
f8fd7fd
add back `unsafe_convert` to pointer for arrays (#53589)
KristofferC Mar 5, 2024
d98f9cd
build: remove extra .a file (#53596)
inkydragon Mar 5, 2024
fb60a88
fix error path in `precompilepkgs` (#53606)
KristofferC Mar 5, 2024
2d89fee
bump Pkg
DilumAluthgeBot Mar 5, 2024
f46f0b8
task splitting: change additive accumulation to multiplicative (#53408)
StefanKarpinski Feb 28, 2024
2d485dc
revert "Add @create_log_macro for making custom styled logging macros…
IanButterworth Mar 2, 2024
f859acd
Unexport with, at_with, and ScopedValue from Base (#53004)
vchuravy Mar 6, 2024
dbc0241
typeintersect: fix `UnionAll` unaliasing bug caused by innervars. (#5…
N5N3 Mar 6, 2024
32efb7e
🤖 [master] Bump the Pkg stdlib from e7d740ac8 to 56c379045
DilumAluthge Mar 7, 2024
2a7100a
inlining: use method match signature for union-spliting (#53600)
aviatesk Mar 7, 2024
b3fdb92
Merge branch 'release-1.11' into backports-release-1.11
KristofferC Mar 8, 2024
814257c
add `construct_[post]domtree(::[IRCode|CFG])` interfaces (#53638)
aviatesk Mar 8, 2024
334fd49
bump Pkg
KristofferC Mar 8, 2024
06d5ca1
precompilepkgs: package in boths deps and weakdeps are in fact only w…
KristofferC Mar 8, 2024
a66bbfa
inlining: remove ineffective handling for unmatched params (#52092)
aviatesk Mar 13, 2024
6e80df2
inlining: bail out unless `match.spec_types <: match.method.sig` (#53…
aviatesk Mar 15, 2024
5adc0f6
Orthogonalize re-indexing for FastSubArrays (#53369)
jishnub Feb 18, 2024
12add8d
typo fix in scoped values docs (#53629)
palday Mar 7, 2024
90454b2
sroa: Fix incorrect scope counting (#53630)
Keno Mar 8, 2024
b147539
Use Base parallel precompilation to build stdlibs (#53598)
IanButterworth Mar 8, 2024
e6e8a1d
Fix bootstrap Base precompile in cross compile configuration (#53671)
Keno Mar 9, 2024
fcadc06
Load Pkg if not already to reinstate missing package add prompt (#52125)
IanButterworth Mar 9, 2024
8c9015f
Handle zero on arrays of unions of number types and missings (#53602)
oxinabox Mar 9, 2024
aa90ae7
permit NamedTuple{<:Any, Union{}} to be created (#53516)
vtjnash Mar 9, 2024
760f368
Bump CSL to 1.1.1 to fix libgomp bug (#53643)
gbaraldi Mar 9, 2024
ab37ee5
move precompile workload back from Base (#53679)
IanButterworth Mar 10, 2024
15f13f7
add isassigned methods for reinterpretarray (#53663)
vtjnash Mar 11, 2024
21a2602
[REPL] fix incorrectly cleared line after completions accepted (#53662)
vtjnash Mar 11, 2024
fd9c49c
Linalg: matprod_dest for Diagonal and adjvec (#53611)
jishnub Mar 11, 2024
641ae2c
fix #52025, re-allow all implicit pointer casts in cconvert for Array…
JeffBezanson Mar 11, 2024
0087a11
LAPACK: validate input parameters to throw informative errors (#53631)
jishnub Mar 12, 2024
91da115
Make some improvements to the Scoped Values documentation. (#53628)
CameronBieganek Mar 12, 2024
02839bd
codegen: change tbaa of ptr_phi to tbaa_value (#53655)
gbaraldi Mar 14, 2024
2e45f8f
Default to the medium code model in x86 linux (#53391)
gbaraldi Mar 14, 2024
2623abb
Enable analyzegc checks for try catch and fix found issues (#53527)
gbaraldi Mar 15, 2024
f54bb4c
Increase build precompilation (#53682)
IanButterworth Mar 14, 2024
b6c957b
Fix linear indexing for ReshapedArray if the parent has offset axes …
jishnub Mar 11, 2024
22db541
Use `@test ... skip=...` instead of `@test_skip`
giordano Feb 26, 2024
b9aaff5
Move `isexecutable, isreadable, iswritable` to `filesystem.jl` (#53699)
fatteneder Mar 13, 2024
b5e4104
update Pkg release branch
IanButterworth Mar 17, 2024
d6d84ed
🤖 [backports-release-1.11] Bump the Pkg stdlib from 1e6fa605f to bd78…
DilumAluthgeBot Mar 17, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
update staled Core.Compiler.Effects documentation (#53507)
(cherry picked from commit c80a964)
aviatesk authored and KristofferC committed Mar 1, 2024
commit 430114792d4ed2520c89a2a3dd8ca05efc7f61c5
13 changes: 6 additions & 7 deletions base/compiler/effects.jl
Original file line number Diff line number Diff line change
@@ -43,15 +43,16 @@ following meanings:
except that it may access or modify mutable memory pointed to by its call arguments.
This may later be refined to `ALWAYS_TRUE` in a case when call arguments are known to be immutable.
This state corresponds to LLVM's `inaccessiblemem_or_argmemonly` function attribute.
- `noub::Bool`: indicates that the method will not execute any undefined behavior (for any input).
- `noub::UInt8`: indicates that the method will not execute any undefined behavior (for any input).
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.
* `ALWAYS_TRUE`: this method is guaranteed to not execute any undefined behavior.
* `ALWAYS_FALSE`: this method may execute undefined behavior.
* `NOUB_IF_NOINBOUNDS`: this method is guaranteed to not execute any undefined behavior
if the caller does not set nor propagate the `@inbounds` context.
- `nonoverlayed::Bool`: indicates that any methods that may be called within this method
are not defined in an [overlayed method table](@ref OverlayMethodTable).
- `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.

Note that the representations above are just internal implementation details and thus likely
to change in the future. See [`Base.@assume_effects`](@ref) for more detailed explanation
@@ -92,9 +93,7 @@ The output represents the state of different effect properties in the following
7. `noub` (`u`):
- `+u` (green): `true`
- `-u` (red): `false`
8. `noinbounds` (`i`):
- `+i` (green): `true`
- `-i` (red): `false`
- `?u` (yellow): `NOUB_IF_NOINBOUNDS`

Additionally, if the `nonoverlayed` property is false, a red prime symbol (′) is displayed after the tuple.
"""