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

ACATS cxg2021 fails at -O3 #2793

Closed
llvmbot opened this issue Jun 8, 2008 · 5 comments
Closed

ACATS cxg2021 fails at -O3 #2793

llvmbot opened this issue Jun 8, 2008 · 5 comments
Labels
bugzilla Issues migrated from bugzilla llvm-tools All llvm tools that do not have corresponding tag obsolete wontfix Issue is real, but we can't or won't fix it. Not invalid

Comments

@llvmbot
Copy link
Collaborator

llvmbot commented Jun 8, 2008

Bugzilla Link 2421
Version trunk
OS Linux
Reporter LLVM Bugzilla Contributor

Extended Description

Building the ACATS tests at -O3 causes one additional failure: cxg2021.

@llvmbot
Copy link
Collaborator Author

llvmbot commented Jan 29, 2009

This went away when the gcc inliner was disabled. Most likely
the underlying problem has just been covered up, but I don't
care enough to investigate further. Note that the original
failure only occurred when using the x86 floating point stack,
and not when using sse registers.

@llvmbot
Copy link
Collaborator Author

llvmbot commented Feb 2, 2009

This recently started failing again (at -O2).

@llvmbot
Copy link
Collaborator Author

llvmbot commented Feb 6, 2009

Remarks: this seems to be due to extra precision in x86-32 floating
point registers versus the precision (64 bits) when stored to a stack
slot. The test is testing 64 bit precision, and as far as I can see
it shouldn't matter whether you use stack stores or registers, since
both give values inside the Ada "model interval" (Ada uses an interval
arithmetic model for floating point). I wasn't able to find anything
obviously wrong with the LLVM generated code. Currently I suspect that
the test is wrong, but didn't finish analyzing it yet.

@lattner
Copy link
Collaborator

lattner commented Jun 19, 2009

still a problem?

@llvmbot
Copy link
Collaborator Author

llvmbot commented Jun 19, 2009

Yes, still a problem. In fact it now fails at -O2! It is not clear if this
is a bug in LLVM or in the test. In order to resolve this I wrote my own
simulator of Ada floating point interval arithmetic, but having done so never
found the time to apply it to the analysis of this test, d'oh!

@llvmbot llvmbot transferred this issue from llvm/llvm-bugzilla-archive Dec 3, 2021
@asl asl added obsolete wontfix Issue is real, but we can't or won't fix it. Not invalid labels Dec 14, 2021
@asl asl closed this as completed Dec 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugzilla Issues migrated from bugzilla llvm-tools All llvm tools that do not have corresponding tag obsolete wontfix Issue is real, but we can't or won't fix it. Not invalid
Projects
None yet
Development

No branches or pull requests

3 participants