projects/ldc: gen/complex.cpp annotate

annotate gen/complex.cpp @ 359:926f65e39246 trunk

[svn r380] Improve complex number support.

author	ChristianK
date	Mon, 14 Jul 2008 17:22:43 +0200
parents	4aa2b6753059
children	8014dbd24605

rev	line source
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	1 #include "gen/llvm.h"
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	2
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	3 #include "mtype.h"
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	4 #include "declaration.h"
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	5
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	6 #include "gen/complex.h"
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	7 #include "gen/tollvm.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	8 #include "gen/llvmhelpers.h"
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	9 #include "gen/irstate.h"
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	10 #include "gen/dvalue.h"
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	11
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	12 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	13
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	14 const llvm::StructType* DtoComplexType(Type* type)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	15 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	16 Type* t = DtoDType(type);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	17
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	18 const LLType* base = DtoComplexBaseType(t);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	19
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	20 std::vector<const LLType*> types;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	21 types.push_back(base);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	22 types.push_back(base);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	23
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	24 return llvm::StructType::get(types);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	25 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	26
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	27 const LLType* DtoComplexBaseType(Type* t)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	28 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	29 TY ty = DtoDType(t)->ty;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	30 const LLType* base;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	31 if (ty == Tcomplex32) {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	32 return LLType::FloatTy;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	33 }
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	34 else if (ty == Tcomplex64) {
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	35 return LLType::DoubleTy;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	36 }
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	37 else if (ty == Tcomplex80) {
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	38 return (global.params.useFP80) ? LLType::X86_FP80Ty : LLType::DoubleTy;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	39 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	40 else {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	41 assert(0);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	42 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	43 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	44
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	45 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	46
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	47 LLConstant* DtoConstComplex(Type* ty, LLConstant* re, LLConstant* im)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	48 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	49 assert(0);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	50 const LLType* base = DtoComplexBaseType(ty);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	51
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	52 std::vector<LLConstant*> inits;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	53 inits.push_back(re);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	54 inits.push_back(im);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	55
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	56 const llvm::VectorType* vt = llvm::VectorType::get(base, 2);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	57 return llvm::ConstantVector::get(vt, inits);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	58 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	59
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	60 LLConstant* DtoConstComplex(Type* _ty, long double re, long double im)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	61 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	62 TY ty = DtoDType(_ty)->ty;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	63
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	64 llvm::ConstantFP* fre;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	65 llvm::ConstantFP* fim;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	66
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	67 Type* base = 0;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	68
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	69 if (ty == Tcomplex32) {
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	70 base = Type::tfloat32;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	71 }
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	72 else if (ty == Tcomplex64) {
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	73 base = Type::tfloat64;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	74 }
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	75 else if (ty == Tcomplex80) {
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	76 base = (global.params.useFP80) ? Type::tfloat80 : Type::tfloat64;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	77 }
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	78
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	79 std::vector<LLConstant*> inits;
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	80 inits.push_back(DtoConstFP(base, re));
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	81 inits.push_back(DtoConstFP(base, im));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	82
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	83 return llvm::ConstantStruct::get(DtoComplexType(_ty), inits);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	84 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	85
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	86 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	87
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	88 LLValue* DtoRealPart(DValue* val)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	89 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	90 assert(0);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	91 return gIR->ir->CreateExtractElement(val->getRVal(), DtoConstUint(0), "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	92 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	93
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	94 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	95
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	96 LLValue* DtoImagPart(DValue* val)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	97 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	98 assert(0);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	99 return gIR->ir->CreateExtractElement(val->getRVal(), DtoConstUint(1), "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	100 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	101
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	102 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	103
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	104 DValue* DtoComplex(Type* to, DValue* val)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	105 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	106 Type* t = DtoDType(val->getType());
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	107
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	108 if (val->isComplex() \|\| t->iscomplex()) {
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	109 return DtoCastComplex(val, to);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	110 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	111
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	112 const LLType* base = DtoComplexBaseType(to);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	113
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	114 Type* baserety;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	115 Type* baseimty;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	116 TY ty = to->ty;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	117 if (ty == Tcomplex32) {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	118 baserety = Type::tfloat32;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	119 baseimty = Type::timaginary32;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	120 } else if (ty == Tcomplex64) {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	121 baserety = Type::tfloat64;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	122 baseimty = Type::timaginary64;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	123 } else if (ty == Tcomplex80) {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	124 baserety = global.params.useFP80 ? Type::tfloat80 : Type::tfloat64;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	125 baseimty = global.params.useFP80 ? Type::timaginary80 : Type::timaginary64;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	126 }
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	127
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	128 if (t->isimaginary()) {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	129 return new DComplexValue(to, LLConstant::getNullValue(DtoType(baserety)), DtoCastFloat(val, baseimty)->getRVal());
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	130 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	131 else if (t->isfloating()) {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	132 return new DComplexValue(to, DtoCastFloat(val, baserety)->getRVal(), LLConstant::getNullValue(DtoType(baseimty)));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	133 }
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	134 else if (t->isintegral()) {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	135 return new DComplexValue(to, DtoCastInt(val, baserety)->getRVal(), LLConstant::getNullValue(DtoType(baseimty)));
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	136 }
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	137 assert(0);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	138 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	139
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	140 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	141
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	142 void DtoComplexAssign(LLValue* l, LLValue* r)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	143 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	144 DtoStore(DtoLoad(DtoGEPi(r, 0,0, "tmp")), DtoGEPi(l,0,0,"tmp"));
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	145 DtoStore(DtoLoad(DtoGEPi(r, 0,1, "tmp")), DtoGEPi(l,0,1,"tmp"));
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	146 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	147
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	148 void DtoComplexSet(LLValue* c, LLValue* re, LLValue* im)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	149 {
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	150 DtoStore(re, DtoGEPi(c,0,0,"tmp"));
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	151 DtoStore(im, DtoGEPi(c,0,1,"tmp"));
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	152 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	153
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	154 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	155
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	156 void DtoGetComplexParts(DValue* c, LLValue& re, LLValue& im)
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	157 {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	158 // get LLValues
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	159 if (DComplexValue* cx = c->isComplex()) {
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	160 re = cx->re;
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	161 im = cx->im;
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	162 }
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	163 else {
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	164 re = DtoLoad(DtoGEPi(c->getRVal(),0,0,"tmp"));
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	165 im = DtoLoad(DtoGEPi(c->getRVal(),0,1,"tmp"));
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	166 }
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	167 }
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	168
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	169 DValue* resolveLR(DValue* val, bool getlval)
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	170 {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	171 if (DLRValue* lr = val->isLRValue()) {
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	172 if (getlval)
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	173 return lr->lvalue;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	174 else
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	175 return lr->rvalue;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	176 }
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	177 return val;
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	178 }
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	179
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	180 //////////////////////////////////////////////////////////////////////////////////////////
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	181
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	182 DValue* DtoComplexAdd(Type* type, DValue* lhs, DValue* rhs)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	183 {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	184 lhs = DtoComplex(type, resolveLR(lhs, true));
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	185 rhs = DtoComplex(type, resolveLR(rhs, false));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	186
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	187 llvm::Value a, b, c, d, re, im;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	188
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	189 // lhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	190 DtoGetComplexParts(lhs, a, b);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	191 // rhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	192 DtoGetComplexParts(rhs, c, d);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	193
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	194 // add up
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	195 re = gIR->ir->CreateAdd(a, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	196 im = gIR->ir->CreateAdd(b, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	197
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	198 return new DComplexValue(type, re, im);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	199 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	200
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	201 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	202
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	203 DValue* DtoComplexSub(Type* type, DValue* lhs, DValue* rhs)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	204 {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	205 lhs = DtoComplex(type, resolveLR(lhs, true));
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	206 rhs = DtoComplex(type, resolveLR(rhs, false));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	207
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	208 llvm::Value a, b, c, d, re, im;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	209
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	210 // lhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	211 DtoGetComplexParts(lhs, a, b);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	212 // rhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	213 DtoGetComplexParts(rhs, c, d);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	214
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	215 // add up
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	216 re = gIR->ir->CreateSub(a, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	217 im = gIR->ir->CreateSub(b, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	218
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	219 return new DComplexValue(type, re, im);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	220 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	221
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	222 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	223
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	224 DValue* DtoComplexMul(Type* type, DValue* lhs, DValue* rhs)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	225 {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	226 lhs = DtoComplex(type, resolveLR(lhs, true));
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	227 rhs = DtoComplex(type, resolveLR(rhs, false));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	228
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	229 llvm::Value a, b, c, d;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	230
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	231 // lhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	232 DtoGetComplexParts(lhs, a, b);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	233 // rhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	234 DtoGetComplexParts(rhs, c, d);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	235
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	236 llvm::Value tmp1, tmp2, re, im;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	237
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	238 tmp1 = gIR->ir->CreateMul(a, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	239 tmp2 = gIR->ir->CreateMul(b, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	240 re = gIR->ir->CreateSub(tmp1, tmp2, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	241
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	242 tmp1 = gIR->ir->CreateMul(b, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	243 tmp2 = gIR->ir->CreateMul(a, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	244 im = gIR->ir->CreateAdd(tmp1, tmp2, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	245
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	246 return new DComplexValue(type, re, im);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	247 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	248
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	249 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	250
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	251 DValue* DtoComplexDiv(Type* type, DValue* lhs, DValue* rhs)
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	252 {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	253 lhs = DtoComplex(type, resolveLR(lhs, true));
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	254 rhs = DtoComplex(type, resolveLR(rhs, false));
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	255
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	256 llvm::Value a, b, c, d;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	257
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	258 // lhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	259 DtoGetComplexParts(lhs, a, b);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	260 // rhs values
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	261 DtoGetComplexParts(rhs, c, d);
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	262
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	263 llvm::Value tmp1, tmp2, denom, re, *im;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	264
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	265 tmp1 = gIR->ir->CreateMul(c, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	266 tmp2 = gIR->ir->CreateMul(d, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	267 denom = gIR->ir->CreateAdd(tmp1, tmp2, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	268
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	269 tmp1 = gIR->ir->CreateMul(a, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	270 tmp2 = gIR->ir->CreateMul(b, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	271 re = gIR->ir->CreateAdd(tmp1, tmp2, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	272 re = gIR->ir->CreateFDiv(re, denom, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	273
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	274 tmp1 = gIR->ir->CreateMul(b, c, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	275 tmp2 = gIR->ir->CreateMul(a, d, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	276 im = gIR->ir->CreateSub(tmp1, tmp2, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	277 im = gIR->ir->CreateFDiv(im, denom, "tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	278
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	279 return new DComplexValue(type, re, im);
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	280 }
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	281
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	282 //////////////////////////////////////////////////////////////////////////////////////////
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	283
164 a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	284 DValue* DtoComplexNeg(Type* type, DValue* val)
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	285 {
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	286 val = DtoComplex(type, resolveLR(val, false));
164 a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	287
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	288 llvm::Value a, b, re, im;
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	289
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	290 // values
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	291 DtoGetComplexParts(val, a, b);
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	292
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	293 // sub up
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	294 re = gIR->ir->CreateNeg(a, "tmp");
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	295 im = gIR->ir->CreateNeg(b, "tmp");
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	296
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	297 return new DComplexValue(type, re, im);
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	298 }
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	299
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	300 //////////////////////////////////////////////////////////////////////////////////////////
a64becf2a702 [svn r180] Fixed complex negation, and tango.math.Math now compiles. lindquist parents: 133 diff changeset	301
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	302 LLValue* DtoComplexEquals(TOK op, DValue* lhs, DValue* rhs)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	303 {
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	304 Type* type = lhs->getType();
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	305
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	306 lhs = DtoComplex(type, resolveLR(lhs, false));
926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	307 rhs = DtoComplex(type, resolveLR(rhs, false));
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	308
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	309 llvm::Value a, b, c, d;
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	310
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	311 // lhs values
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	312 DtoGetComplexParts(lhs, a, b);
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	313 // rhs values
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	314 DtoGetComplexParts(rhs, c, d);
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	315
3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	316 // select predicate
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	317 llvm::FCmpInst::Predicate cmpop;
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	318 if (op == TOKequal)
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	319 cmpop = llvm::FCmpInst::FCMP_OEQ;
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	320 else
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	321 cmpop = llvm::FCmpInst::FCMP_UNE;
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	322
107 3efbcc81ba45 [svn r111] Fixed most problems with complex number support and added typeinfo for them. lindquist parents: 104 diff changeset	323 // (l.re==r.re && l.im==r.im)
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	324 LLValue* b1 = new llvm::FCmpInst(cmpop, a, c, "tmp", gIR->scopebb());
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	325 LLValue* b2 = new llvm::FCmpInst(cmpop, b, d, "tmp", gIR->scopebb());
104 4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	326 return gIR->ir->CreateAnd(b1,b2,"tmp");
4d1e9eb001e0 [svn r108] Now basic suppport for complex types. =,+,-,,/ are supported. lindquist* parents: diff changeset	327 }
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	328
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	329 //////////////////////////////////////////////////////////////////////////////////////////
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	330
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	331 DValue* DtoCastComplex(DValue* val, Type* _to)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	332 {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	333 Type* to = DtoDType(_to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	334 Type* vty = val->getType();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	335 if (to->iscomplex()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	336 if (vty->size() == to->size())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	337 return val;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	338
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	339 llvm::Value re, im;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	340 DtoGetComplexParts(val, re, im);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	341 const LLType* toty = DtoComplexBaseType(to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	342
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	343 if (to->size() < vty->size()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	344 re = gIR->ir->CreateFPTrunc(re, toty, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	345 im = gIR->ir->CreateFPTrunc(im, toty, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	346 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	347 else if (to->size() > vty->size()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	348 re = gIR->ir->CreateFPExt(re, toty, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	349 im = gIR->ir->CreateFPExt(im, toty, "tmp");
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	350 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	351 else {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	352 return val;
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	353 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	354
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	355 if (val->isComplex())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	356 return new DComplexValue(_to, re, im);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	357
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	358 // unfortunately at this point, the cast value can show up as the lvalue for += and similar expressions.
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	359 // so we need to give it storage, or fix the system that handles this stuff (DLRValue)
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	360 LLValue* mem = new llvm::AllocaInst(DtoType(_to), "castcomplextmp", gIR->topallocapoint());
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	361 DtoComplexSet(mem, re, im);
359 926f65e39246 [svn r380] Improve complex number support. ChristianK parents: 303 diff changeset	362 return new DLRValue(val, new DImValue(_to, mem));
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	363 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	364 else if (to->isimaginary()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	365 if (val->isComplex())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	366 return new DImValue(to, val->isComplex()->im);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	367 LLValue* v = val->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	368 DImValue* im = new DImValue(to, DtoLoad(DtoGEPi(v,0,1,"tmp")));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	369 return DtoCastFloat(im, to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	370 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	371 else if (to->isfloating()) {
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	372 if (val->isComplex())
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	373 return new DImValue(to, val->isComplex()->re);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	374 LLValue* v = val->getRVal();
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	375 DImValue* re = new DImValue(to, DtoLoad(DtoGEPi(v,0,0,"tmp")));
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	376 return DtoCastFloat(re, to);
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	377 }
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	378 else
a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 217 diff changeset	379 assert(0);
303 4aa2b6753059 [svn r324] Small indentation fixes. ChristianK parents: 244 diff changeset	380 }
4aa2b6753059 [svn r324] Small indentation fixes. ChristianK parents: 244 diff changeset	381

Mercurial > projects > ldc

annotate gen/complex.cpp @ 359:926f65e39246 trunk