Skip to content
GitLab

i#1702 CC in IT-blocks: handle cbrs in IT-blocks

Merged Administrator requested to merge i1702-cc-it-block into master

Created by: toshipiazza

Previously, if a cbr was inserted in the middle of an IT-block we would fail to maintain the property that cbr's may only terminate an IT-block. We now maintain this property.

This allows us to predicate clean calls by emitting a conditional branch, even in IT-blocks.

Fixes #1702 (closed)