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