Mercurial > projects > ldc
view gen/abi.h @ 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 | 34f2fd925de3 |
children |
line wrap: on
line source
#ifndef __LDC_GEN_ABI_H__ #define __LDC_GEN_ABI_H__ #include <vector> struct Type; struct IrFuncTyArg; struct DValue; namespace llvm { class Type; class Value; } // return rewrite rule struct ABIRewrite { /// get a rewritten value back to its original form virtual LLValue* get(Type* dty, DValue* v) = 0; /// get a rewritten value back to its original form and store result in provided lvalue /// this one is optional and defaults to calling the one above virtual void getL(Type* dty, DValue* v, llvm::Value* lval); /// put out rewritten value virtual LLValue* put(Type* dty, DValue* v) = 0; /// should return the transformed type for this rewrite virtual const LLType* type(Type* dty, const LLType* t) = 0; }; // interface called by codegen struct TargetABI { /// Returns the ABI for the target we're compiling for static TargetABI* getTarget(); /// Returns the ABI for intrinsics static TargetABI* getIntrinsic(); virtual void newFunctionType(TypeFunction* tf) {} virtual bool returnInArg(TypeFunction* tf) = 0; virtual bool passByVal(Type* t) = 0; virtual void doneWithFunctionType() {} virtual void rewriteFunctionType(TypeFunction* t) = 0; }; #endif