InsertSignalChecks is a pass for the RSSA IntermediateLanguage, invoked from RSSASimplify.
Description
This pass inserts signal checks.
InsertSignalChecks is a pass for the RSSA IntermediateLanguage, invoked from RSSASimplify.
This pass inserts signal checks.