X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=8dade4735fb25bf106041a906c22feaa94c2864a;hb=d21ef9d921809ce0167fb5847ba1a34bf6fe94a6;hp=17c7c75edcdba9fba69e0c30717db8cc6c4fb82b;hpb=27747c3ab4daff3d1c1d8db481364e796858d688;p=libfirm

diff --git a/TODO b/TODO
index 17c7c75ed..8dade4735 100644
--- a/TODO
+++ b/TODO
@@ -1,8 +1,50 @@
-  * 7.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
+    Aufbau Exceptions tut nicht:
+    1) mache exception handle block
+    2) baue code auf, verzweige von fragile ops zu dem Handler
+    3) mature exception block
+    --> Dann werden natuerlich die Werte am Ende der Bloecke mit den
+       fragile ops verwendet!  Diese sind ev. nicht berechnet.  Trifft
+       insbesondere auf memory zu ...
+    Loesung z.B.:
+    immExcBlock konstruktor.  Neuer "mature" status.  immExcBlocks duerfen
+    keine zyklen bilden.  In immExcBlocks werden PhiKnoten sofort eingesetzt,
+    aber wie immBlock mit flexibler vorgaenger liste.  add_in_edge ergaenzt
+    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
     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
+    Implement support for endless loops.
+    (Add Jump target block to a list if optimizing Cond nodes.
+    Extend walker to start walking at this list.
+    Extend dead node elimination to update and compact this list.
+    Extend inlining to inline this list.)
+
   * 7.11.2001 Goetz
     Implement checking whether layout is fixed when setting corresponding
     flag.  See firmtut, 3.1.4.
@@ -12,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.
 
@@ -20,10 +62,10 @@
     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
@@ -31,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
 =======
@@ -42,12 +84,12 @@
 
 *********** 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.