summaryrefslogtreecommitdiff
path: root/asmcomp
Commit message (Expand)AuthorAgeFilesLines
* Also record type information for intPierre Chambart2016-04-122-1/+3
* Use the mutable_flag instead of let_kind for clambda letPierre Chambart2016-04-126-20/+18
* Annotate Let_mutable with the kind of valuePierre Chambart2016-04-122-4/+3
* Renaming block_kind -> value_kind.alainfrisch2016-04-128-29/+29
* Doc.alainfrisch2016-04-122-6/+14
* When deciding whether to unbox a let binding, if one knows statically that th...alainfrisch2016-04-121-6/+20
* Detect all let-bindings to unboxable floats.alainfrisch2016-04-127-39/+47
* Keep the approx on all Llet nodes, not only variables.alainfrisch2016-04-122-7/+7
* Keep track of mutable variables obtained by eliminating local references hold...alainfrisch2016-04-128-41/+68
* Make Cmmgen understand constant boolsPierre Chambart2016-03-311-0/+5
* More warnings when compiling the compiler.alainfrisch2016-03-1554-288/+260
* Merge remote-tracking branch 'origin/4.03' into trunkFrançois Bobot2016-03-111-1/+2
|\
| * Stop producing erroneous backtrace frames in Flambda modeMark Shinwell2016-02-291-1/+22
| * Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-261-0/+1
| |\
| | * Fix Unbox_closures to lessen runtime performance penaltyMark Shinwell2016-02-241-0/+1
| * | cut overlong linesDamien Doligez2016-02-251-1/+2
| |/
* | Avoid ambiguous or-pattern.Alain Frisch2016-03-091-1/+4
* | Fix a probable non-bug.alainfrisch2016-03-091-1/+1
* | Stop producing erroneous backtrace frames in Flambda modeMark Shinwell2016-02-291-1/+22
* | Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-261-0/+1
|/
* Update headers for the new license.Damien Doligez2016-02-18139-1402/+1768
* clean up whitespace and cut long linesDamien Doligez2016-02-176-20/+5
* Merge pull request #408 from btj/trunkDamien Doligez2016-02-121-0/+7
|\
| * Add missing .cfi_adjust_cfa_offset before .cfi_endprocBart Jacobs2016-01-081-0/+7
* | Make warning 59 less unhelpful (includes work by Runhang Li)Mark Shinwell2016-02-111-0/+1
* | Reformatting only (to the standards of tools/check-typo)Mark Shinwell2016-02-107-27/+46
* | Addressing CR comments for FlambdaMark Shinwell2016-02-105-24/+27
* | Generate local jump labels on OS X (PR#7133)Bart Jacobs2016-02-101-3/+2
* | Support for unroll and and specialise attributesLeo White2016-02-103-2/+7
* | Import latest Flambda changesMark Shinwell2016-02-092-3/+9
* | Rename to max_arguments_for_tailcalls; revise numbers assuming no unboxed flo...Mark Shinwell2016-02-088-11/+13
* | Merge remote-tracking branch 'ocaml/trunk' into sensible_num_argsMark Shinwell2016-02-081-8/+15
|\ \
| * \ mergeMark Shinwell2016-01-2924-172/+588
| |\ \
| * | | Avoid pushing test deep inside conditionsPierre Chambart2016-01-221-5/+1
| * | | if-then-else changes in CmmgenMark Shinwell2016-01-151-9/+25
* | | | max_arguments_without_passing_on-stackMark Shinwell2016-01-298-0/+21
| |/ / |/| |
* | | Enable flambdaPierre Chambart2016-01-2811-119/+424
* | | Fix small divergencesPierre Chambart2016-01-221-0/+1
* | | Remove unused globals field of Export_info.tPierre Chambart2016-01-224-28/+2
* | | Add missing compilenv functionsPierre Chambart2016-01-222-1/+93
* | | Add warning headers to flambda filesPierre Chambart2016-01-2213-0/+26
* | | Merge pull request #417 from chambart/flambda_prereq-duparray_and_array_mutab...Mark Shinwell2016-01-212-15/+34
|\ \ \
| * | | commentsMark Shinwell2016-01-151-1/+6
| * | | Alter array patch after feedback from jdiminoMark Shinwell2016-01-151-2/+7
| * | | Prim makearrayPierre Chambart2016-01-122-15/+24
* | | | remove unused (and wrong?) line in cmmgen.mlDamien Doligez2016-01-151-1/+0
* | | | Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-clflagsMark Shinwell2016-01-157-46/+118
|\ \ \ \
| * | | | Improved fatal error messages in CmmgenMark Shinwell2016-01-151-6/+6
| * | | | Minor naming/comment changes in CmmgenMark Shinwell2016-01-151-3/+3
| | |/ / | |/| |
| * | | Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-popaqueMark Shinwell2016-01-1410-42/+120
| |\ \ \