-LUT-to-mux

Transform LUT to mux tree

TODO

-constant-prop

-erase-analyzed-core

-extract-control

-gamma-binarization

Transform a gamma n-aire to a tree of binary gammas

-inline-core

Inline core_instance

Add inliner interface to circt::Comb and spechls dialects then schedule inliner pass

-insert-instr

TODO

Options

-instrs : The basic block instructions

-longest-path

Find the path between two dummyOp with the most penalties

TODO

-outline-core

Outline speculative spechls.task into wcet.core

This pass proceed speculative spechls.task (spechls.task with spechls.speculative attribute) in three steps:

1. retrieve the speculative task
2. create a wcet.core with the body of the task and the input of task + one input for the instructions
3. replace the spechls.commit of the task by wcet.commit

-setup-analysis

-split-delays

Split delays

TODO