Some -dynamic-too fixes
[ghc.git] / compiler / cmm / cmm-notes
1 More notes (Aug 11)\r
2 ~~~~~~~~~~~~~~~~~~\r
3 * CmmInfo.cmmToRawCmm expands info tables to their representations\r
4   (needed for .cmm files as well as the code generators)\r
5 \r
6 * Why is FCode a lazy monad?  That makes it inefficient.\r
7   We want laziness to get code out one procedure at a time,\r
8   but not at the instruction level.\r
9 \r
10 Things we did\r
11   * Remove CmmCvt.graphToZgraph (Conversion from old to new Cmm reps)\r
12   * Remove HscMain.optionallyConvertAndOrCPS (converted old Cmm to\r
13     new, ran pipeline, and converted back)\r
14   * Remove CmmDecl. Put its types in Cmm.  Import Cmm into OldCmm\r
15     so it can get those types.\r
16 \r
17 \r
18 More notes (June 11)\r
19 ~~~~~~~~~~~~~~~~~~~~\r
20 \r
21 * In CmmContFlowOpts.branchChainElim, can a single block be the\r
22   successor of two calls?\r
23 \r
24 * Check in ClosureInfo:\r
25      -- NB: Results here should line up with the results of SMRep.rtsClosureType\r
26 \r
27 More notes (May 11)\r
28 ~~~~~~~~~~~~~~~~~~~\r
29 In CmmNode, consider spliting CmmCall into two: call and jump\r
30 \r
31 Notes on new codegen (Aug 10)\r
32 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\r
33 \r
34 Things to do:\r
35  - Proc points pass all arguments on the stack, adding more code and\r
36    slowing down things a lot. We either need to fix this or even better\r
37    would be to get rid of proc points.\r
38 \r
39  - Sort out Label, LabelMap, LabelSet versus BlockId, BlockEnv, BlockSet\r
40    dichotomy. Mostly this means global replace, but we also need to make\r
41    Label an instance of Outputable (probably in the Outputable module).\r
42 \r
43    EZY: We should use Label, since that's the terminology Hoopl uses.\r
44 \r
45  - AsmCodeGen has a generic Cmm optimiser; move this into new pipeline\r
46    EZY (2011-04-16): The mini-inliner has been generalized and ported,\r
47    but the constant folding and other optimizations need to still be\r
48    ported.\r
49 \r
50  - AsmCodeGen has post-native-cg branch eliminator (shortCutBranches);\r
51    we ultimately want to share this with the Cmm branch eliminator.\r
52 \r
53  - At the moment, references to global registers like Hp are "lowered" \r
54    late (in CgUtils.fixStgRegisters). We should do this early, in the\r
55         new native codegen, much in the way that we lower calling conventions.\r
56         Might need to be a bit sophisticated about aliasing.\r
57 \r
58  - Move to new Cmm rep:\r
59      * Make native CG consume New Cmm; \r
60      * Convert Old Cmm->New Cmm to keep old path alive\r
61      * Produce New Cmm when reading in .cmm files\r
62 \r
63  - Top-level SRT threading is a bit ugly\r
64 \r
65  - See "CAFs" below; we want to totally refactor the way SRTs are calculated\r
66 \r
67  - Garbage-collect\r
68    moving good stuff into \r
70 \r
71  - Currently AsmCodeGen top level calls AsmCodeGen.cmmToCmm, which is a small\r
72    C-- optimiser.  It has quite a lot of boilerplate folding code in AsmCodeGen\r
73    (cmmBlockConFold, cmmStmtConFold, cmmExprConFold), before calling out to\r
74    CmmOpt.  ToDo: see what optimisations are being done; and do them before\r
75    AsmCodeGen.\r
76 \r
77  - If we stick CAF and stack liveness info on a LastCall node (not LastRet/Jump)\r
78    then all CAF and stack liveness stuff be completed before we split\r
79    into separate C procedures.\r
80 \r
81    Short term:\r
82      compute and attach liveness into to LastCall\r
83      right at end, split, cvt to old rep\r
84      [must split before cvt, because old rep is not expressive enough]\r
85 \r
86    Longer term: \r
87      when old rep disappears, \r
88      move the whole splitting game into the C back end *only*\r
89          (guided by the procpoint set)\r
90 \r
91 ----------------------------------------------------\r
92         Modules in codeGen/\r
93 ----------------------------------------------------\r
94 \r
95 \r
96 ------- Shared ---------\r
97 Bitmap.hs\r
98 SMRep.lhs\r
99 \r
100 CmmParse.y\r
101 CgExtCode.hs   used in CmmParse.y\r
102 \r
103 ------- New codegen ---------\r
104 \r
105 StgCmm.hs\r
106 StgCmmBind.hs\r
107 StgCmmClosure.hs     (corresponds to old ClosureInfo)\r
108 StgCmmCon.hs\r
109 StgCmmEnv.hs\r
110 StgCmmExpr.hs\r
111 StgCmmForeign.hs\r
112 StgCmmGran.hs\r
113 StgCmmHeap.hs\r
114 StgCmmHpc.hs\r
115 StgCmmLayout.hs\r
116 StgCmmMonad.hs\r
117 StgCmmPrim.hs\r
118 StgCmmProf.hs\r
119 StgCmmTicky.hs\r
120 StgCmmUtils.hs\r
121 \r
122 ------- Old codegen (moribund) ---------\r
123 CodeGen.lhs\r
124 CgBindery.lhs\r
125 CgCallConv.hs\r
126 CgCase.lhs\r
127 CgClosure.lhs\r
128 CgCon.lhs\r
129 CgExpr.lhs\r
130 CgLetNoEscape.lhs\r
131 CgForeignCall.hs\r
132 CgHeapery.lhs\r
133 CgHpc.hs\r
134 CgInfoTbls.hs\r
135 CgMonad.lhs\r
136 CgParallel.hs\r
137 CgPrimOp.hs\r
138 CgProf.hs\r
139 CgStackery.lhs\r
140 CgTailCall.lhs\r
141 CgTicky.hs\r
142 CgUtils.hs\r
143 ClosureInfo.lhs\r
144 \r
145 ----------------------------------------------------\r
146         Modules in cmm/\r
147 ----------------------------------------------------\r
148 \r
149 -------- Moribund stuff ------------\r
150 OldCmm.hs      Definition of flowgraph of old representation\r
151                Imports some data types from (new) Cmm\r
152 OldCmmUtil.hs  Utilites that operates mostly on on CmmStmt\r
153 OldPprCmm.hs   Pretty print for CmmStmt, GenBasicBlock and ListGraph\r
154 CmmOpt.hs      Hopefully-redundant optimiser\r
155 \r
156 -------- Stuff to keep ------------\r
157 CmmPipeline.hs            Driver for new pipeline\r
158 \r
159 CmmLive.hs                Liveness analysis, dead code elim\r
160 CmmProcPoint.hs           Identifying and splitting out proc-points\r
161 \r
162 CmmSpillReload.hs         Save and restore across calls\r
163 \r
164 CmmCommonBlockElim.hs     Common block elim\r
165 CmmContFlowOpt.hs         Other optimisations (branch-chain, merging)\r
166 \r
167 CmmBuildInfoTables.hs     New info-table \r
168 CmmStackLayout.hs         and stack layout \r
169 CmmCallConv.hs\r
170 CmmInfo.hs                Defn of InfoTables, and conversion to exact byte layout\r
171 \r
172 ---------- Cmm data types --------------\r
173 Cmm.hs              Cmm instantiations of dataflow graph framework\r
174   CmmExpr.hs        Type of Cmm expression\r
175   CmmType.hs        Type of Cmm types and their widths\r
176   CmmMachOp.hs      MachOp type and accompanying utilities\r
177 \r
178 PprCmm.hs           Pretty printer for Cmm\r
179   PprCmmExpr.hs     Pretty printer for CmmExpr\r
180 \r
181 MkGraph.hs          Interface for building Cmm for codeGen/Stg*.hs modules\r
182 \r
183 CmmUtils.hs\r
184 CmmLint.hs\r
185 \r
186 PprC.hs             Pretty print Cmm in C syntax\r
187 \r
188 CLabel.hs           CLabel\r
189 BlockId.hs          BlockId, BlockEnv, BlockSet\r
190 \r
191 \r
192 ----------------------------------------------------\r
193         Proc-points\r
194 ----------------------------------------------------\r
195 \r
196 Consider this program, which has a diamond control flow, \r
197 with a call on one branch\r
198  fn(p,x) {\r
199         h()\r
200         if b then { ... f(x) ...; q=5; goto J }\r
201              else { ...; q=7; goto J }\r
202      J: ..p...q...\r
203   }\r
204 then the join point J is a "proc-point".  So, is 'p' passed to J\r
205 as a parameter?  Or, if 'p' was saved on the stack anyway, perhaps\r
206 to keep it alive across the call to h(), maybe 'p' gets communicated\r
207 to J that way. This is an awkward choice.  (We think that we currently\r
208 never pass variables to join points via arguments.)\r
209 \r
210 Furthermore, there is *no way* to pass q to J in a register (other\r
211 than a parameter register).\r
212 \r
213 What we want is to do register allocation across the whole caboodle.\r
214 Then we could drop all the code that deals with the above awkward\r
215 decisions about spilling variables across proc-points.\r
216 \r
217 Note that J doesn't need an info table.\r
218 \r
219 What we really want is for each LastCall (not LastJump/Ret) \r
220 to have an info table.   Note that ProcPoints that are not successors\r
221 of calls don't need an info table.\r
222 \r
223 Figuring out proc-points\r
224 ~~~~~~~~~~~~~~~~~~~~~~~~\r
225 Proc-points are identified by\r
226 CmmProcPoint.minimalProcPointSet/extendPPSet Although there isn't\r
227 that much code, JD thinks that it could be done much more nicely using\r
228 a dominator analysis, using the Dataflow Engine.\r
229 \r
230 ----------------------------------------------------\r
231                 CAFs\r
232 ----------------------------------------------------\r
233 \r
234 * The code for a procedure f may refer to either the *closure* \r
235   or the *entry point* of another top-level procedure g.  \r
236   If f is live, then so is g.  f's SRT must include g's closure.\r
237 \r
238 * The CLabel for the entry-point/closure reveals whether g is \r
239   a CAF (or refers to CAFs).  See the IdLabel constructor of CLabel.\r
240 \r
241 * The CAF-ness of the original top-level defininions is figured out\r
242   (by TidyPgm) before we generate C--.  This CafInfo is only set for\r
243   top-level Ids; nested bindings stay with MayHaveCafRefs.\r
244 \r
245 * Currently an SRT contains (only) pointers to (top-level) closures.\r
246 \r
247 * Consider this Core code\r
248         f = \x -> let g = \y -> ...x...y...h1...\r
249                   in ...h2...g...\r
250   and suppose that h1, h2 have IdInfo of MayHaveCafRefs.\r
251   Therefore, so will f,  But g will not (since it's nested).\r
252 \r
253   This generates C-- roughly like this:\r
254      f_closure: .word f_entry\r
255      f_entry() [info-tbl-for-f] { ...jump g_entry...jump h2... }\r
256      g_entry() [info-tbl-for-g] { ...jump h1... }\r
257 \r
258   Note that there is no top-level closure for g (only an info table).\r
259   This fact (whether or not there is a top-level closure) is recorded\r
260   in the InfoTable attached to the CmmProc for f, g\r
261   INVARIANT: \r
262      Any out-of-Group references to an IdLabel goes to\r
263      a Proc whose InfoTable says "I have a top-level closure".\r
264   Equivalently: \r
265      A CmmProc whose InfoTable says "I do not have a top-level\r
266      closure" is referred to only from its own Group.\r
267 \r
268 * So:   info-tbl-for-f must have an SRT that keeps h1,h2 alive\r
269         info-tbl-for-g must have an SRT that keeps h1 (only) alive\r
270 \r
271   But if we just look for the free CAF refs, we get:\r
272         f   h2 (only)\r
273         g   h1\r
274 \r
275   So we need to do a transitive closure thing to flesh out \r
276   f's keep-alive refs to include h1.\r
277 \r
278 * The SRT info is the C_SRT field of Cmm.ClosureTypeInfo in a\r
279   CmmInfoTable attached to each CmmProc.  CmmPipeline.toTops actually does\r
280   the attaching, right at the end of the pipeline.  The C_SRT part\r
281   gives offsets within a single, shared table of closure pointers.\r
282 \r
283 * DECIDED: we can generate SRTs based on the final Cmm program\r
284   without knowledge of how it is generated.\r
285 \r