Enum RawStatement

pub enum RawStatement {
    Assign(Place, Rvalue),
    Call(Call),
    FakeRead(Place),
    SetDiscriminant(Place, VariantId),
    StorageDead(VarId),
    Deinit(Place),
    Drop(Place),
    Assert(Assert),
    Nop,
    Error(String),
}

A raw statement: a statement without meta data.

Variants

Assign(Place, Rvalue)

Call(Call)

A call. For now, we don’t support dynamic calls (i.e. to a function pointer in memory).

FakeRead(Place)

SetDiscriminant(Place, VariantId)

StorageDead(VarId)

We translate this to crate::llbc_ast::RawStatement::Drop in LLBC

Deinit(Place)

We translate this to crate::llbc_ast::RawStatement::Drop in LLBC

Drop(Place)

Assert(Assert)

A built-in assert, which corresponds to runtime checks that we remove, namely: bounds checks, over/underflow checks, div/rem by zero checks, pointer alignement check.

Nop

Does nothing. Useful for passes.

Error(String)

Implementations

impl RawStatement

pub fn is_assign(&self) -> bool

pub fn is_call(&self) -> bool

pub fn is_fake_read(&self) -> bool

pub fn is_set_discriminant(&self) -> bool

pub fn is_storage_dead(&self) -> bool

pub fn is_deinit(&self) -> bool

pub fn is_drop(&self) -> bool

pub fn is_assert(&self) -> bool

pub fn is_nop(&self) -> bool

pub fn is_error(&self) -> bool

impl RawStatement

pub fn as_assign(&self) -> Option<(&Place, &Rvalue)>

pub fn as_call(&self) -> Option<&Call>

pub fn as_fake_read(&self) -> Option<&Place>

pub fn as_set_discriminant(&self) -> Option<(&Place, &VariantId)>

pub fn as_storage_dead(&self) -> Option<&VarId>

pub fn as_deinit(&self) -> Option<&Place>

pub fn as_drop(&self) -> Option<&Place>

pub fn as_assert(&self) -> Option<&Assert>

pub fn as_nop(&self) -> Option<()>

pub fn as_error(&self) -> Option<&String>

impl RawStatement

pub fn as_assign_mut(&mut self) -> Option<(&mut Place, &mut Rvalue)>

pub fn as_call_mut(&mut self) -> Option<&mut Call>

pub fn as_fake_read_mut(&mut self) -> Option<&mut Place>

pub fn as_set_discriminant_mut( &mut self, ) -> Option<(&mut Place, &mut VariantId)>

pub fn as_storage_dead_mut(&mut self) -> Option<&mut VarId>

pub fn as_deinit_mut(&mut self) -> Option<&mut Place>

pub fn as_drop_mut(&mut self) -> Option<&mut Place>

pub fn as_assert_mut(&mut self) -> Option<&mut Assert>

pub fn as_nop_mut(&mut self) -> Option<()>

pub fn as_error_mut(&mut self) -> Option<&mut String>

impl RawStatement

pub fn variant_name(&self) -> &'static str

Trait Implementations

impl AstVisitable for RawStatement

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl BodyVisitable for RawStatement

fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_body_mut<V: VisitBodyMut>( &mut self, v: &mut V, ) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for RawStatement

fn clone(&self) -> RawStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RawStatement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RawStatement

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'s, V> Drive<'s, V> for RawStatement

where V: Visitor + Visit<'s, Place> + Visit<'s, Rvalue> + Visit<'s, Call> + Visit<'s, VariantId> + Visit<'s, VarId> + Visit<'s, Assert>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for RawStatement

where V: Visitor + VisitMut<'s, Place> + VisitMut<'s, Rvalue> + VisitMut<'s, Call> + VisitMut<'s, VariantId> + VisitMut<'s, VarId> + VisitMut<'s, Assert>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl Serialize for RawStatement

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

where __S: Serializer,

Serialize this value into the given Serde serializer.