Page MenuHomeIsabelle/Phabricator

dcjm (David Matthews)
User

Projects

User does not belong to any projects.

User Details

User Since
Dec 4 2019, 5:53 PM (64 w, 5 d)

Recent Activity

Mon, Feb 22

dcjm committed rPOLYMLe1c3b8b57002: Reset the C stack pointer after a call to a C function on Unix 64-bits. This… (authored by dcjm).
Reset the C stack pointer after a call to a C function on Unix 64-bits. This…
Mon, Feb 22, 4:26 PM
dcjm committed rPOLYML795465d5c91e: Change type of touchClosure to 'a closure -> unit. Allow "load" in the… (authored by dcjm).
Change type of touchClosure to 'a closure -> unit. Allow "load" in the…
Mon, Feb 22, 4:26 PM
dcjm committed rPOLYML2c090e1e8175: Print the exception if an ML callback raises an exception. (authored by dcjm).
Print the exception if an ML callback raises an exception.
Mon, Feb 22, 4:26 PM
dcjm committed rPOLYMLa07c58e9a829: Fix shift constants. They did not take account of the tag shift. (authored by dcjm).
Fix shift constants. They did not take account of the tag shift.
Mon, Feb 22, 8:45 AM

Fri, Feb 5

dcjm committed rPOLYMLb340a46e07f8: Handle some cases of moving constants using mov/movn/movk. (authored by dcjm).
Handle some cases of moving constants using mov/movn/movk.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML898721e721a4: Implement stack overflow checking which also allows code to be interrupted. (authored by dcjm).
Implement stack overflow checking which also allows code to be interrupted.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML0514a5c795d2: Separate address constants from non-address constants. Provide a non-address… (authored by dcjm).
Separate address constants from non-address constants. Provide a non-address…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLc67255f09856: Merge branch 'master' into ARM64Development (authored by dcjm).
Merge branch 'master' into ARM64Development
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf5771cbec221: Change project file for changes to Pack structures. (authored by dcjm).
Change project file for changes to Pack structures.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML2a1ea177739a: Implement function call and tail-recursive call. (authored by dcjm).
Implement function call and tail-recursive call.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML3ff4ebf0f41c: Implement conditional and unconditional branches and a simple comparison. (authored by dcjm).
Implement conditional and unconditional branches and a simple comparison.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML48dad937cc8a: Handle calls from the interpreter to functions with more than one argument. (authored by dcjm).
Handle calls from the interpreter to functions with more than one argument.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML9c440f934226: Implement raising an exception. We need to align the code address of an… (authored by dcjm).
Implement raising an exception. We need to align the code address of an…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa2aef9aa51af: Use the basic code-generator for interpreted code as the frame-work for the… (authored by dcjm).
Use the basic code-generator for interpreted code as the frame-work for the…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML332e27f1bb40: Only generate ARM code if compilerDebug is non-zero. (authored by dcjm).
Only generate ARM code if compilerDebug is non-zero.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa60c7b350ced: Introduce registers. Start to generate code in the code-generator. (authored by dcjm).
Introduce registers. Start to generate code in the code-generator.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML3f6aec9bb41f: Implement constants in the constant area. (authored by dcjm).
Implement constants in the constant area.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLc690b9397ca8: Add RTS-call to extract a constant from the constant area for debugging. (authored by dcjm).
Add RTS-call to extract a constant from the constant area for debugging.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML1de9e7bec41c: Update the version to 5.8.3. The addition of compilerDebugTag requires a new… (authored by dcjm).
Update the version to 5.8.3. The addition of compilerDebugTag requires a new…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLb3f8e3851ff0: Add disassembly to print the code. This is a first step in encoding ARM64… (authored by dcjm).
Add disassembly to print the code. This is a first step in encoding ARM64…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLe2e766f7b4f1: Add compilerDebug switch. It's useful to be able to switch experimental… (authored by dcjm).
Add compilerDebug switch. It's useful to be able to switch experimental…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf6280e031ee4: Fix some bootstrapping issues. (authored by dcjm).
Fix some bootstrapping issues.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLd0da28adff43: Add a stack check because we're bypassing the check in the interpreter itself. (authored by dcjm).
Add a stack check because we're bypassing the check in the interpreter itself.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML6e95cc92b252: Add initial ARM64 "code-generator" which simply falls back to the interpreter. (authored by dcjm).
Add initial ARM64 "code-generator" which simply falls back to the interpreter.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLab0276695b67: Merge remote-tracking branch 'remotes/origin/master' into ARM64Development (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/master' into ARM64Development
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML89d24690f841: Assembly code and C++ code to enter native ARM64 code. Handles enter… (authored by dcjm).
Assembly code and C++ code to enter native ARM64 code. Handles enter…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML5b2d4185f0da: Initial trivial code-generator. Add code to flush the instruction cache. (authored by dcjm).
Initial trivial code-generator. Add code to flush the instruction cache.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML6fbb119d85fb: Merge remote-tracking branch 'remotes/origin/AdditionalEnterInt' into… (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/AdditionalEnterInt' into…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML75455bb35d09: Remove unused savedErrno (authored by dcjm).
Remove unused savedErrno
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLd3a1a96b1cc8: Updated boot file which will generate appropriate enter-interpreter… (authored by dcjm).
Updated boot file which will generate appropriate enter-interpreter…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML258c2c781ae8: Add new enter-int instructions for ARM64. (authored by dcjm).
Add new enter-int instructions for ARM64.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML76f9243b0ebe: Merge AdditionalEnterInt into ARM64Development. Use AtomicExchangeAndAdd… (authored by dcjm).
Merge AdditionalEnterInt into ARM64Development. Use AtomicExchangeAndAdd…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLe8e13c4e7d38: Change the ARM64 enter-int sequence to include a move to save the original link… (authored by dcjm).
Change the ARM64 enter-int sequence to include a move to save the original link…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLacaa073cc0af: Add comments on register usage. (authored by dcjm).
Add comments on register usage.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML28e3f5d5f29d: Begin writing the assembly code file with the atomic operations. (authored by dcjm).
Begin writing the assembly code file with the atomic operations.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML844f2aecf5d6: Add configuration for ARM64 (authored by dcjm).
Add configuration for ARM64
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLfd549e5fce77: Improve debugging project builds. (authored by dcjm).
Improve debugging project builds.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLe3a39c9aa7ca: Fix typo and rebuild configure script. (authored by dcjm).
Fix typo and rebuild configure script.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLc45542aacf50: Set up the files for ARM64 support. (authored by dcjm).
Set up the files for ARM64 support.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLe0995089bb4d: Add some derived instructions for access to constants. (authored by dcjm).
Add some derived instructions for access to constants.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf5bb56c59c94: Update pre-built compilers with latest change. (authored by dcjm).
Update pre-built compilers with latest change.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML6692eb34e25f: Add projects and interpreter support for ARM64. (authored by dcjm).
Add projects and interpreter support for ARM64.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf53f2d8e1cc8: Change interpreter "load-from-constant-area" instructions to take an offset to… (authored by dcjm).
Change interpreter "load-from-constant-area" instructions to take an offset to…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML1d5454e50cb5: Use arbitrary precision multiplication for all signed multiplications in the… (authored by dcjm).
Use arbitrary precision multiplication for all signed multiplications in the…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML208cd718f1e5: Add print function to Bootstrap structure to allow for a print before each… (authored by dcjm).
Add print function to Bootstrap structure to allow for a print before each…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLceb7e8eee231: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML9480d413ec0d: Fix setting overflow exception. (authored by dcjm).
Fix setting overflow exception.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML97823e2f1b82: Remove some redundant typedefs. (authored by dcjm).
Remove some redundant typedefs.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLc0bc2c37df7c: Merge branch 'BootStrapSpeedUp' into BootFromInterpreter (authored by dcjm).
Merge branch 'BootStrapSpeedUp' into BootFromInterpreter
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML4e501bbc2a99: Remove virtual prefix from Load/SaveInterpreterState. These are no longer… (authored by dcjm).
Remove virtual prefix from Load/SaveInterpreterState. These are no longer…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLbd951d6dfb2f: Remove legacy entries. (authored by dcjm).
Remove legacy entries.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLe7b18c4d9d8e: Add arbitrary precision addition, subtraction and multiplication to the… (authored by dcjm).
Add arbitrary precision addition, subtraction and multiplication to the…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLedd3943627a0: Correct stack frame size for backward jumps. (authored by dcjm).
Correct stack frame size for backward jumps.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf47a7ee08da8: Merge branch 'master' into BootStrapSpeedUp (authored by dcjm).
Merge branch 'master' into BootStrapSpeedUp
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLb527f0359342: Correct type of function. (authored by dcjm).
Correct type of function.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML64c734c4272e: Replace virtual calls to Load/SaveInterpreterState with non-virtual to see if… (authored by dcjm).
Replace virtual calls to Load/SaveInterpreterState with non-virtual to see if…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML36e71d3003b1: Further changes to remove virtuals. Make the stack-limit register explicit. (authored by dcjm).
Further changes to remove virtuals. Make the stack-limit register explicit.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLe3929e5b7a69: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf39391060c1a: Remove some unused declarations. (authored by dcjm).
Remove some unused declarations.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML9bc63eb4e3f7: Fix typo. (authored by dcjm).
Fix typo.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML4919e08f1fb6: Avoid locking when testing for interrupts in the interpreter. (authored by dcjm).
Avoid locking when testing for interrupts in the interpreter.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf3e8ed038893: Fix paths so that building in a separate directory works. (authored by dcjm).
Fix paths so that building in a separate directory works.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa8ed4801cb79: Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into… (authored by dcjm).
Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML4ccc98296c4b: Remove some debugging code. (authored by dcjm).
Remove some debugging code.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML4bf6b4b2d520: Remove conversion functions from Bootstrap structure now that they are no… (authored by dcjm).
Remove conversion functions from Bootstrap structure now that they are no…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML287873f3d544: Remove unused variable. (authored by dcjm).
Remove unused variable.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf33801c0694e: Fix project file after correcting spelling mistake in file name. (authored by dcjm).
Fix project file after correcting spelling mistake in file name.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML0e526a92b0be: Simplify the building options now that there are only two bootstrap files. (authored by dcjm).
Simplify the building options now that there are only two bootstrap files.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML2f14e46474ad: Add type constraint to suppress warning message. (authored by dcjm).
Add type constraint to suppress warning message.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf1d41a9330e7: Remove unused variable. (authored by dcjm).
Remove unused variable.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML8df90e16c8d9: Enable 32-in-64 bit mode for the interpreted version. (authored by dcjm).
Enable 32-in-64 bit mode for the interpreted version.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML71bd73eff7da: Remove some old compatibility code. (authored by dcjm).
Remove some old compatibility code.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML219d8b8db2cc: Fix defines to select assembly code only on X86. (authored by dcjm).
Fix defines to select assembly code only on X86.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLc8a92f236d4a: Updated bootstrap files with change to constant areas. (authored by dcjm).
Updated bootstrap files with change to constant areas.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLc8a18d236ae8: Merge branch 'master' into Interpret32in64 (authored by dcjm).
Merge branch 'master' into Interpret32in64
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf063d7ea5086: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa2d179e87407: Rebuild 64-bit bootstrap with Unix directory separators. (authored by dcjm).
Rebuild 64-bit bootstrap with Unix directory separators.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML8a56057685ff: Rebuild bootstrap file with Unix directory separators. (authored by dcjm).
Rebuild bootstrap file with Unix directory separators.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa29d900da145: Changes to bootstrap for Unix. (authored by dcjm).
Changes to bootstrap for Unix.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLf560f7ecb0d9: Remove old bootstrap files. (authored by dcjm).
Remove old bootstrap files.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLd5ffa7fa639d: Fixes for Unix. (authored by dcjm).
Fixes for Unix.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYML43331b8216c6: Add the interpreter to the x86-specific code. Change the atomic operations… (authored by dcjm).
Add the interpreter to the x86-specific code. Change the atomic operations…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLdd568339c3a7: Remove ForkFromRTS which no longer seems to be used and remove arg argument… (authored by dcjm).
Remove ForkFromRTS which no longer seems to be used and remove arg argument…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa129c2e746dc: Bootstrap from the interpreted version. The bootstrap process takes much… (authored by dcjm).
Bootstrap from the interpreted version. The bootstrap process takes much…
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLa6166783e4c1: Split the byte-code interpreted version. (authored by dcjm).
Split the byte-code interpreted version.
Fri, Feb 5, 5:44 PM
dcjm committed rPOLYMLd67eb744ef9c: Rename interpret.cpp as bytecode.cpp prior to split. (authored by dcjm).
Rename interpret.cpp as bytecode.cpp prior to split.
Fri, Feb 5, 5:44 PM

Wed, Feb 3

dcjm committed rPOLYML62a56474f04a: Fix boxed version. (authored by dcjm).
Fix boxed version.
Wed, Feb 3, 7:26 PM
dcjm committed rPOLYML8dc557b8b55e: Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit… (authored by dcjm).
Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit…
Wed, Feb 3, 7:26 PM
dcjm committed rPOLYML37e1609bc855: Remove old code-generation support functions. (authored by dcjm).
Remove old code-generation support functions.
Wed, Feb 3, 7:26 PM
dcjm committed rPOLYML4bab8c102f27: After building the basis library copy specific items into the final name-space… (authored by dcjm).
After building the basis library copy specific items into the final name-space…
Wed, Feb 3, 7:26 PM
dcjm committed rPOLYML9e77b4a6cd7b: Add the exchange-and-add instruction to the interpreted version. CPUPause is… (authored by dcjm).
Add the exchange-and-add instruction to the interpreted version. CPUPause is…
Wed, Feb 3, 7:26 PM
dcjm committed rPOLYMLf323c60338c0: Improve handling of mutex spin-lock. Replace atomic-increment/decrement by… (authored by dcjm).
Improve handling of mutex spin-lock. Replace atomic-increment/decrement by…
Wed, Feb 3, 7:26 PM

Nov 28 2020

dcjm committed rPOLYMLb94e1fb57e5f: Fix share-common-data. Code that is only reachable by a relative call or jump… (authored by dcjm).
Fix share-common-data. Code that is only reachable by a relative call or jump…
Nov 28 2020, 12:05 PM

Nov 16 2020

dcjm committed rPOLYMLf86ae3dc1686: Initialise fields of mutable closure after allocation. (authored by dcjm).
Initialise fields of mutable closure after allocation.
Nov 16 2020, 12:19 PM

Nov 14 2020

dcjm committed rPOLYML164b151b63e0: Add Foreign.loadLibraryIndirect to enable the library path to be computed just… (authored by dcjm).
Add Foreign.loadLibraryIndirect to enable the library path to be computed just…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML58b6f37fbfb7: Change underlying internal definition of OS.IO.iodesc to use pointer equality… (authored by dcjm).
Change underlying internal definition of OS.IO.iodesc to use pointer equality…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML7316a6d0ac75: Re-enable support for 32-in-64 in the interpreter. (authored by dcjm).
Re-enable support for 32-in-64 in the interpreter.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML4854a6a95672: Change format of code area to allow for the possibility of splitting the… (authored by dcjm).
Change format of code area to allow for the possibility of splitting the…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML4ba89849bd0a: Use D format for code using the old format. (authored by dcjm).
Use D format for code using the old format.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML789812541c74: Merge branch 'master' into OriginalBoot (authored by dcjm).
Merge branch 'master' into OriginalBoot
Nov 14 2020, 12:52 PM