Header menu logo B2R2

ConstantFolding Module

Provides a function that performs a constant folding optimization for the lifted IR statements. This function assumes that the statements are localized, i.e., they represent a basic block.

Functions and values

Function or value Description

ConstantFolding.optimize stmts

Full Usage: ConstantFolding.optimize stmts

Parameters:
Returns: Stmt[]

Assuming that the stmts are localized, i.e., those stmts represent a basic block, perform local constant folding.

stmts : Stmt[]
Returns: Stmt[]

Type something to start searching.