public override void Compile(Emitter.Emitter emitter)
{
// check types
var leftType = Left.GetExpressionType(emitter);
var rightType = Right.GetExpressionType(emitter);
if (leftType != "bool" || rightType != "bool")
Error(String.Format(Resources.errOperatorTypesMismatch, "||", leftType, rightType));
// create labels
var labelElse = emitter.CreateLabel();
var labelEnd = emitter.CreateLabel();
Left.Compile(emitter);
emitter.EmitBranchFalse(labelElse);
emitter.EmitLoadBool(true);
emitter.EmitBranch(labelEnd);
emitter.PlaceLabel(labelElse);
Right.Compile(emitter);
emitter.PlaceLabel(labelEnd);
}
public override void Compile(Emitter.Emitter emitter)
{
// check if condition is boolean
var condType = Condition.GetExpressionType(emitter);
MethodNode converter = null;
if (condType != "bool")
{
try
{
converter = emitter.FindMethod(condType, "to_b");
}
catch
{
Error(Resources.errBoolExpected);
}
}
// create markers
BodyStart = emitter.CreateLabel();
BodyEnd = emitter.CreateLabel();
emitter.PlaceLabel(BodyStart);
// condition
Condition.Compile(emitter);
if (converter != null)
emitter.EmitCall(converter);
emitter.EmitBranchFalse(BodyEnd);
// body
var preCurrLoop = emitter.CurrentLoop;
emitter.CurrentLoop = this;
Body.Compile(emitter);
emitter.CurrentLoop = preCurrLoop;
// re-test condition
emitter.EmitBranch(BodyStart);
emitter.PlaceLabel(BodyEnd);
}
public override void Compile(Emitter.Emitter emitter)
{
// check variable
if (emitter.CurrentMethod.Scope.Exists(Item.Data))
Error(String.Format(Resources.errVariableRedefinition, Item.Data), Item);
// check key if exists
if (Key != null && emitter.CurrentMethod.Scope.Exists(Key.Data))
Error(String.Format(Resources.errVariableRedefinition, Key.Data), Key);
// define labels
BodyStart = emitter.CreateLabel();
BodyEnd = emitter.CreateLabel();
var iterType = Iterable.GetExpressionType(emitter);
if (iterType == "range")
CompileRange(emitter);
else if (iterType == "dict")
CompileDict(emitter);
else if (iterType.EndsWith("[]"))
CompileArray(emitter);
else
Error(Resources.errForIterableExpected);
}
public override void Compile(Emitter.Emitter emitter)
{
// check if condition is boolean or can be converted
var condType = Condition.GetExpressionType(emitter);
MethodNode converter = null;
if (condType != "bool")
{
try
{
converter = emitter.FindMethod(condType, "to_b");
}
catch
{
Error(Resources.errBoolExpected);
}
}
FalseBlockStart = emitter.CreateLabel();
// condition
Condition.Compile(emitter);
if (converter != null)
emitter.EmitCall(converter);
emitter.EmitBranchFalse(FalseBlockStart);
// "true" body
TrueBlock.Compile(emitter);
// there is a false block?
if(FalseBlock != null)
{
// create a jump
FalseBlockEnd = emitter.CreateLabel();
emitter.EmitBranch(FalseBlockEnd);
emitter.PlaceLabel(FalseBlockStart);
// "false" body
FalseBlock.Compile(emitter);
emitter.PlaceLabel(FalseBlockEnd);
}
else
{
// put the 'nop' after the condition body
emitter.PlaceLabel(FalseBlockStart);
}
}
public override void Compile(Emitter.Emitter emitter)
{
// make sure there is an array
var exprType = Expression.GetExpressionType(emitter);
if (!exprType.Contains("[]"))
Error(Resources.errSplatArrayExpected);
// define required variables
var type = emitter.GetArrayItemType(exprType);
var typeRef = emitter.ResolveType(type);
var idx = 0;
var tmpVar = emitter.CurrentMethod.Scope.Introduce(exprType, emitter.ResolveType(exprType));
// compile array
Expression.Compile(emitter);
emitter.EmitSaveVariable(tmpVar);
foreach(var curr in Names)
{
// check for variable redefinition
if (emitter.CurrentMethod.Scope.Exists(curr.Data))
Error(String.Format(Resources.errVariableRedefinition, curr.Data), curr);
var varDecl = emitter.CurrentMethod.Scope.Introduce(type, emitter.ResolveType(type), curr.Data);
var elseLabel = emitter.CreateLabel();
var endLabel = emitter.CreateLabel();
// make sure the array is not a null
emitter.EmitLoadNull();
emitter.EmitLoadVariable(tmpVar);
emitter.EmitCompareEqual();
emitter.EmitBranchTrue(elseLabel);
// make sure there are items in the array
emitter.EmitLoadInt(idx);
emitter.EmitLoadVariable(tmpVar);
emitter.EmitLoadArraySize();
emitter.EmitCompareLess();
emitter.EmitBranchFalse(elseLabel);
// retrieve the current value
emitter.EmitLoadVariable(tmpVar);
emitter.EmitLoadInt(idx);
if(type == "complex")
{
emitter.EmitLoadIndexAddress(typeRef);
emitter.EmitLoadObject(typeRef);
}
else
emitter.EmitLoadIndex(type);
emitter.EmitBranch(endLabel);
// or create a default
emitter.PlaceLabel(elseLabel);
emitter.EmitLoadDefaultValue(type);
// assign the variable
emitter.PlaceLabel(endLabel);
emitter.EmitSaveVariable(varDecl);
idx++;
}
}