D enters Tiobe top 20

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Sat Nov 9 17:35:27 UTC 2019


On Saturday, 9 November 2019 at 17:16:40 UTC, Ola Fosheim Grøstad 
wrote:
> Well, not necessarily, some C++ compilers support it.  The 
> problem is that you probably don't want to introduce too many 
> auxiliary facts, as that would just slow down compilation with 
> no gain (and perhaps even confuse a naive optimizer). Anyway, 
> you should be able to add facts to LLVM by compiling a boolean 
> expression and then assuming it to hold.

Maybe by doing something along the lines of:

if ( !must_be_true ) { llvm.unreachable }




More information about the Digitalmars-d mailing list