Skip to content

Conversation

@MitchBriles
Copy link

First time contributing, so please let me know if the SMT can be simplified.

@regehr
Copy link
Contributor

regehr commented Dec 20, 2025

thanks Mitch. it looks good to me overall, but of course Nuno will have opinions about the details.

can you add some test cases that involve vectors, and also some test cases that aren't corner cases? that is, a few of them (with both positive and negative values for the integer argument) that result in just regular in-range values?

@MitchBriles
Copy link
Author

Done. Also, I should mention this fixes #1262.

dup(Function &f, const std::string &suffix) const override;
};


Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

random change

}

; Currently times out
; define float @src15(float %x) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you can leave timing out tests uncommented. They will not fail the test.

@nunoplopes
Copy link
Member

The algorithm is not correct. It's actually quite hard to implement ldexp. For example, for zero underflow: x = 2.0f / rhs = -150.
For inf overflow: x = 2^-126 / rhs = 200
(FP32)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants