We have found some corner cases connected to range intersection where IRCE makes
a bad thing when the latch condition is unsigned. The fix for that will go as a follow up.
This patch temporarily disables IRCE for unsigned latch conditions until the issue is fixed.
The unsigned latch conditions were introduced to IRCE by rL310027.
This comment needs clarified. It reads as if this is an active miscompile. After you disabled the unsigned latch case, this is no longer active.
Another way of structuring this would be to write the test using the off-by-default output and check the incorrect output matches what you expect. Then you'd have a test case to edit to show the effect of fixing the miscompile when you re-enable the unsigned latch.