2013-02-18 16:16:21 -06:00
|
|
|
// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/*!
|
|
|
|
* # Representation of Algebraic Data Types
|
|
|
|
*
|
2013-03-05 20:06:53 -06:00
|
|
|
* This module determines how to represent enums, structs, and tuples
|
|
|
|
* based on their monomorphized types; it is responsible both for
|
|
|
|
* choosing a representation and translating basic operations on
|
2013-07-01 00:42:30 -05:00
|
|
|
* values of those types. (Note: exporting the representations for
|
|
|
|
* debuggers is handled in debuginfo.rs, not here.)
|
2013-02-28 01:08:52 -06:00
|
|
|
*
|
|
|
|
* Note that the interface treats everything as a general case of an
|
|
|
|
* enum, so structs/tuples/etc. have one pseudo-variant with
|
|
|
|
* discriminant 0; i.e., as if they were a univariant enum.
|
|
|
|
*
|
|
|
|
* Having everything in one place will enable improvements to data
|
|
|
|
* structure representation; possibilities include:
|
|
|
|
*
|
|
|
|
* - User-specified alignment (e.g., cacheline-aligning parts of
|
|
|
|
* concurrently accessed data structures); LLVM can't represent this
|
|
|
|
* directly, so we'd have to insert padding fields in any structure
|
|
|
|
* that might contain one and adjust GEP indices accordingly. See
|
|
|
|
* issue #4578.
|
|
|
|
*
|
|
|
|
* - Store nested enums' discriminants in the same word. Rather, if
|
|
|
|
* some variants start with enums, and those enums representations
|
|
|
|
* have unused alignment padding between discriminant and body, the
|
|
|
|
* outer enum's discriminant can be stored there and those variants
|
|
|
|
* can start at offset 0. Kind of fancy, and might need work to
|
|
|
|
* make copies of the inner enum type cooperate, but it could help
|
|
|
|
* with `Option` or `Result` wrapped around another enum.
|
|
|
|
*
|
|
|
|
* - Tagged pointers would be neat, but given that any type can be
|
|
|
|
* used unboxed and any field can have pointers (including mutable)
|
|
|
|
* taken to it, implementing them for Rust seems difficult.
|
|
|
|
*/
|
|
|
|
|
2013-06-28 17:32:26 -05:00
|
|
|
use std::container::Map;
|
|
|
|
use std::libc::c_ulonglong;
|
|
|
|
use std::option::{Option, Some, None};
|
2014-01-21 23:12:41 -06:00
|
|
|
use std::num::{Bitwise};
|
2013-02-28 01:08:52 -06:00
|
|
|
|
2013-06-15 09:29:52 -05:00
|
|
|
use lib::llvm::{ValueRef, True, IntEQ, IntNE};
|
2013-02-18 16:16:21 -06:00
|
|
|
use middle::trans::_match;
|
|
|
|
use middle::trans::build::*;
|
|
|
|
use middle::trans::common::*;
|
|
|
|
use middle::trans::machine;
|
|
|
|
use middle::trans::type_of;
|
|
|
|
use middle::ty;
|
2013-03-12 00:37:01 -05:00
|
|
|
use middle::ty::Disr;
|
2013-07-01 00:42:30 -05:00
|
|
|
use syntax::abi::{X86, X86_64, Arm, Mips};
|
2013-02-18 16:16:21 -06:00
|
|
|
use syntax::ast;
|
2013-07-01 00:42:30 -05:00
|
|
|
use syntax::attr;
|
|
|
|
use syntax::attr::IntType;
|
2013-02-18 16:16:21 -06:00
|
|
|
use util::ppaux::ty_to_str;
|
|
|
|
|
2013-06-16 05:52:44 -05:00
|
|
|
use middle::trans::type_::Type;
|
|
|
|
|
2013-07-01 00:42:30 -05:00
|
|
|
type Hint = attr::ReprAttr;
|
|
|
|
|
2013-02-18 16:16:21 -06:00
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/// Representations.
|
2013-02-18 16:16:21 -06:00
|
|
|
pub enum Repr {
|
2013-02-28 01:08:52 -06:00
|
|
|
/// C-like enums; basically an int.
|
2013-07-01 00:42:30 -05:00
|
|
|
CEnum(IntType, Disr, Disr), // discriminant range (signedness based on the IntType)
|
2013-03-11 00:58:44 -05:00
|
|
|
/**
|
|
|
|
* Single-case variants, and structs/tuples/records.
|
|
|
|
*
|
|
|
|
* Structs with destructors need a dynamic destroyedness flag to
|
|
|
|
* avoid running the destructor too many times; this is included
|
|
|
|
* in the `Struct` if present.
|
|
|
|
*/
|
|
|
|
Univariant(Struct, bool),
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
2013-03-11 03:04:08 -05:00
|
|
|
* General-case enums: for each case there is a struct, and they
|
|
|
|
* all start with a field for the discriminant.
|
2013-02-28 01:08:52 -06:00
|
|
|
*/
|
2013-07-01 00:42:30 -05:00
|
|
|
General(IntType, ~[Struct]),
|
2013-03-31 17:55:30 -05:00
|
|
|
/**
|
|
|
|
* Two cases distinguished by a nullable pointer: the case with discriminant
|
|
|
|
* `nndiscr` is represented by the struct `nonnull`, where the `ptrfield`th
|
|
|
|
* field is known to be nonnull due to its type; if that field is null, then
|
|
|
|
* it represents the other case, which is inhabited by at most one value
|
|
|
|
* (and all other fields are undefined/unused).
|
|
|
|
*
|
2013-06-28 17:32:26 -05:00
|
|
|
* For example, `std::option::Option` instantiated at a safe pointer type
|
2013-03-31 17:55:30 -05:00
|
|
|
* is represented such that `None` is a null pointer and `Some` is the
|
|
|
|
* identity function.
|
|
|
|
*/
|
2013-03-12 00:37:01 -05:00
|
|
|
NullablePointer{ nonnull: Struct, nndiscr: Disr, ptrfield: uint,
|
2013-03-31 17:55:30 -05:00
|
|
|
nullfields: ~[ty::t] }
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/// For structs, and struct-like parts of anything fancier.
|
2013-07-11 05:51:47 -05:00
|
|
|
pub struct Struct {
|
2013-02-18 16:16:21 -06:00
|
|
|
size: u64,
|
|
|
|
align: u64,
|
2013-04-10 07:47:22 -05:00
|
|
|
packed: bool,
|
2013-02-18 16:16:21 -06:00
|
|
|
fields: ~[ty::t]
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
|
|
|
* Convenience for `represent_type`. There should probably be more or
|
|
|
|
* these, for places in trans where the `ty::t` isn't directly
|
|
|
|
* available.
|
|
|
|
*/
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn represent_node(bcx: &Block, node: ast::NodeId) -> @Repr {
|
2013-02-18 16:16:21 -06:00
|
|
|
represent_type(bcx.ccx(), node_id_type(bcx, node))
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/// Decides how to represent a given type.
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn represent_type(cx: &CrateContext, t: ty::t) -> @Repr {
|
2013-10-21 15:08:31 -05:00
|
|
|
debug!("Representing: {}", ty_to_str(cx.tcx, t));
|
2013-12-18 19:58:24 -06:00
|
|
|
{
|
|
|
|
let adt_reprs = cx.adt_reprs.borrow();
|
|
|
|
match adt_reprs.get().find(&t) {
|
|
|
|
Some(repr) => return *repr,
|
|
|
|
None => {}
|
|
|
|
}
|
2013-02-25 03:49:21 -06:00
|
|
|
}
|
2013-12-18 19:58:24 -06:00
|
|
|
|
2013-03-31 17:55:30 -05:00
|
|
|
let repr = @represent_type_uncached(cx, t);
|
2013-10-21 15:08:31 -05:00
|
|
|
debug!("Represented as: {:?}", repr)
|
2013-12-18 19:58:24 -06:00
|
|
|
let mut adt_reprs = cx.adt_reprs.borrow_mut();
|
|
|
|
adt_reprs.get().insert(t, repr);
|
2013-03-31 17:55:30 -05:00
|
|
|
return repr;
|
|
|
|
}
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn represent_type_uncached(cx: &CrateContext, t: ty::t) -> Repr {
|
2013-03-31 17:55:30 -05:00
|
|
|
match ty::get(t).sty {
|
2013-02-18 16:16:21 -06:00
|
|
|
ty::ty_tup(ref elems) => {
|
2013-03-31 17:55:30 -05:00
|
|
|
return Univariant(mk_struct(cx, *elems, false), false)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
ty::ty_struct(def_id, ref substs) => {
|
|
|
|
let fields = ty::lookup_struct_fields(cx.tcx, def_id);
|
2013-11-21 17:42:55 -06:00
|
|
|
let mut ftys = fields.map(|field| {
|
2013-02-18 16:16:21 -06:00
|
|
|
ty::lookup_field_type(cx.tcx, def_id, field.id, substs)
|
2013-11-21 17:42:55 -06:00
|
|
|
});
|
2013-04-10 07:47:22 -05:00
|
|
|
let packed = ty::lookup_packed(cx.tcx, def_id);
|
2013-06-22 21:41:45 -05:00
|
|
|
let dtor = ty::ty_dtor(cx.tcx, def_id).has_drop_flag();
|
2013-07-02 21:13:00 -05:00
|
|
|
if dtor { ftys.push(ty::mk_bool()); }
|
|
|
|
|
2013-03-31 17:55:30 -05:00
|
|
|
return Univariant(mk_struct(cx, ftys, packed), dtor)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
ty::ty_enum(def_id, ref substs) => {
|
2013-06-02 15:03:35 -05:00
|
|
|
let cases = get_cases(cx.tcx, def_id, substs);
|
|
|
|
let hint = ty::lookup_repr_hint(cx.tcx, def_id);
|
2013-03-31 17:55:30 -05:00
|
|
|
|
2013-02-18 16:16:21 -06:00
|
|
|
if cases.len() == 0 {
|
|
|
|
// Uninhabitable; represent as unit
|
2013-08-30 01:45:06 -05:00
|
|
|
// (Typechecking will reject discriminant-sizing attrs.)
|
|
|
|
assert_eq!(hint, attr::ReprAny);
|
2013-05-19 00:07:44 -05:00
|
|
|
return Univariant(mk_struct(cx, [], false), false);
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
|
|
|
|
2013-06-17 18:43:22 -05:00
|
|
|
if cases.iter().all(|c| c.tys.len() == 0) {
|
2013-02-28 01:08:52 -06:00
|
|
|
// All bodies empty -> intlike
|
2013-02-23 02:59:24 -06:00
|
|
|
let discrs = cases.map(|c| c.discr);
|
2013-07-01 00:42:30 -05:00
|
|
|
let bounds = IntBounds {
|
|
|
|
ulo: *discrs.iter().min().unwrap(),
|
|
|
|
uhi: *discrs.iter().max().unwrap(),
|
|
|
|
slo: discrs.iter().map(|n| *n as i64).min().unwrap(),
|
|
|
|
shi: discrs.iter().map(|n| *n as i64).max().unwrap()
|
|
|
|
};
|
|
|
|
return mk_cenum(cx, hint, &bounds);
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
// Since there's at least one
|
|
|
|
// non-empty body, explicit discriminants should have
|
|
|
|
// been rejected by a checker before this point.
|
2013-03-12 00:37:01 -05:00
|
|
|
if !cases.iter().enumerate().all(|(i,c)| c.discr == (i as Disr)) {
|
2013-09-28 00:38:08 -05:00
|
|
|
cx.sess.bug(format!("non-C-like enum {} with specified \
|
2013-03-31 17:55:30 -05:00
|
|
|
discriminants",
|
|
|
|
ty::item_path_str(cx.tcx, def_id)))
|
|
|
|
}
|
|
|
|
|
2013-08-30 01:45:06 -05:00
|
|
|
if cases.len() == 1 {
|
|
|
|
// Equivalent to a struct/tuple/newtype.
|
|
|
|
// (Typechecking will reject discriminant-sizing attrs.)
|
|
|
|
assert_eq!(hint, attr::ReprAny);
|
|
|
|
return Univariant(mk_struct(cx, cases[0].tys, false), false)
|
|
|
|
}
|
|
|
|
|
|
|
|
if cases.len() == 2 && hint == attr::ReprAny {
|
|
|
|
// Nullable pointer optimization
|
2013-03-31 17:55:30 -05:00
|
|
|
let mut discr = 0;
|
|
|
|
while discr < 2 {
|
|
|
|
if cases[1 - discr].is_zerolen(cx) {
|
|
|
|
match cases[discr].find_ptr() {
|
|
|
|
Some(ptrfield) => {
|
|
|
|
return NullablePointer {
|
|
|
|
nndiscr: discr,
|
2013-07-02 14:47:32 -05:00
|
|
|
nonnull: mk_struct(cx,
|
|
|
|
cases[discr].tys,
|
|
|
|
false),
|
2013-03-31 17:55:30 -05:00
|
|
|
ptrfield: ptrfield,
|
2013-07-02 14:47:32 -05:00
|
|
|
nullfields: cases[1 - discr].tys.clone()
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
None => { }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
discr += 1;
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
2013-03-31 17:55:30 -05:00
|
|
|
|
|
|
|
// The general case.
|
2013-07-01 00:42:30 -05:00
|
|
|
assert!((cases.len() - 1) as i64 >= 0);
|
|
|
|
let bounds = IntBounds { ulo: 0, uhi: (cases.len() - 1) as u64,
|
|
|
|
slo: 0, shi: (cases.len() - 1) as i64 };
|
|
|
|
let ity = range_to_inttype(cx, hint, &bounds);
|
|
|
|
let discr = ~[ty_of_inttype(ity)];
|
|
|
|
return General(ity, cases.map(|c| mk_struct(cx, discr + c.tys, false)))
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-05-19 00:07:44 -05:00
|
|
|
_ => cx.sess.bug("adt::represent_type called on non-ADT type")
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2013-06-02 15:03:35 -05:00
|
|
|
/// Determine, without doing translation, whether an ADT must be FFI-safe.
|
|
|
|
/// For use in lint or similar, where being sound but slightly incomplete is acceptable.
|
|
|
|
pub fn is_ffi_safe(tcx: ty::ctxt, def_id: ast::DefId) -> bool {
|
|
|
|
match ty::get(ty::lookup_item_type(tcx, def_id).ty).sty {
|
2013-10-03 12:11:24 -05:00
|
|
|
ty::ty_enum(def_id, _) => {
|
|
|
|
let variants = ty::enum_variants(tcx, def_id);
|
2013-06-02 15:03:35 -05:00
|
|
|
// Univariant => like struct/tuple.
|
2013-10-03 12:11:24 -05:00
|
|
|
if variants.len() <= 1 {
|
2013-06-02 15:03:35 -05:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
let hint = ty::lookup_repr_hint(tcx, def_id);
|
|
|
|
// Appropriate representation explicitly selected?
|
|
|
|
if hint.is_ffi_safe() {
|
|
|
|
return true;
|
|
|
|
}
|
2013-10-03 12:11:24 -05:00
|
|
|
// Option<~T> and similar are used in FFI. Rather than try to resolve type parameters
|
|
|
|
// and recognize this case exactly, this overapproximates -- assuming that if a
|
|
|
|
// non-C-like enum is being used in FFI then the user knows what they're doing.
|
|
|
|
if variants.iter().any(|vi| !vi.args.is_empty()) {
|
2013-06-02 15:03:35 -05:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
false
|
|
|
|
}
|
|
|
|
// struct, tuple, etc.
|
|
|
|
// (is this right in the present of typedefs?)
|
|
|
|
_ => true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-11-28 14:22:53 -06:00
|
|
|
// this should probably all be in ty
|
2013-06-02 15:03:35 -05:00
|
|
|
struct Case { discr: Disr, tys: ~[ty::t] }
|
|
|
|
impl Case {
|
2013-12-19 18:47:15 -06:00
|
|
|
fn is_zerolen(&self, cx: &CrateContext) -> bool {
|
2013-06-02 15:03:35 -05:00
|
|
|
mk_struct(cx, self.tys, false).size == 0
|
|
|
|
}
|
|
|
|
fn find_ptr(&self) -> Option<uint> {
|
|
|
|
self.tys.iter().position(|&ty| mono_data_classify(ty) == MonoNonNull)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn get_cases(tcx: ty::ctxt, def_id: ast::DefId, substs: &ty::substs) -> ~[Case] {
|
2013-11-21 17:42:55 -06:00
|
|
|
ty::enum_variants(tcx, def_id).map(|vi| {
|
|
|
|
let arg_tys = vi.args.map(|&raw_ty| {
|
2013-06-02 15:03:35 -05:00
|
|
|
ty::subst(tcx, substs, raw_ty)
|
2013-11-21 17:42:55 -06:00
|
|
|
});
|
2013-06-02 15:03:35 -05:00
|
|
|
Case { discr: vi.disr_val, tys: arg_tys }
|
2013-11-21 17:42:55 -06:00
|
|
|
})
|
2013-06-02 15:03:35 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn mk_struct(cx: &CrateContext, tys: &[ty::t], packed: bool) -> Struct {
|
2013-02-18 16:16:21 -06:00
|
|
|
let lltys = tys.map(|&ty| type_of::sizing_type_of(cx, ty));
|
2013-06-15 09:29:52 -05:00
|
|
|
let llty_rec = Type::struct_(lltys, packed);
|
2013-02-18 16:16:21 -06:00
|
|
|
Struct {
|
|
|
|
size: machine::llsize_of_alloc(cx, llty_rec) /*bad*/as u64,
|
|
|
|
align: machine::llalign_of_min(cx, llty_rec) /*bad*/as u64,
|
2013-04-10 07:47:22 -05:00
|
|
|
packed: packed,
|
2013-07-12 02:53:03 -05:00
|
|
|
fields: tys.to_owned(),
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-07-01 00:42:30 -05:00
|
|
|
struct IntBounds {
|
|
|
|
slo: i64,
|
|
|
|
shi: i64,
|
|
|
|
ulo: u64,
|
|
|
|
uhi: u64
|
|
|
|
}
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn mk_cenum(cx: &CrateContext, hint: Hint, bounds: &IntBounds) -> Repr {
|
2013-07-01 00:42:30 -05:00
|
|
|
let it = range_to_inttype(cx, hint, bounds);
|
|
|
|
match it {
|
|
|
|
attr::SignedInt(_) => CEnum(it, bounds.slo as Disr, bounds.shi as Disr),
|
|
|
|
attr::UnsignedInt(_) => CEnum(it, bounds.ulo, bounds.uhi)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn range_to_inttype(cx: &CrateContext, hint: Hint, bounds: &IntBounds) -> IntType {
|
2013-07-01 00:42:30 -05:00
|
|
|
debug!("range_to_inttype: {:?} {:?}", hint, bounds);
|
|
|
|
// Lists of sizes to try. u64 is always allowed as a fallback.
|
|
|
|
static choose_shortest: &'static[IntType] = &[
|
2014-01-09 07:05:33 -06:00
|
|
|
attr::UnsignedInt(ast::TyU8), attr::SignedInt(ast::TyI8),
|
|
|
|
attr::UnsignedInt(ast::TyU16), attr::SignedInt(ast::TyI16),
|
|
|
|
attr::UnsignedInt(ast::TyU32), attr::SignedInt(ast::TyI32)];
|
2013-07-01 00:42:30 -05:00
|
|
|
static at_least_32: &'static[IntType] = &[
|
2014-01-09 07:05:33 -06:00
|
|
|
attr::UnsignedInt(ast::TyU32), attr::SignedInt(ast::TyI32)];
|
2013-07-01 00:42:30 -05:00
|
|
|
|
|
|
|
let attempts;
|
|
|
|
match hint {
|
|
|
|
attr::ReprInt(span, ity) => {
|
|
|
|
if !bounds_usable(cx, ity, bounds) {
|
2013-08-30 01:45:06 -05:00
|
|
|
cx.sess.span_bug(span, "representation hint insufficient for discriminant range")
|
2013-07-01 00:42:30 -05:00
|
|
|
}
|
|
|
|
return ity;
|
|
|
|
}
|
|
|
|
attr::ReprExtern => {
|
|
|
|
attempts = match cx.sess.targ_cfg.arch {
|
|
|
|
X86 | X86_64 => at_least_32,
|
|
|
|
// WARNING: the ARM EABI has two variants; the one corresponding to `at_least_32`
|
|
|
|
// appears to be used on Linux and NetBSD, but some systems may use the variant
|
|
|
|
// corresponding to `choose_shortest`. However, we don't run on those yet...?
|
|
|
|
Arm => at_least_32,
|
|
|
|
Mips => at_least_32,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
attr::ReprAny => {
|
|
|
|
attempts = choose_shortest;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
for &ity in attempts.iter() {
|
|
|
|
if bounds_usable(cx, ity, bounds) {
|
2013-10-03 15:58:01 -05:00
|
|
|
return ity;
|
2013-07-01 00:42:30 -05:00
|
|
|
}
|
|
|
|
}
|
2014-01-09 07:05:33 -06:00
|
|
|
return attr::UnsignedInt(ast::TyU64);
|
2013-07-01 00:42:30 -05:00
|
|
|
}
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn ll_inttype(cx: &CrateContext, ity: IntType) -> Type {
|
2013-07-01 00:42:30 -05:00
|
|
|
match ity {
|
|
|
|
attr::SignedInt(t) => Type::int_from_ty(cx, t),
|
|
|
|
attr::UnsignedInt(t) => Type::uint_from_ty(cx, t)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn bounds_usable(cx: &CrateContext, ity: IntType, bounds: &IntBounds) -> bool {
|
2013-07-01 00:42:30 -05:00
|
|
|
debug!("bounds_usable: {:?} {:?}", ity, bounds);
|
|
|
|
match ity {
|
|
|
|
attr::SignedInt(_) => {
|
|
|
|
let lllo = C_integral(ll_inttype(cx, ity), bounds.slo as u64, true);
|
|
|
|
let llhi = C_integral(ll_inttype(cx, ity), bounds.shi as u64, true);
|
|
|
|
bounds.slo == const_to_int(lllo) as i64 && bounds.shi == const_to_int(llhi) as i64
|
|
|
|
}
|
|
|
|
attr::UnsignedInt(_) => {
|
|
|
|
let lllo = C_integral(ll_inttype(cx, ity), bounds.ulo, false);
|
|
|
|
let llhi = C_integral(ll_inttype(cx, ity), bounds.uhi, false);
|
|
|
|
bounds.ulo == const_to_uint(lllo) as u64 && bounds.uhi == const_to_uint(llhi) as u64
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-09-25 11:41:10 -05:00
|
|
|
pub fn ty_of_inttype(ity: IntType) -> ty::t {
|
2013-07-01 00:42:30 -05:00
|
|
|
match ity {
|
|
|
|
attr::SignedInt(t) => ty::mk_mach_int(t),
|
|
|
|
attr::UnsignedInt(t) => ty::mk_mach_uint(t)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-08-30 01:45:06 -05:00
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
2013-11-22 03:16:17 -06:00
|
|
|
* LLVM-level types are a little complicated.
|
|
|
|
*
|
|
|
|
* C-like enums need to be actual ints, not wrapped in a struct,
|
|
|
|
* because that changes the ABI on some platforms (see issue #10308).
|
|
|
|
*
|
|
|
|
* For nominal types, in some cases, we need to use LLVM named structs
|
|
|
|
* and fill in the actual contents in a second pass to prevent
|
|
|
|
* unbounded recursion; see also the comments in `trans::type_of`.
|
2013-02-28 01:08:52 -06:00
|
|
|
*/
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn type_of(cx: &CrateContext, r: &Repr) -> Type {
|
2013-11-22 03:16:17 -06:00
|
|
|
generic_type_of(cx, r, None, false)
|
|
|
|
}
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn sizing_type_of(cx: &CrateContext, r: &Repr) -> Type {
|
2013-11-22 03:16:17 -06:00
|
|
|
generic_type_of(cx, r, None, true)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn incomplete_type_of(cx: &CrateContext, r: &Repr, name: &str) -> Type {
|
2013-11-22 03:16:17 -06:00
|
|
|
generic_type_of(cx, r, Some(name), false)
|
|
|
|
}
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn finish_type_of(cx: &CrateContext, r: &Repr, llty: &mut Type) {
|
2013-11-22 03:16:17 -06:00
|
|
|
match *r {
|
2013-11-28 14:22:53 -06:00
|
|
|
CEnum(..) | General(..) => { }
|
|
|
|
Univariant(ref st, _) | NullablePointer{ nonnull: ref st, .. } =>
|
2013-11-22 03:16:17 -06:00
|
|
|
llty.set_struct_body(struct_llfields(cx, st, false), st.packed)
|
|
|
|
}
|
2013-02-28 01:08:52 -06:00
|
|
|
}
|
2013-11-22 03:16:17 -06:00
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn generic_type_of(cx: &CrateContext, r: &Repr, name: Option<&str>, sizing: bool) -> Type {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-11-22 03:16:17 -06:00
|
|
|
CEnum(ity, _, _) => ll_inttype(cx, ity),
|
2013-11-28 14:22:53 -06:00
|
|
|
Univariant(ref st, _) | NullablePointer{ nonnull: ref st, .. } => {
|
2013-11-22 03:16:17 -06:00
|
|
|
match name {
|
|
|
|
None => Type::struct_(struct_llfields(cx, st, sizing), st.packed),
|
|
|
|
Some(name) => { assert_eq!(sizing, false); Type::named_struct(name) }
|
|
|
|
}
|
|
|
|
}
|
2013-10-26 14:12:53 -05:00
|
|
|
General(ity, ref sts) => {
|
|
|
|
// We need a representation that has:
|
|
|
|
// * The alignment of the most-aligned field
|
|
|
|
// * The size of the largest variant (rounded up to that alignment)
|
|
|
|
// * No alignment padding anywhere any variant has actual data
|
|
|
|
// (currently matters only for enums small enough to be immediate)
|
|
|
|
// * The discriminant in an obvious place.
|
|
|
|
//
|
|
|
|
// So we start with the discriminant, pad it up to the alignment with
|
|
|
|
// more of its own type, then use alignment-sized ints to get the rest
|
|
|
|
// of the size.
|
|
|
|
//
|
2013-11-22 03:16:17 -06:00
|
|
|
// FIXME #10604: this breaks when vector types are present.
|
2013-10-26 14:12:53 -05:00
|
|
|
let size = sts.iter().map(|st| st.size).max().unwrap();
|
|
|
|
let most_aligned = sts.iter().max_by(|st| st.align).unwrap();
|
|
|
|
let align = most_aligned.align;
|
|
|
|
let discr_ty = ll_inttype(cx, ity);
|
|
|
|
let discr_size = machine::llsize_of_alloc(cx, discr_ty) as u64;
|
2014-01-21 23:12:41 -06:00
|
|
|
let align_units = (size + align - 1) / align - 1;
|
2013-10-26 14:12:53 -05:00
|
|
|
let pad_ty = match align {
|
2014-01-21 23:12:41 -06:00
|
|
|
1 => Type::array(&Type::i8(), align_units),
|
|
|
|
2 => Type::array(&Type::i16(), align_units),
|
|
|
|
4 => Type::array(&Type::i32(), align_units),
|
|
|
|
8 if machine::llalign_of_min(cx, Type::i64()) == 8 =>
|
|
|
|
Type::array(&Type::i64(), align_units),
|
|
|
|
a if a.population_count() == 1 => Type::array(&Type::vector(&Type::i32(), a / 4),
|
|
|
|
align_units),
|
2013-10-26 14:12:53 -05:00
|
|
|
_ => fail!("Unsupported enum alignment: {:?}", align)
|
|
|
|
};
|
|
|
|
assert_eq!(machine::llalign_of_min(cx, pad_ty) as u64, align);
|
|
|
|
assert_eq!(align % discr_size, 0);
|
2013-11-22 03:16:17 -06:00
|
|
|
let fields = ~[discr_ty,
|
2014-01-21 23:12:41 -06:00
|
|
|
Type::array(&discr_ty, align / discr_size - 1),
|
|
|
|
pad_ty];
|
2013-11-22 03:16:17 -06:00
|
|
|
match name {
|
|
|
|
None => Type::struct_(fields, false),
|
|
|
|
Some(name) => {
|
|
|
|
let mut llty = Type::named_struct(name);
|
|
|
|
llty.set_struct_body(fields, false);
|
|
|
|
llty
|
|
|
|
}
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-12-19 18:47:15 -06:00
|
|
|
fn struct_llfields(cx: &CrateContext, st: &Struct, sizing: bool) -> ~[Type] {
|
2013-03-11 03:04:08 -05:00
|
|
|
if sizing {
|
|
|
|
st.fields.map(|&ty| type_of::sizing_type_of(cx, ty))
|
|
|
|
} else {
|
|
|
|
st.fields.map(|&ty| type_of::type_of(cx, ty))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
2013-02-28 14:13:00 -06:00
|
|
|
* Obtain a representation of the discriminant sufficient to translate
|
|
|
|
* destructuring; this may or may not involve the actual discriminant.
|
|
|
|
*
|
2013-02-28 01:08:52 -06:00
|
|
|
* This should ideally be less tightly tied to `_match`.
|
|
|
|
*/
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn trans_switch(bcx: &Block, r: &Repr, scrutinee: ValueRef)
|
2013-02-28 13:43:20 -06:00
|
|
|
-> (_match::branch_kind, Option<ValueRef>) {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-11-28 14:22:53 -06:00
|
|
|
CEnum(..) | General(..) => {
|
2013-07-01 00:42:30 -05:00
|
|
|
(_match::switch, Some(trans_get_discr(bcx, r, scrutinee, None)))
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ nonnull: ref nonnull, nndiscr, ptrfield, .. } => {
|
2013-03-31 17:55:30 -05:00
|
|
|
(_match::switch, Some(nullable_bitdiscr(bcx, nonnull, nndiscr, ptrfield, scrutinee)))
|
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
Univariant(..) => {
|
2013-02-18 16:16:21 -06:00
|
|
|
(_match::single, None)
|
|
|
|
}
|
2013-02-28 13:43:20 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-31 17:55:30 -05:00
|
|
|
|
|
|
|
|
2013-02-28 14:13:00 -06:00
|
|
|
/// Obtain the actual discriminant of a value.
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn trans_get_discr(bcx: &Block, r: &Repr, scrutinee: ValueRef, cast_to: Option<Type>)
|
2013-02-28 13:43:20 -06:00
|
|
|
-> ValueRef {
|
2013-07-01 00:42:30 -05:00
|
|
|
let signed;
|
|
|
|
let val;
|
2013-02-28 13:43:20 -06:00
|
|
|
match *r {
|
2013-07-01 00:42:30 -05:00
|
|
|
CEnum(ity, min, max) => {
|
|
|
|
val = load_discr(bcx, ity, scrutinee, min, max);
|
|
|
|
signed = ity.is_signed();
|
|
|
|
}
|
|
|
|
General(ity, ref cases) => {
|
2013-11-22 03:16:17 -06:00
|
|
|
let ptr = GEPi(bcx, scrutinee, [0, 0]);
|
|
|
|
val = load_discr(bcx, ity, ptr, 0, (cases.len() - 1) as Disr);
|
2013-07-01 00:42:30 -05:00
|
|
|
signed = ity.is_signed();
|
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
Univariant(..) => {
|
2013-07-01 00:42:30 -05:00
|
|
|
val = C_u8(0);
|
|
|
|
signed = false;
|
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ nonnull: ref nonnull, nndiscr, ptrfield, .. } => {
|
2013-07-01 00:42:30 -05:00
|
|
|
val = nullable_bitdiscr(bcx, nonnull, nndiscr, ptrfield, scrutinee);
|
|
|
|
signed = false;
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-07-01 00:42:30 -05:00
|
|
|
match cast_to {
|
|
|
|
None => val,
|
|
|
|
Some(llty) => if signed { SExt(bcx, val, llty) } else { ZExt(bcx, val, llty) }
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2014-01-07 10:54:58 -06:00
|
|
|
fn nullable_bitdiscr(bcx: &Block, nonnull: &Struct, nndiscr: Disr, ptrfield: uint,
|
2013-03-31 17:55:30 -05:00
|
|
|
scrutinee: ValueRef) -> ValueRef {
|
|
|
|
let cmp = if nndiscr == 0 { IntEQ } else { IntNE };
|
|
|
|
let llptr = Load(bcx, GEPi(bcx, scrutinee, [0, ptrfield]));
|
|
|
|
let llptrty = type_of::type_of(bcx.ccx(), nonnull.fields[ptrfield]);
|
|
|
|
ICmp(bcx, cmp, llptr, C_null(llptrty))
|
|
|
|
}
|
|
|
|
|
2013-02-28 14:13:00 -06:00
|
|
|
/// Helper for cases where the discriminant is simply loaded.
|
2014-01-07 10:54:58 -06:00
|
|
|
fn load_discr(bcx: &Block, ity: IntType, ptr: ValueRef, min: Disr, max: Disr)
|
2013-02-28 13:24:30 -06:00
|
|
|
-> ValueRef {
|
2013-07-01 00:42:30 -05:00
|
|
|
let llty = ll_inttype(bcx.ccx(), ity);
|
|
|
|
assert_eq!(val_ty(ptr), llty.ptr_to());
|
|
|
|
let bits = machine::llbitsize_of_real(bcx.ccx(), llty);
|
|
|
|
assert!(bits <= 64);
|
|
|
|
let mask = (-1u64 >> (64 - bits)) as Disr;
|
|
|
|
if (max + 1) & mask == min & mask {
|
2013-02-28 13:24:30 -06:00
|
|
|
// i.e., if the range is everything. The lo==hi case would be
|
|
|
|
// rejected by the LLVM verifier (it would mean either an
|
|
|
|
// empty set, which is impossible, or the entire range of the
|
|
|
|
// type, which is pointless).
|
|
|
|
Load(bcx, ptr)
|
|
|
|
} else {
|
|
|
|
// llvm::ConstantRange can deal with ranges that wrap around,
|
|
|
|
// so an overflow on (max + 1) is fine.
|
|
|
|
LoadRangeAssert(bcx, ptr, min as c_ulonglong,
|
|
|
|
(max + 1) as c_ulonglong,
|
|
|
|
/* signed: */ True)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
|
|
|
* Yield information about how to dispatch a case of the
|
|
|
|
* discriminant-like value returned by `trans_switch`.
|
2013-02-28 14:13:00 -06:00
|
|
|
*
|
2013-02-28 01:08:52 -06:00
|
|
|
* This should ideally be less tightly tied to `_match`.
|
|
|
|
*/
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn trans_case<'a>(bcx: &'a Block<'a>, r: &Repr, discr: Disr)
|
|
|
|
-> _match::opt_result<'a> {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-07-01 00:42:30 -05:00
|
|
|
CEnum(ity, _, _) => {
|
|
|
|
_match::single_result(rslt(bcx, C_integral(ll_inttype(bcx.ccx(), ity),
|
|
|
|
discr as u64, true)))
|
|
|
|
}
|
|
|
|
General(ity, _) => {
|
|
|
|
_match::single_result(rslt(bcx, C_integral(ll_inttype(bcx.ccx(), ity),
|
|
|
|
discr as u64, true)))
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
Univariant(..) => {
|
2013-05-19 00:07:44 -05:00
|
|
|
bcx.ccx().sess.bug("no cases for univariants or structs")
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ .. } => {
|
2013-03-31 17:55:30 -05:00
|
|
|
assert!(discr == 0 || discr == 1);
|
|
|
|
_match::single_result(rslt(bcx, C_i1(discr != 0)))
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
|
|
|
* Begin initializing a new value of the given case of the given
|
2013-03-02 18:08:49 -06:00
|
|
|
* representation. The fields, if any, should then be initialized via
|
|
|
|
* `trans_field_ptr`.
|
2013-02-28 01:08:52 -06:00
|
|
|
*/
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn trans_start_init(bcx: &Block, r: &Repr, val: ValueRef, discr: Disr) {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-07-01 00:42:30 -05:00
|
|
|
CEnum(ity, min, max) => {
|
|
|
|
assert_discr_in_range(ity, min, max, discr);
|
|
|
|
Store(bcx, C_integral(ll_inttype(bcx.ccx(), ity), discr as u64, true),
|
2013-11-22 03:16:17 -06:00
|
|
|
val)
|
2013-07-01 00:42:30 -05:00
|
|
|
}
|
|
|
|
General(ity, _) => {
|
|
|
|
Store(bcx, C_integral(ll_inttype(bcx.ccx(), ity), discr as u64, true),
|
|
|
|
GEPi(bcx, val, [0, 0]))
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-03-11 00:58:44 -05:00
|
|
|
Univariant(ref st, true) => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(discr, 0);
|
2013-03-11 00:58:44 -05:00
|
|
|
Store(bcx, C_bool(true),
|
|
|
|
GEPi(bcx, val, [0, st.fields.len() - 1]))
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
Univariant(..) => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(discr, 0);
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ nonnull: ref nonnull, nndiscr, ptrfield, .. } => {
|
2013-03-31 17:55:30 -05:00
|
|
|
if discr != nndiscr {
|
|
|
|
let llptrptr = GEPi(bcx, val, [0, ptrfield]);
|
|
|
|
let llptrty = type_of::type_of(bcx.ccx(), nonnull.fields[ptrfield]);
|
|
|
|
Store(bcx, C_null(llptrty), llptrptr)
|
|
|
|
}
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-07-01 00:42:30 -05:00
|
|
|
fn assert_discr_in_range(ity: IntType, min: Disr, max: Disr, discr: Disr) {
|
|
|
|
match ity {
|
|
|
|
attr::UnsignedInt(_) => assert!(min <= discr && discr <= max),
|
|
|
|
attr::SignedInt(_) => assert!(min as i64 <= discr as i64 && discr as i64 <= max as i64)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
|
|
|
* The number of fields in a given case; for use when obtaining this
|
|
|
|
* information from the type or definition is less convenient.
|
|
|
|
*/
|
2013-03-12 00:37:01 -05:00
|
|
|
pub fn num_args(r: &Repr, discr: Disr) -> uint {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-11-28 14:22:53 -06:00
|
|
|
CEnum(..) => 0,
|
2013-03-11 00:58:44 -05:00
|
|
|
Univariant(ref st, dtor) => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(discr, 0);
|
2013-03-11 00:58:44 -05:00
|
|
|
st.fields.len() - (if dtor { 1 } else { 0 })
|
|
|
|
}
|
2013-07-01 00:42:30 -05:00
|
|
|
General(_, ref cases) => cases[discr].fields.len() - 1,
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ nonnull: ref nonnull, nndiscr,
|
|
|
|
nullfields: ref nullfields, .. } => {
|
2013-04-30 13:36:22 -05:00
|
|
|
if discr == nndiscr { nonnull.fields.len() } else { nullfields.len() }
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-01-15 13:39:08 -06:00
|
|
|
/// Access a field, at a point when the value's case is known.
|
|
|
|
pub fn deref_ty(ccx: &CrateContext, r: &Repr) -> ty::t {
|
|
|
|
match *r {
|
|
|
|
CEnum(..) => {
|
|
|
|
ccx.sess.bug("deref of c-like enum")
|
|
|
|
}
|
|
|
|
Univariant(ref st, _) => {
|
|
|
|
st.fields[0]
|
|
|
|
}
|
|
|
|
General(_, ref cases) => {
|
|
|
|
assert!(cases.len() == 1);
|
|
|
|
cases[0].fields[0]
|
|
|
|
}
|
|
|
|
NullablePointer{ .. } => {
|
|
|
|
ccx.sess.bug("deref of nullable ptr")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/// Access a field, at a point when the value's case is known.
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn trans_field_ptr(bcx: &Block, r: &Repr, val: ValueRef, discr: Disr,
|
2013-03-02 18:08:49 -06:00
|
|
|
ix: uint) -> ValueRef {
|
2013-02-18 16:16:21 -06:00
|
|
|
// Note: if this ever needs to generate conditionals (e.g., if we
|
|
|
|
// decide to do some kind of cdr-coding-like non-unique repr
|
2013-02-28 01:08:52 -06:00
|
|
|
// someday), it will need to return a possibly-new bcx as well.
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-11-28 14:22:53 -06:00
|
|
|
CEnum(..) => {
|
2013-05-19 00:07:44 -05:00
|
|
|
bcx.ccx().sess.bug("element access in C-like enum")
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-03-11 00:58:44 -05:00
|
|
|
Univariant(ref st, _dtor) => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(discr, 0);
|
2013-03-02 18:08:49 -06:00
|
|
|
struct_field_ptr(bcx, st, val, ix, false)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-07-01 00:42:30 -05:00
|
|
|
General(_, ref cases) => {
|
2013-07-23 10:52:44 -05:00
|
|
|
struct_field_ptr(bcx, &cases[discr], val, ix + 1, true)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ nonnull: ref nonnull, nullfields: ref nullfields,
|
|
|
|
nndiscr, .. } => {
|
2014-01-19 02:21:14 -06:00
|
|
|
if discr == nndiscr {
|
2013-03-31 17:55:30 -05:00
|
|
|
struct_field_ptr(bcx, nonnull, val, ix, false)
|
|
|
|
} else {
|
|
|
|
// The unit-like case might have a nonzero number of unit-like fields.
|
|
|
|
// (e.g., Result or Either with () as one side.)
|
2013-06-15 09:29:52 -05:00
|
|
|
let ty = type_of::type_of(bcx.ccx(), nullfields[ix]);
|
2013-06-16 05:52:44 -05:00
|
|
|
assert_eq!(machine::llsize_of_alloc(bcx.ccx(), ty), 0);
|
2013-03-31 17:55:30 -05:00
|
|
|
// The contents of memory at this pointer can't matter, but use
|
|
|
|
// the value that's "reasonable" in case of pointer comparison.
|
2013-06-15 09:29:52 -05:00
|
|
|
PointerCast(bcx, val, ty.ptr_to())
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-01-07 10:54:58 -06:00
|
|
|
fn struct_field_ptr(bcx: &Block, st: &Struct, val: ValueRef, ix: uint,
|
2013-02-23 00:03:59 -06:00
|
|
|
needs_cast: bool) -> ValueRef {
|
2013-02-18 16:16:21 -06:00
|
|
|
let ccx = bcx.ccx();
|
|
|
|
|
2013-02-23 00:03:59 -06:00
|
|
|
let val = if needs_cast {
|
2013-11-21 17:42:55 -06:00
|
|
|
let fields = st.fields.map(|&ty| type_of::type_of(ccx, ty));
|
2013-06-15 09:29:52 -05:00
|
|
|
let real_ty = Type::struct_(fields, st.packed);
|
2013-06-16 05:52:44 -05:00
|
|
|
PointerCast(bcx, val, real_ty.ptr_to())
|
2013-02-23 00:03:59 -06:00
|
|
|
} else {
|
|
|
|
val
|
|
|
|
};
|
2013-02-18 16:16:21 -06:00
|
|
|
|
2013-02-23 00:03:59 -06:00
|
|
|
GEPi(bcx, val, [0, ix])
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/// Access the struct drop flag, if present.
|
2014-01-07 10:54:58 -06:00
|
|
|
pub fn trans_drop_flag_ptr(bcx: &Block, r: &Repr, val: ValueRef) -> ValueRef {
|
2013-02-25 01:20:08 -06:00
|
|
|
match *r {
|
2013-03-11 00:58:44 -05:00
|
|
|
Univariant(ref st, true) => GEPi(bcx, val, [0, st.fields.len() - 1]),
|
2013-05-19 00:07:44 -05:00
|
|
|
_ => bcx.ccx().sess.bug("tried to get drop flag of non-droppable type")
|
2013-02-25 01:20:08 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/**
|
|
|
|
* Construct a constant value, suitable for initializing a
|
|
|
|
* GlobalVariable, given a case and constant values for its fields.
|
|
|
|
* Note that this may have a different LLVM type (and different
|
|
|
|
* alignment!) from the representation's `type_of`, so it needs a
|
|
|
|
* pointer cast before use.
|
|
|
|
*
|
2013-03-02 16:03:41 -06:00
|
|
|
* The LLVM type system does not directly support unions, and only
|
|
|
|
* pointers can be bitcast, so a constant (and, by extension, the
|
|
|
|
* GlobalVariable initialized by it) will have a type that can vary
|
|
|
|
* depending on which case of an enum it is.
|
|
|
|
*
|
|
|
|
* To understand the alignment situation, consider `enum E { V64(u64),
|
2013-03-11 03:04:08 -05:00
|
|
|
* V32(u32, u32) }` on win32. The type has 8-byte alignment to
|
|
|
|
* accommodate the u64, but `V32(x, y)` would have LLVM type `{i32,
|
|
|
|
* i32, i32}`, which is 4-byte aligned.
|
2013-03-02 16:03:41 -06:00
|
|
|
*
|
|
|
|
* Currently the returned value has the same size as the type, but
|
2013-03-11 03:04:08 -05:00
|
|
|
* this could be changed in the future to avoid allocating unnecessary
|
2013-03-02 16:03:41 -06:00
|
|
|
* space after values of shorter-than-maximum cases.
|
2013-02-28 01:08:52 -06:00
|
|
|
*/
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn trans_const(ccx: &CrateContext, r: &Repr, discr: Disr,
|
2013-02-18 16:16:21 -06:00
|
|
|
vals: &[ValueRef]) -> ValueRef {
|
|
|
|
match *r {
|
2013-07-01 00:42:30 -05:00
|
|
|
CEnum(ity, min, max) => {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(vals.len(), 0);
|
2013-07-01 00:42:30 -05:00
|
|
|
assert_discr_in_range(ity, min, max, discr);
|
|
|
|
C_integral(ll_inttype(ccx, ity), discr as u64, true)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-07-01 00:42:30 -05:00
|
|
|
General(ity, ref cases) => {
|
2013-07-23 10:52:44 -05:00
|
|
|
let case = &cases[discr];
|
2013-08-09 22:09:47 -05:00
|
|
|
let max_sz = cases.iter().map(|x| x.size).max().unwrap();
|
2013-07-01 00:42:30 -05:00
|
|
|
let lldiscr = C_integral(ll_inttype(ccx, ity), discr as u64, true);
|
|
|
|
let contents = build_const_struct(ccx, case, ~[lldiscr] + vals);
|
2013-10-12 22:19:22 -05:00
|
|
|
C_struct(contents + &[padding(max_sz - case.size)], false)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
2013-07-01 00:42:30 -05:00
|
|
|
Univariant(ref st, _dro) => {
|
|
|
|
assert!(discr == 0);
|
|
|
|
let contents = build_const_struct(ccx, st, vals);
|
|
|
|
C_struct(contents, st.packed)
|
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
NullablePointer{ nonnull: ref nonnull, nndiscr, ptrfield, .. } => {
|
2013-03-31 17:55:30 -05:00
|
|
|
if discr == nndiscr {
|
2013-10-12 22:19:22 -05:00
|
|
|
C_struct(build_const_struct(ccx, nonnull, vals), false)
|
2013-03-31 17:55:30 -05:00
|
|
|
} else {
|
2013-11-21 17:42:55 -06:00
|
|
|
let vals = nonnull.fields.iter().enumerate().map(|(i, &ty)| {
|
2013-03-31 17:55:30 -05:00
|
|
|
let llty = type_of::sizing_type_of(ccx, ty);
|
|
|
|
if i == ptrfield { C_null(llty) } else { C_undef(llty) }
|
2013-11-21 17:42:55 -06:00
|
|
|
}).collect::<~[ValueRef]>();
|
2013-10-12 22:19:22 -05:00
|
|
|
C_struct(build_const_struct(ccx, nonnull, vals), false)
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 13:24:30 -06:00
|
|
|
/**
|
|
|
|
* Building structs is a little complicated, because we might need to
|
|
|
|
* insert padding if a field's value is less aligned than its type.
|
2013-03-02 16:03:41 -06:00
|
|
|
*
|
|
|
|
* Continuing the example from `trans_const`, a value of type `(u32,
|
|
|
|
* E)` should have the `E` at offset 8, but if that field's
|
|
|
|
* initializer is 4-byte aligned then simply translating the tuple as
|
|
|
|
* a two-element struct will locate it at offset 4, and accesses to it
|
|
|
|
* will read the wrong memory.
|
2013-02-28 13:24:30 -06:00
|
|
|
*/
|
2013-12-19 18:47:15 -06:00
|
|
|
fn build_const_struct(ccx: &CrateContext, st: &Struct, vals: &[ValueRef])
|
2013-02-18 16:16:21 -06:00
|
|
|
-> ~[ValueRef] {
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(vals.len(), st.fields.len());
|
2013-02-18 16:16:21 -06:00
|
|
|
|
|
|
|
let mut offset = 0;
|
|
|
|
let mut cfields = ~[];
|
2013-08-03 11:45:23 -05:00
|
|
|
for (i, &ty) in st.fields.iter().enumerate() {
|
2013-02-18 16:16:21 -06:00
|
|
|
let llty = type_of::sizing_type_of(ccx, ty);
|
|
|
|
let type_align = machine::llalign_of_min(ccx, llty)
|
|
|
|
/*bad*/as u64;
|
|
|
|
let val_align = machine::llalign_of_min(ccx, val_ty(vals[i]))
|
|
|
|
/*bad*/as u64;
|
|
|
|
let target_offset = roundup(offset, type_align);
|
|
|
|
offset = roundup(offset, val_align);
|
2014-01-19 02:21:14 -06:00
|
|
|
if offset != target_offset {
|
2013-02-18 16:16:21 -06:00
|
|
|
cfields.push(padding(target_offset - offset));
|
|
|
|
offset = target_offset;
|
|
|
|
}
|
2013-03-31 17:55:30 -05:00
|
|
|
let val = if is_undef(vals[i]) {
|
2013-10-12 22:19:22 -05:00
|
|
|
let wrapped = C_struct([vals[i]], false);
|
2013-03-31 17:55:30 -05:00
|
|
|
assert!(!is_undef(wrapped));
|
|
|
|
wrapped
|
|
|
|
} else {
|
|
|
|
vals[i]
|
|
|
|
};
|
|
|
|
cfields.push(val);
|
2013-05-30 19:08:49 -05:00
|
|
|
offset += machine::llsize_of_alloc(ccx, llty) as u64
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
return cfields;
|
|
|
|
}
|
|
|
|
|
2013-02-28 13:24:30 -06:00
|
|
|
fn padding(size: u64) -> ValueRef {
|
2013-06-16 05:52:44 -05:00
|
|
|
C_undef(Type::array(&Type::i8(), size))
|
2013-02-28 13:24:30 -06:00
|
|
|
}
|
|
|
|
|
2014-01-26 02:43:42 -06:00
|
|
|
// FIXME this utility routine should be somewhere more general
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2013-02-18 16:16:21 -06:00
|
|
|
fn roundup(x: u64, a: u64) -> u64 { ((x + (a - 1)) / a) * a }
|
|
|
|
|
2013-02-28 01:08:52 -06:00
|
|
|
/// Get the discriminant of a constant value. (Not currently used.)
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn const_get_discrim(ccx: &CrateContext, r: &Repr, val: ValueRef)
|
2013-03-12 00:37:01 -05:00
|
|
|
-> Disr {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-07-01 00:42:30 -05:00
|
|
|
CEnum(ity, _, _) => {
|
|
|
|
match ity {
|
2013-11-28 14:22:53 -06:00
|
|
|
attr::SignedInt(..) => const_to_int(val) as Disr,
|
|
|
|
attr::UnsignedInt(..) => const_to_uint(val) as Disr
|
2013-07-01 00:42:30 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
General(ity, _) => {
|
|
|
|
match ity {
|
2013-11-28 14:22:53 -06:00
|
|
|
attr::SignedInt(..) => const_to_int(const_get_elt(ccx, val, [0])) as Disr,
|
|
|
|
attr::UnsignedInt(..) => const_to_uint(const_get_elt(ccx, val, [0])) as Disr
|
2013-07-01 00:42:30 -05:00
|
|
|
}
|
|
|
|
}
|
2013-11-28 14:22:53 -06:00
|
|
|
Univariant(..) => 0,
|
|
|
|
NullablePointer{ nndiscr, ptrfield, .. } => {
|
2013-07-23 10:52:44 -05:00
|
|
|
if is_null(const_struct_field(ccx, val, ptrfield)) {
|
|
|
|
/* subtraction as uint is ok because nndiscr is either 0 or 1 */
|
2013-03-12 00:37:01 -05:00
|
|
|
(1 - nndiscr) as Disr
|
2013-07-23 10:52:44 -05:00
|
|
|
} else {
|
|
|
|
nndiscr
|
|
|
|
}
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-02 18:08:49 -06:00
|
|
|
/**
|
|
|
|
* Extract a field of a constant value, as appropriate for its
|
|
|
|
* representation.
|
|
|
|
*
|
|
|
|
* (Not to be confused with `common::const_get_elt`, which operates on
|
|
|
|
* raw LLVM-level structs and arrays.)
|
|
|
|
*/
|
2013-12-19 18:47:15 -06:00
|
|
|
pub fn const_get_field(ccx: &CrateContext, r: &Repr, val: ValueRef,
|
2013-03-12 00:37:01 -05:00
|
|
|
_discr: Disr, ix: uint) -> ValueRef {
|
2013-02-18 16:16:21 -06:00
|
|
|
match *r {
|
2013-11-28 14:22:53 -06:00
|
|
|
CEnum(..) => ccx.sess.bug("element access in C-like enum const"),
|
|
|
|
Univariant(..) => const_struct_field(ccx, val, ix),
|
|
|
|
General(..) => const_struct_field(ccx, val, ix + 1),
|
|
|
|
NullablePointer{ .. } => const_struct_field(ccx, val, ix)
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-28 13:24:30 -06:00
|
|
|
/// Extract field of struct-like const, skipping our alignment padding.
|
2013-12-19 18:47:15 -06:00
|
|
|
fn const_struct_field(ccx: &CrateContext, val: ValueRef, ix: uint)
|
2013-02-18 16:16:21 -06:00
|
|
|
-> ValueRef {
|
|
|
|
// Get the ix-th non-undef element of the struct.
|
|
|
|
let mut real_ix = 0; // actual position in the struct
|
|
|
|
let mut ix = ix; // logical index relative to real_ix
|
|
|
|
let mut field;
|
|
|
|
loop {
|
|
|
|
loop {
|
|
|
|
field = const_get_elt(ccx, val, [real_ix]);
|
|
|
|
if !is_undef(field) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
real_ix = real_ix + 1;
|
|
|
|
}
|
|
|
|
if ix == 0 {
|
|
|
|
return field;
|
|
|
|
}
|
|
|
|
ix = ix - 1;
|
|
|
|
real_ix = real_ix + 1;
|
|
|
|
}
|
|
|
|
}
|
2013-02-24 16:01:43 -06:00
|
|
|
|
|
|
|
/// Is it safe to bitcast a value to the one field of its one variant?
|
|
|
|
pub fn is_newtypeish(r: &Repr) -> bool {
|
|
|
|
match *r {
|
2013-03-11 00:58:44 -05:00
|
|
|
Univariant(ref st, false) => st.fields.len() == 1,
|
2013-02-24 16:01:43 -06:00
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|