suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix JIT slow path for bitwise-bit-set?

Browse Source 
I'm having trouble producing a small test that triggers the bug, but
I'll keep trying.
This commit is contained in:
Matthew Flatt 2013-11-18 17:36:06 -07:00
parent eb67abb2ef
commit a88aa3c428
1 changed files with 21 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
racket/src/racket/src/jitarith.c
View File

@ -1926,6 +1926,27 @@ int scheme_generate_arith_for(mz_jit_state *jitter, Scheme_Object *rator, Scheme
/* Jump to ref3 to produce false */
int rs_valid, rs_can_keep = 0;
switch (cmp) {
case -CMP_BIT:
if (rand2) {
if (!unsafe_fx || overflow_refslow) {
(void)jit_blti_l(refslow, JIT_R1, 0);
(void)jit_bgti_l(refslow, JIT_R1, (intptr_t)scheme_make_integer(MAX_TRY_SHIFT));
}
}
break;
case CMP_BIT:
if (rand2) {
if (!unsafe_fx || overflow_refslow) {
(void)jit_blti_l(refslow, JIT_R0, 0);
(void)jit_bgti_l(refslow, JIT_R0, (intptr_t)scheme_make_integer(MAX_TRY_SHIFT));
}
}
break;
}
/* Don't use refslow from here on */
if (for_branch) {
scheme_prepare_branch_jump(jitter, for_branch);
CHECK_LIMIT();
@ -1940,10 +1961,6 @@ int scheme_generate_arith_for(mz_jit_state *jitter, Scheme_Object *rator, Scheme
break;
case -CMP_BIT:
if (rand2) {
if (!unsafe_fx || overflow_refslow) {
(void)jit_blti_l(refslow, JIT_R1, 0);
(void)jit_bgti_l(refslow, JIT_R1, (intptr_t)scheme_make_integer(MAX_TRY_SHIFT));
}
jit_rshi_l(JIT_R1, JIT_R1, 1);
jit_addi_l(JIT_V1, JIT_R1, 1);
jit_movi_l(JIT_R2, 1);
@ -1998,10 +2015,6 @@ int scheme_generate_arith_for(mz_jit_state *jitter, Scheme_Object *rator, Scheme
default:
case CMP_BIT:
if (rand2) {
if (!unsafe_fx || overflow_refslow) {
(void)jit_blti_l(refslow, JIT_R0, 0);
(void)jit_bgti_l(refslow, JIT_R0, (intptr_t)scheme_make_integer(MAX_TRY_SHIFT));
}
jit_rshi_l(JIT_R0, JIT_R0, 1);
jit_addi_l(JIT_R0, JIT_R0, 1);
jit_movi_l(JIT_V1, 1);