X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=TODO;h=8dade4735fb25bf106041a906c22feaa94c2864a;hb=d98727840128960a4a36c3ccabb56d1653bb5f8a;hp=f7732bb8c257daa0a04dcb4de22be846d7d7f07a;hpb=877332b6d9dddf53519ea5ca5d3e9f1a9863a207;p=libfirm diff --git a/TODO b/TODO index f7732bb8c..8dade4735 100644 --- 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 @@ -18,12 +33,12 @@ 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. @@ -47,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 @@ -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 ======= @@ -69,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.