Revision 4faf28a83e9fd6c02fd03abc23daf9ea4dcf3a43 authored by Keno Fischer on 15 September 2022, 02:57:54 UTC, committed by Keno Fischer on 15 September 2022, 03:14:28 UTC
Currently we represent an unknown :static_parameter, as `Any`. However, we actually have a fair bit of additional information about it. In particular, a value that came from a static parameter must have been a `valid_tparam` and thus if it's used in `apply_type` again, we're guaranteed that such a use will be nothrow. This adds a special lattice element to encode this set of values. The primary benefit is to be able to prove the nothrow fact about many more apply_type calls and thus cut down the size of the IR. That said, at the moment, we cannot prove nothrow for unknown `:static_parameter` either, but that's a separate bit of work (and we need to do both to really be able to eliminate common patterns).
1 parent f7dea04
| File | Mode | Size |
|---|---|---|
| .devcontainer | ||
| .github | ||
| base | ||
| cli | ||
| contrib | ||
| deps | ||
| doc | ||
| etc | ||
| src | ||
| stdlib | ||
| test | ||
| .buildkite-external-version | -rw-r--r-- | 5 bytes |
| .clang-format | -rw-r--r-- | 3.3 KB |
| .codecov.yml | -rw-r--r-- | 52 bytes |
| .git-blame-ignore-revs | -rw-r--r-- | 294 bytes |
| .gitattributes | -rw-r--r-- | 65 bytes |
| .gitignore | -rw-r--r-- | 493 bytes |
| .mailmap | -rw-r--r-- | 12.1 KB |
| CITATION.bib | -rw-r--r-- | 513 bytes |
| CITATION.cff | -rw-r--r-- | 940 bytes |
| CONTRIBUTING.md | -rw-r--r-- | 23.3 KB |
| HISTORY.md | -rw-r--r-- | 349.9 KB |
| LICENSE.md | -rw-r--r-- | 1.3 KB |
| Make.inc | -rw-r--r-- | 50.1 KB |
| Makefile | -rw-r--r-- | 27.0 KB |
| NEWS.md | -rw-r--r-- | 8.0 KB |
| README.md | -rw-r--r-- | 7.3 KB |
| THIRDPARTY.md | -rw-r--r-- | 3.7 KB |
| VERSION | -rw-r--r-- | 10 bytes |
| julia.spdx.json | -rw-r--r-- | 35.8 KB |
| sysimage.mk | -rw-r--r-- | 4.1 KB |
Computing file changes ...
