diff --git a/ghc/compiler/nativeGen/NOTES b/ghc/compiler/nativeGen/NOTES new file mode 100644 index 0000000000000000000000000000000000000000..f19375b15394ba2b4a41da39388a0a01b293a34d --- /dev/null +++ b/ghc/compiler/nativeGen/NOTES @@ -0,0 +1,22 @@ + +Known bugs in nativeGen, 000124 (JRS) +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +All these bugs are for x86; I don't know about sparc/alpha. + +-- argument marshalling for ccall is fundamentally flawed, since + it moves the C stack pointer %esp as it pushes each argument. + Alas, the register allocator spills relative to %esp and + assumes that it doesn't move. Result: if the marshalling code + for a ccall involves any spills, the resulting code will + probably be wrong. + + The Right Way to fix this is to copy stuff onto the stack + without moving %esp, then adjust it immediately prior to the + call insn and un-adjust it immediately following it. + +-- nofib/spectral/cvh_unboxing exposes some kind of spilling bug + (I think), since there are many references to registers %M229 + etc, which I believe are dynamic registers which didn't get assigned + to real ones. +