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

jit tweak for structure predicates/accessors

Browse Source 
svn: r11328
This commit is contained in:
Matthew Flatt 2008-08-19 11:49:08 +00:00
parent 3ead9c435f
commit ece880b3a2
1 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/mzscheme/src/jit.c
View File

@ -6578,7 +6578,7 @@ static int do_generate_common(mz_jit_state *jitter, void *_data)
for (i = 0; i < 3; i++) { for (i = 0; i < 3; i++) {
void *code, *code_end; void *code, *code_end;
int kind, for_branch; int kind, for_branch;
jit_insn *ref, *ref2, *refslow, *bref1, *bref2, *bref3, *bref4, *bref5, *bref6; jit_insn *ref, *ref2, *refslow, *bref1, *bref2, *bref3, *bref4, *bref5, *bref6, *bref8;
code = jit_get_ip().ptr; code = jit_get_ip().ptr;
@ -6655,16 +6655,22 @@ static int do_generate_common(mz_jit_state *jitter, void *_data)
if (kind == 1) { if (kind == 1) {
bref1 = jit_bmsi_ul(jit_forward(), JIT_R0, 0x1); bref1 = jit_bmsi_ul(jit_forward(), JIT_R0, 0x1);
jit_ldxi_s(JIT_R2, JIT_R0, &((Scheme_Object *)0x0)->type); jit_ldxi_s(JIT_R2, JIT_R0, &((Scheme_Object *)0x0)->type);
__START_INNER_TINY__(1);
ref2 = jit_beqi_i(jit_forward(), JIT_R2, scheme_structure_type); ref2 = jit_beqi_i(jit_forward(), JIT_R2, scheme_structure_type);
__END_INNER_TINY__(1);
bref2 = jit_bnei_i(jit_forward(), JIT_R2, scheme_proc_struct_type); bref2 = jit_bnei_i(jit_forward(), JIT_R2, scheme_proc_struct_type);
} else { } else {
(void)jit_bmsi_ul(refslow, JIT_R0, 0x1); (void)jit_bmsi_ul(refslow, JIT_R0, 0x1);
jit_ldxi_s(JIT_R2, JIT_R0, &((Scheme_Object *)0x0)->type); jit_ldxi_s(JIT_R2, JIT_R0, &((Scheme_Object *)0x0)->type);
__START_INNER_TINY__(1);
ref2 = jit_beqi_i(jit_forward(), JIT_R2, scheme_structure_type); ref2 = jit_beqi_i(jit_forward(), JIT_R2, scheme_structure_type);
__END_INNER_TINY__(1);
(void)jit_bnei_i(refslow, JIT_R2, scheme_proc_struct_type); (void)jit_bnei_i(refslow, JIT_R2, scheme_proc_struct_type);
bref1 = bref2 = NULL; bref1 = bref2 = NULL;
} }
__START_INNER_TINY__(1);
mz_patch_branch(ref2); mz_patch_branch(ref2);
__END_INNER_TINY__(1);
CHECK_LIMIT(); CHECK_LIMIT();
/* Put argument struct type in R2, target struct type in V1 */ /* Put argument struct type in R2, target struct type in V1 */
@ -6675,6 +6681,14 @@ static int do_generate_common(mz_jit_state *jitter, void *_data)
} }
CHECK_LIMIT(); CHECK_LIMIT();
/* common case: types are the same */
if (kind == 2) {
__START_INNER_TINY__(1);
bref8 = jit_beqr_p(jit_forward(), JIT_R2, JIT_V1);
__END_INNER_TINY__(1);
} else
bref8 = NULL;
jit_ldxi_i(JIT_R2, JIT_R2, &((Scheme_Struct_Type *)0x0)->name_pos); jit_ldxi_i(JIT_R2, JIT_R2, &((Scheme_Struct_Type *)0x0)->name_pos);
jit_ldxi_i(JIT_V1, JIT_V1, &((Scheme_Struct_Type *)0x0)->name_pos); jit_ldxi_i(JIT_V1, JIT_V1, &((Scheme_Struct_Type *)0x0)->name_pos);
/* Now R2 is argument depth, V1 is target depth */ /* Now R2 is argument depth, V1 is target depth */
@ -6740,6 +6754,9 @@ static int do_generate_common(mz_jit_state *jitter, void *_data)
} else { } else {
(void)jit_bner_p(refslow, JIT_R2, JIT_V1); (void)jit_bner_p(refslow, JIT_R2, JIT_V1);
bref4 = NULL; bref4 = NULL;
__START_INNER_TINY__(1);
mz_patch_branch(bref8);
__END_INNER_TINY__(1);
/* Extract field */ /* Extract field */
jit_ldxi_p(JIT_V1, JIT_R1, &((Scheme_Primitive_Closure *)0x0)->val); jit_ldxi_p(JIT_V1, JIT_R1, &((Scheme_Primitive_Closure *)0x0)->val);
jit_ldxi_i(JIT_V1, JIT_V1, &((Struct_Proc_Info *)0x0)->field); jit_ldxi_i(JIT_V1, JIT_V1, &((Struct_Proc_Info *)0x0)->field);