Open mraleph opened 6 years ago
@kmillikin Just fyi: We are working now on eliminating the cost of the checks in the VM and have already some very promising prototypes.
To give some update on this CL:
Multiple entrypoints were finally finished: ia32 in 8a39cb8f66b708073, arm64 in f1341643325d819, unoptimized code in 4d95ec1360d9ad
Exactness tracking is only implemented on x64. For completeness we might want to also port it to other architectures as well.
Right now there's no other work planned for this issue so I'm going to remove the P1
priority here.
This is a metabug to track design and implementation of necessary optimizations in the compilation pipeline.