Morley.Michelson.Optimizer

Optimizer for typed instructions.

It's quite experimental and incomplete.

Documentation

optimize :: Instr inp out -> Instr inp out

Optimize a typed instruction by replacing some sequences of instructions with smaller equivalent sequences. Applies default set of rewrite rules.

optimizeWithConf :: OptimizerConf -> Instr inp out -> Instr inp out

Optimize a typed instruction using a custom set of rules. The set is divided into several stages, as applying some rules can prevent others to be performed.

defaultOptimizerConf :: OptimizerConf

Default config - all commonly useful rules will be applied to all the code.

defaultRules :: [Rule]

defaultRulesAndPushPack :: [Rule]

We do not enable pushPack rule by default because it is potentially dangerous. There are various code processing functions that may depend on constants, e. g. string transformations. need helper

orRule :: (Rule -> Rule) -> (Rule -> Rule) -> Rule -> Rule

Combine two rule fixpoints.

orSimpleRule :: (Rule -> Rule) -> Rule -> Rule -> Rule

Combine a rule fixpoint and a simple rule.

newtype Rule

Constructors

Rule

Fields

• unRule :: forall inp out. Instr inp out -> Maybe (Instr inp out)

data OptimizerConf

Constructors

OptimizerConf

Fields

• ocGotoValues :: Bool
• ocRuleset :: [Rule]

Instances

Default OptimizerConf

Defined in Morley.Michelson.Optimizer

Methods

def :: OptimizerConf

ocGotoValuesL :: Lens' OptimizerConf Bool