Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
429 commits
Select commit Hold shift + click to select a range
4b5bb18
Don't map Chalk's `Normalize` to next solver's `NormalizesTo`
ChayimFriedman2 Aug 25, 2025
769f164
Merge pull request #20528 from ShoyuVanilla/nightly-zscript
ChayimFriedman2 Aug 25, 2025
69c25d1
Merge pull request #20423 from ShoyuVanilla/import-2024
ChayimFriedman2 Aug 25, 2025
05a6199
Merge pull request #20537 from ChayimFriedman2/new-solver-normalize
ShoyuVanilla Aug 26, 2025
daeb540
Merge pull request #20520 from ChayimFriedman2/reborrow
ShoyuVanilla Aug 26, 2025
3b0352e
Merge pull request #20509 from A4-Tacks/fix-move-guard-to-arm-indent
ShoyuVanilla Aug 26, 2025
36d8f4e
Merge pull request #20534 from A4-Tacks/tog-macro-delim-semicolon
ShoyuVanilla Aug 26, 2025
7375e2c
Merge pull request #20399 from rust-lang/veykril/push-klrwvmzokqwu
ShoyuVanilla Aug 26, 2025
83f22cc
Remove `SolverDefId::ForeignId`
ChayimFriedman2 Aug 26, 2025
ab5113a
Merge pull request #20545 from ChayimFriedman2/ns-foreign
lnicola Aug 26, 2025
28a248f
In highlight_related, when on an unsafe block, don't highlight unsafe…
ChayimFriedman2 Aug 26, 2025
035bed8
Merge pull request #20527 from ChayimFriedman2/cache-next-solver
ShoyuVanilla Aug 27, 2025
54d36de
Merge pull request #20547 from ChayimFriedman2/highlight-related-unsa…
lnicola Aug 27, 2025
f31a378
Attach the db in one more place in highlighting
ChayimFriedman2 Aug 27, 2025
da33061
Merge pull request #20553 from ChayimFriedman2/ns-highlight-attach
ChayimFriedman2 Aug 27, 2025
0a55022
Add progress bars to more places in analysis-stats
ChayimFriedman2 Aug 28, 2025
c36b75b
Don't require a full `InferenceTable` for `CastTy`
ChayimFriedman2 Aug 28, 2025
85d383f
Merge pull request #20561 from ChayimFriedman2/no-table-for-you
ChayimFriedman2 Aug 28, 2025
dce4f30
When mapping next-solver's `dyn` type, add `Self` (aka. bound var ^1.…
ChayimFriedman2 Aug 28, 2025
37048a0
Merge pull request #20560 from ChayimFriedman2/analysis-stats-improve
Veykril Aug 29, 2025
ae648be
use `llvm.roundeven` on arm
folkertdev Aug 29, 2025
00b27f4
Remove FreeBSD CI
Amanieu Aug 29, 2025
6da36e6
Merge pull request #1907 from Amanieu/remove-cirrus
folkertdev Aug 29, 2025
bbb222f
Merge pull request #1906 from folkertdev/arm-roundeven
Amanieu Aug 29, 2025
d396d2f
Bump tracing-subscriber from 0.3.19 to 0.3.20
dependabot[bot] Aug 29, 2025
9916ee3
Merge pull request #20569 from rust-lang/dependabot/cargo/tracing-sub…
davidbarsky Aug 29, 2025
fd996d0
Merge pull request #20563 from ChayimFriedman2/ns-projection-dyn-auto…
ShoyuVanilla Aug 30, 2025
823101e
Pass `--target` before `--` for `cargo rustc`
Elliot-Roberts Aug 30, 2025
dada5f4
Merge pull request #20579 from Elliot-Roberts/fix-double-target-option
ChayimFriedman2 Aug 30, 2025
a324fe9
Make sense of the mess that were (are) different kind of generics in …
ChayimFriedman2 Sep 2, 2025
dd75ad4
Deduplicate methods in completion by function ID and not by name
ChayimFriedman2 Sep 2, 2025
dfaff28
Merge pull request #20587 from ChayimFriedman2/private-inherent
lnicola Sep 2, 2025
18fa6d9
Remove some llvm workarounds
nikic Sep 2, 2025
bb3598e
use `qemu-user` instead of `qemu-user-static` for loongarch CI
folkertdev Sep 2, 2025
60874ec
Merge pull request #1912 from folkertdev/loongarch-qemu-user
sayantn Sep 2, 2025
4679533
RISC-V: Lower requirements of `clmul` and `clmulh`
a4lg Aug 30, 2025
2127c2d
Merge pull request #20586 from ChayimFriedman2/placeholder-ns
ShoyuVanilla Sep 3, 2025
5b71113
re-balance CI
RalfJung Sep 3, 2025
a880c46
no need to run GC_STRESS more than once for each OS
RalfJung Sep 3, 2025
f0c9c38
Merge pull request #4562 from RalfJung/ci
RalfJung Sep 3, 2025
d366f26
Extract address generator struct from memory allocator.
Patrick-6 Apr 14, 2025
c1be740
Implement basic support for running Miri with GenMC.
Patrick-6 Apr 14, 2025
0a97662
Merge pull request #1909 from a4lg/riscv-clmul-lower-requirements
sayantn Sep 3, 2025
e1a3b8b
Merge pull request #1911 from nikic/remove-hack
folkertdev Sep 3, 2025
ddd0cef
Merge pull request #4506 from Patrick-6/miri-genmc-mvp
RalfJung Sep 3, 2025
d9619ed
Prepare for merging from rust-lang/rust
Sep 4, 2025
94e40cd
Merge ref '9385c64c95d9' from rust-lang/rust
Sep 4, 2025
a460ec7
Merge pull request #4564 from rust-lang/rustup-2025-09-04
RalfJung Sep 4, 2025
169013d
Fix typo in config
ChayimFriedman2 Sep 4, 2025
d5cb7e7
Add a regression test for a fixed new trait solver bug
ChayimFriedman2 Sep 4, 2025
dfc0433
Merge pull request #20606 from ChayimFriedman2/reborrow-config-typo
ChayimFriedman2 Sep 4, 2025
a5872e9
Merge pull request #20607 from ChayimFriedman2/ns-dyn-mismatch
ChayimFriedman2 Sep 4, 2025
7ff5a3d
Upgrade rustc crates
ChayimFriedman2 Sep 4, 2025
3b7313b
Merge pull request #20609 from ChayimFriedman2/update-rustc
ShoyuVanilla Sep 5, 2025
9a1eb85
Prepare for merging from rust-lang/rust
Sep 5, 2025
7c5fdb0
Merge ref 'b3cfb8faf84c' from rust-lang/rust
Sep 5, 2025
37f9c7d
Merge pull request #4567 from rust-lang/rustup-2025-09-05
RalfJung Sep 5, 2025
5cadd45
make use of Duration::from_nanos_u128
RalfJung Sep 5, 2025
3a16bbc
Merge pull request #4568 from RalfJung/duration-from-nanos
RalfJung Sep 5, 2025
b9b235a
Fix indent for unresolved_field fixes
A4-Tacks Sep 5, 2025
1186db8
atomics: unify handling min/max and the other RMWs
RalfJung Sep 5, 2025
0dcc21b
Merge pull request #4569 from RalfJung/atomic-rmw
RalfJung Sep 5, 2025
69c7652
atomic rmw intrinsics: RHS must be an integer
RalfJung Sep 5, 2025
d5b4324
Merge pull request #4570 from RalfJung/atomic-rmw-int
RalfJung Sep 5, 2025
a5bb60b
Add allow `else` keyword completion in LetStmt
A4-Tacks Sep 6, 2025
93101b5
s390x: use the new `u128::funnel_shl`
folkertdev Sep 6, 2025
d5bed4b
Merge pull request #1913 from folkertdev/s390x-vector-funnel-shift
sayantn Sep 6, 2025
589515b
update Cargo.lock
folkertdev Sep 7, 2025
d70ef4f
move `compare_outputs` implementation into `SupportedArchitectureTest…
folkertdev Sep 7, 2025
6ab097b
move platform headers into `SupportedArchitectureTest`
folkertdev Sep 7, 2025
916424f
move more constants into `SupportedArchitectureTest`
folkertdev Sep 7, 2025
9d9ca01
move `print_result_c` into the inner intrinsic type
folkertdev Sep 7, 2025
2ba0a6e
move `print_result_c` into the trait
folkertdev Sep 7, 2025
1697f36
remove `trait IntrinsicDefinition`
folkertdev Sep 7, 2025
ccec202
move `build_c_file` and `build_rust_file` into `SupportedArchitecture…
folkertdev Sep 7, 2025
4b549a7
move target-specific definitions into constants
folkertdev Sep 7, 2025
6da8094
Improve make::struct_ field_list whitespace
A4-Tacks Sep 7, 2025
61af5da
Implement more features for GenMC mode
Patrick-6 Mar 14, 2025
1fa24ce
Merge pull request #20626 from A4-Tacks/make-record-ws
lnicola Sep 8, 2025
344b4ac
print proper error when using unsupported synchronization primitive w…
RalfJung Sep 8, 2025
c9e5e40
Merge pull request #20620 from A4-Tacks/let-else-completion
lnicola Sep 8, 2025
211461a
Merge pull request #4566 from Patrick-6/miri-genmc-rmw
RalfJung Sep 8, 2025
deca489
Prepare for merging from rust-lang/rust
RalfJung Sep 8, 2025
c4d1268
Merge ref 'a09fbe2c8372' from rust-lang/rust
RalfJung Sep 8, 2025
24ce839
clippy
RalfJung Sep 8, 2025
3430751
Merge pull request #4573 from RalfJung/rustup
RalfJung Sep 8, 2025
94ab2b9
move math intrinsics to their own file
RalfJung Jul 19, 2025
e000512
extract core operation name instead of listing all function name vari…
RalfJung Jul 19, 2025
84e1950
move math foreign_items into their own file
RalfJung Jul 19, 2025
943aa93
Merge pull request #4484 from RalfJung/math-shims
RalfJung Sep 8, 2025
a21866a
Remove support for register_attr
Wilfred Sep 8, 2025
bb5b153
feat: support navigation on primitives
rmehri01 Sep 8, 2025
e665f6f
Merge pull request #20631 from Wilfred/remove_register_attr
ChayimFriedman2 Sep 8, 2025
224428d
Clarify intro in README and manual
Wilfred Sep 8, 2025
1e1886a
Merge pull request #20633 from Wilfred/improve_intro
ChayimFriedman2 Sep 8, 2025
a6a53ac
impl TryToNav for BuiltinType instead
rmehri01 Sep 8, 2025
fc4450b
add test
rmehri01 Sep 8, 2025
2ffa851
make TryToNav take Semantics instead of RootDatabase
rmehri01 Sep 8, 2025
152c0d6
Merge pull request #20632 from rmehri01/navigation-on-prims
ChayimFriedman2 Sep 8, 2025
17943cc
Skip flycheck for workspace if it is already being checked
iorizu Sep 8, 2025
e8206d0
Update documentation about how to build the RA book
Kobzol Sep 9, 2025
a1a1ed2
Add a FAQ entry about RA and Cargo interaction
Kobzol Sep 9, 2025
2079d11
Fix LifetimeParam::lifetime_bounds invalid implement
A4-Tacks Sep 7, 2025
564ba7c
Merge pull request #20638 from Kobzol/book-share-cache
ChayimFriedman2 Sep 9, 2025
d09f3d8
Merge pull request #20624 from A4-Tacks/fix-syn-lifetime-bounds
ChayimFriedman2 Sep 9, 2025
a69ac55
Resolve paths to snapshot test libraries absolutely
ChayimFriedman2 Sep 9, 2025
74a8f74
Expand target info to include the architecture
ChayimFriedman2 Sep 9, 2025
d6638e9
Make `#[target_feature]` safe always on WASM
ChayimFriedman2 Sep 9, 2025
0fad524
WIP switch inference table to next-solver
jackh726 Aug 13, 2025
69140ec
Fix failing tests and fill-in missing details
ShoyuVanilla Aug 29, 2025
0cce47c
Merge pull request #20578 from ShoyuVanilla/inftbl
ChayimFriedman2 Sep 9, 2025
54c8cd5
Merge pull request #20639 from ChayimFriedman2/update-test-abs
davidbarsky Sep 9, 2025
dcddb44
Merge pull request #1914 from folkertdev/architecture-test
folkertdev Sep 9, 2025
8764ecf
Merge pull request #20613 from A4-Tacks/diag-unresolved-field-fixes-ws
davidbarsky Sep 9, 2025
ce2f518
Upgrade rustc crates and handle changes to canonicalization
ChayimFriedman2 Sep 9, 2025
8407376
Adopt even more custom types in the new solver
ChayimFriedman2 Sep 9, 2025
1acb4c2
An associated type is not a projection!
ChayimFriedman2 Aug 28, 2025
4a4b77f
Properly handle normalization
ChayimFriedman2 Sep 10, 2025
98d863c
Merge pull request #20647 from ChayimFriedman2/ns-projections
ShoyuVanilla Sep 10, 2025
84097a1
Merge pull request #20645 from ChayimFriedman2/update-rustc
ShoyuVanilla Sep 10, 2025
b2b33f9
Always coerce in a cast, even when there are unknown types
ChayimFriedman2 Sep 10, 2025
1800ec1
Merge pull request #20649 from ChayimFriedman2/cast-unknown
ShoyuVanilla Sep 10, 2025
edbc0a0
weak memory tests: add more info on where they come from
RalfJung Sep 10, 2025
0e0b254
ensure we do not see the inconsistent execution from Figure 8
RalfJung Sep 10, 2025
21e3111
refactor weak-mem test to list all expected executions
RalfJung Sep 10, 2025
614dab3
loongarch: Align intrinsic signatures with LLVM
heiher Sep 10, 2025
655b847
also use nicer check_all_outcomes in float_nan
RalfJung Sep 10, 2025
827a654
move all weak memory tests into their folder
RalfJung Sep 10, 2025
7d5413b
this apparently needs more test rounds
RalfJung Sep 10, 2025
f8302a7
add release sequence test
RalfJung Sep 10, 2025
52fb371
Merge pull request #4575 from RalfJung/weakmem-origin
RalfJung Sep 10, 2025
2d87bc3
Fix empty generic param list for generate_function
A4-Tacks Sep 11, 2025
68bff8c
Prepare for merging from rust-lang/rust
Sep 11, 2025
3790e37
Merge ref 'f4665ab8368a' from rust-lang/rust
Sep 11, 2025
7f38c05
Merge pull request #20653 from A4-Tacks/gen-function-empty-gen-param
lnicola Sep 11, 2025
fa2f5f9
Merge pull request #20642 from ChayimFriedman2/wasm-safe
ShoyuVanilla Sep 11, 2025
e54cc43
RISC-V: "Lower" requirements of `aes64im`
a4lg Sep 11, 2025
906bfe9
Merge pull request #4576 from rust-lang/rustup-2025-09-11
RalfJung Sep 11, 2025
ad6004d
add release sequence test
RalfJung Sep 11, 2025
24d195b
weak_memory: fix sync clock handling when loading from old store elem…
RalfJung Sep 11, 2025
2b5b191
Fix miri issue 4579 by checking if the strong protector is actually "…
JoJoDeveloping Sep 11, 2025
68217c7
Minor refactoring
iorizu Sep 8, 2025
166af83
Merge pull request #4577 from RalfJung/release-seq
RalfJung Sep 11, 2025
16b34c6
move zero-sized protector dealloc test
JoJoDeveloping Sep 11, 2025
36376bc
Merge pull request #4580 from JoJoDeveloping/fix-4579-protector-0sized
RalfJung Sep 11, 2025
342a73b
Merge pull request #1915 from heiher/fix-signatures
Amanieu Sep 11, 2025
bb31725
Remove big-endian swizzles from `vreinterpret`
sayantn Sep 11, 2025
269cecc
Merge pull request #1918 from a4lg/riscv-aes64im-lower-requirements
sayantn Sep 11, 2025
44edbc6
Prepare for merging from rust-lang/rust
Sep 12, 2025
7bc4a3b
Merge ref '2a9bacf61876' from rust-lang/rust
Sep 12, 2025
8b5335c
disable broken parts of CI for now
RalfJung Sep 12, 2025
221eb1f
intrinsic-test: Make Clippy happy
a4lg Sep 12, 2025
a3b7aad
stdarch-gen-arm: Make Clippy happy
a4lg Sep 12, 2025
05133f2
examples: Make Clippy happy
a4lg Sep 12, 2025
25b2a7d
Merge pull request #4581 from rust-lang/rustup-2025-09-12
RalfJung Sep 12, 2025
3338743
Merge pull request #1920 from a4lg/clippy-warnings-2025.09
folkertdev Sep 12, 2025
8a574ca
Fix extra semicolon before else in let-stmt
A4-Tacks Sep 12, 2025
225e8ff
move _Unwind_RaiseException out of the frame_in_std section
RalfJung Sep 12, 2025
260dd6f
make a basic hello world work on wasip2
RalfJung Sep 12, 2025
a70d78a
Implement more features for GenMC mode
Patrick-6 Mar 14, 2025
af16b80
Merge pull request #4582 from RalfJung/wasip2-helloworld
RalfJung Sep 12, 2025
fc7eb3c
Merge pull request #4578 from Patrick-6/miri-genmc-cas
RalfJung Sep 12, 2025
ae57f08
Prepare for merging from rust-lang/rust
Sep 13, 2025
520e45a
Merge ref '4ba1cf9ade4c' from rust-lang/rust
Sep 13, 2025
8ade141
Merge pull request #4584 from rust-lang/rustup-2025-09-13
oli-obk Sep 13, 2025
c307fd8
Merge pull request #20657 from A4-Tacks/fix-before-else-incomplete-let
lnicola Sep 13, 2025
3a784d9
Prepare for merging from rust-lang/rust
Sep 14, 2025
603341a
Merge ref 'a015919e54c6' from rust-lang/rust
Sep 14, 2025
8df078a
RISC-V: Improvements of inline assembly uses
a4lg Sep 13, 2025
0c1e9aa
Merge pull request #4585 from rust-lang/rustup-2025-09-14
oli-obk Sep 14, 2025
c2e1012
Merge pull request #20635 from iorizu/fix-double-flycheck
ShoyuVanilla Sep 14, 2025
9f850ce
fix: Infinite loop while elaborting predicates
ShoyuVanilla Sep 11, 2025
d6d3c4b
Merge pull request #20654 from ShoyuVanilla/predicates
ChayimFriedman2 Sep 14, 2025
5025bfa
Improve `rust-analyzer diagnostics`
ChayimFriedman2 Sep 10, 2025
55b8d4e
Don't mark unknown type as implementing every notable trait
ChayimFriedman2 Sep 15, 2025
91f32ed
Add regression tests to some S-blocked-on-new-solver issues
ChayimFriedman2 Sep 15, 2025
4515e78
Merge pull request #20666 from ChayimFriedman2/ns-cleanup1
ChayimFriedman2 Sep 15, 2025
03e3830
Merge pull request #20665 from ChayimFriedman2/error-notable
ShoyuVanilla Sep 15, 2025
c88fb50
Merge pull request #20652 from ChayimFriedman2/cli-diags
lnicola Sep 15, 2025
f40e71c
Add Regression Test For The One And The Only Issue #5514
ChayimFriedman2 Sep 15, 2025
3c82a25
Merge pull request #20667 from ChayimFriedman2/ns-cleanup2
ChayimFriedman2 Sep 15, 2025
f6a7da8
Add a testing guide
ChayimFriedman2 Sep 15, 2025
af5ca03
Merge pull request #20669 from ChayimFriedman2/testing-guide
lnicola Sep 15, 2025
5dd0fdc
Merge pull request #1919 from sayantn/fix-vreinterpret
folkertdev Sep 15, 2025
4e28612
Port a bunch of stuff from rustc and fix a bunch of type mismatches/d…
ChayimFriedman2 Sep 15, 2025
487cdbc
fix: More precise clause filtering for `explicit_*_predicates_of`
ShoyuVanilla Sep 15, 2025
c1242fa
Merge pull request #1921 from a4lg/riscv-inline-asm-general-improvements
sayantn Sep 15, 2025
933cce6
Merge pull request #20671 from ShoyuVanilla/explicit-preds-fix
ChayimFriedman2 Sep 15, 2025
181bd11
fix: Fix expand macro recursively not working correctly for nested ma…
Veykril Sep 5, 2025
8a9ec5d
fix: Only compute unstable paths on nightly toolchains for IDE features
Veykril Aug 23, 2025
9699d35
Workaround lsp-types typo
Veykril Aug 7, 2025
fd28cc8
Add more workaround hacks for incorrect startup diagnostics
Veykril Aug 7, 2025
b4151f8
Merge pull request #20517 from Veykril/veykril/push-wrurmtqppzus
Veykril Sep 16, 2025
16feb82
Merge pull request #20402 from rust-lang/veykril/push-pursotqxutsx
Veykril Sep 16, 2025
1b3c3a8
Merge pull request #20612 from Veykril/veykril/push-vzuykrsxvrts
Veykril Sep 16, 2025
d23909d
rustup
RalfJung Sep 16, 2025
4b35fed
Merge pull request #4588 from RalfJung/rustup
RalfJung Sep 16, 2025
f71f756
Fix "sync-from-ra" for `rust-lang/rust`
ShoyuVanilla Sep 16, 2025
dfa11e7
Merge pull request #20677 from ShoyuVanilla/fix-ena
davidbarsky Sep 16, 2025
ad19341
Merge pull request #20379 from skewb1k/fix/consistent-hover-doc-breaks
ChayimFriedman2 Sep 17, 2025
06e8810
Prepare for merging from rust-lang/rust
Sep 17, 2025
1672251
Merge ref '3f1552a273e4' from rust-lang/rust
Sep 17, 2025
9e8e4af
Merge pull request #4590 from rust-lang/rustup-2025-09-17
oli-obk Sep 17, 2025
ea8bacc
rustc_codegen_llvm: Name major version of LLVM
a4lg Sep 17, 2025
d9f67cb
rustc_codegen_llvm: Simplify `arch` conversion
a4lg Sep 17, 2025
a1a3cd0
rustc_codegen_llvm: Reorder conversion cases
a4lg Sep 17, 2025
6e10163
Add the `rust-analyzer.semanticHighlighting.comments.enable` configur…
btj Sep 17, 2025
1718127
Merge pull request #20583 from btj/comments-enable
ChayimFriedman2 Sep 17, 2025
28b0e4e
Fix applicable on variant field for change_visibility
A4-Tacks Sep 17, 2025
bb7cdc2
Merge pull request #20682 from A4-Tacks/fix-change-vis-applicable-on-…
ShoyuVanilla Sep 17, 2025
9cdc09b
readdir for freebsd
LorrensP-2158466 Sep 16, 2025
19b9676
Merge pull request #4589 from LorrensP-2158466/freebsd-readdir
RalfJung Sep 17, 2025
f900758
std: Fix WASI implementation of `remove_dir_all`
alexcrichton Sep 17, 2025
a520c46
Merge pull request #20664 from ChayimFriedman2/coerce-ns
ChayimFriedman2 Sep 18, 2025
6e74905
Set lto="fat" automatically when compiling with RUSTFLAGS="-Zautodif…
Hayden602 Sep 3, 2025
2c1f1f0
Add GenMC estimation mode. Improve error handling and output printing.
Patrick-6 Sep 8, 2025
7e270ab
chore: Update rustc deps
ShoyuVanilla Sep 18, 2025
42466b5
Merge pull request #20690 from ShoyuVanilla/update-rustc
lnicola Sep 18, 2025
c6b4f6f
Bump rustc crates again
lnicola Sep 18, 2025
4f24cc6
Merge pull request #20691 from lnicola/bump-rustc-again
ShoyuVanilla Sep 18, 2025
7f55f57
Allow windows resource compiler to be overridden
erickt Sep 12, 2025
60f0407
fix: Fix `indexmap` with `in-rust-tree`
ShoyuVanilla Sep 18, 2025
ddbfd3a
Merge pull request #20693 from ShoyuVanilla/fix-indexmap-in-tree
lnicola Sep 18, 2025
3ba8b8e
minor: Yet another rustc crates bump
ShoyuVanilla Sep 18, 2025
9348de0
Merge pull request #20694 from ShoyuVanilla/bump-rustc
lnicola Sep 18, 2025
00bfe9c
tweak genmc error report note
RalfJung Sep 18, 2025
01cd04f
fix: Fix one more thing in `in-rust-tree`
ShoyuVanilla Sep 18, 2025
c68acff
Merge pull request #20695 from ShoyuVanilla/fix-another-in-tree
ShoyuVanilla Sep 18, 2025
045e5e3
Merge pull request #4583 from Patrick-6/miri-genmc-estimation
RalfJung Sep 18, 2025
f19b560
implement sqrt for f16 and f128
RalfJung Sep 18, 2025
77f2d86
share sqrt implemention across float types
RalfJung Sep 18, 2025
45e5c76
fix tidy spellchecking on windows
beepster4096 Sep 18, 2025
11ffdb5
Merge pull request #4592 from RalfJung/sqrt
RalfJung Sep 18, 2025
7af6e59
update lockfile
RalfJung Sep 18, 2025
a08e649
move `mod canonical` out of `eval_ctxt`
lcnr Sep 16, 2025
b83c0f0
canonical: yeet `EvalCtxt`, mk `Canonicalizer` private
lcnr Sep 16, 2025
6870e24
Set WithCachedTypeInfo::stable_hash when in-tree
lnicola Sep 19, 2025
fefecbc
Merge pull request #20699 from lnicola/ena-fingerprint
lnicola Sep 19, 2025
1db74d4
fix miri bootstrap build
RalfJung Sep 19, 2025
09d3120
std: simplify host lookup
joboet Sep 14, 2025
a977b1a
Rollup merge of #146229 - Hayden602:issue-142796-fix, r=ZuseZ4
Zalathar Sep 19, 2025
b6d825b
Rollup merge of #146541 - joboet:simplify-lookup-host, r=tgross35
Zalathar Sep 19, 2025
1811a53
Rollup merge of #146615 - a4lg:codegen-llvm-feature-conversion-tidyin…
Zalathar Sep 19, 2025
c253941
Rollup merge of #146638 - lcnr:canonical-separate-module, r=BoxyUwU
Zalathar Sep 19, 2025
4c30109
Rollup merge of #146663 - erickt:win, r=wesleywiser
Zalathar Sep 19, 2025
73142fe
Rollup merge of #146691 - alexcrichton:wasip1-remove-dir-all-buffer, …
Zalathar Sep 19, 2025
f9d7984
Rollup merge of #146709 - a4lg:stdarch-sync-20250917, r=Kobzol
Zalathar Sep 19, 2025
6001df8
Rollup merge of #146738 - beepster4096:widnows, r=jieyouxu
Zalathar Sep 19, 2025
5e52bf9
Rollup merge of #146740 - RalfJung:miri, r=RalfJung
Zalathar Sep 19, 2025
5a65a24
Rollup merge of #146749 - lnicola:sync-from-ra, r=lnicola
Zalathar Sep 19, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
37 changes: 22 additions & 15 deletions Cargo.lock
Original file line number Diff line number Diff line change
Expand Up @@ -674,7 +674,7 @@ checksum = "fe6d2e5af09e8c8ad56c969f2157a3d4238cebc7c55f0a517728c38f7b200f81"
dependencies = [
"serde",
"termcolor",
"unicode-width 0.1.14",
"unicode-width 0.2.1",
]

