Struct Transform

pub struct Transform;

Implementations

impl Transform

fn update_statements(seq: &mut [Statement])

After remove_dynamic_checks, the only remaining dynamic checks are overflow checks. We couldn’t remove them in ullbc because the generated code spans two basic blocks. They are inserted only in constants since we otherwise compile in release mode. These assertions look like:

r := x checked.+ y;
assert(move r.1 == false);
z := move r.0;

We replace that with:

z := x + y;

Trait Implementations

impl UllbcPass for Transform

fn transform_body(&self, _ctx: &mut TransformCtx<'_>, b: &mut ExprBody)

Transform a body.

fn transform_function( &self, ctx: &mut TransformCtx<'_>, _decl: &mut FunDecl, body: Result<&mut ExprBody, Opaque>, )

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

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.