src/share/classes/java/lang/invoke/MethodHandleImpl.java
Index
Unified diffs
Context diffs
Sdiffs
Patch
New
Old
Previous File
Next File
*** old/src/share/classes/java/lang/invoke/MethodHandleImpl.java Fri Aug 29 21:18:21 2014
--- new/src/share/classes/java/lang/invoke/MethodHandleImpl.java Fri Aug 29 21:18:21 2014
*** 638,670 ****
--- 638,707 ----
static
MethodHandle makeGuardWithTest(MethodHandle test,
MethodHandle target,
MethodHandle fallback) {
! MethodType basicType = target.type().basicType();
! MethodHandle invokeBasic = MethodHandles.basicInvoker(basicType);
! int arity = basicType.parameterCount();
! int extraNames = 3;
! MethodType type = target.type();
! assert(test.type().equals(type.changeReturnType(boolean.class)) && fallback.type().equals(type));
! MethodType basicType = type.basicType();
! LambdaForm form = makeGuardWithTestForm(basicType);
+ BoundMethodHandle.SpeciesData data = BoundMethodHandle.speciesData_LLL();
+ BoundMethodHandle mh;
+ try {
+ mh = (BoundMethodHandle)
+ data.constructor().invokeBasic(type, form,
+ (Object) test, (Object) target, (Object) fallback);
+ } catch (Throwable ex) {
+ throw uncaughtException(ex);
+ }
+ assert(mh.type() == type);
+ return mh;
+ }
+
+ static
+ LambdaForm makeGuardWithTestForm(MethodType basicType) {
+ LambdaForm lform = basicType.form().cachedLambdaForm(MethodTypeForm.LF_GWT);
+ if (lform != null) return lform;
+ final int THIS_MH = 0; // the BMH_LLL
+ final int ARG_BASE = 1; // start of incoming arguments
+ final int ARG_LIMIT = ARG_BASE + basicType.parameterCount();
+ int nameCursor = ARG_LIMIT;
+ final int GET_TEST = nameCursor++;
+ final int GET_TARGET = nameCursor++;
+ final int GET_FALLBACK = nameCursor++;
+ final int CALL_TEST = nameCursor++;
+ final int SELECT_ALT = nameCursor++;
+ final int CALL_TARGET = nameCursor++;
+ assert(CALL_TARGET == SELECT_ALT+1); // must be true to trigger IBG.emitSelectAlternative
+
MethodType lambdaType = basicType.invokerType();
! Name[] names = arguments(extraNames, lambdaType);
! Name[] names = arguments(nameCursor - ARG_LIMIT, lambdaType);
! Object[] testArgs = Arrays.copyOfRange(names, 1, 1 + arity, Object[].class);
! Object[] targetArgs = Arrays.copyOfRange(names, 0, 1 + arity, Object[].class);
! BoundMethodHandle.SpeciesData data = BoundMethodHandle.speciesData_LLL();
! names[THIS_MH] = names[THIS_MH].withConstraint(data);
+ names[GET_TEST] = new Name(data.getterFunction(0), names[THIS_MH]);
+ names[GET_TARGET] = new Name(data.getterFunction(1), names[THIS_MH]);
+ names[GET_FALLBACK] = new Name(data.getterFunction(2), names[THIS_MH]);
+
+ Object[] invokeArgs = Arrays.copyOfRange(names, 0, ARG_LIMIT, Object[].class);
// call test
! names[arity + 1] = new Name(test, testArgs);
! MethodType testType = basicType.changeReturnType(boolean.class).basicType();
+ invokeArgs[0] = names[GET_TEST];
+ names[CALL_TEST] = new Name(testType, invokeArgs);
// call selectAlternative
Object[] selectArgs = { names[arity + 1], target, fallback };
! names[arity + 2] = new Name(Lazy.MH_selectAlternative, selectArgs);
targetArgs[0] = names[arity + 2];
+ names[SELECT_ALT] = new Name(Lazy.MH_selectAlternative, names[CALL_TEST],
! names[GET_TARGET], names[GET_FALLBACK]);
// call target or fallback
! names[arity + 3] = new Name(new NamedFunction(invokeBasic), targetArgs);
! invokeArgs[0] = names[SELECT_ALT];
+ names[CALL_TARGET] = new Name(basicType, invokeArgs);
+
+ lform = new LambdaForm("guard", lambdaType.parameterCount(), names);
! LambdaForm form = new LambdaForm("guard", lambdaType.parameterCount(), names);
return SimpleMethodHandle.make(target.type(), form);
! return basicType.form().setCachedLambdaForm(MethodTypeForm.LF_GWT, lform);
}
/**
* The LambaForm shape for catchException combinator is the following:
* <blockquote><pre>{@code
src/share/classes/java/lang/invoke/MethodHandleImpl.java
Index
Unified diffs
Context diffs
Sdiffs
Patch
New
Old
Previous File
Next File