[[package]]
Expand Down Expand Up @@ -937,23 +937,24 @@ dependencies = [

[[package]]
name = "cxx"
version = "1.0.168"
version = "1.0.185"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7aa144b12f11741f0dab5b4182896afad46faa0598b6a061f7b9d17a21837ba7"
checksum = "2f81de88da10862f22b5b3a60f18f6f42bbe7cb8faa24845dd7b1e4e22190e77"
dependencies = [
"cc",
"cxx-build",
"cxxbridge-cmd",
"cxxbridge-flags",
"cxxbridge-macro",
"foldhash",
"foldhash 0.2.0",
"link-cplusplus",
]

[[package]]
name = "cxx-build"
version = "1.0.168"
version = "1.0.185"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "12d3cbb84fb003242941c231b45ca9417e786e66e94baa39584bd99df3a270b6"
checksum = "5edd58bf75c3fdfc80d79806403af626570662f7b6cc782a7fabe156166bd6d6"
dependencies = [
"cc",
"codespan-reporting",
Expand All @@ -966,9 +967,9 @@ dependencies = [

[[package]]
name = "cxxbridge-cmd"
version = "1.0.168"
version = "1.0.185"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3fa36b7b249d43f67a3f54bd65788e35e7afe64bbc671396387a48b3e8aaea94"
checksum = "fd46bf2b541a4e0c2d5abba76607379ee05d68e714868e3cb406dc8d591ce2d2"
dependencies = [
"clap",
"codespan-reporting",
Expand All @@ -980,15 +981,15 @@ dependencies = [

[[package]]
name = "cxxbridge-flags"
version = "1.0.168"
version = "1.0.185"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77707c70f6563edc5429618ca34a07241b75ebab35bd01d46697c75d58f8ddfe"
checksum = "2c79b68f6a3a8f809d39b38ae8af61305a6113819b19b262643b9c21353b92d9"

[[package]]
name = "cxxbridge-macro"
version = "1.0.168"
version = "1.0.185"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ede6c0fb7e318f0a11799b86ee29dcf17b9be2960bd379a6c38e1a96a6010fff"
checksum = "862b7fdb048ff9ef0779a0d0a03affd09746c4c875543746b640756be9cff2af"
dependencies = [
"indexmap",
"proc-macro2",
Expand Down Expand Up @@ -1388,6 +1389,12 @@ version = "0.1.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2"

[[package]]
name = "foldhash"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77ce24cb58228fbb8aa041425bb1050850ac19177686ea6e0f41a70416f56fdb"

[[package]]
name = "form_urlencoded"
version = "1.2.1"
Expand Down Expand Up @@ -1567,7 +1574,7 @@ checksum = "9229cfe53dfd69f0609a49f65461bd93001ea1ef889cd5529dd176593f5338a1"
dependencies = [
"allocator-api2",
"equivalent",
"foldhash",
"foldhash 0.1.5",
"serde",
]

Expand Down Expand Up @@ -2160,9 +2167,9 @@ dependencies = [

[[package]]
name = "link-cplusplus"
version = "1.0.10"
version = "1.0.12"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4a6f6da007f968f9def0d65a05b187e2960183de70c160204ecfccf0ee330212"
checksum = "7f78c730aaa7d0b9336a299029ea49f9ee53b0ed06e9202e8cb7db9bae7b8c82"
dependencies = [
"cc",
]
Expand Down
3 changes: 3 additions & 0 deletions bootstrap.example.toml
Original file line number Diff line number Diff line change
Expand Up @@ -325,6 +325,9 @@
# Defaults to the Python interpreter used to execute x.py.
#build.python = "python"

# The path to (or name of) the resource compiler executable to use on Windows.
#build.windows-rc = "rc.exe"

# The path to the REUSE executable to use. Note that REUSE is not required in
# most cases, as our tooling relies on a cached (and shrunk) copy of the
# REUSE output present in the git repository and in our source tarballs.
Expand Down
42 changes: 20 additions & 22 deletions compiler/rustc_codegen_llvm/src/llvm_util.rs
Original file line number Diff line number Diff line change
Expand Up @@ -217,27 +217,16 @@ impl<'a> IntoIterator for LLVMFeature<'a> {
/// Rust can also be build with an external precompiled version of LLVM which might lead to failures
/// if the oldest tested / supported LLVM version doesn't yet support the relevant intrinsics.
pub(crate) fn to_llvm_features<'a>(sess: &Session, s: &'a str) -> Option<LLVMFeature<'a>> {
let arch = if sess.target.arch == "x86_64" {
"x86"
} else if sess.target.arch == "arm64ec" {
"aarch64"
} else if sess.target.arch == "sparc64" {
"sparc"
} else if sess.target.arch == "powerpc64" {
"powerpc"
} else {
&*sess.target.arch
let raw_arch = &*sess.target.arch;
let arch = match raw_arch {
"x86_64" => "x86",
"arm64ec" => "aarch64",
"sparc64" => "sparc",
"powerpc64" => "powerpc",
_ => raw_arch,
};
let (major, _, _) = get_version();
match (arch, s) {
("x86", "sse4.2") => Some(LLVMFeature::with_dependencies(
"sse4.2",
smallvec![TargetFeatureFoldStrength::EnableOnly("crc32")],
)),
("x86", "pclmulqdq") => Some(LLVMFeature::new("pclmul")),
("x86", "rdrand") => Some(LLVMFeature::new("rdrnd")),
("x86", "bmi1") => Some(LLVMFeature::new("bmi")),
("x86", "cmpxchg16b") => Some(LLVMFeature::new("cx16")),
("x86", "lahfsahf") => Some(LLVMFeature::new("sahf")),
("aarch64", "rcpc2") => Some(LLVMFeature::new("rcpc-immo")),
("aarch64", "dpb") => Some(LLVMFeature::new("ccpp")),
("aarch64", "dpb2") => Some(LLVMFeature::new("ccdp")),
Expand All @@ -260,14 +249,23 @@ pub(crate) fn to_llvm_features<'a>(sess: &Session, s: &'a str) -> Option<LLVMFea
("aarch64", "fpmr") => None, // only existed in 18
("arm", "fp16") => Some(LLVMFeature::new("fullfp16")),
// Filter out features that are not supported by the current LLVM version
("loongarch32" | "loongarch64", "32s") if get_version().0 < 21 => None,
("loongarch32" | "loongarch64", "32s") if major < 21 => None,
("powerpc", "power8-crypto") => Some(LLVMFeature::new("crypto")),
("sparc", "leoncasa") => Some(LLVMFeature::new("hasleoncasa")),
("x86", "sse4.2") => Some(LLVMFeature::with_dependencies(
"sse4.2",
smallvec![TargetFeatureFoldStrength::EnableOnly("crc32")],
)),
("x86", "pclmulqdq") => Some(LLVMFeature::new("pclmul")),
("x86", "rdrand") => Some(LLVMFeature::new("rdrnd")),
("x86", "bmi1") => Some(LLVMFeature::new("bmi")),
("x86", "cmpxchg16b") => Some(LLVMFeature::new("cx16")),
("x86", "lahfsahf") => Some(LLVMFeature::new("sahf")),
// Enable the evex512 target feature if an avx512 target feature is enabled.
("x86", s) if s.starts_with("avx512") => Some(LLVMFeature::with_dependencies(
s,
smallvec![TargetFeatureFoldStrength::EnableOnly("evex512")],
)),
("sparc", "leoncasa") => Some(LLVMFeature::new("hasleoncasa")),
("powerpc", "power8-crypto") => Some(LLVMFeature::new("crypto")),
("x86", "avx10.1") => Some(LLVMFeature::new("avx10.1-512")),
("x86", "avx10.2") => Some(LLVMFeature::new("avx10.2-512")),
("x86", "apxf") => Some(LLVMFeature::with_dependencies(
Expand Down
2 changes: 0 additions & 2 deletions compiler/rustc_codegen_ssa/messages.ftl
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,6 @@ codegen_ssa_aix_strip_not_used = using host's `strip` binary to cross-compile to
codegen_ssa_archive_build_failure = failed to build archive at `{$path}`: {$error}
codegen_ssa_autodiff_without_lto = using the autodiff feature requires using fat-lto
codegen_ssa_bare_instruction_set = `#[instruction_set]` requires an argument
codegen_ssa_binary_output_to_tty = option `-o` or `--emit` is used to write binary output type `{$shorthand}` to stdout, but stdout is a tty
Expand Down
4 changes: 0 additions & 4 deletions compiler/rustc_codegen_ssa/src/errors.rs
Original file line number Diff line number Diff line change
Expand Up @@ -37,10 +37,6 @@ pub(crate) struct CguNotRecorded<'a> {
pub cgu_name: &'a str,
}

#[derive(Diagnostic)]
#[diag(codegen_ssa_autodiff_without_lto)]
pub struct AutodiffWithoutLto;

#[derive(Diagnostic)]
#[diag(codegen_ssa_unknown_reuse_kind)]
pub(crate) struct UnknownReuseKind {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ enum CanonicalizeMode {
},
}

pub struct Canonicalizer<'a, D: SolverDelegate<Interner = I>, I: Interner> {
pub(super) struct Canonicalizer<'a, D: SolverDelegate<Interner = I>, I: Interner> {
delegate: &'a D,

// Immutable field.
Expand All @@ -83,7 +83,7 @@ pub struct Canonicalizer<'a, D: SolverDelegate<Interner = I>, I: Interner> {
}

impl<'a, D: SolverDelegate<Interner = I>, I: Interner> Canonicalizer<'a, D, I> {
pub fn canonicalize_response<T: TypeFoldable<I>>(
pub(super) fn canonicalize_response<T: TypeFoldable<I>>(
delegate: &'a D,
max_input_universe: ty::UniverseIndex,
variables: &'a mut Vec<I::GenericArg>,
Expand Down Expand Up @@ -112,7 +112,6 @@ impl<'a, D: SolverDelegate<Interner = I>, I: Interner> Canonicalizer<'a, D, I> {
let (max_universe, variables) = canonicalizer.finalize();
Canonical { max_universe, variables, value }
}

fn canonicalize_param_env(
delegate: &'a D,
variables: &'a mut Vec<I::GenericArg>,
Expand Down Expand Up @@ -195,7 +194,7 @@ impl<'a, D: SolverDelegate<Interner = I>, I: Interner> Canonicalizer<'a, D, I> {
///
/// We want to keep the option of canonicalizing `'static` to an existential
/// variable in the future by changing the way we detect global where-bounds.
pub fn canonicalize_input<P: TypeFoldable<I>>(
pub(super) fn canonicalize_input<P: TypeFoldable<I>>(
delegate: &'a D,
variables: &'a mut Vec<I::GenericArg>,
input: QueryInput<I, P>,
Expand Down
Loading
Loading