ghc/compiler/nativeGen/NOTES

   1
   2 Known bugs/issues in nativeGen, 000202 (JRS)
   3 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   4
   5 All these bugs are for x86; I don't know about sparc/alpha.
   6
   7 -- absC -> stix translation for GET_TAG and in fact anything
   8    to do with the packed-halfword layout info itbl field is
   9    pretty dubious.  I think I have it fixed for big and little
  10    endian 32-bit, but it won't work at all on a 64 bit platform.
  11
  12 -- Most of the x86 insn selector code in MachCode.lhs needs to
  13    be checked against the Rules of the Game recorded in that file.
  14    I think there are a lot of subtle violations.
  15
  16 -- When selecting spill regs, don't use %eax if there is a CALL insn
  17    (perhaps excluding calls to newCAF, since it doesn't return a
  18     result).
  19
  20 -- Keep track of the stack offset so that correct spill code can
  21    be generated even if %esp moves.  At the moment %esp doesn't
  22    move, so the problem doesn't exist, but there is a different
  23    problem: ccalls put args in memory below %esp and only move
  24    %esp immediately prior to the call.  This is dangerous because
  25    (1) writing below %esp can cause a segmentation fault (as deemed
  26    by the OS), and (2) if a signal should be handled on that stack
  27    during argument construction, the args will get silently trashed.
  28
  29 -- nofib/real/hidden gets slightly different FP answers from the
  30    via-C route; possibly due to exp/log not being done in-line.
  31
  32 -- Possibly implement GLDZ and GLD1 as analogues of FLDZ and FLD1
  33    (x86), to reduce number of constants emitted in f-p code.
  34