Mercurial > projects > ldc
view lphobos/internal/contract.d @ 1418:f5f8c21ce6ef
Make "`aa[key]`" use the same runtime call as "`key in aa`". The runtime calls
these were using were different, but with equivalent definitions.
With `ldc -O3`, the following functions now all compile to the exact same code:
{{{
int[int] y;
void foo(int x) {
if (x in y) {
auto z = x in y;
sink(*z);
}
}
void bar(int x) {
if (x in y) {
sink(y[x]);
}
}
void baz(int x) {
if (auto p = x in y) {
sink(*p);
}
}
}}}
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Mon, 25 May 2009 12:50:40 +0200 |
parents | 373489eeaf90 |
children |
line wrap: on
line source
module internal.contract; import std.string: toString; extern(C): void exit(int); /*void _d_assert(bool cond, uint line, char[] msg) { if (!cond) { printf("Aborted(%u): %.*s\n", line, msg.length, msg.ptr); exit(1); } }*/ void _d_assert(string file, uint line) { throw new Exception(file~":"~.toString(line)~": Assertion failed!"); } void _d_assert_msg(string msg, string file, uint line) { throw new Exception(file~": "~.toString(line)~": Assertion failed: \""~msg~"\""); }