diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-30 07:20:47 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-30 07:20:47 +0000 |
| commit | bbfa0098dc5d77075b8544d844c885fe6e49bf27 (patch) | |
| tree | 7bfcecec8a7f25edf9013f978e506c1a17895568 | |
| parent | 2d3a68004f8d82fecb5ab2c3625332fc663ca226 (diff) | |
Typos in comments
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2220 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
| -rw-r--r-- | runtime/powerpc/i64_stod.s | 2 | ||||
| -rw-r--r-- | runtime/powerpc/i64_utod.s | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/runtime/powerpc/i64_stod.s b/runtime/powerpc/i64_stod.s index 236d375..cca109b 100644 --- a/runtime/powerpc/i64_stod.s +++ b/runtime/powerpc/i64_stod.s @@ -51,7 +51,7 @@ __i64_stod: fsub f1, f1, f2 # f1 is XL (unsigned) as a double lis r5, 0x4530 lis r6, 0x8000 - stw r5, 0(r1) # 0(r1) = 2^84 + ((double)XL - 2^31) * 2^32 + stw r5, 0(r1) # 0(r1) = 2^84 + ((double)XH - 2^31) * 2^32 add r3, r3, r6 stw r3, 4(r1) stw r5, 8(r1) # 8(r1) = 2^84 + 2^31 * 2^32 diff --git a/runtime/powerpc/i64_utod.s b/runtime/powerpc/i64_utod.s index e40eb5c..01a2758 100644 --- a/runtime/powerpc/i64_utod.s +++ b/runtime/powerpc/i64_utod.s @@ -52,9 +52,9 @@ __i64_utod: lfd f2, 8(r1) fsub f1, f1, f2 # f1 is (double) XL lis r5, 0x4530 - stw r5, 0(r1) # 0(r1) = 2^84 + (double) XL * 2^32 + stw r5, 0(r1) # 0(r1) = 2^84 + (double) XH * 2^32 stw r3, 4(r1) - stw r5, 8(r1) # 1(r1) = 2^84 + stw r5, 8(r1) # 8(r1) = 2^84 lfd f2, 0(r1) lfd f3, 8(r1) fsub f2, f2, f3 # f2 is XH * 2^32 as a double |