summaryrefslogtreecommitdiff
path: root/asmcomp
Commit message (Expand)AuthorAgeFilesLines
* Some fixes, in particular for Windows.flambda_trunkalainfrisch2015-12-011-1/+1
* add -drawclambda (pre-Un_anf); -dclambda is now post-Un_anfMark Shinwell2015-11-274-17/+15
* Propagate is_a_functor to middle_endPierre Chambart2015-11-262-2/+4
* Prevent quadratic cases in CSEPierre Chambart2015-11-261-21/+49
* propagate information about Initialization and Assignment, should fix CSE bad...Mark Shinwell2015-11-267-50/+65
* don't move closures in Un_anfMark Shinwell2015-11-241-2/+7
* implement Pervasives.opaqueMark Shinwell2015-11-231-0/+2
* delete unused global approx stuff from Cmx_format etcMark Shinwell2015-11-235-34/+0
* Clear export info in .cmx filesMark Shinwell2015-11-232-0/+3
* shouldn't be needed any more with Pierre's backtrace patchMark Shinwell2015-11-231-2/+1
* add CRMark Shinwell2015-11-231-1/+2
* tidying up in Flambda_to_clambda, and fix minor words regression for g2ppMark Shinwell2015-11-231-28/+30
* merge with upstream trunkMark Shinwell2015-11-231-4/+18
|\
| * Turn Lapply case of Lambda.lambda into a recordNicolas Ojeda Bar2015-11-221-4/+18
* | Merge remote-tracking branch 'ocaml/trunk' into flambda_trunkMark Shinwell2015-11-197-0/+1321
|\ \ | |/
| * z port: update emit.mlp to new format for FP literalsXavier Leroy2015-11-191-1/+1
| * Update zsystem branch wrt upstream trunk.Xavier Leroy2015-11-1911-34/+22
| |\
| * | z port: fix up tabs and spaces (cosmetic)Xavier Leroy2015-11-014-88/+86
| * | z port: adjust instruction latencies for basic-block schedulingXavier Leroy2015-11-011-25/+23
| * | z port: do not use locgr instruction for Boolean-valued comparisonsXavier Leroy2015-10-311-37/+39
| * | z port: simpler implementation of multiply-high-signedXavier Leroy2015-10-311-19/+20
| * | z port: round toward 0 for float -> int conversions.Xavier Leroy2015-10-311-1/+2
| * | z port: reloading must preserve 2-address instructionsXavier Leroy2015-10-302-1/+34
| * | z port: fix issue with PIC code and dynamic loadingXavier Leroy2015-10-301-3/+6
| * | z port: revise two-address instructions and integer immediate operationsXavier Leroy2015-10-302-40/+40
| * | z port: use unsigned comparison for Icheckbound instructionsXavier Leroy2015-10-301-10/+8
| * | z port: use 'test under mask' instruction for even/odd conditional branchesXavier Leroy2015-10-301-5/+3
| * | z port: use lghi when possible to load integer constantsXavier Leroy2015-10-301-5/+7
| * | z port: streamline the heap allocation codeXavier Leroy2015-10-301-42/+40
| * | zSeries port: factor out adjustments to the stack pointerXavier Leroy2015-10-301-41/+26
| * | zSeries port: hardcode register names (cosmetic)Xavier Leroy2015-10-301-93/+93
| * | zSystem port: use %r12 as normal register + extcall conventionsXavier Leroy2015-10-302-17/+19
| * | zSystem port: do not use %r12 as GOT pointerXavier Leroy2015-10-301-37/+6
| * | zSystem port: remove special case "stey" in Emit.emit_load_storeXavier Leroy2015-10-292-16/+14
| * | zSystem port: revise addressing modesXavier Leroy2015-10-294-51/+21
| * | zSystem port: do not mark return addressesXavier Leroy2015-10-291-2/+0
| * | zSystem port: minimal fixes so that it compiles wrt the trunkXavier Leroy2015-10-292-43/+31
| * | IBM zSystem port of OCamlXavier Leroy2015-10-297-0/+1379
* | | revert changes to Un_anf made obselete by Alain's patchMark Shinwell2015-11-191-424/+82
* | | compilation fixMark Shinwell2015-11-191-1/+1
* | | merge with trunkMark Shinwell2015-11-1918-425/+1744
|\ \ \ | | |/ | |/|
| * | PR#7024 and GPR#295: CSE confuses +0.0 and -0.0Xavier Leroy2015-11-1910-27/+22
| * | simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/c...Damien Doligez2015-11-061-7/+0
| |/
| * Improve the code generation for if equivalent to seqand or sequorGabriel Scherer2015-10-251-0/+4
| * GPR#262: Multiple GC roots per compilation unitMark Shinwell2015-10-231-2/+13
| * GPR#173: Attributes to control inliningMark Shinwell2015-10-231-19/+40
| * PR#7022, GPR#259: unbox float and boxed ints earlier, avoid second pass.Alain Frisch2015-10-201-315/+305
| * Remove dead code.Alain Frisch2015-10-165-21/+0
| * Pull request #258: more precise computation of instruction sizes, esp. with r...Xavier Leroy2015-10-161-7/+22
| * #7018: fix missing identifier renaming during inlining.Alain Frisch2015-10-141-1/+7
View Lorry Controller Status