]> git.lizzy.rs Git - rust.git/blob - compiler/rustc_codegen_cranelift/src/discriminant.rs
Auto merge of #80828 - SNCPlay42:opaque-projections, r=estebank
[rust.git] / compiler / rustc_codegen_cranelift / src / discriminant.rs
1 //! Handling of enum discriminants
2 //!
3 //! Adapted from <https://github.com/rust-lang/rust/blob/d760df5aea483aae041c9a241e7acacf48f75035/src/librustc_codegen_ssa/mir/place.rs>
4
5 use rustc_target::abi::{Int, TagEncoding, Variants};
6
7 use crate::prelude::*;
8
9 pub(crate) fn codegen_set_discriminant<'tcx>(
10     fx: &mut FunctionCx<'_, '_, 'tcx>,
11     place: CPlace<'tcx>,
12     variant_index: VariantIdx,
13 ) {
14     let layout = place.layout();
15     if layout.for_variant(fx, variant_index).abi.is_uninhabited() {
16         return;
17     }
18     match layout.variants {
19         Variants::Single { index } => {
20             assert_eq!(index, variant_index);
21         }
22         Variants::Multiple {
23             tag: _,
24             tag_field,
25             tag_encoding: TagEncoding::Direct,
26             variants: _,
27         } => {
28             let ptr = place.place_field(fx, mir::Field::new(tag_field));
29             let to = layout.ty.discriminant_for_variant(fx.tcx, variant_index).unwrap().val;
30             let to = if ptr.layout().abi.is_signed() {
31                 ty::ScalarInt::try_from_int(
32                     ptr.layout().size.sign_extend(to) as i128,
33                     ptr.layout().size,
34                 )
35                 .unwrap()
36             } else {
37                 ty::ScalarInt::try_from_uint(to, ptr.layout().size).unwrap()
38             };
39             let discr = CValue::const_val(fx, ptr.layout(), to);
40             ptr.write_cvalue(fx, discr);
41         }
42         Variants::Multiple {
43             tag: _,
44             tag_field,
45             tag_encoding: TagEncoding::Niche { dataful_variant, ref niche_variants, niche_start },
46             variants: _,
47         } => {
48             if variant_index != dataful_variant {
49                 let niche = place.place_field(fx, mir::Field::new(tag_field));
50                 let niche_value = variant_index.as_u32() - niche_variants.start().as_u32();
51                 let niche_value = ty::ScalarInt::try_from_uint(
52                     u128::from(niche_value).wrapping_add(niche_start),
53                     niche.layout().size,
54                 )
55                 .unwrap();
56                 let niche_llval = CValue::const_val(fx, niche.layout(), niche_value);
57                 niche.write_cvalue(fx, niche_llval);
58             }
59         }
60     }
61 }
62
63 pub(crate) fn codegen_get_discriminant<'tcx>(
64     fx: &mut FunctionCx<'_, '_, 'tcx>,
65     value: CValue<'tcx>,
66     dest_layout: TyAndLayout<'tcx>,
67 ) -> CValue<'tcx> {
68     let layout = value.layout();
69
70     if layout.abi == Abi::Uninhabited {
71         return trap_unreachable_ret_value(
72             fx,
73             dest_layout,
74             "[panic] Tried to get discriminant for uninhabited type.",
75         );
76     }
77
78     let (tag_scalar, tag_field, tag_encoding) = match &layout.variants {
79         Variants::Single { index } => {
80             let discr_val = layout
81                 .ty
82                 .discriminant_for_variant(fx.tcx, *index)
83                 .map_or(u128::from(index.as_u32()), |discr| discr.val);
84             let discr_val = if dest_layout.abi.is_signed() {
85                 ty::ScalarInt::try_from_int(
86                     dest_layout.size.sign_extend(discr_val) as i128,
87                     dest_layout.size,
88                 )
89                 .unwrap()
90             } else {
91                 ty::ScalarInt::try_from_uint(discr_val, dest_layout.size).unwrap()
92             };
93             return CValue::const_val(fx, dest_layout, discr_val);
94         }
95         Variants::Multiple { tag, tag_field, tag_encoding, variants: _ } => {
96             (tag, *tag_field, tag_encoding)
97         }
98     };
99
100     let cast_to = fx.clif_type(dest_layout.ty).unwrap();
101
102     // Read the tag/niche-encoded discriminant from memory.
103     let tag = value.value_field(fx, mir::Field::new(tag_field));
104     let tag = tag.load_scalar(fx);
105
106     // Decode the discriminant (specifically if it's niche-encoded).
107     match *tag_encoding {
108         TagEncoding::Direct => {
109             let signed = match tag_scalar.value {
110                 Int(_, signed) => signed,
111                 _ => false,
112             };
113             let val = clif_intcast(fx, tag, cast_to, signed);
114             CValue::by_val(val, dest_layout)
115         }
116         TagEncoding::Niche { dataful_variant, ref niche_variants, niche_start } => {
117             // Rebase from niche values to discriminants, and check
118             // whether the result is in range for the niche variants.
119
120             // We first compute the "relative discriminant" (wrt `niche_variants`),
121             // that is, if `n = niche_variants.end() - niche_variants.start()`,
122             // we remap `niche_start..=niche_start + n` (which may wrap around)
123             // to (non-wrap-around) `0..=n`, to be able to check whether the
124             // discriminant corresponds to a niche variant with one comparison.
125             // We also can't go directly to the (variant index) discriminant
126             // and check that it is in the range `niche_variants`, because
127             // that might not fit in the same type, on top of needing an extra
128             // comparison (see also the comment on `let niche_discr`).
129             let relative_discr = if niche_start == 0 {
130                 tag
131             } else {
132                 // FIXME handle niche_start > i64::MAX
133                 fx.bcx.ins().iadd_imm(tag, -i64::try_from(niche_start).unwrap())
134             };
135             let relative_max = niche_variants.end().as_u32() - niche_variants.start().as_u32();
136             let is_niche = {
137                 codegen_icmp_imm(
138                     fx,
139                     IntCC::UnsignedLessThanOrEqual,
140                     relative_discr,
141                     i128::from(relative_max),
142                 )
143             };
144
145             // NOTE(eddyb) this addition needs to be performed on the final
146             // type, in case the niche itself can't represent all variant
147             // indices (e.g. `u8` niche with more than `256` variants,
148             // but enough uninhabited variants so that the remaining variants
149             // fit in the niche).
150             // In other words, `niche_variants.end - niche_variants.start`
151             // is representable in the niche, but `niche_variants.end`
152             // might not be, in extreme cases.
153             let niche_discr = {
154                 let relative_discr = if relative_max == 0 {
155                     // HACK(eddyb) since we have only one niche, we know which
156                     // one it is, and we can avoid having a dynamic value here.
157                     fx.bcx.ins().iconst(cast_to, 0)
158                 } else {
159                     clif_intcast(fx, relative_discr, cast_to, false)
160                 };
161                 fx.bcx.ins().iadd_imm(relative_discr, i64::from(niche_variants.start().as_u32()))
162             };
163
164             let dataful_variant = fx.bcx.ins().iconst(cast_to, i64::from(dataful_variant.as_u32()));
165             let discr = fx.bcx.ins().select(is_niche, niche_discr, dataful_variant);
166             CValue::by_val(discr, dest_layout)
167         }
168     }
169 }