void MVM_6model_can_method(MVMThreadContext *tc, MVMObject *obj, MVMString *name, MVMRegister *res) {
MVMObject *cache, *HOW, *find_method, *code;
MVMint64 can_cached = MVM_6model_can_method_cache_only(tc, obj, name);
if (can_cached == 0 || can_cached == 1) {
res->i64 = can_cached;
return;
}
/* If no method in cache and the cache is not authoritative, need to make
* a late-bound call to find_method. */
HOW = MVM_6model_get_how(tc, STABLE(obj));
find_method = MVM_6model_find_method_cache_only(tc, HOW,
tc->instance->str_consts.find_method);
if (MVM_is_null(tc, find_method)) {
/* This'll count as a "no"... */
res->i64 = 0;
return;
}
/* Set up the call, using the result register as the target. A little bad
* as we're really talking about */
code = MVM_frame_find_invokee(tc, find_method, NULL);
MVM_args_setup_thunk(tc, res, MVM_RETURN_OBJ, &fm_callsite);
tc->cur_frame->special_return = late_bound_can_return;
tc->cur_frame->special_return_data = res;
tc->cur_frame->args[0].o = HOW;
tc->cur_frame->args[1].o = obj;
tc->cur_frame->args[2].s = name;
STABLE(code)->invoke(tc, code, &fm_callsite, tc->cur_frame->args);
}
static void optimize_can_op(MVMThreadContext *tc, MVMSpeshGraph *g, MVMSpeshBB *bb, MVMSpeshIns *ins) {
/* XXX This causes problems, Spesh: failed to fix up handlers (-1, 110, 110) */
MVMSpeshFacts *obj_facts = MVM_spesh_get_facts(tc, g, ins->operands[1]);
MVMString *method_name;
MVMint64 can_result;
if (!(obj_facts->flags & MVM_SPESH_FACT_KNOWN_TYPE) || !obj_facts->type)
return;
if (ins->info->opcode == MVM_OP_can_s) {
MVMSpeshFacts *name_facts = MVM_spesh_get_facts(tc, g, ins->operands[2]);
if (!(name_facts->flags & MVM_SPESH_FACT_KNOWN_VALUE)) {
return;
}
method_name = name_facts->value.s;
} else {
method_name = MVM_spesh_get_string(tc, g, ins->operands[2]);
}
can_result = MVM_6model_can_method_cache_only(tc, obj_facts->type, method_name);
if (can_result == -1) {
return;
} else {
MVMSpeshFacts *result_facts;
if (ins->info->opcode == MVM_OP_can_s)
MVM_spesh_get_facts(tc, g, ins->operands[2])->usages--;
result_facts = MVM_spesh_get_facts(tc, g, ins->operands[0]);
ins->info = MVM_op_get_op(MVM_OP_const_i64_16);
result_facts->flags |= MVM_SPESH_FACT_KNOWN_VALUE;
ins->operands[1].lit_i16 = can_result;
result_facts->value.i16 = can_result;
obj_facts->usages--;
}
}
