Skip to content

-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
Edited by Jaro Reinders
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information