summaryrefslogtreecommitdiff
path: root/asmcomp
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #11217 from dra27/restore-backendsGabriel Scherer2022-05-0312-59/+76
|\
| * s/Domain_exception_pointer/Domain_exn_handlerDavid Allsopp2022-04-241-5/+5
| * Fix iextcall override in arm emitterDavid Allsopp2022-04-241-1/+1
| * Fix multicore rebase artefact in arm backendDavid Allsopp2022-04-241-1/+0
| * Add placeholders for Idls_get to disabled backendsDavid Allsopp2022-04-245-0/+18
| * Propagate changes to Mach.operation from PR#10943David Allsopp2022-04-2411-52/+52
* | Merge pull request #11218 from dra27/backend-referencesGabriel Scherer2022-05-0347-7/+40
|\ \
| * | Add line numbering headers to all backend filesDavid Allsopp2022-04-2440-0/+40
| * | Fix header generation of asmcomp/emit.mlDavid Allsopp2022-04-247-7/+0
| |/
* | arm64: fix out-of-range immediate in add instruction (#11230)Nicolás Ojeda Bär2022-04-291-1/+1
* | Merge pull request #11220 from dra27/emitter-tabsXavier Leroy2022-04-262-9/+9
|\ \
| * | Remove extraneous tabs in backend emittersDavid Allsopp2022-04-242-9/+9
| |/
* | Fix ARM emitter GOT label definition in PIC mode (#11210)Greta Yorsh2022-04-251-1/+1
|/
* emit (amd64): emit frametable size on BSD as well (#10845)Hannes Mehnert2022-04-043-1/+10
* ARM64 CFI support (#11099)Tom Kelly2022-03-163-3/+20
* Merge pull request #11060 from shindere/spring-cleanupSébastien Hinderer2022-03-011-1/+0
|\
| * Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-1/+0
* | Merge pull request #11031 from fabbing/fp_exn_handlerGabriel Scherer2022-02-251-1/+4
|/
* riscv: Generate frametable in data section to improve code relocatability (#1...Alex Fan2022-02-221-1/+1
* ARM64 address review:Tom Kelly2022-02-212-9/+8
* ARM64: memory model changesTom Kelly2022-02-213-19/+48
* address review: comment that x19 is a callee saved register for no-alloc Iext...Tom Kelly2022-02-214-60/+55
* ARM64: assembler, emit and proc changes to get it workingTom Kelly2022-02-212-15/+105
* Merge pull request #10943 from OlivierNicole/fix_atomic_loadGabriel Scherer2022-02-0310-27/+50
|\
| * Introduce atomic loads in Cmm and Mach IRsOlivier Nicole2022-02-0110-27/+50
* | Add comment to document flag in CmmOlivier Nicole2022-01-241-1/+2
|/
* Fix Cmm_invariants documentation (#10838)Antonin Décimo2022-01-121-2/+1
* Merge pull request #10831 from ocaml-multicore/multicore-prXavier Leroy2022-01-1029-126/+347
|\
| * cleanout unnecessary changes to asmcomp/emitaux.mlTom Kelly2022-01-051-5/+3
| * Merge pull request ocaml-multicore/ocaml-multicore#818 from ocaml-multicore/m...KC Sivaramakrishnan2021-12-244-11/+9
| |\
| | * Minor fixes from reviewKC Sivaramakrishnan2021-12-244-11/+9
| * | Correct Iextcall translation for WindowsDavid Allsopp2021-12-231-2/+7
| |/
| * Minor improvements.KC Sivaramakrishnan2021-12-232-18/+0
| * Revert arm64 changes and ocaml-variant.opam file.KC Sivaramakrishnan2021-12-232-383/+229
| * Merge commit '35af4cddfd31129391f904167236270a004037f8' into 5.00_rebase_to_prTom Kelly2021-12-211-21/+21
| |\
| * \ Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-2011-2/+105
| |\ \
| * \ \ Merge commit '18c4d16b3b80388f5b77dcc5a268c33eceb37ebe' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+4
| |\ \ \
| * \ \ \ Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-202-2/+11
| |\ \ \ \
| * | | | | Whitespace and line lengthsDavid Allsopp2021-12-193-5/+15
| * | | | | remove mysterious 'conservative' comment on class_of_operation for Idls_getTom Kelly2021-12-131-1/+1
| * | | | | fix selectgen effects_of for Cdls_getTom Kelly2021-12-131-2/+2
| * | | | | Bug fix in amd64.S and general cleanupKC Sivaramakrishnan2021-11-291-12/+16
| * | | | | Remove extra accounting for external calls in stack overflow check.KC Sivaramakrishnan2021-10-181-24/+15
| * | | | | remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-0810-40/+30
| * | | | | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-041-1/+4
| |\ \ \ \ \
| * \ \ \ \ \ Merge commit '359f46f2241fe828ad7eb6252cc8fd68ce92731d' into 5.00Tom Kelly2021-10-041-0/+6
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge commit '0117428c3ea163f42f4549ff4e7f255f29f6b4d4' into 5.00Tom Kelly2021-10-0421-152/+263
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-042-8/+8
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-041-19/+34
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge commit '758fc7ddd609fd51ff811db2af5393672b2ef37c' into 5.00Tom Kelly2021-10-0412-24/+131
| |\ \ \ \ \ \ \ \ \ \
View Lorry Controller Status