[Guile-commits] 170/437: Test and correct test cases in all current backends.

[Andy Wingo]

wingo pushed a commit to branch lightning
in repository guile.

commit d7f94379ed7dba2387471957bd584cc71a0e9046
Author: pcpa <address@hidden>
Date:   Wed Jan 2 17:53:51 2013 -0200

    Test and correct test cases in all current backends.
---
 ChangeLog         | 9 +++++++++
 check/float.tst   | 2 +-
 lib/jit_arm-swf.c | 8 ++++----
 lib/lightning.c   | 2 +-
 4 files changed, 15 insertions(+), 6 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 0211dfc..39f5681 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2013-01-02 Paulo Andrade <address@hidden>
+
+       * check/float.tst: Correct test case to match ppc also
+       converting positive infinity to 0x7fffffff.
+
+       * lib/jit_arm-swf.c: Correct typos with double underscores.
+
+       * lib/lightning.c: Correct remaining wrong reverse jump logic.
+
 2012-12-29 Paulo Andrade <address@hidden>
 
        * lib/lightning.c: Correct both, wrong and confusing logic
diff --git a/check/float.tst b/check/float.tst
index de58868..8732f68 100644
--- a/check/float.tst
+++ b/check/float.tst
@@ -21,7 +21,7 @@ ok:
 #else
 #  define wnan                 x80
 #endif
-#if __mips__ || __arm__
+#if __mips__ || __arm__ || __ppc__
 #  define wpinf                        x7f
 #else
 #  define wpinf                        x80
diff --git a/lib/jit_arm-swf.c b/lib/jit_arm-swf.c
index 89aefed..7c37ef2 100644
--- a/lib/jit_arm-swf.c
+++ b/lib/jit_arm-swf.c
@@ -812,7 +812,7 @@ _swf_iunff_(jit_state_t *_jit, int (*i0)(float, float),
     movi(_R1_REGNO, data.i);
     swf_call(__aeabi_fcmpun, fcmpun, _R2_REGNO);
     if (jit_thumb_p()) {
-       T1_CMPI(__R0_REGNO, 0);
+       T1_CMPI(_R0_REGNO, 0);
        IT(ARM_CC_NE);
        if (r0 < 8)
            T1_MOVI(r0, 1);
@@ -822,7 +822,7 @@ _swf_iunff_(jit_state_t *_jit, int (*i0)(float, float),
        T2_CC_B(ARM_CC_NE, 0);
     }
     else {
-       CMPI(__R0_REGNO, 0);
+       CMPI(_R0_REGNO, 0);
        CC_MOVI(ARM_CC_NE, r0, 1);
        instr = _jit->pc.w;
        CC_B(ARM_CC_NE, 0);
@@ -865,7 +865,7 @@ _swf_iundd_(jit_state_t *_jit, int (*i0)(double, double),
     movi(_R3_REGNO, data.i[1]);
     swf_call_with_get_reg(__aeabi_dcmpun, dcmpun);
     if (jit_thumb_p()) {
-       T1_CMPI(__R0_REGNO, 0);
+       T1_CMPI(_R0_REGNO, 0);
        IT(ARM_CC_NE);
        if (r0 < 8)
            T1_MOVI(r0, 1);
@@ -875,7 +875,7 @@ _swf_iundd_(jit_state_t *_jit, int (*i0)(double, double),
        T2_CC_B(ARM_CC_NE, 0);
     }
     else {
-       CMPI(__R0_REGNO, 0);
+       CMPI(_R0_REGNO, 0);
        CC_MOVI(ARM_CC_NE, r0, 1);
        instr = _jit->pc.w;
        CC_B(ARM_CC_NE, 0);
diff --git a/lib/lightning.c b/lib/lightning.c
index 853eb22..c0d4411 100644
--- a/lib/lightning.c
+++ b/lib/lightning.c
@@ -1659,7 +1659,7 @@ reverse_jump_code(jit_code_t code)
        case jit_code_blei_d:   return (jit_code_bungti_d);
 
        case jit_code_beqr_d:   return (jit_code_bner_d);
-       case jit_code_beqi_d:   return (jit_code_bner_d);
+       case jit_code_beqi_d:   return (jit_code_bnei_d);
 
        case jit_code_bger_d:   return (jit_code_bunltr_d);
        case jit_code_bgei_d:   return (jit_code_bunlti_d);