Mentions légales du service

Skip to content

Generalize RTL normalization checker

Delphine Demange requested to merge issue1 into ssa

This MR generalizes the RTL normalization checker.

The entry point of the initial function is not necessarily reached after just a single goto. On CFG where the entry point is a junction point, there will be a tunnel of 2 gotos from the entry point of the normalized function and the entry point of the initial function.

Closes #1 (closed)

Merge request reports