]> git.lizzy.rs Git - rust.git/blob - src/base.rs
More 128bit support
[rust.git] / src / base.rs
1 use rustc::ty::adjustment::PointerCast;
2
3 use crate::prelude::*;
4
5 pub fn trans_fn<'clif, 'tcx, B: Backend + 'static>(
6     cx: &mut crate::CodegenCx<'clif, 'tcx, B>,
7     instance: Instance<'tcx>,
8     linkage: Linkage,
9 ) {
10     let tcx = cx.tcx;
11
12     let mir = tcx.instance_mir(instance.def);
13
14     // Declare function
15     let (name, sig) = get_function_name_and_sig(tcx, instance, false);
16     let func_id = cx.module.declare_function(&name, linkage, &sig).unwrap();
17     let mut debug_context = cx
18         .debug_context
19         .as_mut()
20         .map(|debug_context| FunctionDebugContext::new(tcx, debug_context, mir, &name, &sig));
21
22     // Make FunctionBuilder
23     let mut func = Function::with_name_signature(ExternalName::user(0, 0), sig);
24     let mut func_ctx = FunctionBuilderContext::new();
25     let mut bcx = FunctionBuilder::new(&mut func, &mut func_ctx);
26
27     // Predefine ebb's
28     let start_ebb = bcx.create_ebb();
29     let mut ebb_map: HashMap<BasicBlock, Ebb> = HashMap::new();
30     for (bb, _bb_data) in mir.basic_blocks().iter_enumerated() {
31         ebb_map.insert(bb, bcx.create_ebb());
32     }
33
34     // Make FunctionCx
35     let pointer_type = cx.module.target_config().pointer_type();
36     let clif_comments = crate::pretty_clif::CommentWriter::new(tcx, instance);
37
38     let mut fx = FunctionCx {
39         tcx,
40         module: cx.module,
41         pointer_type,
42
43         instance,
44         mir,
45
46         bcx,
47         ebb_map,
48         local_map: HashMap::new(),
49
50         clif_comments,
51         constants_cx: &mut cx.constants_cx,
52         caches: &mut cx.caches,
53         source_info_set: indexmap::IndexSet::new(),
54     };
55
56     with_unimpl_span(fx.mir.span, || {
57         crate::abi::codegen_fn_prelude(&mut fx, start_ebb);
58         codegen_fn_content(&mut fx);
59     });
60
61     // Recover all necessary data from fx, before accessing func will prevent future access to it.
62     let instance = fx.instance;
63     let clif_comments = fx.clif_comments;
64     let source_info_set = fx.source_info_set;
65
66     #[cfg(debug_assertions)]
67     crate::pretty_clif::write_clif_file(cx.tcx, "unopt", instance, &func, &clif_comments, None);
68
69     // Verify function
70     verify_func(tcx, &clif_comments, &func);
71
72     // Define function
73     let context = &mut cx.caches.context;
74     context.func = func;
75     cx.module.define_function(func_id, context).unwrap();
76
77     let value_ranges = context
78         .build_value_labels_ranges(cx.module.isa())
79         .expect("value location ranges");
80
81     // Write optimized function to file for debugging
82     #[cfg(debug_assertions)]
83     crate::pretty_clif::write_clif_file(
84         cx.tcx,
85         "opt",
86         instance,
87         &context.func,
88         &clif_comments,
89         Some(&value_ranges),
90     );
91
92     // Define debuginfo for function
93     let isa = cx.module.isa();
94     debug_context
95         .as_mut()
96         .map(|x| x.define(tcx, context, isa, &source_info_set));
97
98     // Clear context to make it usable for the next function
99     context.clear();
100 }
101
102 fn verify_func(tcx: TyCtxt, writer: &crate::pretty_clif::CommentWriter, func: &Function) {
103     let flags = settings::Flags::new(settings::builder());
104     match ::cranelift::codegen::verify_function(&func, &flags) {
105         Ok(_) => {}
106         Err(err) => {
107             tcx.sess.err(&format!("{:?}", err));
108             let pretty_error = ::cranelift::codegen::print_errors::pretty_verifier_error(
109                 &func,
110                 None,
111                 Some(Box::new(writer)),
112                 err,
113             );
114             tcx.sess
115                 .fatal(&format!("cranelift verify error:\n{}", pretty_error));
116         }
117     }
118 }
119
120 fn codegen_fn_content(fx: &mut FunctionCx<'_, '_, impl Backend>) {
121     for (bb, bb_data) in fx.mir.basic_blocks().iter_enumerated() {
122         if bb_data.is_cleanup {
123             // Unwinding after panicking is not supported
124             continue;
125         }
126
127         let ebb = fx.get_ebb(bb);
128         fx.bcx.switch_to_block(ebb);
129
130         fx.bcx.ins().nop();
131         for stmt in &bb_data.statements {
132             fx.set_debug_loc(stmt.source_info);
133             trans_stmt(fx, ebb, stmt);
134         }
135
136         #[cfg(debug_assertions)]
137         {
138             let mut terminator_head = "\n".to_string();
139             bb_data
140                 .terminator()
141                 .kind
142                 .fmt_head(&mut terminator_head)
143                 .unwrap();
144             let inst = fx.bcx.func.layout.last_inst(ebb).unwrap();
145             fx.add_comment(inst, terminator_head);
146         }
147
148         fx.set_debug_loc(bb_data.terminator().source_info);
149
150         match &bb_data.terminator().kind {
151             TerminatorKind::Goto { target } => {
152                 let ebb = fx.get_ebb(*target);
153                 fx.bcx.ins().jump(ebb, &[]);
154             }
155             TerminatorKind::Return => {
156                 crate::abi::codegen_return(fx);
157             }
158             TerminatorKind::Assert {
159                 cond,
160                 expected,
161                 msg,
162                 target,
163                 cleanup: _,
164             } => {
165                 if !fx.tcx.sess.overflow_checks() {
166                     if let mir::interpret::PanicInfo::OverflowNeg = *msg {
167                         let target = fx.get_ebb(*target);
168                         fx.bcx.ins().jump(target, &[]);
169                         continue;
170                     }
171                 }
172                 let cond = trans_operand(fx, cond).load_scalar(fx);
173                 // TODO HACK brz/brnz for i8/i16 is not yet implemented
174                 let cond = fx.bcx.ins().uextend(types::I32, cond);
175                 let target = fx.get_ebb(*target);
176                 if *expected {
177                     fx.bcx.ins().brnz(cond, target, &[]);
178                 } else {
179                     fx.bcx.ins().brz(cond, target, &[]);
180                 };
181                 trap_panic(
182                     fx,
183                     format!(
184                         "[panic] Assert {:?} at {:?} failed.",
185                         msg,
186                         bb_data.terminator().source_info.span
187                     ),
188                 );
189             }
190
191             TerminatorKind::SwitchInt {
192                 discr,
193                 switch_ty: _,
194                 values,
195                 targets,
196             } => {
197                 let discr = trans_operand(fx, discr).load_scalar(fx);
198                 let mut switch = ::cranelift::frontend::Switch::new();
199                 for (i, value) in values.iter().enumerate() {
200                     let ebb = fx.get_ebb(targets[i]);
201                     switch.set_entry(*value as u64, ebb);
202                 }
203                 let otherwise_ebb = fx.get_ebb(targets[targets.len() - 1]);
204                 switch.emit(&mut fx.bcx, discr, otherwise_ebb);
205             }
206             TerminatorKind::Call {
207                 func,
208                 args,
209                 destination,
210                 cleanup: _,
211                 from_hir_call: _,
212             } => {
213                 crate::abi::codegen_terminator_call(fx, func, args, destination);
214             }
215             TerminatorKind::Resume | TerminatorKind::Abort => {
216                 trap_unreachable(fx, "[corruption] Unwinding bb reached.");
217             }
218             TerminatorKind::Unreachable => {
219                 trap_unreachable(fx, "[corruption] Hit unreachable code.");
220             }
221             TerminatorKind::Yield { .. }
222             | TerminatorKind::FalseEdges { .. }
223             | TerminatorKind::FalseUnwind { .. }
224             | TerminatorKind::DropAndReplace { .. }
225             | TerminatorKind::GeneratorDrop => {
226                 bug!("shouldn't exist at trans {:?}", bb_data.terminator());
227             }
228             TerminatorKind::Drop {
229                 location,
230                 target,
231                 unwind: _,
232             } => {
233                 let drop_place = trans_place(fx, location);
234                 crate::abi::codegen_drop(fx, drop_place);
235
236                 let target_ebb = fx.get_ebb(*target);
237                 fx.bcx.ins().jump(target_ebb, &[]);
238             }
239         };
240     }
241
242     fx.bcx.seal_all_blocks();
243     fx.bcx.finalize();
244 }
245
246 fn trans_stmt<'tcx>(
247     fx: &mut FunctionCx<'_, 'tcx, impl Backend>,
248     cur_ebb: Ebb,
249     stmt: &Statement<'tcx>,
250 ) {
251     let _print_guard = PrintOnPanic(|| format!("stmt {:?}", stmt));
252
253     fx.set_debug_loc(stmt.source_info);
254
255     #[cfg(debug_assertions)]
256     match &stmt.kind {
257         StatementKind::StorageLive(..) | StatementKind::StorageDead(..) => {} // Those are not very useful
258         _ => {
259             let inst = fx.bcx.func.layout.last_inst(cur_ebb).unwrap();
260             fx.add_comment(inst, format!("{:?}", stmt));
261         }
262     }
263
264     match &stmt.kind {
265         StatementKind::SetDiscriminant {
266             place,
267             variant_index,
268         } => {
269             let place = trans_place(fx, place);
270             crate::discriminant::codegen_set_discriminant(fx, place, *variant_index);
271         }
272         StatementKind::Assign(to_place_and_rval) => {
273             let lval = trans_place(fx, &to_place_and_rval.0);
274             let dest_layout = lval.layout();
275             match &to_place_and_rval.1 {
276                 Rvalue::Use(operand) => {
277                     let val = trans_operand(fx, operand);
278                     lval.write_cvalue(fx, val);
279                 }
280                 Rvalue::Ref(_, _, place) => {
281                     let place = trans_place(fx, place);
282                     place.write_place_ref(fx, lval);
283                 }
284                 Rvalue::BinaryOp(bin_op, lhs, rhs) => {
285                     let lhs = trans_operand(fx, lhs);
286                     let rhs = trans_operand(fx, rhs);
287
288                     let res = crate::num::codegen_binop(fx, *bin_op, lhs, rhs);
289                     lval.write_cvalue(fx, res);
290                 }
291                 Rvalue::CheckedBinaryOp(bin_op, lhs, rhs) => {
292                     let lhs = trans_operand(fx, lhs);
293                     let rhs = trans_operand(fx, rhs);
294
295                     let res = if !fx.tcx.sess.overflow_checks() {
296                         let val =
297                             crate::num::trans_int_binop(fx, *bin_op, lhs, rhs).load_scalar(fx);
298                         let is_overflow = fx.bcx.ins().iconst(types::I8, 0);
299                         CValue::by_val_pair(val, is_overflow, lval.layout())
300                     } else {
301                         crate::num::trans_checked_int_binop(fx, *bin_op, lhs, rhs)
302                     };
303
304                     lval.write_cvalue(fx, res);
305                 }
306                 Rvalue::UnaryOp(un_op, operand) => {
307                     let operand = trans_operand(fx, operand);
308                     let layout = operand.layout();
309                     let val = operand.load_scalar(fx);
310                     let res = match un_op {
311                         UnOp::Not => {
312                             match layout.ty.kind {
313                                 ty::Bool => {
314                                     let val = fx.bcx.ins().uextend(types::I32, val); // WORKAROUND for CraneStation/cranelift#466
315                                     let res = fx.bcx.ins().icmp_imm(IntCC::Equal, val, 0);
316                                     CValue::by_val(fx.bcx.ins().bint(types::I8, res), layout)
317                                 }
318                                 ty::Uint(_) | ty::Int(_) => {
319                                     CValue::by_val(fx.bcx.ins().bnot(val), layout)
320                                 }
321                                 _ => unimplemented!("un op Not for {:?}", layout.ty),
322                             }
323                         }
324                         UnOp::Neg => match layout.ty.kind {
325                             ty::Int(_) => {
326                                 let zero = CValue::const_val(fx, layout.ty, 0);
327                                 crate::num::trans_int_binop(fx, BinOp::Sub, zero, operand)
328                             }
329                             ty::Float(_) => {
330                                 CValue::by_val(fx.bcx.ins().fneg(val), layout)
331                             }
332                             _ => unimplemented!("un op Neg for {:?}", layout.ty),
333                         },
334                     };
335                     lval.write_cvalue(fx, res);
336                 }
337                 Rvalue::Cast(CastKind::Pointer(PointerCast::ReifyFnPointer), operand, ty) => {
338                     let layout = fx.layout_of(ty);
339                     match fx
340                         .monomorphize(&operand.ty(&fx.mir.local_decls, fx.tcx))
341                         .kind
342                     {
343                         ty::FnDef(def_id, substs) => {
344                             let func_ref = fx.get_function_ref(
345                                 Instance::resolve(fx.tcx, ParamEnv::reveal_all(), def_id, substs)
346                                     .unwrap(),
347                             );
348                             let func_addr = fx.bcx.ins().func_addr(fx.pointer_type, func_ref);
349                             lval.write_cvalue(fx, CValue::by_val(func_addr, layout));
350                         }
351                         _ => bug!("Trying to ReifyFnPointer on non FnDef {:?}", ty),
352                     }
353                 }
354                 Rvalue::Cast(CastKind::Pointer(PointerCast::UnsafeFnPointer), operand, ty)
355                 | Rvalue::Cast(CastKind::Pointer(PointerCast::MutToConstPointer), operand, ty) => {
356                     let operand = trans_operand(fx, operand);
357                     let layout = fx.layout_of(ty);
358                     lval.write_cvalue(fx, operand.unchecked_cast_to(layout));
359                 }
360                 Rvalue::Cast(CastKind::Misc, operand, to_ty) => {
361                     let operand = trans_operand(fx, operand);
362                     let from_ty = operand.layout().ty;
363                     let to_ty = fx.monomorphize(to_ty);
364
365                     fn is_fat_ptr<'tcx>(
366                         fx: &FunctionCx<'_, 'tcx, impl Backend>,
367                         ty: Ty<'tcx>,
368                     ) -> bool {
369                         ty.builtin_deref(true)
370                             .map(
371                                 |ty::TypeAndMut {
372                                      ty: pointee_ty,
373                                      mutbl: _,
374                                  }| has_ptr_meta(fx.tcx, pointee_ty),
375                             )
376                             .unwrap_or(false)
377                     }
378
379                     if is_fat_ptr(fx, from_ty) {
380                         if is_fat_ptr(fx, to_ty) {
381                             // fat-ptr -> fat-ptr
382                             lval.write_cvalue(fx, operand.unchecked_cast_to(dest_layout));
383                         } else {
384                             // fat-ptr -> thin-ptr
385                             let (ptr, _extra) = operand.load_scalar_pair(fx);
386                             lval.write_cvalue(fx, CValue::by_val(ptr, dest_layout))
387                         }
388                     } else if let ty::Adt(adt_def, _substs) = from_ty.kind {
389                         // enum -> discriminant value
390                         assert!(adt_def.is_enum());
391                         match to_ty.kind {
392                             ty::Uint(_) | ty::Int(_) => {}
393                             _ => unreachable!("cast adt {} -> {}", from_ty, to_ty),
394                         }
395
396                         let discr = crate::discriminant::codegen_get_discriminant(
397                             fx,
398                             operand,
399                             fx.layout_of(to_ty),
400                         );
401                         lval.write_cvalue(fx, discr);
402                     } else {
403                         let to_clif_ty = fx.clif_type(to_ty).unwrap();
404                         let from = operand.load_scalar(fx);
405
406                         let res = clif_int_or_float_cast(
407                             fx,
408                             from,
409                             type_sign(from_ty),
410                             to_clif_ty,
411                             type_sign(to_ty),
412                         );
413                         lval.write_cvalue(fx, CValue::by_val(res, dest_layout));
414                     }
415                 }
416                 Rvalue::Cast(CastKind::Pointer(PointerCast::ClosureFnPointer(_)), operand, _ty) => {
417                     let operand = trans_operand(fx, operand);
418                     match operand.layout().ty.kind {
419                         ty::Closure(def_id, substs) => {
420                             let instance = Instance::resolve_closure(
421                                 fx.tcx,
422                                 def_id,
423                                 substs,
424                                 ty::ClosureKind::FnOnce,
425                             );
426                             let func_ref = fx.get_function_ref(instance);
427                             let func_addr = fx.bcx.ins().func_addr(fx.pointer_type, func_ref);
428                             lval.write_cvalue(fx, CValue::by_val(func_addr, lval.layout()));
429                         }
430                         _ => bug!("{} cannot be cast to a fn ptr", operand.layout().ty),
431                     }
432                 }
433                 Rvalue::Cast(CastKind::Pointer(PointerCast::Unsize), operand, _ty) => {
434                     let operand = trans_operand(fx, operand);
435                     operand.unsize_value(fx, lval);
436                 }
437                 Rvalue::Discriminant(place) => {
438                     let place = trans_place(fx, place);
439                     let value = place.to_cvalue(fx);
440                     let discr =
441                         crate::discriminant::codegen_get_discriminant(fx, value, dest_layout);
442                     lval.write_cvalue(fx, discr);
443                 }
444                 Rvalue::Repeat(operand, times) => {
445                     let operand = trans_operand(fx, operand);
446                     for i in 0..*times {
447                         let index = fx.bcx.ins().iconst(fx.pointer_type, i as i64);
448                         let to = lval.place_index(fx, index);
449                         to.write_cvalue(fx, operand);
450                     }
451                 }
452                 Rvalue::Len(place) => {
453                     let place = trans_place(fx, place);
454                     let usize_layout = fx.layout_of(fx.tcx.types.usize);
455                     let len = codegen_array_len(fx, place);
456                     lval.write_cvalue(fx, CValue::by_val(len, usize_layout));
457                 }
458                 Rvalue::NullaryOp(NullOp::Box, content_ty) => {
459                     use rustc::middle::lang_items::ExchangeMallocFnLangItem;
460
461                     let usize_type = fx.clif_type(fx.tcx.types.usize).unwrap();
462                     let layout = fx.layout_of(content_ty);
463                     let llsize = fx.bcx.ins().iconst(usize_type, layout.size.bytes() as i64);
464                     let llalign = fx
465                         .bcx
466                         .ins()
467                         .iconst(usize_type, layout.align.abi.bytes() as i64);
468                     let box_layout = fx.layout_of(fx.tcx.mk_box(content_ty));
469
470                     // Allocate space:
471                     let def_id = match fx.tcx.lang_items().require(ExchangeMallocFnLangItem) {
472                         Ok(id) => id,
473                         Err(s) => {
474                             fx.tcx
475                                 .sess
476                                 .fatal(&format!("allocation of `{}` {}", box_layout.ty, s));
477                         }
478                     };
479                     let instance = ty::Instance::mono(fx.tcx, def_id);
480                     let func_ref = fx.get_function_ref(instance);
481                     let call = fx.bcx.ins().call(func_ref, &[llsize, llalign]);
482                     let ptr = fx.bcx.inst_results(call)[0];
483                     lval.write_cvalue(fx, CValue::by_val(ptr, box_layout));
484                 }
485                 Rvalue::NullaryOp(NullOp::SizeOf, ty) => {
486                     assert!(lval
487                         .layout()
488                         .ty
489                         .is_sized(fx.tcx.at(DUMMY_SP), ParamEnv::reveal_all()));
490                     let ty_size = fx.layout_of(ty).size.bytes();
491                     let val = CValue::const_val(fx, fx.tcx.types.usize, ty_size.into());
492                     lval.write_cvalue(fx, val);
493                 }
494                 Rvalue::Aggregate(kind, operands) => match **kind {
495                     AggregateKind::Array(_ty) => {
496                         for (i, operand) in operands.into_iter().enumerate() {
497                             let operand = trans_operand(fx, operand);
498                             let index = fx.bcx.ins().iconst(fx.pointer_type, i as i64);
499                             let to = lval.place_index(fx, index);
500                             to.write_cvalue(fx, operand);
501                         }
502                     }
503                     _ => unimpl!("shouldn't exist at trans {:?}", to_place_and_rval.1),
504                 },
505             }
506         }
507         StatementKind::StorageLive(_)
508         | StatementKind::StorageDead(_)
509         | StatementKind::Nop
510         | StatementKind::FakeRead(..)
511         | StatementKind::Retag { .. }
512         | StatementKind::AscribeUserType(..) => {}
513
514         StatementKind::InlineAsm(asm) => {
515             use syntax::ast::Name;
516             let InlineAsm {
517                 asm,
518                 outputs: _,
519                 inputs: _,
520             } = &**asm;
521             let rustc::hir::InlineAsm {
522                 asm: asm_code, // Name
523                 outputs,       // Vec<Name>
524                 inputs,        // Vec<Name>
525                 clobbers,      // Vec<Name>
526                 volatile,      // bool
527                 alignstack,    // bool
528                 dialect: _,    // syntax::ast::AsmDialect
529                 asm_str_style: _,
530             } = asm;
531             match &*asm_code.as_str() {
532                 "" => {
533                     assert_eq!(inputs, &[Name::intern("r")]);
534                     assert!(outputs.is_empty(), "{:?}", outputs);
535
536                     // Black box
537                 }
538                 "cpuid" | "cpuid\n" => {
539                     assert_eq!(inputs, &[Name::intern("{eax}"), Name::intern("{ecx}")]);
540
541                     assert_eq!(outputs.len(), 4);
542                     for (i, c) in (&["={eax}", "={ebx}", "={ecx}", "={edx}"])
543                         .iter()
544                         .enumerate()
545                     {
546                         assert_eq!(&outputs[i].constraint.as_str(), c);
547                         assert!(!outputs[i].is_rw);
548                         assert!(!outputs[i].is_indirect);
549                     }
550
551                     assert_eq!(clobbers, &[Name::intern("rbx")]);
552
553                     assert!(!volatile);
554                     assert!(!alignstack);
555
556                     crate::trap::trap_unimplemented(
557                         fx,
558                         "__cpuid_count arch intrinsic is not supported",
559                     );
560                 }
561                 "xgetbv" => {
562                     assert_eq!(inputs, &[Name::intern("{ecx}")]);
563
564                     assert_eq!(outputs.len(), 2);
565                     for (i, c) in (&["={eax}", "={edx}"]).iter().enumerate() {
566                         assert_eq!(&outputs[i].constraint.as_str(), c);
567                         assert!(!outputs[i].is_rw);
568                         assert!(!outputs[i].is_indirect);
569                     }
570
571                     assert_eq!(clobbers, &[]);
572
573                     assert!(!volatile);
574                     assert!(!alignstack);
575
576                     crate::trap::trap_unimplemented(fx, "_xgetbv arch intrinsic is not supported");
577                 }
578                 _ if fx.tcx.symbol_name(fx.instance).name.as_str() == "__rust_probestack" => {
579                     crate::trap::trap_unimplemented(fx, "__rust_probestack is not supported");
580                 }
581                 _ => unimpl!("Inline assembly is not supported"),
582             }
583         }
584     }
585 }
586
587 fn codegen_array_len<'tcx>(
588     fx: &mut FunctionCx<'_, 'tcx, impl Backend>,
589     place: CPlace<'tcx>,
590 ) -> Value {
591     match place.layout().ty.kind {
592         ty::Array(_elem_ty, len) => {
593             let len = crate::constant::force_eval_const(fx, len)
594                 .eval_usize(fx.tcx, ParamEnv::reveal_all()) as i64;
595             fx.bcx.ins().iconst(fx.pointer_type, len)
596         }
597         ty::Slice(_elem_ty) => place
598             .to_addr_maybe_unsized(fx)
599             .1
600             .expect("Length metadata for slice place"),
601         _ => bug!("Rvalue::Len({:?})", place),
602     }
603 }
604
605 pub fn trans_place<'tcx>(
606     fx: &mut FunctionCx<'_, 'tcx, impl Backend>,
607     place: &Place<'tcx>,
608 ) -> CPlace<'tcx> {
609     let mut cplace = match &place.base {
610         PlaceBase::Local(local) => fx.get_local_place(*local),
611         PlaceBase::Static(static_) => match static_.kind {
612             StaticKind::Static => {
613                 crate::constant::codegen_static_ref(fx, static_.def_id, static_.ty)
614             }
615             StaticKind::Promoted(promoted, substs) => {
616                 let instance = Instance::new(static_.def_id, fx.monomorphize(&substs));
617                 crate::constant::trans_promoted(fx, instance, promoted, static_.ty)
618             }
619         },
620     };
621
622     for elem in &*place.projection {
623         match *elem {
624             PlaceElem::Deref => {
625                 cplace = cplace.place_deref(fx);
626             }
627             PlaceElem::Field(field, _ty) => {
628                 cplace = cplace.place_field(fx, field);
629             }
630             PlaceElem::Index(local) => {
631                 let index = fx.get_local_place(local).to_cvalue(fx).load_scalar(fx);
632                 cplace = cplace.place_index(fx, index);
633             }
634             PlaceElem::ConstantIndex {
635                 offset,
636                 min_length: _,
637                 from_end,
638             } => {
639                 let index = if !from_end {
640                     fx.bcx.ins().iconst(fx.pointer_type, offset as i64)
641                 } else {
642                     let len = codegen_array_len(fx, cplace);
643                     fx.bcx.ins().iadd_imm(len, -(offset as i64))
644                 };
645                 cplace = cplace.place_index(fx, index);
646             }
647             PlaceElem::Subslice { from, to } => {
648                 // These indices are generated by slice patterns.
649                 // slice[from:-to] in Python terms.
650
651                 match cplace.layout().ty.kind {
652                     ty::Array(elem_ty, len) => {
653                         let elem_layout = fx.layout_of(elem_ty);
654                         let ptr = cplace.to_addr(fx);
655                         let len = crate::constant::force_eval_const(fx, len)
656                             .eval_usize(fx.tcx, ParamEnv::reveal_all());
657                         cplace = CPlace::for_addr(
658                             fx.bcx
659                                 .ins()
660                                 .iadd_imm(ptr, elem_layout.size.bytes() as i64 * from as i64),
661                             fx.layout_of(fx.tcx.mk_array(elem_ty, len - from as u64 - to as u64)),
662                         );
663                     }
664                     ty::Slice(elem_ty) => {
665                         let elem_layout = fx.layout_of(elem_ty);
666                         let (ptr, len) = cplace.to_addr_maybe_unsized(fx);
667                         let len = len.unwrap();
668                         cplace = CPlace::for_addr_with_extra(
669                             fx.bcx
670                                 .ins()
671                                 .iadd_imm(ptr, elem_layout.size.bytes() as i64 * from as i64),
672                             fx.bcx.ins().iadd_imm(len, -(from as i64 + to as i64)),
673                             cplace.layout(),
674                         );
675                     }
676                     _ => unreachable!(),
677                 }
678             }
679             PlaceElem::Downcast(_adt_def, variant) => {
680                 cplace = cplace.downcast_variant(fx, variant);
681             }
682         }
683     }
684
685     cplace
686 }
687
688 pub fn trans_operand<'tcx>(
689     fx: &mut FunctionCx<'_, 'tcx, impl Backend>,
690     operand: &Operand<'tcx>,
691 ) -> CValue<'tcx> {
692     match operand {
693         Operand::Move(place) | Operand::Copy(place) => {
694             let cplace = trans_place(fx, place);
695             cplace.to_cvalue(fx)
696         }
697         Operand::Constant(const_) => crate::constant::trans_constant(fx, const_),
698     }
699 }