rust/compiler/rustc_interface/src/interface.rs, branch 1.71.1

Don't leak the function that is called on drop

2023-05-23T14:53:36+00:00

Avoid `&format("...")` calls in error message code.

2023-05-16T07:59:56+00:00

Error message all end up passing into a function as an `impl Into<{D,Subd}iagnosticMessage>`. If an error message is creatd as `&format("...")` that means we allocate a string (in the `format!` call), then take a reference, and then clone (allocating again) the reference to produce the `{D,Subd}iagnosticMessage`, which is silly. This commit removes the leading `&` from a lot of these cases. This means the original `String` is moved into the `{D,Subd}iagnosticMessage`, avoiding the double allocations. This requires changing some function argument types from `&str` to `String` (when all arguments are `String`) or `impl Into<{D,Subd}iagnosticMessage>` (when some arguments are `String` and some are `&str`).

Move expansion of query macros in rustc_middle to rustc_middle::query

2023-05-15T06:49:13+00:00

Auto merge of #108638 - Zoxc:erase-query-values-map, r=cjgillot

2023-05-14T13:47:01+00:00

Use dynamic dispatch for queries This replaces most concrete query values `V` with `MaybeUninit<[u8; { size_of::() }]>` reducing the code instantiated by queries. The compile time of `rustc_query_impl` is reduced by 27%. It is an alternative to https://github.com/rust-lang/rust/pull/107937 which uses unstable const generics while this uses a `EraseType` trait which maps query values to their erased variant. This is achieved by introducing an `Erased` type which does sanity check with `cfg(debug_assertions)`. The query caches gets instantiated with these erased types leaving the code in `rustc_query_system` unaware of them. `rustc_query_system` is changed to use instances of `QueryConfig` so that `rustc_query_impl` can pass in `DynamicConfig` which holds a pointer to a virtual table.

Benchmark	Before	After
Benchmark	Time	Time	%
🟣 clap:check	1.7055s	1.6949s	-0.62%
🟣 hyper:check	0.2547s	0.2528s	-0.73%
🟣 regex:check	0.9590s	0.9553s	-0.39%
🟣 syn:check	1.5457s	1.5440s	-0.11%
🟣 syntex_syntax:check	5.9092s	5.9009s	-0.14%
Total	10.3741s	10.3479s	-0.25%
Summary	1.0000s	0.9960s	-0.40%

Benchmark	Before	After
Benchmark	Time	Time	%
🟣 clap:check:initial	2.0605s	2.0575s	-0.15%
🟣 hyper:check:initial	0.3218s	0.3216s	-0.07%
🟣 regex:check:initial	1.1848s	1.1839s	-0.07%
🟣 syn:check:initial	1.9409s	1.9376s	-0.17%
🟣 syntex_syntax:check:initial	7.3105s	7.2928s	-0.24%
Total	12.8185s	12.7935s	-0.20%
Summary	1.0000s	0.9986s	-0.14%

Benchmark	Before	After
Benchmark	Time	Time	%
🟣 clap:check:unchanged	0.4606s	0.4617s	0.24%
🟣 hyper:check:unchanged	0.1335s	0.1336s	0.08%
🟣 regex:check:unchanged	0.3324s	0.3346s	0.65%
🟣 syn:check:unchanged	0.6268s	0.6307s	0.64%
🟣 syntex_syntax:check:unchanged	1.8248s	1.8508s	💔 1.43%
Total	3.3779s	3.4113s	0.99%
Summary	1.0000s	1.0061s	0.61%

It's based on https://github.com/rust-lang/rust/pull/108167. r? `@cjgillot`

Auto merge of #107586 - SparrowLii:parallel-query, r=cjgillot

2023-05-13T13:47:53+00:00

Introduce `DynSend` and `DynSync` auto trait for parallel compiler part of parallel-rustc #101566 This PR introduces `DynSend / DynSync` trait and `FromDyn / IntoDyn` structure in rustc_data_structure::marker. `FromDyn` can dynamically check data structures for thread safety when switching to parallel environments (such as calling `par_for_each_in`). This happens only when `-Z threads > 1` so it doesn't affect single-threaded mode's compile efficiency. r? `@cjgillot`

Fix --check-cfg bug with args order when parsing

2023-05-06T16:40:47+00:00

correct literals for dyn thread safe

2023-05-06T01:34:53+00:00

rename relative names in `sync`

2023-05-06T01:34:24+00:00

introduce `DynSend` and `DynSync` auto trait

2023-05-06T01:34:18+00:00

Improve internal representation of check-cfg

2023-05-05T11:06:47+00:00

This is done to simplify to relationship between names() and values() but also make thing clearer (having an Any to represent that any values are allowed) but also to allow the (none) + values expected cases that wasn't possible before.