Removed separation of nodes and sons in ir_loop
[libfirm] / TODO
diff --git a/TODO b/TODO
index f7732bb..8dade47 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,9 +1,24 @@
-  * 19.11.2001 Goetz
+  * 29.10.2002 Goetz
+    Representation of value compounds is not good, especially with
+    calls.
+
+  * 29.10.2002 Goetz
+    We can not represent bitfield members of structs in C.
+    A struct can have fields with n bits, n e.g. set to 3...
+
+  * 29.10.2002 Goetz
+    If parameter variables are dereferenced they must be represented
+    by an entity in the stack frame type.  We need a mechanism to
+    find out which fields were parameters so that the parameter
+    passing space on the frame can be used for the parameters.
+
+  + 19.11.2001 Goetz
     SymConst mit ident taugt nicht:  Wenn man z.B. die Prozedur kennt
     sollte man die entitaet der Prozedur angeben koennen.  Ermoeglicht
     einfachere Navigation im Callgraphen.
+    --> Verwende Const mit entity.
 
-  * 13.11.2001 Goetz
+  + 13.11.2001 Goetz
     Aufbau Exceptions tut nicht:
     1) mache exception handle block
     2) baue code auf, verzweige von fragile ops zu dem Handler
     bei allen Phi Knoten dann sofort die neu bekannten Werte.  Jetzt kann
     genau der Status zum Zeitpunkt der Exception abgebildet werden.
 
-  * 7.11.2001 Goetz
+  + 7.11.2001 Goetz
     Model Stack frame of a method as class type as for Global type?
     (Class so that methods defined within methods can be represented?)
     So far local entities are added to GlobalType.
 
-  * 7.11.2001 Goetz
+  + 7.11.2001 Goetz
     Implement support for endless loops.
     (Add Jump target block to a list if optimizing Cond nodes.
     Extend walker to start walking at this list.
@@ -39,7 +54,7 @@
     What happens if undefined values are allowed?  See ircons.c,
     grep for get_irg_start_block.
 
-  * 23.5.2001 Goetz
+  + 23.5.2001 Goetz
     Does the array type contain a field with the array entity?
     This entity should be constructed automatically with the array type.
 
     All compound types need a flag saying whether the order of the members
     must be conserved.
 
-  * 23.5.2001 Goetz
+  + 23.5.2001 Goetz
     Add element_type to array constructor
 
-  * 15.3.2001 Goetz
+  + 15.3.2001 Goetz
     mode, size in type:  Wann gibt es einen mode, wann die size?
     Kann man den mode aendern?  Nicht bei prim, enum, pointer da
     schon irreversibel in Programmcode umgesetzt.  Die anderen
@@ -58,7 +73,7 @@
     in get_type_mode die typen asserten, und set_mode verbieten,
     dafuer im enum konstruktor mode mitgeben?
 
-  * 14.3.2001 Boris
+  + 14.3.2001 Boris
     make dist should create an archive which has the directory libfirm/
     as top-level
 =======
 
 *********** old stuff ***********
 
* Problem mit endlosen Schleifen loesen.
+ Problem mit endlosen Schleifen loesen.
 
  * Automatisches generieren und set_value der Argumente-projs in
    new_ir_graph
 
* Define and implement procedure-global extensions, e.g., the call graph.
+ Define and implement procedure-global extensions, e.g., the call graph.
 
  * Implement Confirm node: Added by optimization to annotate dataflow
    edge with information as (value > 0).  This improves dataflow analysis.