diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-13 12:50:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-09-13 12:50:56 +0200 |
| commit | 73dc3e015d91580957a8e30ead44625cec030cdb (patch) | |
| tree | 0bd104cdfdf36436003999f93414a7e6745377e0 /runtime/powerpc | |
| parent | 378ac3925503e6efd24cc34796e85d95c031e72d (diff) | |
| download | compcert-kvx-73dc3e015d91580957a8e30ead44625cec030cdb.tar.gz compcert-kvx-73dc3e015d91580957a8e30ead44625cec030cdb.zip | |
Wrong syntax in fcmp.
Diffstat (limited to 'runtime/powerpc')
| -rw-r--r-- | runtime/powerpc/ppc64/i64_dtou.s | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/runtime/powerpc/ppc64/i64_dtou.s b/runtime/powerpc/ppc64/i64_dtou.s index 665037ea..60d5c9bf 100644 --- a/runtime/powerpc/ppc64/i64_dtou.s +++ b/runtime/powerpc/ppc64/i64_dtou.s @@ -44,7 +44,7 @@ __i64_dtou: lis r0, 0x5f00 # 0x5f00_0000 = 2^63 in binary32 format stwu r0, -16(r1) lfs f2, 0(r1) # f2 = 2^63 - fcmpu f1, f2 # crbit 0 is f1 < f2 + fcmpu cr0, f1, f2 # crbit 0 is f1 < f2 bf 0, 1f # branch if f1 >= 2^63 (or f1 is NaN) fctidz f1, f1 # convert as signed stfd f1, 0(r1) @@ -63,4 +63,4 @@ __i64_dtou: .type __i64_dtou, @function .size __i64_dtou, .-__i64_dtou -
\ No newline at end of file + |