AArch64 : divbyzero test fails
On AArch64/Linux the test in testsuite/tests/rts/divbyzero.hs
which is:
main :: IO ()
main = print (5 `divInt` 0)
just prints "0" and exits with a zero status code.
From the "ARMv8 Instriction Set Overview" document I found (wasn't able to find anything more recent):
Section 3.6 says "There is no hardware check for “divide by zero”, but this check can be performed in the shadow of a long latency division. A divide by zero writes zero to the destination register."
Looks like we need extra code to check for this, but not sure how to report it. Should probably look at what GCC and Clang do.
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |