-dsuppress-uniques suppresses C-- labels
Summary
When using -ddump-cmm -dsuppress-uniques
I get code like this:
_lbl_: // global
__locVar_::P64 = R2;
if ((Sp + -24) >= SpLim) (likely: True) goto c1Bp; else goto c1BA;
_lbl_: // global
I64[Sp - 8] = c1Bs;
R1 = __locVar_::P64;
Sp = Sp - 8;
if (R1 & 7 != 0) goto c1Bs; else goto c1Bt;
As you can see there are still label names in the gotos like goto c1Bp
, but all the labels have been renamed to _lbl_
.
I think the most useful behavior would be to keep showing the actual label names. Alternatively you could resolve this inconsistency by also replacing all gotos by goto _lbl_
, but that wouldn't be very useful.
Environment
- GHC version used: 9.0.1