annotate dmd/expression/Div.d @ 114:e28b18c23469

added a module dmd.common for commonly used stuff it currently holds code for consistency checking of predefined versions also added a VisualD project file
author Trass3r
date Wed, 01 Sep 2010 18:21:58 +0200
parents 10317f0c89a5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
1 module dmd.expression.Div;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
2
114
e28b18c23469 added a module dmd.common for commonly used stuff
Trass3r
parents: 0
diff changeset
3 import dmd.common;
0
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
4 import dmd.Type;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
5 import dmd.Expression;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
6 import dmd.Loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
7 import dmd.RealExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
8 import dmd.ComplexExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
9 import dmd.IntegerExp;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
10 import dmd.Complex;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
11
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
12 Expression Div(Type type, Expression e1, Expression e2)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
13 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
14 Expression e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
15 Loc loc = e1.loc;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
16
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
17 if (type.isfloating())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
18 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
19 Complex!(real) c;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
20 real r;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
21
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
22 //e1.type.print();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
23 //e2.type.print();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
24 if (e2.type.isreal())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
25 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
26 if (e1.type.isreal())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
27 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
28 e = new RealExp(loc, e1.toReal() / e2.toReal(), type);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
29 return e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
30 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
31
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
32 //r = e2.toReal();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
33 //c = e1.toComplex();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
34 //printf("(%Lg + %Lgi) / %Lg\n", creall(c), cimagl(c), r);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
35 r = e2.toReal();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
36 c = e1.toComplex();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
37 c = Complex!(real)(c.re / r, c.im / r);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
38 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
39 else if (e2.type.isimaginary())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
40 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
41 //r = e2.toImaginary();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
42 //c = e1.toComplex();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
43 //printf("(%Lg + %Lgi) / %Lgi\n", creall(c), cimagl(c), r);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
44 r = e2.toImaginary();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
45 c = e1.toComplex();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
46 c = Complex!(real)(c.im / r, -c.re / r);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
47 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
48 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
49 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
50 Complex!(real) c1 = e1.toComplex();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
51 Complex!(real) c2 = e2.toComplex();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
52
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
53 real denumerator = c2.re*c2.re + c2.im*c2.im;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
54 real numerator_re = c1.re*c2.re + c1.im*c2.im;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
55 real numerator_im = c1.im*c2.re - c1.re*c2.im;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
56
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
57 c = Complex!(real)(numerator_re / denumerator, numerator_im / denumerator);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
58 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
59
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
60 if (type.isreal())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
61 e = new RealExp(loc, c.re, type);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
62 else if (type.isimaginary())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
63 e = new RealExp(loc, c.im, type);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
64 else if (type.iscomplex())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
65 e = new ComplexExp(loc, c, type);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
66 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
67 assert(0);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
68 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
69 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
70 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
71 long n1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
72 long n2;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
73 long n;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
74
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
75 n1 = e1.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
76 n2 = e2.toInteger();
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
77
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
78 if (n2 == 0)
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
79 {
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
80 e2.error("divide by 0");
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
81 e2 = new IntegerExp(loc, 1, e2.type);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
82 n2 = 1;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
83 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
84
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
85 if (e1.type.isunsigned() || e2.type.isunsigned())
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
86 n = (cast(ulong) n1) / (cast(ulong) n2);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
87 else
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
88 n = n1 / n2;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
89
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
90 e = new IntegerExp(loc, n, type);
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
91 }
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
92
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
93 return e;
10317f0c89a5 Initial commit
korDen
parents:
diff changeset
94 }