|
private Emit ( |
||
| cg | Associated code generator. | |
| Результат | TypeSymbol | |
public void EmitConvert(BoundExpression expr, TypeSymbol to)
{
// bind target expression type
expr.Access = expr.Access.WithRead(to);
// constants
if (expr.ConstantValue.HasValue && to != null)
{
EmitConvert(EmitLoadConstant(expr.ConstantValue.Value, to), 0, to);
return;
}
// loads value from place most effectively without runtime type checking
var place = PlaceOrNull(expr);
var type = TryEmitVariableSpecialize(place, expr.TypeRefMask);
if (type != null)
{
EmitConvert(type, 0, to);
return;
}
// avoiding of load of full value
if (place != null && place.HasAddress)
{
if (place.TypeOpt == CoreTypes.PhpNumber)
{
if (to.SpecialType == SpecialType.System_Int64)
{
// <place>.ToLong()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpNumber.ToLong);
return;
}
if (to.SpecialType == SpecialType.System_Double)
{
// <place>.ToDouble()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpNumber.ToDouble);
return;
}
if (to.SpecialType == SpecialType.System_Boolean)
{
// <place>.ToBoolean()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpNumber.ToBoolean);
return;
}
if (to.SpecialType == SpecialType.System_String)
{
// <place>.ToString(<ctx>)
place.EmitLoadAddress(_il);
EmitLoadContext();
EmitCall(ILOpCode.Call, CoreMethods.PhpNumber.ToString_Context);
return;
}
if (to == CoreTypes.PhpValue)
{
// TODO
}
// TODO: Object, Array
}
else if (place.TypeOpt == CoreTypes.PhpValue)
{
if (to.SpecialType == SpecialType.System_Int64)
{
// <place>.ToLong()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpValue.ToLong);
return;
}
if (to.SpecialType == SpecialType.System_Double)
{
// <place>.ToDouble()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpValue.ToDouble);
return;
}
if (to.SpecialType == SpecialType.System_Boolean)
{
// <place>.ToBoolean()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpValue.ToBoolean);
return;
}
if (to.SpecialType == SpecialType.System_String)
{
// <place>.ToString(<ctx>)
place.EmitLoadAddress(_il);
EmitLoadContext();
EmitCall(ILOpCode.Call, CoreMethods.PhpValue.ToString_Context);
return;
}
if (to.SpecialType == SpecialType.System_Object)
{
// <place>.ToClass()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.PhpValue.ToClass);
return;
}
//if (to == CoreTypes.PhpArray)
//{
// // <place>.AsArray()
// place.EmitLoadAddress(_il);
// EmitCall(ILOpCode.Call, CoreMethods.PhpValue.ToArray);
// return;
//}
}
else if (place.TypeOpt == CoreTypes.Long)
{
if (to.SpecialType == SpecialType.System_String)
{
// <place>.ToString()
place.EmitLoadAddress(_il);
EmitCall(ILOpCode.Call, CoreMethods.Operators.Long_ToString);
return;
}
}
}
//
EmitConvert(expr.Emit(this), expr.TypeRefMask, to);
}
/// <summary>
/// If possible, based on type analysis, unwraps more specific type from a value currently on stack without a runtime type check.
/// </summary>
/// <returns>New type on top of evaluation stack.</returns>
internal TypeSymbol EmitSpecialize(BoundExpression expr)
{
// load resulting value directly if resolved:
if (expr.ConstantValue.HasValue)
{
if (expr.Access.IsNone)
{
return CoreTypes.Void;
}
if (expr.Access.IsRead)
{
return EmitLoadConstant(expr.ConstantValue.Value, expr.Access.TargetType);
}
}
//
if (expr.Access.IsNone) // no need for specializing, the value won't be read anyway
{
return (expr.ResultType = expr.Emit(this));
}
else
{
Debug.Assert(expr.Access.IsRead);
return expr.ResultType = (TryEmitVariableSpecialize(expr) ?? EmitSpecialize(expr.Emit(this), expr.TypeRefMask));
}
}