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);
  }  
}