X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=48b667fb4d01a0777b53d63187efaf4359448288;hb=b4cfa9a1793173b5ccee8fcf9debdac126109902;hp=aea9c48920473adb2e04a937b9e27e5747b30fbe;hpb=5ea42302302c625d8953394386612b5093924576;p=libfirm

diff --git a/TODO b/TODO
index aea9c4892..48b667fb4 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,53 @@
+  + 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.
+    Maybe write a checker for the type information.
+
+  * 19.6.2001 Goetz
+    What happens if undefined values are allowed?  See ircons.c,
+    grep for get_irg_start_block.
+
+  * 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.
+
+  * 23.5.2005 Goetz
+    All compound types need a flag saying whether the order of the members
+    must be conserved.
+
   * 23.5.2001 Goetz
     Add element_type to array constructor