Enum lincoln_ir::Entry

pub enum Entry {
    Jmp {
        cont: EntryRef,
        per: Permutation,
    },
    Call {
        callee: EntryRef,
        callcnt: u8,
        callcont: EntryRef,
    },
    Ret {
        variant: u8,
    },
    Group {
        elements: Vec<EntryRef>,
    },
    Extern {
        name: String,
    },
}

5 types of entries correspond to 5 different instructions the use type.

Jmp: permutate the context to have specific order, then jump to another entry (not a group!)

Call: keep a specific amount of values from context, then build a closure with the rest, and add the closure into the context. Finally, jump to another entry.

Ret: The first variable must be a closure to extract the context. The specified variant of the closure group entry will be invoked.

Group: Define a group of entries. Being used to create closures.

Extern: Denotes a function that to be executed in the outside world.

Variants

Jmp

Fields of Jmp

cont: EntryRefper: Permutation

Call

Fields of Call

callee: EntryRefcallcnt: u8callcont: EntryRef

Ret

Fields of Ret

variant: u8

Group

Fields of Group

elements: Vec<EntryRef>

Extern

Fields of Extern

name: String

Trait Implementations

impl Display for Entry

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Debug for Entry

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Serialize for Entry

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<'de> Deserialize<'de> for Entry

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.