Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Implement compile time bind analysis on JVM. 
Gets compile time multiple dispatch analysis working. For some reason,
inlining doesn't happen yet, though.
  • Loading branch information
@jnthn
jnthn committed Aug 4, 2013
1 parent c2ef115 commit fe0813a
Show file tree
Hide file tree
Showing 2 changed files with 156 additions and 3 deletions.
124 changes: 124 additions & 0 deletions src/vm/jvm/runtime/org/perl6/rakudo/Binder.java
View file
Expand Up @@ -895,4 +895,128 @@ private static SixModelObject vmHashOfRemainingNameds(ThreadContext tc, RakOps.G
}
return slurpy;
}

/* Compile time trial binding; tries to determine at compile time whether
* certain binds will/won't work. */
public static int trialBind(ThreadContext tc, RakOps.GlobalExt gcx, SixModelObject params,
CallSiteDescriptor csd, Object[] args) {
/* If there's a single capture parameter, then we're OK. (Worth
* handling especially as it's the common case for protos). */
int numParams = (int)params.elems(tc);
if (numParams == 1) {
SixModelObject param = params.at_pos_boxed(tc, 0);
param.get_attribute_native(tc, gcx.Parameter, "$!flags", HINT_flags);
int flags = (int)tc.native_i;
if ((flags & SIG_ELEM_IS_CAPTURE) != 0)
return TRIAL_BIND_OK;
}

/* Walk through the signature and consider the parameters. */
int numPosArgs = csd.numPositionals;
int curPosArg = 0;
for (int i = 0; i < numParams; i++) {
/* If the parameter is anything other than a boring old
* positional parameter, we won't analyze it. */
SixModelObject param = params.at_pos_boxed(tc, i);
param.get_attribute_native(tc, gcx.Parameter, "$!flags", HINT_flags);
int flags = (int)tc.native_i;
if ((flags & ~(
SIG_ELEM_MULTI_INVOCANT | SIG_ELEM_IS_PARCEL |
SIG_ELEM_IS_COPY | SIG_ELEM_ARRAY_SIGIL |
SIG_ELEM_HASH_SIGIL | SIG_ELEM_NATIVE_VALUE |
SIG_ELEM_IS_OPTIONAL)) != 0)
return TRIAL_BIND_NOT_SURE;
SixModelObject namedNames = param.get_attribute_boxed(tc,
gcx.Parameter, "$!named_names", HINT_named_names);
if (namedNames != null)
return TRIAL_BIND_NOT_SURE;
SixModelObject postConstraints = param.get_attribute_boxed(tc,
gcx.Parameter, "$!post_constraints", HINT_post_constraints);
if (postConstraints != null)
return TRIAL_BIND_NOT_SURE;
SixModelObject typeCaptures = param.get_attribute_boxed(tc,
gcx.Parameter, "$!type_captures", HINT_type_captures);
if (typeCaptures != null)
return TRIAL_BIND_NOT_SURE;

/* Do we have an argument for this parameter? */
if (curPosArg >= numPosArgs) {
/* No; if it's not optional, fail.*/
if ((flags & SIG_ELEM_IS_OPTIONAL) == 0)
return TRIAL_BIND_NO_WAY;
}
else {
/* Yes, need to consider type. */
int gotPrim = csd.argFlags[curPosArg];
if ((flags & SIG_ELEM_NATIVE_VALUE) != 0) {
if (gotPrim == CallSiteDescriptor.ARG_OBJ) {
/* We got an object; if we aren't sure we can unbox, we can't
* be sure about the dispatch. */
SixModelObject arg = (SixModelObject)args[i];
StorageSpec spec = arg.st.REPR.get_storage_spec(tc, arg.st);
switch (flags & SIG_ELEM_NATIVE_VALUE) {
case SIG_ELEM_NATIVE_INT_VALUE:
if ((spec.can_box & StorageSpec.CAN_BOX_INT) == 0)
return TRIAL_BIND_NOT_SURE;
break;
case SIG_ELEM_NATIVE_NUM_VALUE:
if ((spec.can_box & StorageSpec.CAN_BOX_NUM) == 0)
return TRIAL_BIND_NOT_SURE;
break;
case SIG_ELEM_NATIVE_STR_VALUE:
if ((spec.can_box & StorageSpec.CAN_BOX_STR) == 0)
return TRIAL_BIND_NOT_SURE;
break;
default:
/* WTF... */
return TRIAL_BIND_NOT_SURE;
}
}
else {
/* If it's the wrong type of native, there's no way it
* can ever bind. */
if (((flags & SIG_ELEM_NATIVE_INT_VALUE) != 0 && gotPrim != CallSiteDescriptor.ARG_INT) ||
((flags & SIG_ELEM_NATIVE_NUM_VALUE) != 0 && gotPrim != CallSiteDescriptor.ARG_NUM) ||
((flags & SIG_ELEM_NATIVE_STR_VALUE) != 0 && gotPrim != CallSiteDescriptor.ARG_STR))
return TRIAL_BIND_NO_WAY;
}
}
else {
/* Work out a parameter type to consider, and see if it matches. */
SixModelObject arg =
gotPrim == CallSiteDescriptor.ARG_OBJ ? (SixModelObject)args[curPosArg] :
gotPrim == CallSiteDescriptor.ARG_INT ? gcx.Int :
gotPrim == CallSiteDescriptor.ARG_NUM ? gcx.Num :
gcx.Str;
SixModelObject nominalType = param.get_attribute_boxed(tc,
gcx.Parameter, "$!nominal_type", HINT_nominal_type);
if (nominalType != gcx.Mu && Ops.istype(arg, nominalType, tc) == 0) {
/* If it failed because we got a junction, may auto-thread;
* hand back "not sure" for now. */
if (arg.st.WHAT == gcx.Junction)
return TRIAL_BIND_NOT_SURE;

/* It failed to, but that doesn't mean it can't work at runtime;
* we perhaps want an Int, and the most we know is we have an Any,
* which would include Int. However, the Int ~~ Str case can be
* rejected now, as there's no way it'd ever match. Basically, we
* just flip the type check around. */
return Ops.istype(nominalType, arg, tc) != 0
? TRIAL_BIND_NOT_SURE
: TRIAL_BIND_NO_WAY;
}
}
}

/* Continue to next argument. */
curPosArg++;
}

/* If we have any left over arguments, it's a binding fail. */
if (curPosArg < numPosArgs)
return TRIAL_BIND_NO_WAY;

/* Otherwise, if we get there, all is well. */
return TRIAL_BIND_OK;
}
}
35 changes: 32 additions & 3 deletions src/vm/jvm/runtime/org/perl6/rakudo/RakOps.java
View file
Expand Up @@ -355,9 +355,38 @@ public static long p6isbindable(SixModelObject sig, SixModelObject cap, ThreadCo
}
}

