Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Apr 18 2021

dcjm committed rPOLYML36a1e799acf1: Fix length field in allocation in RTS calls. (authored by dcjm).
Fix length field in allocation in RTS calls.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML004e0079c1ff: Fix scaling for C loads/stores. Restore Real32 operations that had been… (authored by dcjm).
Fix scaling for C loads/stores. Restore Real32 operations that had been…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLc42bdf5ed5e6: Complete change to threadid. (authored by dcjm).
Complete change to threadid.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML202c37bafb88: Some more 32-bit operations. (authored by dcjm).
Some more 32-bit operations.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4106d869e459: Fixes for C-memory operations in 32-bits. (authored by dcjm).
Fixes for C-memory operations in 32-bits.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML351ac7b791de: Need to use 32-bit mask with 32-bit operations. (authored by dcjm).
Need to use 32-bit mask with 32-bit operations.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLc4db30ee1234: Use more 32-bit operations in 32-in-64. (authored by dcjm).
Use more 32-bit operations in 32-in-64.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML6293a6926f0f: Include config.h in the assembly code to get POLYML32IN64 on Unix. (authored by dcjm).
Include config.h in the assembly code to get POLYML32IN64 on Unix.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLa1fa4460ab43: Add Arm64_32 to export architectures. (authored by dcjm).
Add Arm64_32 to export architectures.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4f3cc5dde081: Merge branch 'ARM64Development' into ARM64Merge (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Merge
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb5c40c6c47fa: Change setWord to use LargeWord.word. Fix some more merge issues. (authored by dcjm).
Change setWord to use LargeWord.word. Fix some more merge issues.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4634ffe749e2: Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug. (authored by dcjm).
Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML6e1a68b807af: Implement RTS calls and FFI. (authored by dcjm).
Implement RTS calls and FFI.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLf9a615557b75: Implement multiply and divide for 32-bit values. (authored by dcjm).
Implement multiply and divide for 32-bit values.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML06f86c24525e: Further implementation of 32-in-64. (authored by dcjm).
Further implementation of 32-in-64.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML5dad095dfc8e: Further implementation of 32-in-64. (authored by dcjm).
Further implementation of 32-in-64.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLbacceee0b3e2: Bootstrap file for 32-bits with support for ARM64 enter-int instructions. (authored by dcjm).
Bootstrap file for 32-bits with support for ARM64 enter-int instructions.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML804aba559617: Begin adding support for 32-in-64 to the code-generator. (authored by dcjm).
Begin adding support for 32-in-64 to the code-generator.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML753cf7ebf121: Support for 32-in-64 build for ARM64. Use Word32.word for ARM instructions. (authored by dcjm).
Support for 32-in-64 build for ARM64. Use Word32.word for ARM instructions.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML318e64c61dba: Experiment with 32-in-64. Problem that the index multiplier is either 1 or the… (authored by dcjm).
Experiment with 32-in-64. Problem that the index multiplier is either 1 or the…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML7b73eeeddef2: Implement conversion from int to Real32.real directly for X86. This is needed… (authored by dcjm).
Implement conversion from int to Real32.real directly for X86. This is needed…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLfe0568bac059: Complete implementation of callbacks and clean up some of the code. (authored by dcjm).
Complete implementation of callbacks and clean up some of the code.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLf80218bccc6a: Restore $(MAKE) after make compiler. It's still needed. (authored by dcjm).
Restore $(MAKE) after make compiler. It's still needed.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLc3c9a5cbb519: Merge branch 'master' into ARM64Testing (authored by dcjm).
Merge branch 'master' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLef283c15dd24: Fix typo in function name. (authored by dcjm).
Fix typo in function name.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML0846cbd68850: Implement the remaining result types for a callback and implement floating… (authored by dcjm).
Implement the remaining result types for a callback and implement floating…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML1b775bfa9524: Use BOOTSTRAP_OPTIONS instead of POLYIMPORT_OPTIONS so that make compiler… (authored by dcjm).
Use BOOTSTRAP_OPTIONS instead of POLYIMPORT_OPTIONS so that make compiler…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLcee35fcb0799: Profiling PC and SP values from the context. (authored by dcjm).
Profiling PC and SP values from the context.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML1391e07c85e8: Floating point values and large structures for FFI calls. Implementation of… (authored by dcjm).
Floating point values and large structures for FFI calls. Implementation of…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML71d52e383a0e: Remove word-size argument from the instructions that used it and replace with… (authored by dcjm).
Remove word-size argument from the instructions that used it and replace with…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLaa60e488bd5d: Update comment on register use. (authored by dcjm).
Update comment on register use.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML64b71c39c97e: Remove test for exceptions in RTS calls from the call itself. The test is done… (authored by dcjm).
Remove test for exceptions in RTS calls from the call itself. The test is done…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLad77ccd38fb0: Remove code to pass exceptions back from interpreted code to native code. It's… (authored by dcjm).
Remove code to pass exceptions back from interpreted code to native code. It's…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML39bcb6a691f1: Implement FFI calls for non-struct and non-floating point arguments and results. (authored by dcjm).
Implement FFI calls for non-struct and non-floating point arguments and results.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4f1e4e8cd49e: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLdb735c9e259b: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML9607fa7307cc: Fix problem in mutex creation. (authored by dcjm).
Fix problem in mutex creation.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML25345135be7c: Change mutex locking and unlocking so that the basic atomic operations are… (authored by dcjm).
Change mutex locking and unlocking so that the basic atomic operations are…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML304e1366429e: Missed closing parenthesis. (authored by dcjm).
Missed closing parenthesis.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLc1e61a680bd5: Shorten branches where possible. Include ldaxr/stlxr in with the… (authored by dcjm).
Shorten branches where possible. Include ldaxr/stlxr in with the…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML8d7274ad7c0f: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML2b2e73d38eb9: Use loadAcquire and storeRelease for refs. (authored by dcjm).
Use loadAcquire and storeRelease for refs.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLa0b5f1bc47e4: Replace assembly coded compare and exchange with GCC intrinsic which works on… (authored by dcjm).
Replace assembly coded compare and exchange with GCC intrinsic which works on…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLd779cc0512b3: Add comment about return address. (authored by dcjm).
Add comment about return address.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML799dec22685d: Add loadAcquire and storeRelease. (authored by dcjm).
Add loadAcquire and storeRelease.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLe6475b023b95: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLf0894d4c28af: Implement conversion from int to Real32.real directly for X86. This is needed… (authored by dcjm).
Implement conversion from int to Real32.real directly for X86. This is needed…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLef77563b7b6f: Make sure that the thread id field is updated and that the code remains… (authored by dcjm).
Make sure that the thread id field is updated and that the code remains…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML7fe736b89531: Merge branch 'master' into ARM64Development (authored by dcjm).
Merge branch 'master' into ARM64Development
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb6e56f8b0bbc: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML45efa3b44a4f: Make all conditional branches jump round an unconditional branch. This allows… (authored by dcjm).
Make all conditional branches jump round an unconditional branch. This allows…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4f0dcbd1f67e: Use conditional branches directly for some simple tests rather than generating… (authored by dcjm).
Use conditional branches directly for some simple tests rather than generating…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML9644f11843be: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML7c048e8da1a5: Refactor: move unary, binary and tests into separate functions. (authored by dcjm).
Refactor: move unary, binary and tests into separate functions.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML9b4bf3f26ca8: Refactor: Split the binary operations into separate clauses. (authored by dcjm).
Refactor: Split the binary operations into separate clauses.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLe3676480c439: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML86e414b1a619: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb4692b5e34c4: Implement arbitrary precision addition and subtraction in the code-generator. (authored by dcjm).
Implement arbitrary precision addition and subtraction in the code-generator.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLc38f2701136e: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4f5bfaba1c0c: Improve encoding of non-address immediate constants. (authored by dcjm).
Improve encoding of non-address immediate constants.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML9b25419be505: Use index register when storing where the offset will not fit in 12 bits. (authored by dcjm).
Use index register when storing where the offset will not fit in 12 bits.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML72e052f7e7f5: Use an index register if the offset in a load is too large for the scaled… (authored by dcjm).
Use an index register if the offset in a load is too large for the scaled…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML570bdc251a3b: Merge remote-tracking branch 'remotes/origin/master' into ARM64Development (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/master' into ARM64Development
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLbdc2cf87fe2a: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML502c172f79bb: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLbf90d4cab8ac: Restore decsp accidentally removed from the wrong case. (authored by dcjm).
Restore decsp accidentally removed from the wrong case.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML74d9abb97d24: Remove interpreter code-generator now it is no longer needed. (authored by dcjm).
Remove interpreter code-generator now it is no longer needed.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML5dfd8f5602d0: Implement stores to C-memory. Remove fallback exception now that every… (authored by dcjm).
Implement stores to C-memory. Remove fallback exception now that every…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML0b2a5a797826: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4941bfa61f2c: Remove fallback to interpreter from RTS and foreign call. It's no longer… (authored by dcjm).
Remove fallback to interpreter from RTS and foreign call. It's no longer…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML8a1b248eb737: Implement loads from C memory. (authored by dcjm).
Implement loads from C memory.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML590af4669372: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLe5daf97afb5a: Implement allocation and freeing of memory on the C stack. (authored by dcjm).
Implement allocation and freeing of memory on the C stack.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLcf92aeb004e4: Merge branch 'ARM64Development' into ARM64Testing (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Testing
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLafd36f97664f: Implement floating point comparisons. Check overflow on floating-point to int… (authored by dcjm).
Implement floating point comparisons. Check overflow on floating-point to int…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML27cd581f1bb9: Implement real and float arguments and results for RTS calls. (authored by dcjm).
Implement real and float arguments and results for RTS calls.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML45c3b121901b: Convert int directly to Real32.real rather than via Real.real. Implement… (authored by dcjm).
Convert int directly to Real32.real rather than via Real.real. Implement…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML1965e4bbe7bf: Remove explicit rounding mode from DoubleToFloat built-in and use the current… (authored by dcjm).
Remove explicit rounding mode from DoubleToFloat built-in and use the current…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLe599babc2102: Implement floating point operations: add, subtract, multiply and divide for… (authored by dcjm).
Implement floating point operations: add, subtract, multiply and divide for…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLc116747349a1: Implement atomic operations for mutexes. (authored by dcjm).
Implement atomic operations for mutexes.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb9bce0ff71fd: Implement large word operations. (authored by dcjm).
Implement large word operations.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML9584e5f15754: Remove compilerDebug switch control so that the ARM64 code-generator is always… (authored by dcjm).
Remove compilerDebug switch control so that the ARM64 code-generator is always…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLf2dbe07d2cc0: Implement fixed precision quot and rem and hence div and mod. Fix bug in range… (authored by dcjm).
Implement fixed precision quot and rem and hence div and mod. Fix bug in range…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML84ff1f38216b: Implement the arbitrary precision operations just by calling the long-precision… (authored by dcjm).
Implement the arbitrary precision operations just by calling the long-precision…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML1b5308d01939: Implement fixed precision integer multiplication. Extend the bit field and… (authored by dcjm).
Implement fixed precision integer multiplication. Extend the bit field and…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLabdb4b752cb9: Implement block word move. (authored by dcjm).
Implement block word move.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML5cc8c138144f: Distinguish more precisely between the cases where 31 refers to SP and XZR. (authored by dcjm).
Distinguish more precisely between the cases where 31 refers to SP and XZR.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLac2f76b46d60: Implement mutually-recursive closures. (authored by dcjm).
Implement mutually-recursive closures.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLe1f0047d70df: Implement block byte ordered comparison. (authored by dcjm).
Implement block byte ordered comparison.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLa864ef41d785: Implement addresses with index and non-zero offset. (authored by dcjm).
Implement addresses with index and non-zero offset.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLee51ea61b5cd: Implement byte block move. (authored by dcjm).
Implement byte block move.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML2ece9b9c48a8: Implement allocation of vectors and arrays. Fix stack arguments in tail… (authored by dcjm).
Implement allocation of vectors and arrays. Fix stack arguments in tail…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML3a62ba915d5f: Implement storeMLByte, storeUntagged and clearMutable. Fix length in variable… (authored by dcjm).
Implement storeMLByte, storeUntagged and clearMutable. Fix length in variable…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML217762e1590a: Implement byte-vector equality, primarily used for strings. Fix Word.mod which… (authored by dcjm).
Implement byte-vector equality, primarily used for strings. Fix Word.mod which…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML809dcfdea088: Implement allocation of byte vectors and strings. (authored by dcjm).
Implement allocation of byte vectors and strings.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML2665f8345230: Merge branch 'master' into ARM64Development (authored by dcjm).
Merge branch 'master' into ARM64Development
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb1da8377796a: Implement RTS calls with non-floating point arguments and result. (authored by dcjm).
Implement RTS calls with non-floating point arguments and result.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML575e98b6b265: Add infrastructure for RTS calls and FFI calls/callbacks. (authored by dcjm).
Add infrastructure for RTS calls and FFI calls/callbacks.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLd751f52c0514: Add test-bit-and-branch and compare-and-branch instructions. (authored by dcjm).
Add test-bit-and-branch and compare-and-branch instructions.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML2c8cf8bb80b6: Implement word shifts. (authored by dcjm).
Implement word shifts.
Apr 18 2021, 12:29 PM