diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2020-12-11 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2020-12-11 03:25:40 +0100 |
| commit | 686237c49aed588bf266e8dece3130b779605109 (patch) | |
| tree | 0cb5e0f8aa5cfe7a68929b76105f50b3ff428da7 /compiler/rustc_codegen_ssa/src | |
| parent | d32c320d7eee56706486fef6be778495303afe9e (diff) | |
| download | rust-686237c49aed588bf266e8dece3130b779605109.tar.gz rust-686237c49aed588bf266e8dece3130b779605109.zip | |
Lower `discriminant_value` intrinsic
This allows const propagation to evaluate comparisons involving field-less enums using derived implementations of `PartialEq` (after inlining `eq`).
Diffstat (limited to 'compiler/rustc_codegen_ssa/src')
| -rw-r--r-- | compiler/rustc_codegen_ssa/src/mir/rvalue.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_codegen_ssa/src/mir/rvalue.rs b/compiler/rustc_codegen_ssa/src/mir/rvalue.rs index 2ad470c2693..e3a6cabd600 100644 --- a/compiler/rustc_codegen_ssa/src/mir/rvalue.rs +++ b/compiler/rustc_codegen_ssa/src/mir/rvalue.rs @@ -489,6 +489,7 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> { mir::Rvalue::Discriminant(ref place) => { let discr_ty = rvalue.ty(self.mir, bx.tcx()); + let discr_ty = self.monomorphize(discr_ty); let discr = self .codegen_place(&mut bx, place.as_ref()) .codegen_get_discr(&mut bx, discr_ty); |