|
While a number of intended deliverables for remain unmet, he's made significant contributions to the expression backend and has identified unexpected roadblocks to the remaining tasks that should yield to additional preparatory work. In light of this, the Grants Committee will be considering Bart's report below and voting on a payment for the currently accomplished work of 50% of the original amount requested. The Grants Committee will consider a revised ... read more |
|
Bart gave me this interim report on his grant: is essentially complete. Bart is currently finishing floating point support in conditional expressions. This is surprisingly nontrivial, he indicates, because of NaN, and because of condition code differences between floating point and integer comparisons. is nearing completion. Bart says it turned out to have a whole lot of overlap with the floating point support. He ... read more |
|
Bart reports the latest progress: Fixed a few windows-specific bugs Assigned a permissible-register set to live ranges, which makes it possible to combine values with distinct register requirements Ensured that when a value is spilled to make place for another, the released register is actually one that the new value can use. In other words, a bunch of register allocator work. Floating point support is close to being finished. He ... read more |
|
Bart received helpful comments on his blog posts last month that will move him ahead with intermediate representation optimization and register allocation. He writes: I'm still working on finalizing the floating point support for the JIT compiler, but I've also started work on the new register allocation algorithm. This wasn't strictly a deliverable, but I expect it will help the deliverable of improving code generation. MAJ ... read more |
|
Brrt reports that February was busy and short, but that he did some research on other implementations of register allocation that he can apply to MoarVM JIT. He notes the following conundrum that he has been thinking about. Maybe a reader can advise: I've also encountered a limitation in the optimization of the IR, which I'm trying to resolve. The issue is this, if I have a bunch of code ... read more |