[GHC] #14966: Symbols in -ddump-asm output don't match real output