Enum BtType

pub enum BtType {
    Void,
    Int8,
    Int16,
    Int32,
    Int64,
    UInt8,
    UInt16,
    UInt32,
    UInt64,
    Float32,
    Float64,
    Array {
        element_type: Box<BtType>,
        count: usize,
    },
    Pointer,
    Function,
}

A data type in the BlueTac IR.

Variants

Void

Int8

Int16

Int32

Int64

UInt8

UInt16

UInt32

UInt64

Float32

Float64

Array

Fields

element_type: Box<BtType>

count: usize

Pointer

Function

Implementations

impl BtType

pub fn get_const_default_value(&self) -> BtConstantValue

Creates a BtConstantValue for the current BtType with a default zero value.

pub fn bits(&self) -> usize

The size of the type in bits.

pub fn is_arithmetic(&self) -> bool

Is this type an arithmetic type (integer or floating-point)?

pub fn is_integer(&self) -> bool

Is this type an integer (signed or unsigned) type?

pub fn is_floating_point(&self) -> bool

Is this type a floating-point type?

pub fn is_signed_integer(&self) -> bool

Is this type a signed integer?

pub fn is_unsigned_integer(&self) -> bool

Is this type an unsigned integer?

pub fn is_character(&self) -> bool

Is this type a character (8-bit integer) type?

pub fn is_pointer(&self) -> bool

Is this type a pointer type?

pub fn is_array(&self) -> bool

Is this type an array type?

pub fn is_character_array(&self) -> bool

Is this type a character array type?

pub fn is_function(&self) -> bool

Is this type a function type?

pub fn get_innermost_scalar_type(&self) -> &BtType

Gets the type’s inner-most scalar type.

For an aggregate type, recurses into the type until a scalar type is found.

BtType::Array { BtType::Array { BtType::Int8 } } —> BtType::Int8

pub fn to_printer(&self) -> String

Converts the BtType to a string suitable for the IR printer.

Trait Implementations

impl Clone for BtType

fn clone(&self) -> BtType

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BtType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for BtType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<&AstType> for BtType

fn from(ast_type: &AstType) -> Self

Converts to this type from the input type.

impl From<AstType> for BtType

fn from(ast_type: AstType) -> Self

Converts to this type from the input type.

impl PartialEq for BtType

fn eq(&self, other: &BtType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for BtType

impl StructuralPartialEq for BtType