Mercurial > projects > ldc
view tests/mini/virtcall2.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 | 7ffac0079d08 |
children |
line wrap: on
line source
enum { COMMON, INPUT, OUTPUT, CONDUIT, OTHER } interface Common { int common(); } interface Input : Common { int input(); } interface Output : Common { int output(); } interface Conduit : Input, Output { abstract int conduit(); } class Abstract : Conduit { abstract int conduit(); abstract int output(); abstract int input(); int common() { return COMMON; } } interface Other { int other(); } class Impl : Abstract, Other { int conduit() { return CONDUIT; } int output() { return OUTPUT; } int other() { return OTHER; } int input() { return INPUT; } } void main() { auto impl = new Impl; { auto i = impl; assert(i.common() == COMMON); assert(i.input() == INPUT); assert(i.output() == OUTPUT); assert(i.conduit() == CONDUIT); assert(i.other() == OTHER); } { Abstract i = impl; assert(i.common() == COMMON); assert(i.input() == INPUT); assert(i.output() == OUTPUT); assert(i.conduit() == CONDUIT); } { Conduit i = impl; assert(i.common() == COMMON); assert(i.input() == INPUT); assert(i.output() == OUTPUT); assert(i.conduit() == CONDUIT); } { Output i = impl; assert(i.output() == OUTPUT); } { Common i = impl; assert(i.common() == COMMON); } }