rust/src/librustc_mir/monomorphize, branch master

mv compiler to compiler/

2020-08-30T15:45:07+00:00

Auto merge of #74275 - wesleywiser:break_up_partitioning_rs, r=pnkfelix

2020-08-25T18:52:11+00:00

Refactor the partitioning module to make it easier to introduce new algorithms I've split the `librustc_mir::monomorphize::partitioning` module into a few files and introduced a `Partitioner` trait which allows us to decouple the partitioning algorithm from the code which integrates it into the query system. This should allow us to introduce new partitioning algorithms much more easily. I've also gone ahead and added a `-Z` flag to control which algorithm is used (currently there is only the `default`). I left a few comments in places where things might be improved further. r? @pnkfelix cc @rust-lang/wg-incr-comp

hir: consistent use and naming of lang items

2020-08-24T11:17:51+00:00

This commit adjusts the naming of various lang items so that they are consistent and don't include prefixes containing the target or "LangItem". In addition, lang item variants are no longer exported from the `lang_items` module. Signed-off-by: David Wood

Add partitioning -Z option to control which partitioning scheme is used

2020-08-22T00:03:30+00:00

Split partitioning.rs into a module

2020-08-22T00:03:18+00:00

Add a CGU partitioning trait

2020-08-22T00:02:48+00:00

This will allow us to prototype different partitioning schemes without adding a lot of extra conditionals everywhere.

polymorphize: ∃ used param ∈ predicate → all used

2020-08-17T13:13:58+00:00

This commit modifies polymorphization's handling of predicates so that if any generic parameter is used in a predicate then all parameters in that predicate are used. Signed-off-by: David Wood

polymorphize: `I` used if `T` used in `I: Foo`

2020-08-14T22:01:14+00:00

This commit adjusts polymorphization's handling of predicates so that after ensuring that `T` is used in `I: Foo` if `I` is used, it now ensures that `I` is used if `T` is used in `I: Foo`. This is necessary to mark generic parameters that only exist in impl parameters as used - thereby avoiding symbol clashes when using the new mangling scheme. Signed-off-by: David Wood

polymorphize: constrain unevaluated const handling

2020-08-10T12:23:19+00:00

This commit constrains the support added for handling unevaluated consts in polymorphization (introduced in #75260) by: - Skipping associated constants as this causes cycle errors. - Skipping promoted constants when they contain `Self` as this ensures `T` is used in constants of the form `>`. Signed-off-by: David Wood

Auto merge of #75260 - davidtwco:polymorphization-promoted-substs, r=lcnr

2020-08-08T15:57:12+00:00

polymorphize: unevaluated constants This PR makes polymorphization visit the promoted MIR of unevaluated constants with available promoted MIR instead of visiting the substitutions of that constant - which will mark all of the generic parameters as used; in addition polymorphization will now visit non-promoted unevaluated constants rather than visit their substs. r? @lcnr