feat: add UInt::reinterpret_as_float()

[qazxcdswe123]

close: #1129

[peter-jerry-ye-code-review]

Based on the provided git diff output, here are three potential issues or suggestions for improvement in the MoonBit code changes:

1. Deprecated Function Usage:

   • In the file builtin/builtin.mbti, the shl and shr functions are marked as deprecated (shl(UInt, Int) -> UInt //deprecated and shr(UInt, Int) -> UInt //deprecated). It's important to ensure that there are no calls to these deprecated functions in the codebase and that they are replaced with their non-deprecated counterparts (op_shl and op_shr). Deprecated functions can lead to future compatibility issues or missing features if not addressed.

2. Reinterpret Cast Implementation:

   • The addition of reinterpret_as_float(UInt) -> Float in both builtin/builtin.mbti and builtin/intrinsics.mbt is interesting. It's crucial to ensure that this reinterpret cast is correctly implemented and does not lead to undefined behavior or data corruption, especially since it involves converting between an integer type and a floating-point type. Ensure that the implementation aligns with the expected behavior of such operations in the language specification.

3. Test Case for Reinterpret Cast:

   • The test case UInt::reinterpret_as_float roundtrip in builtin/intrinsics_test.mbt is well-written and comprehensive, covering various edge cases such as zero, negative zero, infinities, and NaN. However, it's important to also consider testing the performance and correctness of this operation under more varied and randomized inputs to ensure robustness. Additionally, consider adding documentation or comments within the test case to explain the significance of each test value, making it easier for future maintainers to understand the test coverage.

These observations highlight the importance of considering deprecated functionality, ensuring the correctness and robustness of new features, and maintaining clarity and comprehensiveness in test cases.

[coveralls]

Pull Request Test Coverage Report for Build 3615

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 82.303%

---

Totals
Change from base Build 3614:	0.0%
Covered Lines:	4195
Relevant Lines:	5097

---

💛 - Coveralls

[tonyfettes]

LGTM