public void EmitArrayAddress(ArrayContainer ac)
{
if (ac.Rank > 1)
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Call, ac.GetAddressMethod());
if (TrackStackTypes)
{
SetStackType(ReferenceContainer.MakeType(Module, ac.Element));
}
}
else
{
var type = IsAnonymousStoreyMutateRequired ?
CurrentAnonymousMethod.Storey.Mutator.Mutate(ac.Element) :
ac.Element;
ig.Emit(OpCodes.Ldelema, type.GetMetaInfo());
if (TrackStackTypes)
{
SetStackType(ReferenceContainer.MakeType(Module, type));
}
}
}
public void EmitArrayNew(ArrayContainer ac)
{
if (ac.Rank == 1)
{
var type = IsAnonymousStoreyMutateRequired ?
CurrentAnonymousMethod.Storey.Mutator.Mutate(ac.Element) :
ac.Element;
ig.Emit(OpCodes.Newarr, type.GetMetaInfo());
}
else
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Newobj, ac.GetConstructor());
}
if (TrackStackTypes)
{
SetStackType(ac);
}
}
public void EmitArrayNew(ArrayContainer ac)
{
if (ac.Rank == 1)
{
Emit(OpCodes.Newarr, ac.Element);
}
else
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Newobj, ac.GetConstructor());
}
}
public void EmitArrayAddress(ArrayContainer ac)
{
if (ac.Rank > 1)
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Call, ac.GetAddressMethod());
}
else
{
Emit(OpCodes.Ldelema, ac.Element);
}
}
//
// Emits the right opcode to store to an array
//
public void EmitArrayStore(ArrayContainer ac)
{
if (ac.Rank > 1)
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Call, ac.GetSetMethod());
return;
}
var type = ac.Element;
if (type.Kind == MemberKind.Enum)
{
type = EnumSpec.GetUnderlyingType(type);
}
switch (type.BuiltinType)
{
case BuiltinTypeSpec.Type.Byte:
case BuiltinTypeSpec.Type.SByte:
case BuiltinTypeSpec.Type.Bool:
Emit(OpCodes.Stelem_I1);
return;
case BuiltinTypeSpec.Type.Short:
case BuiltinTypeSpec.Type.UShort:
case BuiltinTypeSpec.Type.Char:
Emit(OpCodes.Stelem_I2);
return;
case BuiltinTypeSpec.Type.Int:
case BuiltinTypeSpec.Type.UInt:
Emit(OpCodes.Stelem_I4);
return;
case BuiltinTypeSpec.Type.Long:
case BuiltinTypeSpec.Type.ULong:
Emit(OpCodes.Stelem_I8);
return;
case BuiltinTypeSpec.Type.Float:
Emit(OpCodes.Stelem_R4);
return;
case BuiltinTypeSpec.Type.Double:
Emit(OpCodes.Stelem_R8);
return;
}
switch (type.Kind)
{
case MemberKind.Struct:
Emit(OpCodes.Stobj, type);
break;
case MemberKind.TypeParameter:
Emit(OpCodes.Stelem, type);
break;
case MemberKind.PointerType:
Emit(OpCodes.Stelem_I);
break;
default:
Emit(OpCodes.Stelem_Ref);
break;
}
}
//
// Emits the right opcode to load from an array
//
public void EmitArrayLoad(ArrayContainer ac)
{
if (ac.Rank > 1)
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Call, ac.GetGetMethod());
return;
}
var type = ac.Element;
if (type.Kind == MemberKind.Enum)
{
type = EnumSpec.GetUnderlyingType(type);
}
switch (type.BuiltinType)
{
case BuiltinTypeSpec.Type.Bool:
//
// bool array can actually store any byte value in underlying byte slot
// and C# spec does not specify any normalization rule, except the result
// is undefined
//
case BuiltinTypeSpec.Type.Byte:
ig.Emit(OpCodes.Ldelem_U1);
break;
case BuiltinTypeSpec.Type.SByte:
ig.Emit(OpCodes.Ldelem_I1);
break;
case BuiltinTypeSpec.Type.Short:
ig.Emit(OpCodes.Ldelem_I2);
break;
case BuiltinTypeSpec.Type.UShort:
case BuiltinTypeSpec.Type.Char:
ig.Emit(OpCodes.Ldelem_U2);
break;
case BuiltinTypeSpec.Type.Int:
ig.Emit(OpCodes.Ldelem_I4);
break;
case BuiltinTypeSpec.Type.UInt:
ig.Emit(OpCodes.Ldelem_U4);
break;
case BuiltinTypeSpec.Type.ULong:
case BuiltinTypeSpec.Type.Long:
ig.Emit(OpCodes.Ldelem_I8);
break;
case BuiltinTypeSpec.Type.Float:
ig.Emit(OpCodes.Ldelem_R4);
break;
case BuiltinTypeSpec.Type.Double:
ig.Emit(OpCodes.Ldelem_R8);
break;
case BuiltinTypeSpec.Type.IntPtr:
ig.Emit(OpCodes.Ldelem_I);
break;
default:
switch (type.Kind)
{
case MemberKind.Struct:
if (IsAnonymousStoreyMutateRequired)
{
type = CurrentAnonymousMethod.Storey.Mutator.Mutate(type);
}
ig.Emit(OpCodes.Ldelema, type.GetMetaInfo());
ig.Emit(OpCodes.Ldobj, type.GetMetaInfo());
break;
case MemberKind.TypeParameter:
if (IsAnonymousStoreyMutateRequired)
{
type = CurrentAnonymousMethod.Storey.Mutator.Mutate(type);
}
ig.Emit(OpCodes.Ldelem, type.GetMetaInfo());
break;
case MemberKind.PointerType:
ig.Emit(OpCodes.Ldelem_I);
break;
default:
ig.Emit(OpCodes.Ldelem_Ref);
break;
}
break;
}
}
//
// Emits the right opcode to load from an array
//
public void EmitArrayLoad(ArrayContainer ac)
{
if (ac.Rank > 1)
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Call, ac.GetGetMethod());
return;
}
var type = ac.Element;
if (type.Kind == MemberKind.Enum)
{
type = EnumSpec.GetUnderlyingType(type);
}
switch (type.BuiltinType)
{
case BuiltinTypeSpec.Type.Bool:
//
// Workaround MSIL limitation. Load bool element as single bit,
// bool array can actually store any byte value
//
ig.Emit(OpCodes.Ldelem_U1);
ig.Emit(OpCodes.Ldc_I4_0);
ig.Emit(OpCodes.Cgt_Un);
break;
case BuiltinTypeSpec.Type.Byte:
ig.Emit(OpCodes.Ldelem_U1);
break;
case BuiltinTypeSpec.Type.SByte:
ig.Emit(OpCodes.Ldelem_I1);
break;
case BuiltinTypeSpec.Type.Short:
ig.Emit(OpCodes.Ldelem_I2);
break;
case BuiltinTypeSpec.Type.UShort:
case BuiltinTypeSpec.Type.Char:
ig.Emit(OpCodes.Ldelem_U2);
break;
case BuiltinTypeSpec.Type.Int:
ig.Emit(OpCodes.Ldelem_I4);
break;
case BuiltinTypeSpec.Type.UInt:
ig.Emit(OpCodes.Ldelem_U4);
break;
case BuiltinTypeSpec.Type.ULong:
case BuiltinTypeSpec.Type.Long:
ig.Emit(OpCodes.Ldelem_I8);
break;
case BuiltinTypeSpec.Type.Float:
ig.Emit(OpCodes.Ldelem_R4);
break;
case BuiltinTypeSpec.Type.Double:
ig.Emit(OpCodes.Ldelem_R8);
break;
case BuiltinTypeSpec.Type.IntPtr:
ig.Emit(OpCodes.Ldelem_I);
break;
default:
switch (type.Kind)
{
case MemberKind.Struct:
if (IsAnonymousStoreyMutateRequired)
{
type = CurrentAnonymousMethod.Storey.Mutator.Mutate(type);
}
ig.Emit(OpCodes.Ldelema, type.GetMetaInfo());
ig.Emit(OpCodes.Ldobj, type.GetMetaInfo());
break;
case MemberKind.TypeParameter:
if (IsAnonymousStoreyMutateRequired)
{
type = CurrentAnonymousMethod.Storey.Mutator.Mutate(type);
}
ig.Emit(OpCodes.Ldelem, type.GetMetaInfo());
break;
case MemberKind.PointerType:
ig.Emit(OpCodes.Ldelem_I);
break;
default:
ig.Emit(OpCodes.Ldelem_Ref);
break;
}
break;
}
}
//
// Emits the right opcode to store to an array
//
public void EmitArrayStore(ArrayContainer ac)
{
if (ac.Rank > 1)
{
if (IsAnonymousStoreyMutateRequired)
{
ac = (ArrayContainer)ac.Mutate(CurrentAnonymousMethod.Storey.Mutator);
}
ig.Emit(OpCodes.Call, ac.GetSetMethod());
return;
}
var type = ac.Element;
if (type.IsEnum)
{
type = EnumSpec.GetUnderlyingType(type);
}
if (type == TypeManager.byte_type || type == TypeManager.sbyte_type || type == TypeManager.bool_type)
{
Emit(OpCodes.Stelem_I1);
}
else if (type == TypeManager.short_type || type == TypeManager.ushort_type || type == TypeManager.char_type)
{
Emit(OpCodes.Stelem_I2);
}
else if (type == TypeManager.int32_type || type == TypeManager.uint32_type)
{
Emit(OpCodes.Stelem_I4);
}
else if (type == TypeManager.int64_type || type == TypeManager.uint64_type)
{
Emit(OpCodes.Stelem_I8);
}
else if (type == TypeManager.float_type)
{
Emit(OpCodes.Stelem_R4);
}
else if (type == TypeManager.double_type)
{
Emit(OpCodes.Stelem_R8);
}
else if (type == TypeManager.intptr_type)
{
Emit(OpCodes.Stobj, type);
}
else if (TypeManager.IsStruct(type))
{
Emit(OpCodes.Stobj, type);
}
else if (type.IsGenericParameter)
{
Emit(OpCodes.Stelem, type);
}
else if (type.IsPointer)
{
Emit(OpCodes.Stelem_I);
}
else
{
Emit(OpCodes.Stelem_Ref);
}
}
