Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

This patch fixes two problems #592

Merged
merged 2 commits into from
Oct 16, 2024
Merged

This patch fixes two problems #592

merged 2 commits into from
Oct 16, 2024

Conversation

shibatch
Copy link
Owner

Checklist

  • I have read the contributing guidelines.
  • I have considered portability of my change across platforms and architectures.
  • I have self-reviewed my code.
  • I have commented my code where necessary.
  • I have updated the documentation accordingly.
  • I have added tests that prove my fix is effective or that my feature works.

What is the purpose of this pull request?

  • Fix bugs
    • On aarch32, cbrt(4) was returned instead of M_PI/2 when INFINITY is given to atanf.
    • Due to a bug in gcc-13, sign of tanf(+-0) was wrong with PUREC_SCALAR.

What changes did you make?

  • Changed a constant in sleefsimdsp.c to fix the value returned by xatanf when INFINITY is given on aarch32.
  • Add a workaround that fixes the wrong sign of tanf with PUREC_SCALAR when compiled with gcc-13.
  • Add testing for the first problem. The second problem is detected by the existing tester.

Does this PR relate to any existing issue?

These changes are required to implement #574, because these problems are also detected by the new tester.

Naoki Shibata added 2 commits October 16, 2024 11:47
* On aarch32, cbrt(4) was returned instead of M_PI/2.
* Due to a bug in gcc-13, sign of atanf(+-0) was wrong.
This patch also adds testing for the first problem.
The second problem is detected by the existing tester.
Copy link
Collaborator

@blapie blapie left a comment

Choose a reason for hiding this comment

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

Looks ok to me, just some general comments. Nothing that needs addressing urgently.

@@ -908,6 +911,9 @@ EXPORT CONST VECTOR_CC vfloat xtanf(vfloat d) {

q = vrint_vi2_vf(vmul_vf_vf_vf(d, vcast_vf_f((float)(2 * M_1_PI))));
u = vcast_vf_vi2(q);
#if (defined(ENABLE_PUREC_SCALAR) || defined(ENABLE_PURECFMA_SCALAR) || defined(ENABLE_VXE) || defined(ENABLE_VXENOFMA) || defined(ENABLE_VXE2) || defined(ENABLE_VXE2NOFMA)) && !defined(__clang__) && __GNUC__ == 13
Copy link
Collaborator

Choose a reason for hiding this comment

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

Is it just a problem with gcc 13?
If so we should seek to understand what is going on, because that might have repercussions elsewhere that we haven't noticed.

Copy link
Collaborator

Choose a reason for hiding this comment

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

If you wish to merge I would recommend creating an issue, so we don't forget about it.

Copy link
Owner Author

Choose a reason for hiding this comment

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

There seems no problem with gcc-12 and gcc-14.
Of course it is better to understand what is going on, but that takes quite a bit of time.
I will create an issue for this matter.

@@ -1770,7 +1776,7 @@ EXPORT CONST VECTOR_CC vfloat xatanf(vfloat d) {
t = vreinterpret_vf_vm(vxor_vm_vm_vm(vand_vm_vo32_vm(veq_vo_vi2_vi2(vand_vi2_vi2_vi2(q, vcast_vi2_i(2)), vcast_vi2_i(2)), vreinterpret_vm_vf(vcast_vf_f(-0.0f))), vreinterpret_vm_vf(t)));

#if defined(ENABLE_NEON32) || defined(ENABLE_NEON32VFPV4)
t = vsel_vf_vo_vf_vf(visinf_vo_vf(d), vmulsign_vf_vf_vf(vcast_vf_f(1.5874010519681994747517056f), d), t);
t = vsel_vf_vo_vf_vf(visinf_vo_vf(d), vmulsign_vf_vf_vf(vcast_vf_f(1.570796326794896557998982), d), t);
Copy link
Collaborator

Choose a reason for hiding this comment

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

Just a comment that in general I would recommend using hexfloat representation for constants, that would spare a conversion from double to float, or even from the literal to floating point.

Not asking to change now but that is smth we fix library-wide. That will also avoid carrying some many decimals, which is prone to errors.

Defining constants via macros could also prevent this type of errors.

Copy link
Owner Author

Choose a reason for hiding this comment

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

I agree that hexadecimal is better, but I was wondering which is better this time because of the MSVC case.
I will use hexadecimal next time.

@shibatch shibatch merged commit f95a6c8 into master Oct 16, 2024
70 checks passed
@shibatch shibatch deleted the update_sleefsimdsp branch October 16, 2024 09:35
@shibatch shibatch mentioned this pull request Oct 16, 2024
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.

2 participants