Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Jan 16 2022

dcjm committed rPOLYML1a120b3f9145: Added load/storePolyWord/NativeWord functions to RunCall. (authored by dcjm).
Added load/storePolyWord/NativeWord functions to RunCall.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLf12e7ed29c45: Use TBZ/TBNZ for tag test and branches. (authored by dcjm).
Use TBZ/TBNZ for tag test and branches.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML0c294ecf45e8: Move code to check for RTS exceptions into the RTS caller for the X86. This… (authored by dcjm).
Move code to check for RTS exceptions into the RTS caller for the X86. This…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLc6b4f0156a86: Combine adjacent pushes, combine stack resets and use post-indexing to include… (authored by dcjm).
Combine adjacent pushes, combine stack resets and use post-indexing to include…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML66ee38bacc6f: Use ldp and stp for adjacent loads and stores where possible. (authored by dcjm).
Use ldp and stp for adjacent loads and stores where possible.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML8972ed6ab731: Begin peep-hole optimisation. Eliminate unnecessary branches and straighten… (authored by dcjm).
Begin peep-hole optimisation. Eliminate unnecessary branches and straighten…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML19394e9731c1: Handle allocations of > 4096 which was omitted in earlier change. (authored by dcjm).
Handle allocations of > 4096 which was omitted in earlier change.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML7f766f218d7d: Move allocation code and branch tables into pre-assembler "instructions". (authored by dcjm).
Move allocation code and branch tables into pre-assembler "instructions".
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML780cd89c9301: Convert ForeignCall to use the pre-assembler layer. Remove ArmSequences and… (authored by dcjm).
Convert ForeignCall to use the pre-assembler layer. Remove ArmSequences and…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML4b3b81c5fe8f: Remove temporary functions that converted the pre-assembly code to the assembly… (authored by dcjm).
Remove temporary functions that converted the pre-assembly code to the assembly…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML417c12dbd538: Return small numbers of multiple results in registers. (authored by dcjm).
Return small numbers of multiple results in registers.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML0a5ebb0e3f7c: Fix another case where the optimiser added a new tuple but didn't set the… (authored by dcjm).
Fix another case where the optimiser added a new tuple but didn't set the…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML0d81c03edaec: Clean up the conflict test for arguments of long format arbitrary precision… (authored by dcjm).
Clean up the conflict test for arguments of long format arbitrary precision…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML8c171e2fdd8d: Support for multiple results from function calls. (authored by dcjm).
Support for multiple results from function calls.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML90195d19db1a: Don't attempt to merge cache states for the moment. It seems to be broken. (authored by dcjm).
Don't attempt to merge cache states for the moment. It seems to be broken.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML4c9b9ada1d9c: Fix the optimiser so that it sets the correct argument type for newly… (authored by dcjm).
Fix the optimiser so that it sets the correct argument type for newly…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLb9af39e4fe02: Use hints to improve the chances that we will be able to retain cache states… (authored by dcjm).
Use hints to improve the chances that we will be able to retain cache states…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLae887f45ad23: Add a dummy instruction if we're caching to see if this is the problem. (authored by dcjm).
Add a dummy instruction if we're caching to see if this is the problem.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLf4d7485ce35f: Fix incorrect test. (authored by dcjm).
Fix incorrect test.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLbbfb606f0d84: Use an indexed load in 32-in-64 if the offset is zero and this is the last… (authored by dcjm).
Use an indexed load in 32-in-64 if the offset is zero and this is the last…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML6ad5898ed17b: Merge the cache state on multiple paths. (authored by dcjm).
Merge the cache state on multiple paths.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLaceade0631e0: Include the cache registers in the save mask for allocations so that if there… (authored by dcjm).
Include the cache registers in the save mask for allocations so that if there…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLbebfbd0bd69a: Change the assertion into a test and don't optimise if the result of the load… (authored by dcjm).
Change the assertion into a test and don't optimise if the result of the load…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML4c0882484f03: Cache the combination of loading a value from the stack and getting the… (authored by dcjm).
Cache the combination of loading a value from the stack and getting the…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLfce817ee5da3: Refine the checking code. (authored by dcjm).
Refine the checking code.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML5d9cfbd6154e: Add basic caching of stack entries and object ids. (authored by dcjm).
Add basic caching of stack entries and object ids.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLfa0674540bc4: Add temporary debugging code to check that the cache register and the value… (authored by dcjm).
Add temporary debugging code to check that the cache register and the value…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7fce1f8395c6: When picking a register try to avoid those that are caching values. (authored by dcjm).
When picking a register try to avoid those that are caching values.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML37aa4263262e: Separate allocation of new registers at a "destination" from getting the… (authored by dcjm).
Separate allocation of new registers at a "destination" from getting the…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML0e7bbd962d59: Remove extra code to make sure conflicts are symmetrical. (authored by dcjm).
Remove extra code to make sure conflicts are symmetrical.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLecb4e98fd2d7: Improve register hinting by propagating "real hints". (authored by dcjm).
Improve register hinting by propagating "real hints".
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLc092b36b9e93: Move conflict state code into the register allocator. (authored by dcjm).
Move conflict state code into the register allocator.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9466bd74cda6: Construct the result list in the conversion function rather than mapping it. (authored by dcjm).
Construct the result list in the conversion function rather than mapping it.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML191d23833e4d: Allocate the registers at the same time as converting the code. This changes… (authored by dcjm).
Allocate the registers at the same time as converting the code. This changes…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML941eb27ba507: AllocateRegisters now produces concrete icode and ICodeToArm64Code now handles… (authored by dcjm).
AllocateRegisters now produces concrete icode and ICodeToArm64Code now handles…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML3fdd0ec34e52: Turn the icode type into a polytype to allow for a version with concrete… (authored by dcjm).
Turn the icode type into a polytype to allow for a version with concrete…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML671276c7f5d1: Convert to generating pre-code. Use load/store pairs for exception handling. (authored by dcjm).
Convert to generating pre-code. Use load/store pairs for exception handling.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLc0717241dd6e: Completed conversion of instructions. (authored by dcjm).
Completed conversion of instructions.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML30f866755bbb: More instructions including loops. (authored by dcjm).
More instructions including loops.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7c187aea18b3: Added some extra instructions at the assembly level and completed the pre… (authored by dcjm).
Added some extra instructions at the assembly level and completed the pre…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7f7c7c6f2a84: Convert more instructions. (authored by dcjm).
Convert more instructions.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML3a9d923ad8d5: Begin the process of generating pre-assembler code rather than assembly code… (authored by dcjm).
Begin the process of generating pre-assembler code rather than assembly code…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLa83350181b28: Add pre-assembly functor and signature. Split icode loads and stores for… (authored by dcjm).
Add pre-assembly functor and signature. Split icode loads and stores for…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLb6debe6171d5: Add further operations at the pre-assembler level. (authored by dcjm).
Add further operations at the pre-assembler level.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML05cad0c77e02: Added extra instructions including floating point. (authored by dcjm).
Added extra instructions including floating point.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML947f9fec097a: Sort out ordering of instruction sequences. (authored by dcjm).
Sort out ordering of instruction sequences.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLcee95484d416: Must clear the argument registers from the cache after a CompareByteVector or… (authored by dcjm).
Must clear the argument registers from the cache after a CompareByteVector or…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML939e52102227: Volatile refs are byte memory so don't need to be initialised in the allocation. (authored by dcjm).
Volatile refs are byte memory so don't need to be initialised in the allocation.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9de8d4df608e: Don't try to print a value with stringOfWord: it may not be a valid address. (authored by dcjm).
Don't try to print a value with stringOfWord: it may not be a valid address.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML87de8368dabe: Fix initialisation of multiple items. (authored by dcjm).
Fix initialisation of multiple items.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLa7ed237efbef: Optimise various constant operations so that "ref" is now minimal. (authored by dcjm).
Optimise various constant operations so that "ref" is now minimal.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML730b7046fc03: Check for exceptions raised in the RTS in the RTS call wrapper code and remove… (authored by dcjm).
Check for exceptions raised in the RTS in the RTS call wrapper code and remove…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLfa611c35150f: Save active registers in the long case of an arbitrary precision operation… (authored by dcjm).
Save active registers in the long case of an arbitrary precision operation…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML21abaa89ce11: Fix store allocation profiling. (authored by dcjm).
Fix store allocation profiling.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML6894721d8c0a: String length words ARE tagged when loaded using LoadStoreUntaggedUnsigned so… (authored by dcjm).
String length words ARE tagged when loaded using LoadStoreUntaggedUnsigned so…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML1c2ae6594828: Fix typos in immutable load function names. (authored by dcjm).
Fix typos in immutable load function names.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9d5aa8e715df: X0 is used for the exception packet so has to be reserved in raises and handles. (authored by dcjm).
X0 is used for the exception packet so has to be reserved in raises and handles.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML4dc7944d985f: Must not use X30 for the result of AllocateMemoryFixed/Variable because it… (authored by dcjm).
Must not use X30 for the result of AllocateMemoryFixed/Variable because it…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML2e08c5719b1f: Fix typo in version string. (authored by dcjm).
Fix typo in version string.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML96a16232e787: Remove unused exception identifiers. (authored by dcjm).
Remove unused exception identifiers.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML073a796121af: Vector indexing should use load-from-immutable. (authored by dcjm).
Vector indexing should use load-from-immutable.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLfa4dc4f1c16c: Remove a piece of debugging code that includes PolyML.makestring. This seems… (authored by dcjm).
Remove a piece of debugging code that includes PolyML.makestring. This seems…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLf6e520830f52: Fix typo that caused Int.quot to fail. Use sign-extending indexed loads/stores… (authored by dcjm).
Fix typo that caused Int.quot to fail. Use sign-extending indexed loads/stores…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML4ad59690329e: Remove fall-back to old code-generator. (authored by dcjm).
Remove fall-back to old code-generator.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML5ef72ba3f10a: Implemented floating point operations. (authored by dcjm).
Implemented floating point operations.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML52ad564e4979: Implement loads and stores to C memory. (authored by dcjm).
Implement loads and stores to C memory.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML2a11ec384b92: Implement mutex creation, locking and unlocking. (authored by dcjm).
Implement mutex creation, locking and unlocking.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML87453715e566: Add a "containers" argument to FunctionCall to ensure that containers are not… (authored by dcjm).
Add a "containers" argument to FunctionCall to ensure that containers are not…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLde94121a46c3: When extending the stack update any registers with addresses in the stack. (authored by dcjm).
When extending the stack update any registers with addresses in the stack.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML6afac0c892e0: Implemented block moves and byte comparisons. (authored by dcjm).
Implemented block moves and byte comparisons.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML8dc2e3aa4aa4: Implement LargeWord div and mod. (authored by dcjm).
Implement LargeWord div and mod.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML327d9688321e: Fixed a couple of mistakes in the last commit. (authored by dcjm).
Fixed a couple of mistakes in the last commit.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9651844dc9bb: Add back=up file for Int missed in last commit. (authored by dcjm).
Add back=up file for Int missed in last commit.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLd26473325da5: When optimising short byte equality and short moves use the immutable version… (authored by dcjm).
When optimising short byte equality and short moves use the immutable version…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7edc11b00012: Fix addition when combining an index with a constant offset. (authored by dcjm).
Fix addition when combining an index with a constant offset.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML864eb9ddc033: Split stores to update from stores to initialise. (authored by dcjm).
Split stores to update from stores to initialise.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML501a56b5a2b0: Implement store of untagged values to set string length. Also implement stores… (authored by dcjm).
Implement store of untagged values to set string length. Also implement stores…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML718996e4003b: Add storeByte/WordInitialise to store without release. Update version to 5.9.1… (authored by dcjm).
Add storeByte/WordInitialise to store without release. Update version to 5.9.1…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML31d14261555b: Fix fixed int remainder. (authored by dcjm).
Fix fixed int remainder.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9a5e7f8c8a12: Implemented division and remainder. (authored by dcjm).
Implemented division and remainder.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLce8c02704a60: Implement multiplication. (authored by dcjm).
Implement multiplication.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML8d3e0d699127: Implement indexed case and exception handlers. (authored by dcjm).
Implement indexed case and exception handlers.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML5de705bdd1ce: Implement conversion between LargeWord and Word and Int. (authored by dcjm).
Implement conversion between LargeWord and Word and Int.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML1fc26611db89: Allow register spilling. (authored by dcjm).
Allow register spilling.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML28e405c09455: Word.toInt needs to check that the value is small enough to convert to a… (authored by dcjm).
Word.toInt needs to check that the value is small enough to convert to a…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML324d01f34f0b: Implement clear-mutable and allocate-byte-memory. (authored by dcjm).
Implement clear-mutable and allocate-byte-memory.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLec608e858e1a: Cannot use the same register for the source and destination in BitFieldInsert. (authored by dcjm).
Cannot use the same register for the source and destination in BitFieldInsert.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML85dbd2e9ff19: Need to allocate a register for every argument in BeginFunction even if it… (authored by dcjm).
Need to allocate a register for every argument in BeginFunction even if it…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML97cef6039b38: Separate shifts (ubfm and sbfm) from moving bits into a register. (authored by dcjm).
Separate shifts (ubfm and sbfm) from moving bits into a register.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML3104d32b94a4: Merge branch 'master' into ARM64Development (authored by dcjm).
Merge branch 'master' into ARM64Development
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLc74cfff4ac0e: Implemented allocation of arrays and vectors. (authored by dcjm).
Implemented allocation of arrays and vectors.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML1672d606d8c0: Implement shifts for Word and LargeWord. (authored by dcjm).
Implement shifts for Word and LargeWord.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLb36631b23591: Implement arbitrary precision addition and subtraction. (authored by dcjm).
Implement arbitrary precision addition and subtraction.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLc49882edaedf: Separate boxing/unboxing of large-word values from floating point and include… (authored by dcjm).
Separate boxing/unboxing of large-word values from floating point and include…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML189f2e36dcb0: Implement LoadUntagged used to get the length of a string. (authored by dcjm).
Implement LoadUntagged used to get the length of a string.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML54ff3eb8925d: Implemented MemoryCellLength and MemoryCellFlags. (authored by dcjm).
Implemented MemoryCellLength and MemoryCellFlags.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7c6aab46cc15: Implement logical operations for word and LargeWord and comparisons for… (authored by dcjm).
Implement logical operations for word and LargeWord and comparisons for…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML6744212bbb46: Implement BeginLoop and JumpLoop. (authored by dcjm).
Implement BeginLoop and JumpLoop.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML6d4a81d007ab: Add a container type to the argument types. This should allow code to return a… (authored by dcjm).
Add a container type to the argument types. This should allow code to return a…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML874bdce2b251: Removed stack closure detection since it isn't used and greatly simplified the… (authored by dcjm).
Removed stack closure detection since it isn't used and greatly simplified the…
Jan 16 2022, 2:17 PM