]>
Commit | Line | Data |
---|---|---|
a1dfa0c6 XL |
1 | use super::misc::MiscMethods; |
2 | use super::Backend; | |
3 | use super::HasCodegen; | |
532ac7d7 | 4 | use crate::common::TypeKind; |
9fa01778 | 5 | use crate::mir::place::PlaceRef; |
ba9703b0 XL |
6 | use rustc_middle::ty::layout::TyAndLayout; |
7 | use rustc_middle::ty::{self, Ty}; | |
dfeec247 | 8 | use rustc_span::DUMMY_SP; |
60c5eb7d | 9 | use rustc_target::abi::call::{ArgAbi, CastTarget, FnAbi, Reg}; |
3dfed10e | 10 | use rustc_target::abi::{AddressSpace, Integer}; |
a1dfa0c6 XL |
11 | |
12 | // This depends on `Backend` and not `BackendTypes`, because consumers will probably want to use | |
13 | // `LayoutOf` or `HasTyCtxt`. This way, they don't have to add a constraint on it themselves. | |
14 | pub trait BaseTypeMethods<'tcx>: Backend<'tcx> { | |
a1dfa0c6 XL |
15 | fn type_i1(&self) -> Self::Type; |
16 | fn type_i8(&self) -> Self::Type; | |
17 | fn type_i16(&self) -> Self::Type; | |
18 | fn type_i32(&self) -> Self::Type; | |
19 | fn type_i64(&self) -> Self::Type; | |
20 | fn type_i128(&self) -> Self::Type; | |
a1dfa0c6 XL |
21 | fn type_isize(&self) -> Self::Type; |
22 | ||
23 | fn type_f32(&self) -> Self::Type; | |
24 | fn type_f64(&self) -> Self::Type; | |
a1dfa0c6 XL |
25 | |
26 | fn type_func(&self, args: &[Self::Type], ret: Self::Type) -> Self::Type; | |
a1dfa0c6 | 27 | fn type_struct(&self, els: &[Self::Type], packed: bool) -> Self::Type; |
a1dfa0c6 XL |
28 | fn type_kind(&self, ty: Self::Type) -> TypeKind; |
29 | fn type_ptr_to(&self, ty: Self::Type) -> Self::Type; | |
3dfed10e | 30 | fn type_ptr_to_ext(&self, ty: Self::Type, address_space: AddressSpace) -> Self::Type; |
a1dfa0c6 XL |
31 | fn element_type(&self, ty: Self::Type) -> Self::Type; |
32 | ||
9fa01778 | 33 | /// Returns the number of elements in `self` if it is a LLVM vector type. |
a1dfa0c6 XL |
34 | fn vector_length(&self, ty: Self::Type) -> usize; |
35 | ||
a1dfa0c6 XL |
36 | fn float_width(&self, ty: Self::Type) -> usize; |
37 | ||
9fa01778 | 38 | /// Retrieves the bit width of the integer type `self`. |
a1dfa0c6 XL |
39 | fn int_width(&self, ty: Self::Type) -> u64; |
40 | ||
41 | fn val_ty(&self, v: Self::Value) -> Self::Type; | |
a1dfa0c6 XL |
42 | } |
43 | ||
44 | pub trait DerivedTypeMethods<'tcx>: BaseTypeMethods<'tcx> + MiscMethods<'tcx> { | |
a1dfa0c6 | 45 | fn type_i8p(&self) -> Self::Type { |
3dfed10e XL |
46 | self.type_i8p_ext(AddressSpace::DATA) |
47 | } | |
48 | ||
49 | fn type_i8p_ext(&self, address_space: AddressSpace) -> Self::Type { | |
50 | self.type_ptr_to_ext(self.type_i8(), address_space) | |
a1dfa0c6 XL |
51 | } |
52 | ||
53 | fn type_int(&self) -> Self::Type { | |
29967ef6 | 54 | match &self.sess().target.c_int_width[..] { |
a1dfa0c6 XL |
55 | "16" => self.type_i16(), |
56 | "32" => self.type_i32(), | |
57 | "64" => self.type_i64(), | |
29967ef6 | 58 | width => bug!("Unsupported c_int_width: {}", width), |
a1dfa0c6 XL |
59 | } |
60 | } | |
61 | ||
ba9703b0 XL |
62 | fn type_from_integer(&self, i: Integer) -> Self::Type { |
63 | use Integer::*; | |
a1dfa0c6 XL |
64 | match i { |
65 | I8 => self.type_i8(), | |
66 | I16 => self.type_i16(), | |
67 | I32 => self.type_i32(), | |
68 | I64 => self.type_i64(), | |
69 | I128 => self.type_i128(), | |
70 | } | |
71 | } | |
72 | ||
a1dfa0c6 | 73 | fn type_needs_drop(&self, ty: Ty<'tcx>) -> bool { |
532ac7d7 | 74 | ty.needs_drop(self.tcx(), ty::ParamEnv::reveal_all()) |
a1dfa0c6 XL |
75 | } |
76 | ||
77 | fn type_is_sized(&self, ty: Ty<'tcx>) -> bool { | |
532ac7d7 | 78 | ty.is_sized(self.tcx().at(DUMMY_SP), ty::ParamEnv::reveal_all()) |
a1dfa0c6 XL |
79 | } |
80 | ||
81 | fn type_is_freeze(&self, ty: Ty<'tcx>) -> bool { | |
f035d41b | 82 | ty.is_freeze(self.tcx().at(DUMMY_SP), ty::ParamEnv::reveal_all()) |
a1dfa0c6 XL |
83 | } |
84 | ||
85 | fn type_has_metadata(&self, ty: Ty<'tcx>) -> bool { | |
416331ca XL |
86 | let param_env = ty::ParamEnv::reveal_all(); |
87 | if ty.is_sized(self.tcx().at(DUMMY_SP), param_env) { | |
a1dfa0c6 XL |
88 | return false; |
89 | } | |
90 | ||
416331ca | 91 | let tail = self.tcx().struct_tail_erasing_lifetimes(ty, param_env); |
1b1a35ee | 92 | match tail.kind() { |
a1dfa0c6 XL |
93 | ty::Foreign(..) => false, |
94 | ty::Str | ty::Slice(..) | ty::Dynamic(..) => true, | |
532ac7d7 | 95 | _ => bug!("unexpected unsized tail: {:?}", tail), |
a1dfa0c6 XL |
96 | } |
97 | } | |
98 | } | |
99 | ||
a2a8927a | 100 | impl<'tcx, T> DerivedTypeMethods<'tcx> for T where Self: BaseTypeMethods<'tcx> + MiscMethods<'tcx> {} |
a1dfa0c6 XL |
101 | |
102 | pub trait LayoutTypeMethods<'tcx>: Backend<'tcx> { | |
ba9703b0 | 103 | fn backend_type(&self, layout: TyAndLayout<'tcx>) -> Self::Type; |
a1dfa0c6 | 104 | fn cast_backend_type(&self, ty: &CastTarget) -> Self::Type; |
94222f64 | 105 | fn fn_decl_backend_type(&self, fn_abi: &FnAbi<'tcx, Ty<'tcx>>) -> Self::Type; |
60c5eb7d | 106 | fn fn_ptr_backend_type(&self, fn_abi: &FnAbi<'tcx, Ty<'tcx>>) -> Self::Type; |
a1dfa0c6 | 107 | fn reg_backend_type(&self, ty: &Reg) -> Self::Type; |
ba9703b0 XL |
108 | fn immediate_backend_type(&self, layout: TyAndLayout<'tcx>) -> Self::Type; |
109 | fn is_backend_immediate(&self, layout: TyAndLayout<'tcx>) -> bool; | |
110 | fn is_backend_scalar_pair(&self, layout: TyAndLayout<'tcx>) -> bool; | |
111 | fn backend_field_index(&self, layout: TyAndLayout<'tcx>, index: usize) -> u64; | |
dc9dc135 | 112 | fn scalar_pair_element_backend_type( |
a1dfa0c6 | 113 | &self, |
ba9703b0 | 114 | layout: TyAndLayout<'tcx>, |
a1dfa0c6 XL |
115 | index: usize, |
116 | immediate: bool, | |
117 | ) -> Self::Type; | |
118 | } | |
119 | ||
60c5eb7d | 120 | pub trait ArgAbiMethods<'tcx>: HasCodegen<'tcx> { |
a1dfa0c6 XL |
121 | fn store_fn_arg( |
122 | &mut self, | |
60c5eb7d | 123 | arg_abi: &ArgAbi<'tcx, Ty<'tcx>>, |
a1dfa0c6 XL |
124 | idx: &mut usize, |
125 | dst: PlaceRef<'tcx, Self::Value>, | |
126 | ); | |
60c5eb7d | 127 | fn store_arg( |
a1dfa0c6 | 128 | &mut self, |
60c5eb7d | 129 | arg_abi: &ArgAbi<'tcx, Ty<'tcx>>, |
a1dfa0c6 XL |
130 | val: Self::Value, |
131 | dst: PlaceRef<'tcx, Self::Value>, | |
132 | ); | |
60c5eb7d | 133 | fn arg_memory_ty(&self, arg_abi: &ArgAbi<'tcx, Ty<'tcx>>) -> Self::Type; |
a1dfa0c6 XL |
134 | } |
135 | ||
136 | pub trait TypeMethods<'tcx>: DerivedTypeMethods<'tcx> + LayoutTypeMethods<'tcx> {} | |
137 | ||
a2a8927a | 138 | impl<'tcx, T> TypeMethods<'tcx> for T where Self: DerivedTypeMethods<'tcx> + LayoutTypeMethods<'tcx> {} |