-* Assignment
+===========================================
- string a, b;
- property string c;
+* Value Parameter
- a = c = b = "hello"
+ I believe that `Value Parameter' might have been introduced
+ after C# 1.0, also notice than in the treatment of Value Parameter
+ the parameters are defined in four categories:
- Problem is that setter properties do not return a value, so we must
- create a temporary on the situation above to store the value of "b"
- and then pass that on to "a".
+ Section 9.3 in the latest spec.
-* Optimizations
- Handle if (!x) converting to remove the `!' and instead of using
- a brfalse use a brtrue to jump to the end.
+Large project:
+--------------
-* LValueResolve
+New
+---
- Maybe we should only call Resolve on RValues and LValueRsolve
- on LValues so that DoREsolve can flag errors on properties
- missing `get' and indexers without a get indexer.
+ It would be nice to optimize the case of:
-* Emitcontext
+ Method (new ValueType ())
- Do we really need to instanciate this variable all the time?
+ So that no temporary is created, and we only use a newobj call
+ that remains on the stack, as opposed to ldloca, initobj, ldloc
+ call.
- It could be static for all we care, and just use it for making
- sure that there are no recursive invocations on it.
+NEW NOTES:
+----------
-* Static-ization
+ ImplicitStandardConversionExists and ImplicitStandardConversion
+ should always be the same, but there are a few diverging lines that
+ must be studied:
- Since AppDomain exists, maybe we can get rid of all the stuff
- that is part of the `compiler instance' and just use globals
- everywhere.
+ if (expr_type == target_type && !(expr is NullLiteral))
+ return expr;
-* FindMembers
+ vs:
- Move our utility FindMembers from TypeContainer to Decl, because interfaces
- are also scanned with it.
+ if (expr_type == target_type)
+ return true;
-* Ordering
+****************************************************************************************
+*
+* The information on the rest of this file is mostly outdated, and its kept here for
+* historical reasons
+*
+****************************************************************************************
+
+Error Reporting:
+----------------
- Can a constant_expression invoke overloaded operators?
- Explicit user-defined conversions?
+ * Make yyerror show a nice syntax error, instead of the current mess.
-* Visibility
+Optimization ideas
+------------------
- I am not reporting errors on visibility yet.
+ Currently when we build a type cache, it contains private members,
+ internal members, and internal protected members; We should trim
+ these out, as it shows up on the profile.
-* Enumerations
+ We create too many Arraylists; When we know the size, we should create
+ an array;
- Currently I am not resolving enumerations.
+ During parsing we use arraylists to accumulate data, like this:
- Either I track them with `RecordEnum' as I do with classes,
- structs and interfaces or I rewrite the code to visit type
- containers and `walk' the enums with this process.
+ thing:
+
+ thing_list
+ : thing { $$ =new ArrayList (); $$.Add ($1); }
+ | thing_list thing { ArrayList a = $1; a.Add ($2); $$ = a; }
-* Known problems:
+ We probably could start using "Pairs" there:
- Cast expressions
+ thing_list
+ : thing { $$ = new Pair ($1, null); }
+ | thing_list thing { Pair p = $1; $$ = new Pair ($2, $1); }
- They should should use:
- OPEN_PARENS type CLOSE_PARENS
+EmitContext.ResolveTypeTree
+---------------------------
- instead of the current production which is wrong, because it
- only handles a few cases.
+ We should investigate its usage. The problem is that by default
+ this will be set when calling FindType, that triggers a more expensive
+ lookup.
- Complex casts like:
+ I believe we should pass the current EmitContext (which has this turned off
+ by default) to ResolveType/REsolveTypeExpr and then have the routines that
+ need ResolveType to pass null as the emit context.
- Array r = (string []) object
+DeclareLocal audit
+------------------
- Wont be parsed.
-
-* Interfaces
+ DeclareLocal is used in various statements. The audit should be done
+ in two steps:
- For indexers, the output of ix2.cs is different from our
- compiler and theirs. They use a DefaultMemberAttribute, which
- I have yet to figure out:
+ * Identify all the declare locals.
- .class interface private abstract auto ansi INTERFACE
- {
- .custom instance void [mscorlib]System.Reflection.DefaultMemberAttribute::.ctor(string)
- = ( 01 00 04 49 74 65 6D 00 00 ) // ...Item..
- ...
- }
-
-* Interface indexers
-
- I have not figured out why the Microsoft version puts an
- `instance' attribute, and I am not generating this `instance' attribute.
-
- Explanation: The reason for the `instance' attribute on
- indexers is that indexers only apply to instances
+ * Identify its uses.
-* Constructors
+ * Find if we can make wrapper functions for all of them.
- Currently it calls the parent constructor before initializing fields.
- It should do it the other way around.
+ Then we can move DeclareLocal into a helper class.
-* Use of EmitBranchable
+ This is required to fix foreach in iterators.
- Currently I use brfalse/brtrue in the code for statements, instead of
- using the EmitBranchable function that lives in Binary
+Ideas:
+------
-* Create an UnimplementedExpcetion
+ Instead of the hack that *knows* about System.Object not having any children classes,
+ we should just make it simple for a probe to know that there is no need for it.
- And use that instead of plain Exceptions to flag compiler errors.
+Dead Code Elimination bugs:
+---------------------------
-* ConvertImplicit
+ I should also resolve all the children expressions in Switch, Fixed, Using.
- Currently ConvertImplicit will not catch things like:
+Major tasks:
+------------
+ Properties and 17.6.3: Finish it.
- - IntLiteral in a float context to generate a -FloatLiteral.
- Instead it will perform an integer load followed by a conversion.
+readonly variables and ref/out
+
+BUGS
+----
-* In class.cs: Method.Define
+* Break/Continue statements
- Need to use FindMembers to lookup the member for reporting
- whether a new is needed or not.
+ A finally block should reset the InLoop/LoopBegin/LoopEnd, as
+ they are logically outside the scope of the loop.
-* virtual-method.cs breaks
+* Break/continue part 2.
- It breaks on the call to: new B ();
+ They should transfer control to the finally block if inside a try/catch
+ block.
- Where B is a class defined in the source code, my guess is that
- the look for ".ctor" fails
+*
+> // CSC sets beforefieldinit
+> class X {
+> // .cctor will be generated by compiler
+> public static readonly object O = new System.Object ();
+> public static void Main () {}
+> }
+>
-* Foreach on structure returns does not work
+PENDING TASKS
+-------------
- I am generating invalid code instead of calling ldarga for the
- structure, I am calling ldarg:
+* Merge test 89 and test-34
- struct X {
- public IEnumerator GetEnumerator ();
- }
+* Code cleanup
- X x;
+ The information when registering a method in InternalParameters
+ is duplicated, you can always get the types from the InternalParameters
- foreach (object a in x){
- ...
- }
+* Emit modreq for volatiles
- I need to get the address of that bad boy
+ Handle modreq from public apis.
-* Work todo:
+* Merge tree.cs, rootcontext.cs
- Understand how methods are invoked on structs
+OPTIMIZATIONS
+-------------
-* Using Alias
+* User Defined Conversions is doing way too many calls to do union sets that are not needed
- Need to reset the aliases for each compilation unit, so an
- alias defined in a file does not have any effect on another one:
+* Add test case for destructors
- File.cs
- =======
- namespace A {
- using X = Blah;
+* Places that use `Ldelema' are basically places where I will be
+ initializing a value type. I could apply an optimization to
+ disable the implicit local temporary from being created (by using
+ the method in New).
- class Z : X { <-- This X is `Blah'
- }
+* Dropping TypeContainer as an argument to EmitContext
- File2.cs
- namespace {
- class Y : X { <-- This X Is not `Blah'
- }
- }
+ My theory is that I can get rid of the TypeBuilder completely from
+ the EmitContext, and have typecasts where it is used (from
+ DeclSpace to where it matters).
- I think we can implement Aliases by having an `Alias' context in all
- the toplevel TypeContainers of a compilation unit. The children typecontainers
- just chain to the parents to resolve the information.
-
- The driver advances the Alias for each file compiled, so that each file
- has its own alias set.
+ The only pending problem is that the code that implements Aliases
+ is on TypeContainer, and probably should go in DeclSpace.
* Tests
Write tests for the various reference conversions. We have
test for all the numeric conversions.
-* Handle destructors specially
-
- Turn ~X () { a () } into:
- void Finalize () { try { a (); } finally { base.Finalize (); } }
+* Optimizations: variable allocation.
-* Handle volatile
+ When local variables of a type are required, we should request
+ the variable and later release it when we are done, so that
+ the same local variable slot can be reused later on.
-* Support Re-Throw exceptions:
-
- try {
- X ();
- } catch (SomeException e){
- LogIt ();
- throw;
- }
+* Add a cache for the various GetArrayMethod operations.
-* Implement lock()
+* MakeUnionSet Callers
-* SimpleNames and ElementAccess
+ If the types are the same, there is no need to compute the unionset,
+ we can just use the list from one of the types.
- If a SimpleName makes it outside the ElementAccess, we should
- flag a 246. I am not sure the current hack in
- Invocation.DoResolve is appropiate (catching 246 there), as I
- am pretty sure, SimpleNames will appear elsewhere.
+* Factor the lookup code for class declarations an interfaces
+ (interface.cs:GetInterfaceByName)
-* Remove the tree dumper
-
- And make all the stuff which is `public readonly' be private unless
- required.
+RECOMMENDATIONS
+---------------
* Use of lexer.Location in the parser
We need to change that to use this pattern:
- TOKEN { $$ = lexer.Location } nt TERMINAL nt TERMINAL nt3 {
- $$ = new Blah ($3, $5, $7, (Location) $2);
+ TOKEN { oob_stack.Push (lexer.Location) } nt TERMINAL nt TERMINAL nt3 {
+ $$ = new Blah ($3, $5, $7, (Location) oob_stack.Pop ());
}
- Notice how numbering of the arguments changes, as the { $$ =
- lexer.Location } takes up a number
-
-* Method Names
-
- Method names could be; `IFACE.NAME' in the method declaration,
- stating that they implement a specific interface method.
+ Notice how numbering of the arguments changes as the
+ { oob_stack.Push (lexer.Location) } takes a "slot" in the productions.
- We currently fail to parse it.
\ No newline at end of file