compiler/rustc_codegen_ssa/src/mir/place.rs

   1 use super::operand::OperandValue;
   2 use super::{FunctionCx, LocalRef};
   3
   4 use crate::common::IntPredicate;
   5 use crate::glue;
   6 use crate::traits::*;
   7
   8 use rustc_middle::mir;
   9 use rustc_middle::mir::tcx::PlaceTy;
  10 use rustc_middle::ty::layout::{HasTyCtxt, LayoutOf, TyAndLayout};
  11 use rustc_middle::ty::{self, Ty};
  12 use rustc_target::abi::{Abi, Align, FieldsShape, Int, Pointer, TagEncoding};
  13 use rustc_target::abi::{VariantIdx, Variants};
  14
  15 #[derive(Copy, Clone, Debug)]
  16 pub struct PlaceRef<'tcx, V> {
  17     /// A pointer to the contents of the place.
  18     pub llval: V,
  19
  20     /// This place's extra data if it is unsized, or `None` if null.
  21     pub llextra: Option<V>,
  22
  23     /// The monomorphized type of this place, including variant information.
  24     pub layout: TyAndLayout<'tcx>,
  25
  26     /// The alignment we know for this place.
  27     pub align: Align,
  28 }
  29
  30 impl<'a, 'tcx, V: CodegenObject> PlaceRef<'tcx, V> {
  31     pub fn new_sized(llval: V, layout: TyAndLayout<'tcx>) -> PlaceRef<'tcx, V> {
  32         assert!(layout.is_sized());
  33         PlaceRef { llval, llextra: None, layout, align: layout.align.abi }
  34     }
  35
  36     pub fn new_sized_aligned(
  37         llval: V,
  38         layout: TyAndLayout<'tcx>,
  39         align: Align,
  40     ) -> PlaceRef<'tcx, V> {
  41         assert!(layout.is_sized());
  42         PlaceRef { llval, llextra: None, layout, align }
  43     }
  44
  45     // FIXME(eddyb) pass something else for the name so no work is done
  46     // unless LLVM IR names are turned on (e.g. for `--emit=llvm-ir`).
  47     pub fn alloca<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
  48         bx: &mut Bx,
  49         layout: TyAndLayout<'tcx>,
  50     ) -> Self {
  51         assert!(layout.is_sized(), "tried to statically allocate unsized place");
  52         let tmp = bx.alloca(bx.cx().backend_type(layout), layout.align.abi);
  53         Self::new_sized(tmp, layout)
  54     }
  55
  56     /// Returns a place for an indirect reference to an unsized place.
  57     // FIXME(eddyb) pass something else for the name so no work is done
  58     // unless LLVM IR names are turned on (e.g. for `--emit=llvm-ir`).
  59     pub fn alloca_unsized_indirect<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
  60         bx: &mut Bx,
  61         layout: TyAndLayout<'tcx>,
  62     ) -> Self {
  63         assert!(layout.is_unsized(), "tried to allocate indirect place for sized values");
  64         let ptr_ty = bx.cx().tcx().mk_mut_ptr(layout.ty);
  65         let ptr_layout = bx.cx().layout_of(ptr_ty);
  66         Self::alloca(bx, ptr_layout)
  67     }
  68
  69     pub fn len<Cx: ConstMethods<'tcx, Value = V>>(&self, cx: &Cx) -> V {
  70         if let FieldsShape::Array { count, .. } = self.layout.fields {
  71             if self.layout.is_unsized() {
  72                 assert_eq!(count, 0);
  73                 self.llextra.unwrap()
  74             } else {
  75                 cx.const_usize(count)
  76             }
  77         } else {
  78             bug!("unexpected layout `{:#?}` in PlaceRef::len", self.layout)
  79         }
  80     }
  81 }
  82
  83 impl<'a, 'tcx, V: CodegenObject> PlaceRef<'tcx, V> {
  84     /// Access a field, at a point when the value's case is known.
  85     pub fn project_field<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
  86         self,
  87         bx: &mut Bx,
  88         ix: usize,
  89     ) -> Self {
  90         let field = self.layout.field(bx.cx(), ix);
  91         let offset = self.layout.fields.offset(ix);
  92         let effective_field_align = self.align.restrict_for_offset(offset);
  93
  94         let mut simple = || {
  95             let llval = match self.layout.abi {
  96                 _ if offset.bytes() == 0 => {
  97                     // Unions and newtypes only use an offset of 0.
  98                     // Also handles the first field of Scalar, ScalarPair, and Vector layouts.
  99                     self.llval
 100                 }
 101                 Abi::ScalarPair(a, b)
 102                     if offset == a.size(bx.cx()).align_to(b.align(bx.cx()).abi) =>
 103                 {
 104                     // Offset matches second field.
 105                     let ty = bx.backend_type(self.layout);
 106                     bx.struct_gep(ty, self.llval, 1)
 107                 }
 108                 Abi::Scalar(_) | Abi::ScalarPair(..) | Abi::Vector { .. } if field.is_zst() => {
 109                     // ZST fields are not included in Scalar, ScalarPair, and Vector layouts, so manually offset the pointer.
 110                     let byte_ptr = bx.pointercast(self.llval, bx.cx().type_i8p());
 111                     bx.gep(bx.cx().type_i8(), byte_ptr, &[bx.const_usize(offset.bytes())])
 112                 }
 113                 Abi::Scalar(_) | Abi::ScalarPair(..) => {
 114                     // All fields of Scalar and ScalarPair layouts must have been handled by this point.
 115                     // Vector layouts have additional fields for each element of the vector, so don't panic in that case.
 116                     bug!(
 117                         "offset of non-ZST field `{:?}` does not match layout `{:#?}`",
 118                         field,
 119                         self.layout
 120                     );
 121                 }
 122                 _ => {
 123                     let ty = bx.backend_type(self.layout);
 124                     bx.struct_gep(ty, self.llval, bx.cx().backend_field_index(self.layout, ix))
 125                 }
 126             };
 127             PlaceRef {
 128                 // HACK(eddyb): have to bitcast pointers until LLVM removes pointee types.
 129                 llval: bx.pointercast(llval, bx.cx().type_ptr_to(bx.cx().backend_type(field))),
 130                 llextra: if bx.cx().type_has_metadata(field.ty) { self.llextra } else { None },
 131                 layout: field,
 132                 align: effective_field_align,
 133             }
 134         };
 135
 136         // Simple cases, which don't need DST adjustment:
 137         //   * no metadata available - just log the case
 138         //   * known alignment - sized types, `[T]`, `str` or a foreign type
 139         //   * packed struct - there is no alignment padding
 140         match field.ty.kind() {
 141             _ if self.llextra.is_none() => {
 142                 debug!(
 143                     "unsized field `{}`, of `{:?}` has no metadata for adjustment",
 144                     ix, self.llval
 145                 );
 146                 return simple();
 147             }
 148             _ if field.is_sized() => return simple(),
 149             ty::Slice(..) | ty::Str | ty::Foreign(..) => return simple(),
 150             ty::Adt(def, _) => {
 151                 if def.repr().packed() {
 152                     // FIXME(eddyb) generalize the adjustment when we
 153                     // start supporting packing to larger alignments.
 154                     assert_eq!(self.layout.align.abi.bytes(), 1);
 155                     return simple();
 156                 }
 157             }
 158             _ => {}
 159         }
 160
 161         // We need to get the pointer manually now.
 162         // We do this by casting to a `*i8`, then offsetting it by the appropriate amount.
 163         // We do this instead of, say, simply adjusting the pointer from the result of a GEP
 164         // because the field may have an arbitrary alignment in the LLVM representation
 165         // anyway.
 166         //
 167         // To demonstrate:
 168         //
 169         //     struct Foo<T: ?Sized> {
 170         //         x: u16,
 171         //         y: T
 172         //     }
 173         //
 174         // The type `Foo<Foo<Trait>>` is represented in LLVM as `{ u16, { u16, u8 }}`, meaning that
 175         // the `y` field has 16-bit alignment.
 176
 177         let meta = self.llextra;
 178
 179         let unaligned_offset = bx.cx().const_usize(offset.bytes());
 180
 181         // Get the alignment of the field
 182         let (_, unsized_align) = glue::size_and_align_of_dst(bx, field.ty, meta);
 183
 184         // Bump the unaligned offset up to the appropriate alignment
 185         let offset = round_up_const_value_to_alignment(bx, unaligned_offset, unsized_align);
 186
 187         debug!("struct_field_ptr: DST field offset: {:?}", offset);
 188
 189         // Cast and adjust pointer.
 190         let byte_ptr = bx.pointercast(self.llval, bx.cx().type_i8p());
 191         let byte_ptr = bx.gep(bx.cx().type_i8(), byte_ptr, &[offset]);
 192
 193         // Finally, cast back to the type expected.
 194         let ll_fty = bx.cx().backend_type(field);
 195         debug!("struct_field_ptr: Field type is {:?}", ll_fty);
 196
 197         PlaceRef {
 198             llval: bx.pointercast(byte_ptr, bx.cx().type_ptr_to(ll_fty)),
 199             llextra: self.llextra,
 200             layout: field,
 201             align: effective_field_align,
 202         }
 203     }
 204
 205     /// Obtain the actual discriminant of a value.
 206     #[instrument(level = "trace", skip(bx))]
 207     pub fn codegen_get_discr<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
 208         self,
 209         bx: &mut Bx,
 210         cast_to: Ty<'tcx>,
 211     ) -> V {
 212         let dl = &bx.tcx().data_layout;
 213         let cast_to_layout = bx.cx().layout_of(cast_to);
 214         let cast_to_size = cast_to_layout.layout.size();
 215         let cast_to = bx.cx().immediate_backend_type(cast_to_layout);
 216         if self.layout.abi.is_uninhabited() {
 217             return bx.cx().const_undef(cast_to);
 218         }
 219         let (tag_scalar, tag_encoding, tag_field) = match self.layout.variants {
 220             Variants::Single { index } => {
 221                 let discr_val = self
 222                     .layout
 223                     .ty
 224                     .discriminant_for_variant(bx.cx().tcx(), index)
 225                     .map_or(index.as_u32() as u128, |discr| discr.val);
 226                 return bx.cx().const_uint_big(cast_to, discr_val);
 227             }
 228             Variants::Multiple { tag, ref tag_encoding, tag_field, .. } => {
 229                 (tag, tag_encoding, tag_field)
 230             }
 231         };
 232
 233         // Read the tag/niche-encoded discriminant from memory.
 234         let tag = self.project_field(bx, tag_field);
 235         let tag_op = bx.load_operand(tag);
 236         let tag_imm = tag_op.immediate();
 237
 238         // Decode the discriminant (specifically if it's niche-encoded).
 239         match *tag_encoding {
 240             TagEncoding::Direct => {
 241                 let signed = match tag_scalar.primitive() {
 242                     // We use `i1` for bytes that are always `0` or `1`,
 243                     // e.g., `#[repr(i8)] enum E { A, B }`, but we can't
 244                     // let LLVM interpret the `i1` as signed, because
 245                     // then `i1 1` (i.e., `E::B`) is effectively `i8 -1`.
 246                     Int(_, signed) => !tag_scalar.is_bool() && signed,
 247                     _ => false,
 248                 };
 249                 bx.intcast(tag_imm, cast_to, signed)
 250             }
 251             TagEncoding::Niche { untagged_variant, ref niche_variants, niche_start } => {
 252                 // Cast to an integer so we don't have to treat a pointer as a
 253                 // special case.
 254                 let (tag, tag_llty) = match tag_scalar.primitive() {
 255                     // FIXME(erikdesjardins): handle non-default addrspace ptr sizes
 256                     Pointer(_) => {
 257                         let t = bx.type_from_integer(dl.ptr_sized_integer());
 258                         let tag = bx.ptrtoint(tag_imm, t);
 259                         (tag, t)
 260                     }
 261                     _ => (tag_imm, bx.cx().immediate_backend_type(tag_op.layout)),
 262                 };
 263
 264                 let tag_size = tag_scalar.size(bx.cx());
 265                 let max_unsigned = tag_size.unsigned_int_max();
 266                 let max_signed = tag_size.signed_int_max() as u128;
 267                 let min_signed = max_signed + 1;
 268                 let relative_max = niche_variants.end().as_u32() - niche_variants.start().as_u32();
 269                 let niche_end = niche_start.wrapping_add(relative_max as u128) & max_unsigned;
 270                 let range = tag_scalar.valid_range(bx.cx());
 271
 272                 let sle = |lhs: u128, rhs: u128| -> bool {
 273                     // Signed and unsigned comparisons give the same results,
 274                     // except that in signed comparisons an integer with the
 275                     // sign bit set is less than one with the sign bit clear.
 276                     // Toggle the sign bit to do a signed comparison.
 277                     (lhs ^ min_signed) <= (rhs ^ min_signed)
 278                 };
 279
 280                 // We have a subrange `niche_start..=niche_end` inside `range`.
 281                 // If the value of the tag is inside this subrange, it's a
 282                 // "niche value", an increment of the discriminant. Otherwise it
 283                 // indicates the untagged variant.
 284                 // A general algorithm to extract the discriminant from the tag
 285                 // is:
 286                 // relative_tag = tag - niche_start
 287                 // is_niche = relative_tag <= (ule) relative_max
 288                 // discr = if is_niche {
 289                 //     cast(relative_tag) + niche_variants.start()
 290                 // } else {
 291                 //     untagged_variant
 292                 // }
 293                 // However, we will likely be able to emit simpler code.
 294
 295                 // Find the least and greatest values in `range`, considered
 296                 // both as signed and unsigned.
 297                 let (low_unsigned, high_unsigned) = if range.start <= range.end {
 298                     (range.start, range.end)
 299                 } else {
 300                     (0, max_unsigned)
 301                 };
 302                 let (low_signed, high_signed) = if sle(range.start, range.end) {
 303                     (range.start, range.end)
 304                 } else {
 305                     (min_signed, max_signed)
 306                 };
 307
 308                 let niches_ule = niche_start <= niche_end;
 309                 let niches_sle = sle(niche_start, niche_end);
 310                 let cast_smaller = cast_to_size <= tag_size;
 311
 312                 // In the algorithm above, we can change
 313                 // cast(relative_tag) + niche_variants.start()
 314                 // into
 315                 // cast(tag + (niche_variants.start() - niche_start))
 316                 // if either the casted type is no larger than the original
 317                 // type, or if the niche values are contiguous (in either the
 318                 // signed or unsigned sense).
 319                 let can_incr = cast_smaller || niches_ule || niches_sle;
 320
 321                 let data_for_boundary_niche = || -> Option<(IntPredicate, u128)> {
 322                     if !can_incr {
 323                         None
 324                     } else if niche_start == low_unsigned {
 325                         Some((IntPredicate::IntULE, niche_end))
 326                     } else if niche_end == high_unsigned {
 327                         Some((IntPredicate::IntUGE, niche_start))
 328                     } else if niche_start == low_signed {
 329                         Some((IntPredicate::IntSLE, niche_end))
 330                     } else if niche_end == high_signed {
 331                         Some((IntPredicate::IntSGE, niche_start))
 332                     } else {
 333                         None
 334                     }
 335                 };
 336
 337                 let (is_niche, tagged_discr, delta) = if relative_max == 0 {
 338                     // Best case scenario: only one tagged variant. This will
 339                     // likely become just a comparison and a jump.
 340                     // The algorithm is:
 341                     // is_niche = tag == niche_start
 342                     // discr = if is_niche {
 343                     //     niche_start
 344                     // } else {
 345                     //     untagged_variant
 346                     // }
 347                     let niche_start = bx.cx().const_uint_big(tag_llty, niche_start);
 348                     let is_niche = bx.icmp(IntPredicate::IntEQ, tag, niche_start);
 349                     let tagged_discr =
 350                         bx.cx().const_uint(cast_to, niche_variants.start().as_u32() as u64);
 351                     (is_niche, tagged_discr, 0)
 352                 } else if let Some((predicate, constant)) = data_for_boundary_niche() {
 353                     // The niche values are either the lowest or the highest in
 354                     // `range`. We can avoid the first subtraction in the
 355                     // algorithm.
 356                     // The algorithm is now this:
 357                     // is_niche = tag <= niche_end
 358                     // discr = if is_niche {
 359                     //     cast(tag + (niche_variants.start() - niche_start))
 360                     // } else {
 361                     //     untagged_variant
 362                     // }
 363                     // (the first line may instead be tag >= niche_start,
 364                     // and may be a signed or unsigned comparison)
 365                     // The arithmetic must be done before the cast, so we can
 366                     // have the correct wrapping behavior. See issue #104519 for
 367                     // the consequences of getting this wrong.
 368                     let is_niche =
 369                         bx.icmp(predicate, tag, bx.cx().const_uint_big(tag_llty, constant));
 370                     let delta = (niche_variants.start().as_u32() as u128).wrapping_sub(niche_start);
 371                     let incr_tag = if delta == 0 {
 372                         tag
 373                     } else {
 374                         bx.add(tag, bx.cx().const_uint_big(tag_llty, delta))
 375                     };
 376
 377                     let cast_tag = if cast_smaller {
 378                         bx.intcast(incr_tag, cast_to, false)
 379                     } else if niches_ule {
 380                         bx.zext(incr_tag, cast_to)
 381                     } else {
 382                         bx.sext(incr_tag, cast_to)
 383                     };
 384
 385                     (is_niche, cast_tag, 0)
 386                 } else {
 387                     // The special cases don't apply, so we'll have to go with
 388                     // the general algorithm.
 389                     let relative_discr = bx.sub(tag, bx.cx().const_uint_big(tag_llty, niche_start));
 390                     let cast_tag = bx.intcast(relative_discr, cast_to, false);
 391                     let is_niche = bx.icmp(
 392                         IntPredicate::IntULE,
 393                         relative_discr,
 394                         bx.cx().const_uint(tag_llty, relative_max as u64),
 395                     );
 396                     (is_niche, cast_tag, niche_variants.start().as_u32() as u128)
 397                 };
 398
 399                 let tagged_discr = if delta == 0 {
 400                     tagged_discr
 401                 } else {
 402                     bx.add(tagged_discr, bx.cx().const_uint_big(cast_to, delta))
 403                 };
 404
 405                 let discr = bx.select(
 406                     is_niche,
 407                     tagged_discr,
 408                     bx.cx().const_uint(cast_to, untagged_variant.as_u32() as u64),
 409                 );
 410
 411                 // In principle we could insert assumes on the possible range of `discr`, but
 412                 // currently in LLVM this seems to be a pessimization.
 413
 414                 discr
 415             }
 416         }
 417     }
 418
 419     /// Sets the discriminant for a new value of the given case of the given
 420     /// representation.
 421     pub fn codegen_set_discr<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
 422         &self,
 423         bx: &mut Bx,
 424         variant_index: VariantIdx,
 425     ) {
 426         if self.layout.for_variant(bx.cx(), variant_index).abi.is_uninhabited() {
 427             // We play it safe by using a well-defined `abort`, but we could go for immediate UB
 428             // if that turns out to be helpful.
 429             bx.abort();
 430             return;
 431         }
 432         match self.layout.variants {
 433             Variants::Single { index } => {
 434                 assert_eq!(index, variant_index);
 435             }
 436             Variants::Multiple { tag_encoding: TagEncoding::Direct, tag_field, .. } => {
 437                 let ptr = self.project_field(bx, tag_field);
 438                 let to =
 439                     self.layout.ty.discriminant_for_variant(bx.tcx(), variant_index).unwrap().val;
 440                 bx.store(
 441                     bx.cx().const_uint_big(bx.cx().backend_type(ptr.layout), to),
 442                     ptr.llval,
 443                     ptr.align,
 444                 );
 445             }
 446             Variants::Multiple {
 447                 tag_encoding:
 448                     TagEncoding::Niche { untagged_variant, ref niche_variants, niche_start },
 449                 tag_field,
 450                 ..
 451             } => {
 452                 if variant_index != untagged_variant {
 453                     let niche = self.project_field(bx, tag_field);
 454                     let niche_llty = bx.cx().immediate_backend_type(niche.layout);
 455                     let niche_value = variant_index.as_u32() - niche_variants.start().as_u32();
 456                     let niche_value = (niche_value as u128).wrapping_add(niche_start);
 457                     // FIXME(eddyb): check the actual primitive type here.
 458                     let niche_llval = if niche_value == 0 {
 459                         // HACK(eddyb): using `c_null` as it works on all types.
 460                         bx.cx().const_null(niche_llty)
 461                     } else {
 462                         bx.cx().const_uint_big(niche_llty, niche_value)
 463                     };
 464                     OperandValue::Immediate(niche_llval).store(bx, niche);
 465                 }
 466             }
 467         }
 468     }
 469
 470     pub fn project_index<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
 471         &self,
 472         bx: &mut Bx,
 473         llindex: V,
 474     ) -> Self {
 475         // Statically compute the offset if we can, otherwise just use the element size,
 476         // as this will yield the lowest alignment.
 477         let layout = self.layout.field(bx, 0);
 478         let offset = if let Some(llindex) = bx.const_to_opt_uint(llindex) {
 479             layout.size.checked_mul(llindex, bx).unwrap_or(layout.size)
 480         } else {
 481             layout.size
 482         };
 483
 484         PlaceRef {
 485             llval: bx.inbounds_gep(
 486                 bx.cx().backend_type(self.layout),
 487                 self.llval,
 488                 &[bx.cx().const_usize(0), llindex],
 489             ),
 490             llextra: None,
 491             layout,
 492             align: self.align.restrict_for_offset(offset),
 493         }
 494     }
 495
 496     pub fn project_downcast<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
 497         &self,
 498         bx: &mut Bx,
 499         variant_index: VariantIdx,
 500     ) -> Self {
 501         let mut downcast = *self;
 502         downcast.layout = self.layout.for_variant(bx.cx(), variant_index);
 503
 504         // Cast to the appropriate variant struct type.
 505         let variant_ty = bx.cx().backend_type(downcast.layout);
 506         downcast.llval = bx.pointercast(downcast.llval, bx.cx().type_ptr_to(variant_ty));
 507
 508         downcast
 509     }
 510
 511     pub fn project_type<Bx: BuilderMethods<'a, 'tcx, Value = V>>(
 512         &self,
 513         bx: &mut Bx,
 514         ty: Ty<'tcx>,
 515     ) -> Self {
 516         let mut downcast = *self;
 517         downcast.layout = bx.cx().layout_of(ty);
 518
 519         // Cast to the appropriate type.
 520         let variant_ty = bx.cx().backend_type(downcast.layout);
 521         downcast.llval = bx.pointercast(downcast.llval, bx.cx().type_ptr_to(variant_ty));
 522
 523         downcast
 524     }
 525
 526     pub fn storage_live<Bx: BuilderMethods<'a, 'tcx, Value = V>>(&self, bx: &mut Bx) {
 527         bx.lifetime_start(self.llval, self.layout.size);
 528     }
 529
 530     pub fn storage_dead<Bx: BuilderMethods<'a, 'tcx, Value = V>>(&self, bx: &mut Bx) {
 531         bx.lifetime_end(self.llval, self.layout.size);
 532     }
 533 }
 534
 535 impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
 536     #[instrument(level = "trace", skip(self, bx))]
 537     pub fn codegen_place(
 538         &mut self,
 539         bx: &mut Bx,
 540         place_ref: mir::PlaceRef<'tcx>,
 541     ) -> PlaceRef<'tcx, Bx::Value> {
 542         let cx = self.cx;
 543         let tcx = self.cx.tcx();
 544
 545         let mut base = 0;
 546         let mut cg_base = match self.locals[place_ref.local] {
 547             LocalRef::Place(place) => place,
 548             LocalRef::UnsizedPlace(place) => bx.load_operand(place).deref(cx),
 549             LocalRef::Operand(..) => {
 550                 if place_ref.has_deref() {
 551                     base = 1;
 552                     let cg_base = self.codegen_consume(
 553                         bx,
 554                         mir::PlaceRef { projection: &place_ref.projection[..0], ..place_ref },
 555                     );
 556                     cg_base.deref(bx.cx())
 557                 } else {
 558                     bug!("using operand local {:?} as place", place_ref);
 559                 }
 560             }
 561         };
 562         for elem in place_ref.projection[base..].iter() {
 563             cg_base = match *elem {
 564                 mir::ProjectionElem::Deref => bx.load_operand(cg_base).deref(bx.cx()),
 565                 mir::ProjectionElem::Field(ref field, _) => {
 566                     cg_base.project_field(bx, field.index())
 567                 }
 568                 mir::ProjectionElem::OpaqueCast(ty) => cg_base.project_type(bx, ty),
 569                 mir::ProjectionElem::Index(index) => {
 570                     let index = &mir::Operand::Copy(mir::Place::from(index));
 571                     let index = self.codegen_operand(bx, index);
 572                     let llindex = index.immediate();
 573                     cg_base.project_index(bx, llindex)
 574                 }
 575                 mir::ProjectionElem::ConstantIndex { offset, from_end: false, min_length: _ } => {
 576                     let lloffset = bx.cx().const_usize(offset as u64);
 577                     cg_base.project_index(bx, lloffset)
 578                 }
 579                 mir::ProjectionElem::ConstantIndex { offset, from_end: true, min_length: _ } => {
 580                     let lloffset = bx.cx().const_usize(offset as u64);
 581                     let lllen = cg_base.len(bx.cx());
 582                     let llindex = bx.sub(lllen, lloffset);
 583                     cg_base.project_index(bx, llindex)
 584                 }
 585                 mir::ProjectionElem::Subslice { from, to, from_end } => {
 586                     let mut subslice = cg_base.project_index(bx, bx.cx().const_usize(from as u64));
 587                     let projected_ty =
 588                         PlaceTy::from_ty(cg_base.layout.ty).projection_ty(tcx, *elem).ty;
 589                     subslice.layout = bx.cx().layout_of(self.monomorphize(projected_ty));
 590
 591                     if subslice.layout.is_unsized() {
 592                         assert!(from_end, "slice subslices should be `from_end`");
 593                         subslice.llextra = Some(bx.sub(
 594                             cg_base.llextra.unwrap(),
 595                             bx.cx().const_usize((from as u64) + (to as u64)),
 596                         ));
 597                     }
 598
 599                     // Cast the place pointer type to the new
 600                     // array or slice type (`*[%_; new_len]`).
 601                     subslice.llval = bx.pointercast(
 602                         subslice.llval,
 603                         bx.cx().type_ptr_to(bx.cx().backend_type(subslice.layout)),
 604                     );
 605
 606                     subslice
 607                 }
 608                 mir::ProjectionElem::Downcast(_, v) => cg_base.project_downcast(bx, v),
 609             };
 610         }
 611         debug!("codegen_place(place={:?}) => {:?}", place_ref, cg_base);
 612         cg_base
 613     }
 614
 615     pub fn monomorphized_place_ty(&self, place_ref: mir::PlaceRef<'tcx>) -> Ty<'tcx> {
 616         let tcx = self.cx.tcx();
 617         let place_ty = place_ref.ty(self.mir, tcx);
 618         self.monomorphize(place_ty.ty)
 619     }
 620 }
 621
 622 fn round_up_const_value_to_alignment<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>>(
 623     bx: &mut Bx,
 624     value: Bx::Value,
 625     align: Bx::Value,
 626 ) -> Bx::Value {
 627     // In pseudo code:
 628     //
 629     //     if value & (align - 1) == 0 {
 630     //         value
 631     //     } else {
 632     //         (value & !(align - 1)) + align
 633     //     }
 634     //
 635     // Usually this is written without branches as
 636     //
 637     //     (value + align - 1) & !(align - 1)
 638     //
 639     // But this formula cannot take advantage of constant `value`. E.g. if `value` is known
 640     // at compile time to be `1`, this expression should be optimized to `align`. However,
 641     // optimization only holds if `align` is a power of two. Since the optimizer doesn't know
 642     // that `align` is a power of two, it cannot perform this optimization.
 643     //
 644     // Instead we use
 645     //
 646     //     value + (-value & (align - 1))
 647     //
 648     // Since `align` is used only once, the expression can be optimized. For `value = 0`
 649     // its optimized to `0` even in debug mode.
 650     //
 651     // NB: The previous version of this code used
 652     //
 653     //     (value + align - 1) & -align
 654     //
 655     // Even though `-align == !(align - 1)`, LLVM failed to optimize this even for
 656     // `value = 0`. Bug report: https://bugs.llvm.org/show_bug.cgi?id=48559
 657     let one = bx.const_usize(1);
 658     let align_minus_1 = bx.sub(align, one);
 659     let neg_value = bx.neg(value);
 660     let offset = bx.and(neg_value, align_minus_1);
 661     bx.add(value, offset)
 662 }