rust/src/librustc_mir/interpret
bors 7f8ff84b51 Auto merge of #75155 - davidtwco:polymorphization-incr-comp-optimisations, r=lcnr
polymorphization: various improvements

This PR includes a handful of polymorphisation-related changes:

- @Mark-Simulacrum's suggestions [from this comment](https://github.com/rust-lang/rust/pull/74633#issuecomment-668684433):
    - Use a `FiniteBitSet<u32>` over a `FiniteBitSet<u64>` as most functions won't have 64 generic parameters.
    - Don't encode polymorphisation results in metadata when every parameter is used (in this case, just invoking polymorphisation will probably be quicker).
- @lcnr's suggestion [from this comment](https://github.com/rust-lang/rust/pull/74717#discussion_r463690015).
    - Add an debug assertion in `ensure_monomorphic_enough` to make sure that polymorphisation did what we expect.

r? @lcnr
2020-08-05 06:55:42 +00:00
..
intrinsics make all uses of ty::Error or ConstKind::Error delay a span bug 2020-06-15 18:25:58 -05:00
cast.rs interp: needs_subst -> ensure_monomorphic_enough 2020-07-31 16:36:42 +01:00
eval_context.rs Auto merge of #74726 - oli-obk:tracing, r=Mark-Simulacrum 2020-08-01 20:43:12 +00:00
intern.rs Make is_freeze and is_copy_modulo_regions take TyCtxtAt 2020-06-21 11:47:19 +02:00
intrinsics.rs Auto merge of #74717 - davidtwco:issue-74636-polymorphized-closures-inherited-params, r=oli-obk 2020-08-01 02:48:34 +00:00
machine.rs Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is called only when a pointer is 'imported' into the machine 2020-07-26 11:11:17 +02:00
memory.rs Correct a typo in interpret/memory.rs 2020-08-04 23:01:32 +08:00
mod.rs Auto merge of #74717 - davidtwco:issue-74636-polymorphized-closures-inherited-params, r=oli-obk 2020-08-01 02:48:34 +00:00
operand.rs Auto merge of #74775 - RalfJung:miri-alloc-ids, r=oli-obk 2020-07-27 13:07:46 +00:00
operator.rs Miri: replace many bug! by span_bug! 2020-06-21 16:13:31 +02:00
place.rs Replace all uses of log::log_enabled with Debug printers 2020-07-28 16:15:40 +02:00
step.rs Replace all uses of log::log_enabled with Debug printers 2020-07-28 16:15:40 +02:00
terminator.rs renamed ScalarMaybeUninit::not_undef to check_init 2020-07-22 22:58:11 -06:00
traits.rs Auto merge of #74717 - davidtwco:issue-74636-polymorphized-closures-inherited-params, r=oli-obk 2020-08-01 02:48:34 +00:00
util.rs mir: add debug assertion to check polymorphization 2020-08-04 20:09:31 +01:00
validity.rs renamed ScalarMaybeUninit::not_undef to check_init 2020-07-22 22:58:11 -06:00
visitor.rs catch errors more locally around read_discriminant 2020-07-05 13:40:27 +02:00