| use super::BackendTypes; |
| use crate::mir::place::PlaceRef; |
| use rustc::mir::interpret::Allocation; |
| use rustc::mir::interpret::Scalar; |
| use rustc::ty::layout; |
| use syntax_pos::Symbol; |
| |
| pub trait ConstMethods<'tcx>: BackendTypes { |
| // Constant constructors |
| fn const_null(&self, t: Self::Type) -> Self::Value; |
| fn const_undef(&self, t: Self::Type) -> Self::Value; |
| fn const_int(&self, t: Self::Type, i: i64) -> Self::Value; |
| fn const_uint(&self, t: Self::Type, i: u64) -> Self::Value; |
| fn const_uint_big(&self, t: Self::Type, u: u128) -> Self::Value; |
| fn const_bool(&self, val: bool) -> Self::Value; |
| fn const_i32(&self, i: i32) -> Self::Value; |
| fn const_u32(&self, i: u32) -> Self::Value; |
| fn const_u64(&self, i: u64) -> Self::Value; |
| fn const_usize(&self, i: u64) -> Self::Value; |
| fn const_u8(&self, i: u8) -> Self::Value; |
| fn const_real(&self, t: Self::Type, val: f64) -> Self::Value; |
| |
| fn const_str(&self, s: Symbol) -> (Self::Value, Self::Value); |
| fn const_struct(&self, elts: &[Self::Value], packed: bool) -> Self::Value; |
| |
| fn const_to_opt_uint(&self, v: Self::Value) -> Option<u64>; |
| fn const_to_opt_u128(&self, v: Self::Value, sign_ext: bool) -> Option<u128>; |
| |
| fn scalar_to_backend( |
| &self, |
| cv: Scalar, |
| layout: &layout::Scalar, |
| llty: Self::Type, |
| ) -> Self::Value; |
| fn from_const_alloc( |
| &self, |
| layout: layout::TyLayout<'tcx>, |
| alloc: &Allocation, |
| offset: layout::Size, |
| ) -> PlaceRef<'tcx, Self::Value>; |
| |
| fn const_ptrcast(&self, val: Self::Value, ty: Self::Type) -> Self::Value; |
| } |