266 lines
8.8 KiB
Rust
266 lines
8.8 KiB
Rust
// Legacy IR
|
||
//
|
||
// Copyright (C) 2014-2019 Ryan Specialty Group, LLC.
|
||
//
|
||
// This program is free software: you can redistribute it and/or modify
|
||
// it under the terms of the GNU General Public License as published by
|
||
// the Free Software Foundation, either version 3 of the License, or
|
||
// (at your option) any later version.
|
||
//
|
||
// This program is distributed in the hope that it will be useful,
|
||
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
// GNU General Public License for more details.
|
||
//
|
||
// You should have received a copy of the GNU General Public License
|
||
// along with this program. If not, see <http://www.gnu.org/licenses/>.
|
||
|
||
//! Legacy IR faithful to the XSLT-based compiler.
|
||
//!
|
||
//! This represents the intermediate format (IR) used by the `xmlo` files
|
||
//! (see [`crate::obj::xmlo`]) originally produced by the XSLT-based
|
||
//! compiler.
|
||
//! It consists largely of metadata for object symbols.
|
||
//!
|
||
//! This IR should be converted into a higher-level IR quickly,
|
||
//! especially considering that it will be going away in the future.
|
||
|
||
use crate::sym::Symbol;
|
||
use std::convert::TryFrom;
|
||
use std::result::Result;
|
||
|
||
/// Toplevel package attributes.
|
||
#[derive(Debug, Default, PartialEq, Eq)]
|
||
pub struct PackageAttrs<'i> {
|
||
/// Whether this package is a program.
|
||
///
|
||
/// A _program_ is a package intended to be linked into a final
|
||
/// executable.
|
||
/// Programs cannot be imported by other packages.
|
||
/// Non-program packages cannot be linked.
|
||
pub program: bool,
|
||
|
||
/// Symbol representing package eligibility.
|
||
///
|
||
/// A package is _eligible_ for computation if certain invariants are
|
||
/// met.
|
||
/// This symbol is responsible for including each of those invariants as
|
||
/// dependencies so that they are included at link-time.
|
||
pub elig: Option<&'i Symbol<'i>>,
|
||
}
|
||
|
||
/// Symbol attributes.
|
||
///
|
||
/// This is a subset of all available attributes available on the
|
||
/// `preproc:sym` nodes;
|
||
/// more will be added as needed.
|
||
///
|
||
/// Not all symbols share the same set of attributes,
|
||
/// so this represents the union of all possible attribute sets.
|
||
///
|
||
/// Due to the number of possible attributes,
|
||
/// this is not an opaque type.
|
||
/// Consequently,
|
||
/// valid values should be enforced by the Rust's type system.
|
||
#[derive(Debug, Default, PartialEq, Eq)]
|
||
pub struct SymAttrs<'i> {
|
||
/// Relative path to the package that defined this symbol.
|
||
///
|
||
/// Object files store relative paths so that they are somewhat
|
||
/// portable—the
|
||
/// entire project root should be able to be relocated.
|
||
pub src: Option<&'i Symbol<'i>>,
|
||
|
||
/// Symbol type.
|
||
///
|
||
/// The type describes the purpose of the symbol and determines both how
|
||
/// it is compiled and its location in the final executable.
|
||
pub ty: Option<SymType>,
|
||
|
||
/// Number of dimensions.
|
||
///
|
||
/// This determines the number of subscripts needed to access a scalar
|
||
/// value.
|
||
/// A value of `0` indicates a scalar;
|
||
/// a value of `1` indicates a vector;
|
||
/// a value of `2` indicates a matrix;
|
||
/// and a value of `n` indicates a multi-dimensional array of
|
||
/// depth `n`.
|
||
pub dim: Option<u8>,
|
||
|
||
/// Type of underlying data.
|
||
///
|
||
/// This is not a primitive,
|
||
/// and mostly represents whether or not floating point computations
|
||
/// will take place.
|
||
pub dtype: Option<SymDtype>,
|
||
|
||
/// Whether the symbol's location will be determined at link-time.
|
||
///
|
||
/// Externs allow symbols to be referenced without having yet been given
|
||
/// a concrete definition,
|
||
/// provided that an eventual concrete definition matches the
|
||
/// provided declaration.
|
||
/// The linker (see [`crate::ld`]) is responsible for ensuring that the
|
||
/// extern is satisfied and properly located in the final executable.
|
||
pub extern_: bool,
|
||
}
|
||
|
||
/// Legacy symbol types.
|
||
///
|
||
/// This enum represents all symbol types represented in the `xmlo` files.
|
||
/// They are overly specialized and will be deprecated in favor of more
|
||
/// generalized dependent types in later IRs.
|
||
#[derive(Debug, PartialEq, Eq)]
|
||
pub enum SymType {
|
||
/// Classification generator (from `lv:classify/@yields`).
|
||
Cgen,
|
||
/// Classification (from `lv:classify/@as`).
|
||
Class,
|
||
/// Constant (from `lv:const/@name`).
|
||
Const,
|
||
/// Function (from `lv:function/@name`).
|
||
Func,
|
||
/// Generator (from `lv:rate/@generates`).
|
||
Gen,
|
||
/// Local function parameter (from `lv:function/lv:param/@name`) or let
|
||
/// binding (from `lv:let/lv:values/lv:value/@name`).
|
||
Lparam,
|
||
/// Global parameter (from `lv:param/@name`).
|
||
Param,
|
||
/// Scalar calculation result (from `lv:rate/@yields`).
|
||
Rate,
|
||
/// Template (from `lv:template/@name`).
|
||
Tpl,
|
||
/// Typedef (from `lv:type/@name`).
|
||
Type,
|
||
/// Input map head (meta symbol generated by compiler for each input map).
|
||
MapHead,
|
||
/// Input field→param mapping (from `lvm:map`, `lvm:pass`).
|
||
Map,
|
||
/// Input map tail (meta symbol generated by compiler for each input map).
|
||
MapTail,
|
||
/// Return map head (meta symbol generated by compiler for each return map).
|
||
RetMapHead,
|
||
/// Return param→field mapping (from `lvm:map`, `lvm:pass`).
|
||
RetMap,
|
||
/// Return map tail (meta symbol generated by compiler for each return map).
|
||
RetMapTail,
|
||
/// Arbitrary metadata (from `lv:meta`).
|
||
Meta,
|
||
/// Rating worksheet (generated by compiler for worksheet packages).
|
||
Worksheet,
|
||
}
|
||
|
||
impl TryFrom<&[u8]> for SymType {
|
||
type Error = String;
|
||
|
||
/// Determine symbol type from source `preproc:sym/@type`.
|
||
///
|
||
/// This raises source `xmlo` data into this IR.
|
||
/// See [`crate::obj::xmlo::reader`].
|
||
fn try_from(value: &[u8]) -> Result<SymType, Self::Error> {
|
||
match value {
|
||
b"cgen" => Ok(SymType::Cgen),
|
||
b"class" => Ok(SymType::Class),
|
||
b"const" => Ok(SymType::Const),
|
||
b"func" => Ok(SymType::Func),
|
||
b"gen" => Ok(SymType::Gen),
|
||
b"lparam" => Ok(SymType::Lparam),
|
||
b"param" => Ok(SymType::Param),
|
||
b"rate" => Ok(SymType::Rate),
|
||
b"tpl" => Ok(SymType::Tpl),
|
||
b"type" => Ok(SymType::Type),
|
||
b"retmap:head" => Ok(SymType::RetMapHead),
|
||
b"retmap" => Ok(SymType::RetMap),
|
||
b"retmap:tail" => Ok(SymType::RetMapTail),
|
||
b"map:head" => Ok(SymType::MapHead),
|
||
b"map" => Ok(SymType::Map),
|
||
b"map:tail" => Ok(SymType::MapTail),
|
||
b"meta" => Ok(SymType::Meta),
|
||
b"worksheet" => Ok(SymType::Worksheet),
|
||
_ => Err(format!(
|
||
"unknown symbol type `{}`",
|
||
String::from_utf8(value.to_vec())
|
||
.unwrap_or("(invalid UTF8)".into())
|
||
)),
|
||
}
|
||
}
|
||
}
|
||
|
||
/// Underlying datatype.
|
||
///
|
||
/// This is the type of scalar data stored within the given symbol.
|
||
///
|
||
/// *NB:* This was _not enforced_ by the XSLT-based compiler.
|
||
#[derive(Debug, PartialEq, Eq, Clone, Copy)]
|
||
pub enum SymDtype {
|
||
/// {⊥,⊤} = {0,1} ⊂ ℤ
|
||
Boolean,
|
||
/// ℤ
|
||
Integer,
|
||
/// ℝ
|
||
Float,
|
||
/// ∅
|
||
Empty,
|
||
}
|
||
|
||
impl TryFrom<&[u8]> for SymDtype {
|
||
type Error = String;
|
||
|
||
/// Determine data type from source `preproc:sym/@dtype`.
|
||
///
|
||
/// This raises source `xmlo` data into this IR.
|
||
/// See [`crate::obj::xmlo::reader`].
|
||
fn try_from(value: &[u8]) -> Result<SymDtype, Self::Error> {
|
||
match value {
|
||
b"boolean" => Ok(SymDtype::Boolean),
|
||
b"integer" => Ok(SymDtype::Integer),
|
||
b"float" => Ok(SymDtype::Float),
|
||
b"empty" => Ok(SymDtype::Empty),
|
||
_ => Err(format!(
|
||
"unknown symbol dtype `{}`",
|
||
String::from_utf8(value.to_vec())
|
||
.unwrap_or("(invalid UTF8)".into())
|
||
)),
|
||
}
|
||
}
|
||
}
|
||
|
||
#[cfg(test)]
|
||
mod test {
|
||
use super::*;
|
||
|
||
// We're not going to check every possible value here since we'd be
|
||
// maintaining the mapping in two places; we can leave that to
|
||
// integration tests.
|
||
#[test]
|
||
fn symtype_from_u8() {
|
||
assert_eq!(Ok(SymType::Cgen), SymType::try_from(b"cgen" as &[u8]));
|
||
}
|
||
|
||
#[test]
|
||
fn symtype_failure_from_unknown_u8() {
|
||
match SymType::try_from(b"unknown" as &[u8]) {
|
||
Err(s) => assert!(s.contains("unknown")),
|
||
bad => panic!("expected error: {:?}", bad),
|
||
}
|
||
}
|
||
|
||
#[test]
|
||
fn symdtype_from_u8() {
|
||
assert_eq!(
|
||
Ok(SymDtype::Integer),
|
||
SymDtype::try_from(b"integer" as &[u8])
|
||
);
|
||
}
|
||
|
||
#[test]
|
||
fn symdtype_failure_from_unknown_u8() {
|
||
match SymDtype::try_from(b"unknownd" as &[u8]) {
|
||
Err(s) => assert!(s.contains("unknownd")),
|
||
bad => panic!("expected error: {:?}", bad),
|
||
}
|
||
}
|
||
}
|