projects/dang: sema/DType.d annotate

annotate sema/DType.d @ 72:628cb46ab13b new_gen

First update on the way to Arrays! :) Lexer and ast/Exp now have the types needed. All that needs to be updated now is the Parser. I suggest two options: 1) Making the Id a class that we can make a ArrayId and PointerId for at some point. 2) Use a struct as now, but adding some bools / ints to give a more abstract description of the type 2) is messy and 1) is slower... :/

author	Anders Johnsen <skabet@gmail.com>
date	Thu, 01 May 2008 23:08:41 +0200
parents	381975d76baf
children	13eea2c4e60d

rev	line source
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	1 module sema.DType;
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	2
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	3 import lexer.Token,
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	4 ast.Exp;
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	5
28 69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	6 import tango.io.Stdout;
69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	7
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	8 class DType
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	9 {
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	10 private char[] id;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	11 private Location loc;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	12 public DType actual;
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	13
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	14 this(Identifier id, DType actual = null)
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	15 {
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	16 Token temp = id.token;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	17 this.id = temp.get;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	18 this.loc = temp.location;
49 c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	19 this.actual = actual is null? this : actual;
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	20 }
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	21
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	22 this(char[] id, DType actual = null)
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	23 {
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	24 this.id = id;
49 c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	25 this.actual = actual is null? this : actual;
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	26 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	27
64 91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	28 /// Is this type a DStruct
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	29 bool isStruct() { return false; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	30 /// Return a DStruct if this is one, otherwise return null
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	31 DStruct asStruct() { return null; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	32
72 628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	33 /// Is this type a DArray
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	34 bool isArray() { return false; }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	35 /// Return a DArray if this is one, otherwise return null
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	36 DArray asArray() { return null; }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	37
64 91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	38 /// Is this type a DFunction
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	39 bool isFunction() { return false; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	40 /// Return a DFunction if this is one, otherwise return null
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	41 DFunction asFunction() { return null; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	42
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	43 /// Is this type a DInteger
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	44 bool isInteger() { return false; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	45 /// Return a DInteger if this is one, otherwise return null
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	46 DInteger asInteger() { return null; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	47
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	48 // Is this type a DPointer
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	49 //bool isPointer() { return false; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	50 // DPointer asPointer() { return null; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	51
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	52 int opEquals(Object o)
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	53 {
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	54 if (auto t = cast(DType)o)
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	55 return this.actual is t.actual;
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	56 return 0;
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	57 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	58
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	59 int opCmp(Object o)
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	60 {
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	61 if (auto t = cast(DType)o)
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	62 return cast(void)this.actual - cast(void)t.actual;
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	63 return 0;
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	64 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	65
49 c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	66 /**
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	67 Hashing is done by casting the reference to a void* and taking that
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	68 value, but this gives a bad distribution of hash-values.
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	69
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	70 Multiple DType's allocated close to each other will only have a
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	71 difference in the lower bits of their hashes.
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	72 */
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	73 hash_t toHash()
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	74 {
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	75 return cast(hash_t)(cast(void*)this);
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	76 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	77
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	78 char[] name() { return id; }
28 69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	79 Location getLoc() { return loc; }
39 1a7a308f75b2 Added some struct tests, and implemented a wrong struct assignment Anders Halager <halager@gmail.com> parents: 37 diff changeset	80 int byteSize() { return 0; }
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	81
58 fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	82 /**
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	83 Can this type legally be converted to that type with no casts?
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	84 True for short -> int etc.
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	85 */
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	86 bool hasImplicitConversionTo(DType that) { return false; }
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	87
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	88 static DInteger
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	89 Bool,
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	90 Byte, UByte, Short, UShort,
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	91 Int, UInt, Long, ULong;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	92
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	93 static DType Void;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	94
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	95 static this()
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	96 {
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	97 Void = new DType("void");
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	98
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	99 Bool = new DInteger("bool", 1, false);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	100 Byte = new DInteger("byte", 8, false);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	101 UByte = new DInteger("ubyte", 8, true);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	102 Short = new DInteger("short", 16, false);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	103 UShort = new DInteger("ushort", 16, true);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	104 Int = new DInteger("int", 32, false);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	105 UInt = new DInteger("uint", 32, true);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	106 Long = new DInteger("long", 64, false);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	107 ULong = new DInteger("ulong", 64, true);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	108 }
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	109 }
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	110
49 c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	111 /**
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	112 Class to represent the built-in integer types, from byte to long.
c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	113 */
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	114 class DInteger : DType
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	115 {
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	116 this(char[] name, int bits, bool unsigned)
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	117 {
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	118 super(name, null);
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	119 this.bits = bits;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	120 this.unsigned = unsigned;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	121 }
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	122
39 1a7a308f75b2 Added some struct tests, and implemented a wrong struct assignment Anders Halager <halager@gmail.com> parents: 37 diff changeset	123 override int byteSize() { return bits / 8; }
1a7a308f75b2 Added some struct tests, and implemented a wrong struct assignment Anders Halager <halager@gmail.com> parents: 37 diff changeset	124
58 fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	125 override bool hasImplicitConversionTo(DType that)
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	126 {
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	127 if (auto o = cast(DInteger)that)
68 381975d76baf A LOT of bug fixing - also implemented implicit casts. If you do a --ast-dump-code on a target with some algebra of differant types, you should now see the type casts being made. Also, Tests are again back with only switches failing... Anders Johnsen <skabet@gmail.com> parents: 64 diff changeset	128 return true;
381975d76baf A LOT of bug fixing - also implemented implicit casts. If you do a --ast-dump-code on a target with some algebra of differant types, you should now see the type casts being made. Also, Tests are again back with only switches failing... Anders Johnsen <skabet@gmail.com> parents: 64 diff changeset	129 // return this.bits >= o.bits;
58 fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	130 return false;
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	131 }
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	132
64 91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	133 override bool isInteger() { return true; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	134 override DInteger asInteger() { return this; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	135
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	136 int bits;
9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	137 bool unsigned;
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	138 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	139
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	140 class DStruct : DType
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	141 {
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	142 this(Identifier id, DType actual = null)
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	143 {
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	144 super(id, actual);
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	145 }
28 69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	146
39 1a7a308f75b2 Added some struct tests, and implemented a wrong struct assignment Anders Halager <halager@gmail.com> parents: 37 diff changeset	147 int byteSize() { return bytes_total; }
1a7a308f75b2 Added some struct tests, and implemented a wrong struct assignment Anders Halager <halager@gmail.com> parents: 37 diff changeset	148
64 91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	149 override bool isStruct() { return true; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	150 override DStruct asStruct() { return this; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	151
55 79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	152 void addMember(DType type, char[] name)
28 69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	153 {
55 79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	154 auto s = DStructMember(type, members.length);
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	155 members[name] = s;
28 69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	156
55 79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	157 bytes_total += type.byteSize();
49 c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	158 }
28 69464d465284 Now supporting structs - both read and write. Still a few errors though, so watch out. Anders Johnsen <skabet@gmail.com> parents: 27 diff changeset	159
55 79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	160 int indexOf(char[] name)
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	161 {
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	162 if(name in members)
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	163 return members[name].index;
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	164
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	165 return -1;
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	166 }
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	167
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	168 DType typeOf(char[] name)
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	169 {
58 fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	170 if (auto res = name in members)
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	171 return res.type;
fc62c5296a1c Add types to our Exp Anders Halager <halager@gmail.com> parents: 55 diff changeset	172 return null;
55 79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	173 }
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	174
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	175 DStructMember[char[]] members;
39 1a7a308f75b2 Added some struct tests, and implemented a wrong struct assignment Anders Halager <halager@gmail.com> parents: 37 diff changeset	176 private int bytes_total;
55 79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	177
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	178 struct DStructMember
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	179 {
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	180 DType type;
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	181 int index;
79cb0afafabe Now structs are somewhat useable to use. Anders Johnsen <skabet@gmail.com> parents: 49 diff changeset	182 }
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	183 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	184
72 628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	185 class DArray : DType
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	186 {
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	187 this(DType arrayOf, DType actual = null)
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	188 {
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	189 super(id, actual);
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	190 this.arrayOf = arrayOf;
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	191 }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	192
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	193 override bool isArray() { return true; }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	194 override DArray asArray() { return this; }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	195
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	196 int byteSize() { return arrayOf.byteSize; }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	197
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	198 DType arrayOf;
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	199 }
628cb46ab13b First update on the way to Arrays! :) Anders Johnsen <skabet@gmail.com> parents: 68 diff changeset	200
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	201 class DFunction : DType
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	202 {
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	203 this(Identifier id, DType actual = null)
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	204 {
27 9031487e97d7 Various changes related to DType Anders Halager <halager@gmail.com> parents: 26 diff changeset	205 super(id, actual);
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	206 }
49 c7cde6af0095 Seperated the AST from LLVM Anders Halager <halager@gmail.com> parents: 39 diff changeset	207
64 91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	208 override bool isFunction() { return true; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	209 override DFunction asFunction() { return this; }
91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	210
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	211 DType[] params;
63 9f8131676242 Now Decl's have a DType type(), and should use varType and returnType to get the old type id Anders Halager <halager@gmail.com> parents: 58 diff changeset	212 DType returnType;
64 91f10c34cd7b Fixed some bugs, removed the function gathering pass in codegen and types are Anders Halager <halager@gmail.com> parents: 63 diff changeset	213 bool firstParamIsReturnValue = false;
26 b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	214 }
b4dc2b2c0e38 Added a DType class Anders Halager <halager@gmail.com> parents: diff changeset	215

Mercurial > projects > dang

annotate sema/DType.d @ 72:628cb46ab13b new_gen