Sparse Conditional Constant Propagation in emmtrix Tools

The upcoming versions of emmtrix tools will feature Sparse Conditional Constant Propagation (SCCP), an advanced form of constant propagation. SCCP enables constant results to be propagated to conditional blocks, potentially making them obsolete if they are always or never true. This results in dead code elimination, leading to more accurate performance estimation in the emmtrix Performance Estimator and precise dependency analysis in the emmtrix Dependency Analyzer by removing “false” dependencies.

Our optimization tools, emmtrix Parallel Studio and emmtrix Code Vectorizer, will leverage this new analysis to simplify source code, enhancing the potential for parallelization and vectorization.