annotate tests/mini/typeinfo10.d @ 715:30b42a283c8e

Removed TypeOpaque from DMD. Changed runtime functions taking opaque[] to void[]. Implemented proper type painting, to avoid "resizing" array casts in runtime calls that previously took opaque[]. Implemented dynamic arrays as first class types, this implements proper ABI for these types on x86. Added dwarf region end after call to assert function, fixes some problems with llvm not allowing this to be missing. Reverted change to WithStatement from rev [704] it breaks MiniD, mini/with2.d needs to be fixed some other way... Fixed tango bug 1339 in runtime, problem with _adReverseChar on invalid UTF-8. Disabled .bc generation in the compiler runtime part, genobj.d triggers some llvm bug when using debug info. the .o seems to work fine.
author Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
date Wed, 22 Oct 2008 14:55:33 +0200
parents 1bb99290e03a
children 0a5f7890f327
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
72
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
1 module typeinfo10;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
2
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
3 struct S
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
4 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
5 long l;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
6 float f;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
7 void* vp;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
8
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
9 hash_t toHash()
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
10 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
11 return l + cast(size_t)f;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
12 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
13
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
14 int opEquals(S s)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
15 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
16 return (s.l == l) && (s.f == f);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
17 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
18
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
19 int opCmp(S a)
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
20 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
21 if (l == a.l) {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
22 return (f < a.f) ? -1 : (f > a.f) ? 1 : 0;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
23 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
24 return (l < a.l) ? -1 : 1;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
25 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
26
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
27 char[] toString()
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
28 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
29 return "S instance";
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
30 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
31 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
32
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
33 void main()
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
34 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
35 S s=S(-1, 0);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
36 S t=S(-1, 1);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
37 S u=S(11,-1);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
38 S v=S(12,13);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
39
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
40 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
41 assert(s == s);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
42 assert(s != t);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
43 assert(s != v);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
44 assert(s < t);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
45 assert(u > s);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
46 assert(v > u);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
47 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
48
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
49 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
50 auto ti = typeid(S);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
51 assert(ti.getHash(&s) == s.toHash());
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
52 assert(ti.equals(&s,&s));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
53 assert(!ti.equals(&s,&t));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
54 assert(!ti.equals(&s,&v));
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
55 assert(ti.compare(&s,&s) == 0);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
56 assert(ti.compare(&s,&t) < 0);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
57 assert(ti.compare(&u,&s) > 0);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
58 assert(ti.compare(&v,&u) > 0);
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
59 {
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
60 auto tis = cast(TypeInfo_Struct)ti;
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
61 assert(tis.xtoString(&s) == s.toString());
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
62 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
63 }
d7e764e62462 [svn r76] Fixed: TypeInfo for structs.
lindquist
parents:
diff changeset
64 }