docs/ChrisNotes.txt

   1 * Must update PHI node to have a pair between predecessor and value.
   2 * Enhance BB to make predecessor handling easier (to update PHI nodes)
   3 * Provide a pass that eliminates critical edges from the CFG
   4 * Provide a print hook to print out xvcg format files for vis
   5 * I need to provide an option to the bytecode loader to ignore memory
   6   dependance edges.  Instead, the VM would just treat memory operations
   7   (load, store, getfield, putfield, call) as pinned instructions.
   8 * I need to have a way to prevent taking the address of a constant pool
   9   reference.  You should only be able to take the address of a variable.
  10   Maybe taking the address of a constant copies it?  What about virtual
  11   function tables?  Maybe a const pointer would be better...
  12 * Structures should be accessed something like this: ubyte is ok.  Limits
  13   structure size to 256 members.  This can be fixed later by either:
  14     1. adding varient that takes ushort
  15     2. Splitting structures into nested structures each of half size
  16   <float> %f = loadfield *{int, {float}} Str, ubyte 1, ubyte 0
  17   storefield float %f, *{int, {float}} Str, ubyte 1, ubyte 0
  18 * I'm noticing me writing a lot of code that looks like this (dtor material here):
  19   ConstPool.dropAllReferences();
  20   ConstPool.delete_all();
  21   ConstPool.setParent(0);
  22   ~ConstPool
  23
  24 * Need a way to attach bytecode block info at various levels of asm code.
  25 * Rename "ConstantPool" to "ConstPool"
  26 * Maybe ConstantPool objects should keep themselves sorted as things are
  27   inserted.
  28 * Need to be able to inflate recursive types.  %x = { *%x }, %x = %x ()
  29 * Recognize and save comments in assembly and bytecode format
  30 * Encode line number table in bytecode (like #line), optional table
  31
  32 * Encode negative relative offsets in the bytecode file
  33
  34 * Implement switch to switch on a constant pool array of type:
  35   [{ label, int }] or [label]   (lookup vs index switch)
  36 * Apparently bison has a %pure_parser option.  Maybe useful for Assembly/Parser
  37
  38 * Implement a header file that can read either assembly or bytecode, implement
  39   a writer that can output either based on what is read with this reader..
  40 * Implement the following derived types:
  41   * structure/record               { int %foo, int %bar} or { %foo = int, int }
  42   * pointer                          int *
  43   * "packed format", like this:    [4 x sbyte]: Packed SIMD datatype
  44 * Maybe 'tailcall' also?
  45 * It might be nice to support enumerations of some sort... especially for use
  46   as a compiler IR
  47 * Include a method level bytecode block that defines a mapping between values
  48   and registers that defines a minimally register allocated code.  This can
  49   make me finally address how to encode extensions in assembly.
  50 * Bytecode reader should use extensions that may or may not be linked into the
  51   application to read blocks.  Thus an easy way to ignore symbol table info
  52   would be to not link in that reader into the app.