mirror of
https://github.com/ldc-developers/ldc.git
synced 2025-04-30 23:20:40 +03:00
c6abdcf4a4
The previous solution was problematic because the change was language- visble via the isUnsigned trait. Now, pointers are simply explicitly checked for in the relevant places. (Note that there might be cases in the diff where a direct isunsigned() call would have been appropriate – I only checked for instances where the type clearly cannot be a pointer, but chose to go the safe route in replicating existing behavior otherwise). Fixes DMD testcase 'traits'.
159 lines
4.2 KiB
C++
159 lines
4.2 KiB
C++
#include "gen/llvm.h"
|
|
|
|
#include "declaration.h"
|
|
|
|
#include "gen/irstate.h"
|
|
#include "gen/tollvm.h"
|
|
#include "gen/dvalue.h"
|
|
#include "gen/logger.h"
|
|
#include "gen/complex.h"
|
|
#include "gen/llvmhelpers.h"
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
DValue* DtoBinAdd(DValue* lhs, DValue* rhs)
|
|
{
|
|
Type* t = lhs->getType();
|
|
LLValue *l, *r;
|
|
l = lhs->getRVal();
|
|
r = rhs->getRVal();
|
|
|
|
LLValue* res;
|
|
if (t->isfloating())
|
|
res = gIR->ir->CreateFAdd(l, r, "tmp");
|
|
else
|
|
res = gIR->ir->CreateAdd(l, r, "tmp");
|
|
|
|
return new DImValue( t, res );
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
DValue* DtoBinSub(DValue* lhs, DValue* rhs)
|
|
{
|
|
Type* t = lhs->getType();
|
|
LLValue *l, *r;
|
|
l = lhs->getRVal();
|
|
r = rhs->getRVal();
|
|
|
|
LLValue* res;
|
|
if (t->isfloating())
|
|
res = gIR->ir->CreateFSub(l, r, "tmp");
|
|
else
|
|
res = gIR->ir->CreateSub(l, r, "tmp");
|
|
|
|
return new DImValue( t, res );
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
DValue* DtoBinMul(Type* targettype, DValue* lhs, DValue* rhs)
|
|
{
|
|
Type* t = lhs->getType();
|
|
LLValue *l, *r;
|
|
l = lhs->getRVal();
|
|
r = rhs->getRVal();
|
|
|
|
LLValue* res;
|
|
if (t->isfloating())
|
|
res = gIR->ir->CreateFMul(l, r, "tmp");
|
|
else
|
|
res = gIR->ir->CreateMul(l, r, "tmp");
|
|
return new DImValue( targettype, res );
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
DValue* DtoBinDiv(Type* targettype, DValue* lhs, DValue* rhs)
|
|
{
|
|
Type* t = lhs->getType();
|
|
LLValue *l, *r;
|
|
l = lhs->getRVal();
|
|
r = rhs->getRVal();
|
|
|
|
LLValue* res;
|
|
if (t->isfloating())
|
|
res = gIR->ir->CreateFDiv(l, r, "tmp");
|
|
else if (!isLLVMUnsigned(t))
|
|
res = gIR->ir->CreateSDiv(l, r, "tmp");
|
|
else
|
|
res = gIR->ir->CreateUDiv(l, r, "tmp");
|
|
return new DImValue( targettype, res );
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
DValue* DtoBinRem(Type* targettype, DValue* lhs, DValue* rhs)
|
|
{
|
|
Type* t = lhs->getType();
|
|
LLValue *l, *r;
|
|
l = lhs->getRVal();
|
|
r = rhs->getRVal();
|
|
LLValue* res;
|
|
if (t->isfloating())
|
|
res = gIR->ir->CreateFRem(l, r, "tmp");
|
|
else if (!isLLVMUnsigned(t))
|
|
res = gIR->ir->CreateSRem(l, r, "tmp");
|
|
else
|
|
res = gIR->ir->CreateURem(l, r, "tmp");
|
|
return new DImValue( targettype, res );
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
LLValue* DtoBinNumericEquals(Loc loc, DValue* lhs, DValue* rhs, TOK op)
|
|
{
|
|
assert(op == TOKequal || op == TOKnotequal ||
|
|
op == TOKidentity || op == TOKnotidentity);
|
|
Type* t = lhs->getType()->toBasetype();
|
|
assert(t->isfloating());
|
|
Logger::println("numeric equality");
|
|
|
|
LLValue* res = 0;
|
|
if (t->iscomplex())
|
|
{
|
|
Logger::println("complex");
|
|
res = DtoComplexEquals(loc, op, lhs, rhs);
|
|
}
|
|
else if (t->isfloating())
|
|
{
|
|
Logger::println("floating");
|
|
res = DtoBinFloatsEquals(loc, lhs, rhs, op);
|
|
}
|
|
|
|
assert(res);
|
|
return res;
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////
|
|
|
|
LLValue* DtoBinFloatsEquals(Loc loc, DValue* lhs, DValue* rhs, TOK op)
|
|
{
|
|
LLValue* res = 0;
|
|
#if DMDV2
|
|
if (op == TOKequal) {
|
|
res = gIR->ir->CreateFCmpOEQ(lhs->getRVal(), rhs->getRVal(), "tmp");
|
|
} else if (op == TOKnotequal) {
|
|
res = gIR->ir->CreateFCmpUNE(lhs->getRVal(), rhs->getRVal(), "tmp");
|
|
} else {
|
|
llvm::ICmpInst::Predicate cmpop;
|
|
if (op == TOKidentity)
|
|
cmpop = llvm::ICmpInst::ICMP_EQ;
|
|
else
|
|
cmpop = llvm::ICmpInst::ICMP_NE;
|
|
|
|
LLValue* sz = DtoConstSize_t(getTypeStoreSize(DtoType(lhs->getType())));
|
|
LLValue* val = DtoMemCmp(makeLValue(loc, lhs), makeLValue(loc, rhs), sz);
|
|
res = gIR->ir->CreateICmp(cmpop, val, LLConstantInt::get(val->getType(), 0, false), "tmp");
|
|
}
|
|
#else
|
|
LLValue* lv = lhs->getRVal();
|
|
LLValue* rv = rhs->getRVal();
|
|
res = (op == TOKidentity || op == TOKequal) ?
|
|
gIR->ir->CreateFCmpOEQ(lv, rv, "tmp") :
|
|
gIR->ir->CreateFCmpUNE(lv, rv, "tmp");
|
|
|
|
#endif
|
|
assert(res);
|
|
return res;
|
|
}
|