type variables

Stefan Koch uplink.coder at googlemail.com
Sun Aug 2 12:16:32 UTC 2020


On Sunday, 2 August 2020 at 06:36:44 UTC, Bruce Carneal wrote:

> Earlier LLVM work aimed to speed things up there by reducing 
> the cost of "uniqueing" mutable type representations (turning 
> deep/expensive equality checks in to pointer comparisons IIUC).
>  As a guess, DMD already does this type of thing, separating 
> deeper commonalities from shallower differences (names, 
> attributes, and the like).

No, dmd uses the mangle to compare types,
as the mangle has to be unique and identical for identical types.


> Looks like many of LLVM's more recent problems stem from C/C++ 
> related issues.  Again not a problem for DMD.
>
> Still, even concrete/lowered type representation is much less a 
> "solved" problem than I imagined if LLVM is anything to go by.

Hmm yes, everyone has their own type representation, as much as I 
like bashing LLVM
for this they can't be faulted as they try to be a general 
framework.

> The improvements suggested by Manu and Stefan are looking 
> pretty good.

Thanks!


More information about the Digitalmars-d mailing list