public static long p6trialbind(SixModelObject routine, SixModelObject values, SixModelObject flags, ThreadContext tc) {
/* TODO */
return Binder.TRIAL_BIND_NOT_SURE;
public static long p6trialbind(SixModelObject sig, SixModelObject values, SixModelObject flags, ThreadContext tc) {
/* Get signature and parameters. */
GlobalExt gcx = key.getGC(tc);
SixModelObject params = sig.get_attribute_boxed(tc, gcx.Signature, "$!params", HINT_SIG_PARAMS);

/* Form argument array and call site descriptor. */
int numArgs = (int)values.elems(tc);
Object[] args = new Object[numArgs];
byte[] argFlags = new byte[numArgs];
for (int i = 0; i < numArgs; i++) {
switch ((int)flags.at_pos_boxed(tc, i).get_int(tc)) {
case CallSiteDescriptor.ARG_INT:
args[i] = 0;
argFlags[i] = CallSiteDescriptor.ARG_INT;
break;
case CallSiteDescriptor.ARG_NUM:
args[i] = 0.0;
argFlags[i] = CallSiteDescriptor.ARG_NUM;
break;
case CallSiteDescriptor.ARG_STR:
args[i] = "";
argFlags[i] = CallSiteDescriptor.ARG_STR;
break;
default:
args[i] = values.at_pos_boxed(tc, i);
argFlags[i] = CallSiteDescriptor.ARG_OBJ;
break;
}
}

/* Do trial bind. */
return Binder.trialBind(tc, gcx, params, new CallSiteDescriptor(argFlags, null), args);
}

public static SixModelObject p6parcel(SixModelObject array, SixModelObject fill, ThreadContext tc) {
Expand Down

0 comments on commit fe0813a

Please sign in to comment.