Revision - f922a63 - fix #29036, poor inference of `val,i = iterate(x,i)` - origin: https://github.com/JuliaLang/julia

visit type:

https://github.com/JuliaLang/julia

19 April 2024, 06:28:37 UTC

Revision f922a6371c6b658aa955e5096774509b12dd7579 authored by Jeff Bezanson on 07 September 2018, 03:32:38 UTC, committed by Keno Fischer on 08 September 2018, 19:47:23 UTC

fix #29036, poor inference of `val,i = iterate(x,i)`

In this case, the result of `iterate` has not been checked for
`nothing`, so we try to call `indexed_iterate` (for destructuring
assignment) on a Union of Nothing and the tuple returned by
`iterate`. That has two method matches, and so was excluded from
constant propagation. This commit fixes that by generalizing the
constant prop heuristic from requiring one method match to
requiring one non-Bottom method match.

This issue caused a large slowdown in DelimitedFiles, where
the inner loop consists of

```
        while idx <= slen
            val,idx = iterate(dbuff, idx)
```

1 parent 65e4c13

Files
Changes

Permalinks

Tip revision: f922a6371c6b658aa955e5096774509b12dd7579 authored by Jeff Bezanson on 07 September 2018, 03:32:38 UTC
fix #29036, poor inference of `val,i = iterate(x,i)`

Tip revision: f922a63

File	Mode	Size
mac
vagrant
windows
README.ackrc.txt	-rw-r--r--	95 bytes
README.md	-rw-r--r--	3.9 KB
ackrc	-rw-r--r--	68 bytes
add_license_to_files.jl	-rw-r--r--	6.7 KB
build_sysimg.jl	-rw-r--r--	8.9 KB
check-whitespace.sh	-rwxr-xr-x	791 bytes
commit-name.sh	-rwxr-xr-x	1.2 KB
debug_bootstrap.gdb	-rw-r--r--	76 bytes
download_cmake.sh	-rwxr-xr-x	1.7 KB
filterArgs.sh	-rwxr-xr-x	271 bytes
fixup-libgfortran.sh	-rwxr-xr-x	4.7 KB
fixup-libstdc++.sh	-rwxr-xr-x	824 bytes
fixup-rpath.sh	-rwxr-xr-x	1.0 KB
generate_precompile.jl	-rw-r--r--	5.9 KB
install.sh	-rwxr-xr-x	695 bytes
julia-config.jl	-rwxr-xr-x	2.2 KB
julia.appdata.xml	-rw-r--r--	1.4 KB
julia.desktop	-rw-r--r--	286 bytes
julia.svg	-rw-r--r--	4.5 KB
prepare_release.sh	-rwxr-xr-x	5.0 KB
relative_path.sh	-rwxr-xr-x	950 bytes
repackage_system_suitesparse4.make	-rwxr-xr-x	3.1 KB
stringreplace.c	-rw-r--r--	942 bytes
travis_fastfail.sh	-rwxr-xr-x	1.0 KB
valgrind-julia.supp	-rw-r--r--	166 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...

https://github.com/JuliaLang/julia

fix #29036, poor inference of `val,i = iterate(x,i)`

README.md