InsertSignalChecks is a pass for the RSSA IntermediateLanguage, invoked from RSSASimplify.

Description

This pass inserts signal checks.

Implementation

limit-check.sig limit-check.fun

Details and Notes