diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-03-30 12:59:24 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-03-30 17:26:17 +0200 |
| commit | f2de2518509f198c5ce958ec06c18e78e896f814 (patch) | |
| tree | fb96db51472b7b8bb8f8538b56306cde44da09be /test/regression/int64.c | |
| parent | 14f89bf9c397a4268d2b47418de234992b008d6c (diff) | |
| download | compcert-f2de2518509f198c5ce958ec06c18e78e896f814.tar.gz compcert-f2de2518509f198c5ce958ec06c18e78e896f814.zip | |
Add a test for int64 -> float32 conversion
This is a special value that causes double rounding with the naive
conversion schema int64 -> float64 -> float32.
Diffstat (limited to 'test/regression/int64.c')
| -rw-r--r-- | test/regression/int64.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regression/int64.c b/test/regression/int64.c index d9785e95..0da9602d 100644 --- a/test/regression/int64.c +++ b/test/regression/int64.c @@ -103,7 +103,8 @@ u64 special_values[] = { 0x80000000LLU, 0x7FFFFFFFFFFFFFFFLLU, 0x8000000000000000LLU, - 0x100000003LLU + 0x100000003LLU, + 0x52ce6b4000000063LLU }; #define NUM_SPECIAL_VALUES (sizeof(special_values) / sizeof(u64)) |