Struct Transform

pub struct Transform;

Implementations

impl Transform

fn transform_body_with_param( &self, ctx: &mut TransformCtx, b: &mut ExprBody, params: &GenericParams, )

Trait Implementations

impl UllbcPass for Transform

This pass computes the metadata for Rvalue, which is used to create references and raw pointers. E.g., in cases like:

let x = &[mut] (*some_v).field;

If the (*some_v).field is a DST, like [i32], we will need to fetch the metadata, i.e., the length of the slice, and store it in a local variable, then we have:

let x = Rvalue::Ref { place:(*some_v).field, kind: [mut], ptr_metadata: PtrMetadata(some_v) };

There should be a new local variable introduced to store PtrMetadata(some_v).

fn transform_function(&self, ctx: &mut TransformCtx, decl: &mut FunDecl)

Transform a function declaration. This forwards to transform_body by default.

fn transform_body(&self, _ctx: &mut TransformCtx, _body: &mut ExprBody)

Transform a body.

fn transform_ctx(&self, ctx: &mut TransformCtx)

Transform the given context. This forwards to the other methods by default.

fn name(&self) -> &str

The name of the pass, used for debug logging. The default implementation uses the type name.

fn log_before_body( &self, ctx: &TransformCtx, name: &Name, body: Result<&ExprBody, &Opaque>, )

Log that the pass is about to be run on this body.