public void EmitConstructor(IBlockContext context)
{
foreach (StructField field in fields.Where(e => e.IsRight).Select(e => e.Right))
{
TO2Type initializerType = field.initializer.ResultType(context);
if (!field.type.IsAssignableFrom(context.ModuleContext, initializerType))
{
context.AddError(new StructuralError(
StructuralError.ErrorType.IncompatibleTypes,
$"Expected item {field.name} of {name} to be a {field.type}, found {initializerType}",
Start,
End
));
}
}
if (context.HasErrors)
{
return;
}
Type type = typeDelegate.GeneratedType(context.ModuleContext);
IBlockVariable variable =
context.DeclaredVariable("instance", false, typeDelegate.UnderlyingType(context.ModuleContext));
variable.EmitLoad(context);
foreach (StructField field in fields.Where(e => e.IsRight).Select(e => e.Right))
{
context.IL.Emit(OpCodes.Dup);
field.initializer.EmitCode(context, false);
field.type.AssignFrom(context.ModuleContext, field.initializer.ResultType(context))
.EmitConvert(context);
context.IL.Emit(OpCodes.Stfld, type.GetField(field.name));
}
context.IL.EmitReturn(type);
typeDelegate.CreateStructType();
}
private ILCount EstimateLoop(IBlockContext context, IForInSource source)
{
IBlockContext prepContext = context.CloneCountingContext();
sourceExpression.EmitCode(prepContext, false);
source.EmitInitialize(prepContext);
IBlockContext countingContext = prepContext.CloneCountingContext()
.CreateLoopContext(context.IL.DefineLabel(false), context.IL.DefineLabel(false));
IBlockVariable loopVariable = countingContext.DeclaredVariable(variableName, true, source.ElementType);
LabelRef loop = countingContext.IL.DefineLabel(false);
source.EmitNext(countingContext);
loopVariable.EmitStore(countingContext);
loopExpression.EmitCode(countingContext, true);
source.EmitCheckDone(countingContext, loop);
return(new ILCount {
opCodes = countingContext.IL.ILSize,
stack = countingContext.IL.StackCount
});
}
public override void EmitCode(IBlockContext context, bool dropResult)
{
if (condition.ResultType(context) != BuiltinType.Bool)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.InvalidType,
"Condition of while is not a boolean",
Start,
End
)
);
}
IBlockContext tmpContext =
context.CreateLoopContext(context.IL.DefineLabel(false), context.IL.DefineLabel(false));
Dictionary <string, TO2Type> scopeVariables = condition.GetScopeVariables(tmpContext);
if (scopeVariables != null)
{
foreach (var(name, type) in scopeVariables)
{
tmpContext.DeclaredVariable(name, true, type.UnderlyingType(context.ModuleContext));
}
}
ILCount conditionCount = condition.GetILCount(tmpContext, false);
ILCount loopCount = loopExpression.GetILCount(tmpContext, true);
if (loopCount.stack > 0)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.CoreGeneration,
"Body of the while expression leaves values on stack. This must not happen",
Start,
End
)
);
return;
}
if (context.HasErrors)
{
return;
}
using ITempLocalRef loopCounter = context.IL.TempLocal(typeof(int));
LabelRef whileStart = context.IL.DefineLabel(conditionCount.opCodes + loopCount.opCodes < 110);
LabelRef whileEnd = context.IL.DefineLabel(conditionCount.opCodes + loopCount.opCodes < 110);
LabelRef whileLoop = context.IL.DefineLabel(conditionCount.opCodes + loopCount.opCodes < 100);
IBlockContext loopContext = context.CreateLoopContext(whileStart, whileEnd);
if (scopeVariables != null)
{
foreach (var(name, type) in scopeVariables)
{
if (loopContext.FindVariable(name) != null)
{
loopContext.AddError(new StructuralError(
StructuralError.ErrorType.DuplicateVariableName,
$"Variable '{name}' already declared in this scope",
Start,
End
));
return;
}
loopContext.DeclaredVariable(name, true, type.UnderlyingType(context.ModuleContext));
}
}
loopContext.IL.Emit(whileStart.isShort ? OpCodes.Br_S : OpCodes.Br, whileStart);
context.IL.MarkLabel(whileLoop);
// Timeout check
LabelRef skipCheck = context.IL.DefineLabel(true);
loopCounter.EmitLoad(loopContext);
loopContext.IL.Emit(OpCodes.Ldc_I4_1);
loopContext.IL.Emit(OpCodes.Add);
loopContext.IL.Emit(OpCodes.Dup);
loopCounter.EmitStore(loopContext);
loopContext.IL.Emit(OpCodes.Ldc_I4, 10000);
loopContext.IL.Emit(OpCodes.Cgt);
loopContext.IL.Emit(OpCodes.Brfalse, skipCheck);
loopContext.IL.Emit(OpCodes.Ldc_I4_0);
loopCounter.EmitStore(loopContext);
context.IL.EmitCall(OpCodes.Call, typeof(Runtime.ContextHolder).GetMethod("CheckTimeout"), 0);
loopContext.IL.MarkLabel(skipCheck);
loopExpression.EmitCode(loopContext, true);
loopContext.IL.MarkLabel(whileStart);
condition.EmitCode(loopContext, false);
loopContext.IL.Emit(whileLoop.isShort ? OpCodes.Brtrue_S : OpCodes.Brtrue, whileLoop);
loopContext.IL.MarkLabel(whileEnd);
if (!dropResult)
{
context.IL.Emit(OpCodes.Ldnull);
}
}
public override void EmitCode(IBlockContext context, bool dropResult)
{
if (condition.ResultType(context) != BuiltinType.Bool)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.InvalidType,
"Condition of if is not a boolean",
Start,
End
)
);
return;
}
IBlockContext thenContext = context.CreateChildContext();
Dictionary <string, TO2Type> scopeVariables = condition.GetScopeVariables(thenContext);
if (scopeVariables != null)
{
foreach (var(name, type) in scopeVariables)
{
if (thenContext.FindVariable(name) != null)
{
thenContext.AddError(new StructuralError(
StructuralError.ErrorType.DuplicateVariableName,
$"Variable '{name}' already declared in this scope",
Start,
End
));
return;
}
thenContext.DeclaredVariable(name, true, type.UnderlyingType(context.ModuleContext));
}
}
ILCount thenCount = thenExpression.GetILCount(thenContext, true);
if (!context.HasErrors && thenCount.stack > 0)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.CoreGeneration,
"Then expression leaves values on stack. This must not happen",
Start,
End
)
);
return;
}
condition.EmitCode(thenContext, false);
if (context.HasErrors)
{
return;
}
TO2Type thenResultType = thenExpression.ResultType(thenContext);
if (dropResult)
{
LabelRef skipThen = context.IL.DefineLabel(thenCount.opCodes < 124);
thenContext.IL.Emit(skipThen.isShort ? OpCodes.Brfalse_S : OpCodes.Brfalse, skipThen);
thenExpression.EmitCode(thenContext, true);
thenContext.IL.MarkLabel(skipThen);
}
else
{
OptionType optionType = new OptionType(thenResultType);
Type generatedType = optionType.GeneratedType(thenContext.ModuleContext);
using ITempLocalRef tempResult = thenContext.IL.TempLocal(generatedType);
LabelRef skipThen = thenContext.IL.DefineLabel(thenCount.opCodes < 114);
thenContext.IL.Emit(skipThen.isShort ? OpCodes.Brfalse_S : OpCodes.Brfalse, skipThen);
thenExpression.Prepare(thenContext);
tempResult.EmitLoadPtr(context);
thenContext.IL.Emit(OpCodes.Dup);
thenContext.IL.Emit(OpCodes.Initobj, generatedType, 1, 0);
thenContext.IL.Emit(OpCodes.Dup);
thenContext.IL.Emit(OpCodes.Ldc_I4_1);
thenContext.IL.Emit(OpCodes.Stfld, generatedType.GetField("defined"));
thenExpression.EmitCode(thenContext, false);
thenContext.IL.Emit(OpCodes.Stfld, generatedType.GetField("value"));
LabelRef ifEnd = context.IL.DefineLabel(true);
thenContext.IL.Emit(OpCodes.Br_S, ifEnd);
thenContext.IL.MarkLabel(skipThen);
tempResult.EmitLoadPtr(context);
thenContext.IL.Emit(OpCodes.Initobj, generatedType, 1, 0);
thenContext.IL.MarkLabel(ifEnd);
tempResult.EmitLoad(thenContext);
}
}
public override void EmitCode(IBlockContext context, bool dropResult)
{
if (condition.ResultType(context) != BuiltinType.Bool)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.InvalidType,
"Condition of if is not a boolean",
Start,
End
)
);
return;
}
IBlockContext thenContext = context.CreateChildContext();
IBlockContext elseContext = context.CreateChildContext();
Dictionary <string, TO2Type> scopeVariables = condition.GetScopeVariables(thenContext);
if (scopeVariables != null)
{
foreach (var(name, type) in scopeVariables)
{
if (thenContext.FindVariable(name) != null)
{
thenContext.AddError(new StructuralError(
StructuralError.ErrorType.DuplicateVariableName,
$"Variable '{name}' already declared in this scope",
Start,
End
));
return;
}
thenContext.DeclaredVariable(name, true, type.UnderlyingType(context.ModuleContext));
}
}
ILCount thenCount = thenExpression.GetILCount(thenContext, dropResult);
ILCount elseCount = elseExpression.GetILCount(elseContext, dropResult);
if (!context.HasErrors && thenCount.stack > 1)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.CoreGeneration,
"Then expression leaves too many values on stack. This must not happen",
Start,
End
)
);
return;
}
if (!context.HasErrors && elseCount.stack > 1)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.CoreGeneration,
"Else expression leaves too many values on stack. This must not happen",
Start,
End
)
);
return;
}
condition.EmitCode(thenContext, false);
if (context.HasErrors)
{
return;
}
TO2Type thenType = thenExpression.ResultType(thenContext);
TO2Type elseType = elseExpression.ResultType(elseContext);
if (!dropResult)
{
if (!thenType.IsAssignableFrom(context.ModuleContext, elseType))
{
context.AddError(new StructuralError(
StructuralError.ErrorType.IncompatibleTypes,
$"If condition has incompatible result {thenType} != {elseType}",
Start,
End
));
}
}
if (context.HasErrors)
{
return;
}
LabelRef thenEnd = context.IL.DefineLabel(thenCount.opCodes < 124);
LabelRef elseEnd = context.IL.DefineLabel(elseCount.opCodes < 124);
context.IL.Emit(thenEnd.isShort ? OpCodes.Brfalse_S : OpCodes.Brfalse, thenEnd);
thenExpression.EmitCode(thenContext, dropResult);
context.IL.Emit(elseEnd.isShort ? OpCodes.Br_S : OpCodes.Br, elseEnd);
context.IL.MarkLabel(thenEnd);
if (!dropResult)
{
context.IL.AdjustStack(-1); // Then leave its result on the stack, so is else supposed to
}
elseExpression.EmitCode(elseContext, dropResult);
if (!dropResult)
{
thenType.AssignFrom(context.ModuleContext, elseType).EmitConvert(context);
}
context.IL.MarkLabel(elseEnd);
}
public override void EmitCode(IBlockContext context, bool dropResult)
{
RealizedType sourceType = sourceExpression.ResultType(context).UnderlyingType(context.ModuleContext);
IForInSource source = sourceType.ForInSource(context.ModuleContext, variableType);
if (source == null)
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.InvalidType,
$"{sourceType} cannot be use as for ... in source",
Start,
End
)
);
}
if (context.FindVariable(variableName) != null)
{
context.AddError(new StructuralError(
StructuralError.ErrorType.DuplicateVariableName,
$"Variable '{variableName}' already declared in this scope",
Start,
End
));
}
if (source != null && variableType != null &&
!variableType.IsAssignableFrom(context.ModuleContext, source.ElementType))
{
context.AddError(
new StructuralError(
StructuralError.ErrorType.InvalidType,
$"{sourceType} has elements of type {source.ElementType}, expected {variableType}",
Start,
End
)
);
}
if (context.HasErrors)
{
return;
}
using ITempLocalRef loopCounter = context.IL.TempLocal(typeof(int));
ILCount loopSize = EstimateLoop(context, source);
LabelRef start = context.IL.DefineLabel(loopSize.opCodes < 110);
LabelRef end = context.IL.DefineLabel(loopSize.opCodes < 110);
LabelRef loop = context.IL.DefineLabel(loopSize.opCodes < 100);
IBlockContext loopContext = context.CreateLoopContext(start, end);
IBlockVariable loopVariable = loopContext.DeclaredVariable(variableName, true, source !.ElementType);
sourceExpression.EmitCode(context, false);
if (context.HasErrors)
{
return;
}
source.EmitInitialize(loopContext);
loopContext.IL.Emit(start.isShort ? OpCodes.Br_S : OpCodes.Br, start);
loopContext.IL.MarkLabel(loop);
// Timeout check
LabelRef skipCheck = context.IL.DefineLabel(true);
loopCounter.EmitLoad(loopContext);
loopContext.IL.Emit(OpCodes.Ldc_I4_1);
loopContext.IL.Emit(OpCodes.Add);
loopContext.IL.Emit(OpCodes.Dup);
loopCounter.EmitStore(loopContext);
loopContext.IL.Emit(OpCodes.Ldc_I4, 10000);
loopContext.IL.Emit(OpCodes.Cgt);
loopContext.IL.Emit(OpCodes.Brfalse, skipCheck);
loopContext.IL.Emit(OpCodes.Ldc_I4_0);
loopCounter.EmitStore(loopContext);
context.IL.EmitCall(OpCodes.Call, typeof(Runtime.ContextHolder).GetMethod("CheckTimeout"), 0);
loopContext.IL.MarkLabel(skipCheck);
source.EmitNext(loopContext);
loopVariable.EmitStore(loopContext);
loopExpression.EmitCode(loopContext, true);
loopContext.IL.MarkLabel(start);
source.EmitCheckDone(loopContext, loop);
loopContext.IL.MarkLabel(end);
if (!dropResult)
{
context.IL.Emit(OpCodes.Ldnull);
}
}
