private static FieldWrapper GetFieldWrapper(object thisObj, RuntimeTypeHandle type, string clazz, string name, string sig, bool isStatic)
{
TypeWrapper caller = ClassLoaderWrapper.GetWrapperFromType(Type.GetTypeFromHandle(type));
TypeWrapper wrapper = LoadTypeWrapper(type, clazz);
FieldWrapper field = wrapper.GetFieldWrapper(name, sig);
if (field == null)
{
throw new java.lang.NoSuchFieldError(clazz + "." + name);
}
// TODO check loader constraints
if (field.IsStatic != isStatic)
{
throw new java.lang.IncompatibleClassChangeError(clazz + "." + name);
}
TypeWrapper objType = null;
if (thisObj != null)
{
objType = ClassLoaderWrapper.GetWrapperFromType(thisObj.GetType());
}
if (field.IsAccessibleFrom(wrapper, caller, objType))
{
return(field);
}
throw new java.lang.IllegalAccessError(field.DeclaringType.Name + "." + name);
}
private static bool Unsafe_compareAndSwapObject(EmitIntrinsicContext eic)
{
TypeWrapper tw = eic.GetStackTypeWrapper(0, 3);
if (IsSupportedArrayTypeForUnsafeOperation(tw) &&
eic.GetStackTypeWrapper(0, 0).IsAssignableTo(tw.ElementTypeWrapper) &&
eic.GetStackTypeWrapper(0, 1).IsAssignableTo(tw.ElementTypeWrapper))
{
Type type = tw.TypeAsLocalOrStackType.GetElementType();
CodeEmitterLocal update = eic.Emitter.AllocTempLocal(type);
CodeEmitterLocal expect = eic.Emitter.AllocTempLocal(type);
CodeEmitterLocal index = eic.Emitter.AllocTempLocal(Types.Int32);
CodeEmitterLocal obj = eic.Emitter.AllocTempLocal(tw.TypeAsLocalOrStackType);
eic.Emitter.Emit(OpCodes.Stloc, update);
eic.Emitter.Emit(OpCodes.Stloc, expect);
eic.Emitter.Emit(OpCodes.Conv_Ovf_I4);
eic.Emitter.Emit(OpCodes.Stloc, index);
eic.Emitter.Emit(OpCodes.Stloc, obj);
EmitConsumeUnsafe(eic);
eic.Emitter.Emit(OpCodes.Ldloc, obj);
eic.Emitter.Emit(OpCodes.Ldloc, index);
eic.Emitter.Emit(OpCodes.Ldelema, type);
eic.Emitter.Emit(OpCodes.Ldloc, update);
eic.Emitter.Emit(OpCodes.Ldloc, expect);
eic.Emitter.Emit(OpCodes.Call, AtomicReferenceFieldUpdaterEmitter.MakeCompareExchange(type));
eic.Emitter.Emit(OpCodes.Ldloc, expect);
eic.Emitter.Emit(OpCodes.Ceq);
eic.Emitter.ReleaseTempLocal(obj);
eic.Emitter.ReleaseTempLocal(index);
eic.Emitter.ReleaseTempLocal(expect);
eic.Emitter.ReleaseTempLocal(update);
eic.NonLeaf = false;
return(true);
}
if ((eic.Flags[eic.OpcodeIndex] & InstructionFlags.BranchTarget) != 0 ||
(eic.Flags[eic.OpcodeIndex - 1] & InstructionFlags.BranchTarget) != 0 ||
(eic.Flags[eic.OpcodeIndex - 2] & InstructionFlags.BranchTarget) != 0)
{
return(false);
}
if ((eic.Match(-1, NormalizedByteCode.__aload) || eic.Match(-1, NormalizedByteCode.__aconst_null)) &&
(eic.Match(-2, NormalizedByteCode.__aload) || eic.Match(-2, NormalizedByteCode.__aconst_null)) &&
eic.Match(-3, NormalizedByteCode.__getstatic))
{
FieldWrapper fw = GetUnsafeField(eic, eic.GetFieldref(-3));
if (fw != null &&
fw.IsAccessibleFrom(fw.DeclaringType, eic.Caller.DeclaringType, fw.DeclaringType) &&
eic.GetStackTypeWrapper(0, 0).IsAssignableTo(fw.FieldTypeWrapper) &&
eic.GetStackTypeWrapper(0, 1).IsAssignableTo(fw.FieldTypeWrapper) &&
(fw.IsStatic || fw.DeclaringType == eic.GetStackTypeWrapper(0, 3)))
{
Type type = fw.FieldTypeWrapper.TypeAsLocalOrStackType;
CodeEmitterLocal update = eic.Emitter.AllocTempLocal(type);
CodeEmitterLocal expect = eic.Emitter.AllocTempLocal(type);
eic.Emitter.Emit(OpCodes.Stloc, update);
eic.Emitter.Emit(OpCodes.Stloc, expect);
eic.Emitter.Emit(OpCodes.Pop); // discard index
if (fw.IsStatic)
{
eic.Emitter.Emit(OpCodes.Pop); // discard obj
EmitConsumeUnsafe(eic);
eic.Emitter.Emit(OpCodes.Ldsflda, fw.GetField());
}
else
{
CodeEmitterLocal obj = eic.Emitter.AllocTempLocal(eic.Caller.DeclaringType.TypeAsLocalOrStackType);
eic.Emitter.Emit(OpCodes.Stloc, obj);
EmitConsumeUnsafe(eic);
eic.Emitter.Emit(OpCodes.Ldloc, obj);
eic.Emitter.ReleaseTempLocal(obj);
eic.Emitter.Emit(OpCodes.Ldflda, fw.GetField());
}
eic.Emitter.Emit(OpCodes.Ldloc, update);
eic.Emitter.Emit(OpCodes.Ldloc, expect);
eic.Emitter.Emit(OpCodes.Call, AtomicReferenceFieldUpdaterEmitter.MakeCompareExchange(type));
eic.Emitter.Emit(OpCodes.Ldloc, expect);
eic.Emitter.Emit(OpCodes.Ceq);
eic.Emitter.ReleaseTempLocal(expect);
eic.Emitter.ReleaseTempLocal(update);
eic.NonLeaf = false;
return(true);
}
}
return(false);
}
private static bool Unsafe_putObjectImpl(EmitIntrinsicContext eic, bool membarrier)
{
TypeWrapper tw = eic.GetStackTypeWrapper(0, 2);
if (IsSupportedArrayTypeForUnsafeOperation(tw) &&
eic.GetStackTypeWrapper(0, 0).IsAssignableTo(tw.ElementTypeWrapper))
{
CodeEmitterLocal value = eic.Emitter.AllocTempLocal(tw.ElementTypeWrapper.TypeAsLocalOrStackType);
CodeEmitterLocal index = eic.Emitter.AllocTempLocal(Types.Int32);
CodeEmitterLocal array = eic.Emitter.AllocTempLocal(tw.TypeAsLocalOrStackType);
eic.Emitter.Emit(OpCodes.Stloc, value);
eic.Emitter.Emit(OpCodes.Conv_Ovf_I4);
eic.Emitter.Emit(OpCodes.Stloc, index);
eic.Emitter.Emit(OpCodes.Stloc, array);
EmitConsumeUnsafe(eic);
eic.Emitter.Emit(OpCodes.Ldloc, array);
eic.Emitter.Emit(OpCodes.Ldloc, index);
eic.Emitter.Emit(OpCodes.Ldloc, value);
eic.Emitter.ReleaseTempLocal(array);
eic.Emitter.ReleaseTempLocal(index);
eic.Emitter.ReleaseTempLocal(value);
eic.Emitter.Emit(OpCodes.Stelem_Ref);
if (membarrier)
{
eic.Emitter.EmitMemoryBarrier();
}
eic.NonLeaf = false;
return(true);
}
if ((eic.Flags[eic.OpcodeIndex] & InstructionFlags.BranchTarget) != 0 ||
(eic.Flags[eic.OpcodeIndex - 1] & InstructionFlags.BranchTarget) != 0)
{
return(false);
}
if ((eic.Match(-1, NormalizedByteCode.__aload) || eic.Match(-1, NormalizedByteCode.__aconst_null)) &&
eic.Match(-2, NormalizedByteCode.__getstatic))
{
FieldWrapper fw = GetUnsafeField(eic, eic.GetFieldref(-2));
if (fw != null &&
(!fw.IsFinal || (!fw.IsStatic && eic.Caller.Name == "<init>") || (fw.IsStatic && eic.Caller.Name == "<clinit>")) &&
fw.IsAccessibleFrom(fw.DeclaringType, eic.Caller.DeclaringType, fw.DeclaringType) &&
eic.GetStackTypeWrapper(0, 0).IsAssignableTo(fw.FieldTypeWrapper) &&
(fw.IsStatic || fw.DeclaringType == eic.GetStackTypeWrapper(0, 2)))
{
CodeEmitterLocal value = eic.Emitter.AllocTempLocal(fw.FieldTypeWrapper.TypeAsLocalOrStackType);
eic.Emitter.Emit(OpCodes.Stloc, value);
eic.Emitter.Emit(OpCodes.Pop); // discard offset field
if (fw.IsStatic)
{
eic.Emitter.Emit(OpCodes.Pop); // discard object
EmitConsumeUnsafe(eic);
}
else
{
CodeEmitterLocal obj = eic.Emitter.AllocTempLocal(fw.DeclaringType.TypeAsLocalOrStackType);
eic.Emitter.Emit(OpCodes.Stloc, obj);
EmitConsumeUnsafe(eic);
eic.Emitter.Emit(OpCodes.Ldloc, obj);
eic.Emitter.ReleaseTempLocal(obj);
}
eic.Emitter.Emit(OpCodes.Ldloc, value);
eic.Emitter.ReleaseTempLocal(value);
// note that we assume the CLR memory model where all writes are ordered,
// so we don't need a volatile store or a memory barrier and putOrderedObject
// is typically used with a volatile field, so to avoid the memory barrier,
// we don't use FieldWrapper.EmitSet(), but emit the store directly
eic.Emitter.Emit(fw.IsStatic ? OpCodes.Stsfld : OpCodes.Stfld, fw.GetField());
if (membarrier)
{
eic.Emitter.EmitMemoryBarrier();
}
eic.NonLeaf = false;
return(true);
}
}
return(false);
}