diff options
| author | Antoni Boucher <bouanto@zoho.com> | 2021-09-28 09:19:11 -0400 |
|---|---|---|
| committer | Antoni Boucher <bouanto@zoho.com> | 2021-09-28 09:19:11 -0400 |
| commit | 7f32dd546f23f122a6c5e87db50e404261b75722 (patch) | |
| tree | 615d2a69a0c7a6209f32bbfe7a36248b68578a17 /compiler/rustc_codegen_gcc/src/common.rs | |
| parent | df487317d08eb1bf194e87aa7c193bb738ed7546 (diff) | |
| parent | 9809f5d21990d9e24b3e9876ea7da756fd4e9def (diff) | |
| download | rust-7f32dd546f23f122a6c5e87db50e404261b75722.tar.gz rust-7f32dd546f23f122a6c5e87db50e404261b75722.zip | |
Merge commit '9809f5d21990d9e24b3e9876ea7da756fd4e9def' into libgccjit-codegen
Diffstat (limited to 'compiler/rustc_codegen_gcc/src/common.rs')
| -rw-r--r-- | compiler/rustc_codegen_gcc/src/common.rs | 70 |
1 files changed, 42 insertions, 28 deletions
diff --git a/compiler/rustc_codegen_gcc/src/common.rs b/compiler/rustc_codegen_gcc/src/common.rs index a24fe0df911..bda08b653f0 100644 --- a/compiler/rustc_codegen_gcc/src/common.rs +++ b/compiler/rustc_codegen_gcc/src/common.rs @@ -1,6 +1,7 @@ use std::convert::TryFrom; use std::convert::TryInto; +use gccjit::LValue; use gccjit::{Block, CType, RValue, Type, ToRValue}; use rustc_codegen_ssa::mir::place::PlaceRef; use rustc_codegen_ssa::traits::{ @@ -10,7 +11,6 @@ use rustc_codegen_ssa::traits::{ MiscMethods, StaticMethods, }; -use rustc_middle::bug; use rustc_middle::mir::Mutability; use rustc_middle::ty::ScalarInt; use rustc_middle::ty::layout::{TyAndLayout, LayoutOf}; @@ -27,28 +27,25 @@ impl<'gcc, 'tcx> CodegenCx<'gcc, 'tcx> { bytes_in_context(self, bytes) } - fn const_cstr(&self, symbol: Symbol, _null_terminated: bool) -> RValue<'gcc> { + fn const_cstr(&self, symbol: Symbol, _null_terminated: bool) -> LValue<'gcc> { // TODO(antoyo): handle null_terminated. if let Some(&value) = self.const_cstr_cache.borrow().get(&symbol) { - return value.to_rvalue(); + return value; } let global = self.global_string(&*symbol.as_str()); - self.const_cstr_cache.borrow_mut().insert(symbol, global.dereference(None)); + self.const_cstr_cache.borrow_mut().insert(symbol, global); global } - fn global_string(&self, string: &str) -> RValue<'gcc> { + fn global_string(&self, string: &str) -> LValue<'gcc> { // TODO(antoyo): handle non-null-terminated strings. let string = self.context.new_string_literal(&*string); let sym = self.generate_local_symbol_name("str"); - // NOTE: TLS is always off for a string litteral. - // NOTE: string litterals do not have a link section. - let global = self.define_global(&sym, self.val_ty(string), false, None) - .unwrap_or_else(|| bug!("symbol `{}` is already defined", sym)); - self.global_init_block.add_assignment(None, global.dereference(None), string); - global.to_rvalue() + let global = self.declare_private_global(&sym, self.val_ty(string)); + global.global_set_initializer_value(string); + global // TODO(antoyo): set linkage. } @@ -76,10 +73,13 @@ impl<'gcc, 'tcx> CodegenCx<'gcc, 'tcx> { pub fn bytes_in_context<'gcc, 'tcx>(cx: &CodegenCx<'gcc, 'tcx>, bytes: &[u8]) -> RValue<'gcc> { let context = &cx.context; - let typ = context.new_array_type(None, context.new_type::<u8>(), bytes.len() as i32); - let global = cx.declare_unnamed_global(typ); - global.global_set_initializer(bytes); - global.to_rvalue() + let byte_type = context.new_type::<u8>(); + let typ = context.new_array_type(None, byte_type, bytes.len() as i32); + let elements: Vec<_> = + bytes.iter() + .map(|&byte| context.new_rvalue_from_int(byte_type, byte as i32)) + .collect(); + context.new_rvalue_from_array(None, typ, &elements) } pub fn type_is_pointer<'gcc>(typ: Type<'gcc>) -> bool { @@ -180,7 +180,7 @@ impl<'gcc, 'tcx> ConstMethods<'tcx> for CodegenCx<'gcc, 'tcx> { fn const_str(&self, s: Symbol) -> (RValue<'gcc>, RValue<'gcc>) { let len = s.as_str().len(); - let cs = self.const_ptrcast(self.const_cstr(s, false), + let cs = self.const_ptrcast(self.const_cstr(s, false).get_address(None), self.type_ptr_to(self.layout_of(self.tcx.types.str_).gcc_type(self, true)), ); (cs, self.const_usize(len as u64)) @@ -191,16 +191,9 @@ impl<'gcc, 'tcx> ConstMethods<'tcx> for CodegenCx<'gcc, 'tcx> { .map(|value| value.get_type()) .collect(); // TODO(antoyo): cache the type? It's anonymous, so probably not. - let name = fields.iter().map(|typ| format!("{:?}", typ)).collect::<Vec<_>>().join("_"); let typ = self.type_struct(&fields, packed); - let structure = self.global_init_func.new_local(None, typ, &name); let struct_type = typ.is_struct().expect("struct type"); - for (index, value) in values.iter().enumerate() { - let field = struct_type.get_field(index as i32); - let field_lvalue = structure.access_field(None, field); - self.global_init_block.add_assignment(None, field_lvalue, *value); - } - self.lvalue_to_rvalue(structure) + self.context.new_rvalue_from_struct(None, struct_type, values) } fn const_to_opt_uint(&self, _v: RValue<'gcc>) -> Option<u64> { @@ -260,19 +253,18 @@ impl<'gcc, 'tcx> ConstMethods<'tcx> for CodegenCx<'gcc, 'tcx> { }, GlobalAlloc::Static(def_id) => { assert!(self.tcx.is_static(def_id)); - self.get_static(def_id) + self.get_static(def_id).get_address(None) }, }; let ptr_type = base_addr.get_type(); let base_addr = self.const_bitcast(base_addr, self.usize_type); let offset = self.context.new_rvalue_from_long(self.usize_type, offset.bytes() as i64); let ptr = self.const_bitcast(base_addr + offset, ptr_type); - let value = ptr.dereference(None); if layout.value != Pointer { - self.const_bitcast(value.to_rvalue(), ty) + self.const_bitcast(ptr.dereference(None).to_rvalue(), ty) } else { - self.const_bitcast(value.get_address(None), ty) + self.const_bitcast(ptr, ty) } } } @@ -310,6 +302,7 @@ pub trait SignType<'gcc, 'tcx> { fn is_signed(&self, cx: &CodegenCx<'gcc, 'tcx>) -> bool; fn is_unsigned(&self, cx: &CodegenCx<'gcc, 'tcx>) -> bool; fn to_signed(&self, cx: &CodegenCx<'gcc, 'tcx>) -> Type<'gcc>; + fn to_unsigned(&self, cx: &CodegenCx<'gcc, 'tcx>) -> Type<'gcc>; } impl<'gcc, 'tcx> SignType<'gcc, 'tcx> for Type<'gcc> { @@ -341,6 +334,27 @@ impl<'gcc, 'tcx> SignType<'gcc, 'tcx> for Type<'gcc> { self.clone() } } + + fn to_unsigned(&self, cx: &CodegenCx<'gcc, 'tcx>) -> Type<'gcc> { + if self.is_i8(cx) { + cx.u8_type + } + else if self.is_i16(cx) { + cx.u16_type + } + else if self.is_i32(cx) { + cx.u32_type + } + else if self.is_i64(cx) { + cx.u64_type + } + else if self.is_i128(cx) { + cx.u128_type + } + else { + self.clone() + } + } } pub trait TypeReflection<'gcc, 'tcx> { |
