Struct leo_asg_passes::dead_code_elimination::DeadCodeElimination [−][src]
pub struct DeadCodeElimination {}
Trait Implementations
fn reduce_expression(
&mut self,
input: &'a Expression<'a>,
value: Expression<'a>
) -> Expression<'a>
[src]fn reduce_array_access(
&mut self,
input: ArrayAccessExpression<'a>,
array: &'a Expression<'a>,
index: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_array_init(
&mut self,
input: ArrayInitExpression<'a>,
element: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_array_inline(
&mut self,
input: ArrayInlineExpression<'a>,
elements: Vec<(&'a Expression<'a>, bool), Global>
) -> Expression<'a>
[src]fn reduce_array_range_access(
&mut self,
input: ArrayRangeAccessExpression<'a>,
array: &'a Expression<'a>,
left: Option<&'a Expression<'a>>,
right: Option<&'a Expression<'a>>
) -> Expression<'a>
[src]fn reduce_binary(
&mut self,
input: BinaryExpression<'a>,
left: &'a Expression<'a>,
right: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_call(
&mut self,
input: CallExpression<'a>,
target: Option<&'a Expression<'a>>,
arguments: Vec<&'a Expression<'a>, Global>
) -> Expression<'a>
[src]fn reduce_circuit_access(
&mut self,
input: CircuitAccessExpression<'a>,
target: Option<&'a Expression<'a>>
) -> Expression<'a>
[src]fn reduce_circuit_init(
&mut self,
input: CircuitInitExpression<'a>,
values: Vec<(Identifier, &'a Expression<'a>), Global>
) -> Expression<'a>
[src]fn reduce_ternary_expression(
&mut self,
input: TernaryExpression<'a>,
condition: &'a Expression<'a>,
if_true: &'a Expression<'a>,
if_false: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_cast_expression(
&mut self,
input: CastExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_tuple_access(
&mut self,
input: TupleAccessExpression<'a>,
tuple_ref: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_tuple_init(
&mut self,
input: TupleInitExpression<'a>,
values: Vec<&'a Expression<'a>, Global>
) -> Expression<'a>
[src]fn reduce_unary(
&mut self,
input: UnaryExpression<'a>,
inner: &'a Expression<'a>
) -> Expression<'a>
[src]fn reduce_function(
&mut self,
input: &'a Function<'a>,
body: Option<&'a Statement<'a>>
) -> &'a Function<'a>
[src]fn reduce_circuit_member_function(
&mut self,
input: CircuitMember<'a>,
function: &'a Function<'a>
) -> CircuitMember<'a>
[src]fn reduce_circuit(
&mut self,
input: &'a Circuit<'a>,
members: Vec<CircuitMember<'a>, Global>
) -> &'a Circuit<'a>
[src]fn reduce_global_const(
&mut self,
input: &'a DefinitionStatement<'a>,
value: &'a Expression<'a>
) -> &'a DefinitionStatement<'a>
[src]fn reduce_statement_alloc(
&mut self,
context: AsgContext<'a>,
_input: &'a Statement<'a>,
value: Statement<'a>
) -> &'a Statement<'a>
[src]
fn reduce_statement_alloc(
&mut self,
context: AsgContext<'a>,
_input: &'a Statement<'a>,
value: Statement<'a>
) -> &'a Statement<'a>
[src]Removes dead code inside a false conditional statement block.
fn reduce_block(
&mut self,
input: BlockStatement<'a>,
statements: Vec<&'a Statement<'a>>
) -> Statement<'a>
[src]fn reduce_statement(
&mut self,
input: &'a Statement<'a>,
value: Statement<'a>
) -> Statement<'a>
[src]fn reduce_assign_access_range(
&mut self,
input: AssignAccess<'a>,
left: Option<&'a Expression<'a>>,
right: Option<&'a Expression<'a>>
) -> AssignAccess<'a>
[src]fn reduce_assign_access_index(
&mut self,
input: AssignAccess<'a>,
index: &'a Expression<'a>
) -> AssignAccess<'a>
[src]fn reduce_assign(
&mut self,
input: AssignStatement<'a>,
accesses: Vec<AssignAccess<'a>, Global>,
value: &'a Expression<'a>
) -> Statement<'a>
[src]fn reduce_conditional_statement(
&mut self,
input: ConditionalStatement<'a>,
condition: &'a Expression<'a>,
if_true: &'a Statement<'a>,
if_false: Option<&'a Statement<'a>>
) -> Statement<'a>
[src]fn reduce_formatted_string(
&mut self,
input: FormatString<'a>,
parameters: Vec<&'a Expression<'a>, Global>
) -> FormatString<'a>
[src]fn reduce_console_assert(
&mut self,
input: ConsoleStatement<'a>,
argument: &'a Expression<'a>
) -> Statement<'a>
[src]fn reduce_console_log(
&mut self,
input: ConsoleStatement<'a>,
argument: FormatString<'a>
) -> Statement<'a>
[src]fn reduce_definition(
&mut self,
input: DefinitionStatement<'a>,
value: &'a Expression<'a>
) -> Statement<'a>
[src]fn reduce_expression_statement(
&mut self,
input: ExpressionStatement<'a>,
expression: &'a Expression<'a>
) -> Statement<'a>
[src]fn reduce_iteration(
&mut self,
input: IterationStatement<'a>,
start: &'a Expression<'a>,
stop: &'a Expression<'a>,
body: &'a Statement<'a>
) -> Statement<'a>
[src]fn reduce_return(
&mut self,
input: ReturnStatement<'a>,
value: &'a Expression<'a>
) -> Statement<'a>
[src]Auto Trait Implementations
impl RefUnwindSafe for DeadCodeElimination
impl Send for DeadCodeElimination
impl Sync for DeadCodeElimination
impl Unpin for DeadCodeElimination
impl UnwindSafe for DeadCodeElimination