/// <summary>
/// Emit a constructor - constructors get created as a static
/// factory methods, so that that CallNew can just push args
/// and invoke them
///
/// fan:
/// class Foo { new make(Long a) { ... } }
/// .net:
/// static Foo make(Long a) { return make_(new Foo(), a) }
/// static Foo make_(Foo self, Long a) { ... return self }
///
/// We call the first method "make" the "factory" and the
/// second method "make_" the "body". CallNew opcodes are
/// routed to the ctor factory, and CallCtor opcodes are routed
/// to the ctor body.
/// </summary>
public void emitCtor()
{
string ctorName = this.name;
// both factory and body are static from CLR's perspective
this.isStatic = true;
this.isHide = true;
// first emit the body with implicit self
this.name = ctorName + "_";
this.self = true;
doEmit();
PERWAPI.MethodDef make = emitter.methodDef;
// emit body default parameter wrappers
emitWrappers();
// then emit the factory
this.name = ctorName;
this.self = false;
this.ret = emit.pod.typeRef(emit.type.m_self);
this.code = null;
PERWAPI.CILInstructions code = doEmit();
PERWAPI.Method ctor = emitter.findMethod(selfName, ".ctor", new string[0], "System.Void");
code.MethInst(PERWAPI.MethodOp.newobj, ctor);
code.Inst(PERWAPI.Op.dup);
pushArgs(code, false, method.m_paramCount);
code.MethInst(PERWAPI.MethodOp.call, make);
code.Inst(PERWAPI.Op.ret);
// emit factory default parameter wrappers
emitWrappers();
}
protected override void emitType()
{
PERWAPI.TypeAttr classAttr = PERWAPI.TypeAttr.Public;
if (isAbstract)
{
classAttr |= PERWAPI.TypeAttr.Abstract;
}
emitter.emitClass(baseClassName, className, interfaces, classAttr);
// generate private static Type $Type; set in clinit
typeField = emitter.classDef.AddField(
PERWAPI.FieldAttr.Public | PERWAPI.FieldAttr.Static,
"$type", emitter.findType("Fan.Sys.Type"));
// generate type() instance method
PERWAPI.MethodDef m = emitter.classDef.AddMethod(
PERWAPI.MethAttr.Public | PERWAPI.MethAttr.Virtual, PERWAPI.ImplAttr.IL,
"typeof", emitter.findType("Fan.Sys.Type"), new PERWAPI.Param[0]);
m.AddCallConv(PERWAPI.CallConv.Instance);
emitter.addToMethodMap(className, "typeof", new string[0], m);
PERWAPI.CILInstructions code = m.CreateCodeBuffer();
code.FieldInst(PERWAPI.FieldOp.ldsfld, typeField);
code.Inst(PERWAPI.Op.ret);
// generate peer field if native
if (isNative)
{
peerField = emitter.classDef.AddField(PERWAPI.FieldAttr.Public,
"m_peer", emitter.findType(className + "Peer"));
}
// Create ctor emit objects first so we can reference them
// .ctor
ctor = emitter.findMethod(selfName, ".ctor", new string[0], "System.Void") as PERWAPI.MethodDef;
ctor.SetMethAttributes(
PERWAPI.MethAttr.Public |
PERWAPI.MethAttr.HideBySig |
PERWAPI.MethAttr.SpecialRTSpecialName);
ctor.AddCallConv(PERWAPI.CallConv.Instance);
// .cctor
cctor = emitter.findMethod(selfName, ".cctor", new string[0], "System.Void") as PERWAPI.MethodDef;
cctor.SetMethAttributes(
PERWAPI.MethAttr.Private |
PERWAPI.MethAttr.Static |
PERWAPI.MethAttr.HideBySig |
PERWAPI.MethAttr.SpecialRTSpecialName);
}
//////////////////////////////////////////////////////////////////////////
// Overrides
//////////////////////////////////////////////////////////////////////////
protected override void emitInstanceInit(FMethod m)
{
hasInstanceInit = true;
// make peer
if (isNative)
{
throw new System.Exception("No native support for Err subclasses");
}
// stub ctor2
PERWAPI.MethodDef ctor2 = emitter.findMethod(selfName, ".ctor",
new string[] { "Fan.Sys.Err/Val" }, "System.Void") as PERWAPI.MethodDef;
ctor2.SetMethAttributes(
PERWAPI.MethAttr.Public |
PERWAPI.MethAttr.HideBySig |
PERWAPI.MethAttr.SpecialRTSpecialName);
ctor2.AddCallConv(PERWAPI.CallConv.Instance);
// no arg constructor -> calls this(Err/Val)
PERWAPI.CILInstructions code = ctor.CreateCodeBuffer();
code.Inst(PERWAPI.Op.ldarg_0);
PERWAPI.Method valctor = emitter.findMethod(className + "/Val", ".ctor", new string[0], "System.Void");
code.MethInst(PERWAPI.MethodOp.newobj, valctor);
code.MethInst(PERWAPI.MethodOp.call, ctor2);
code.Inst(PERWAPI.Op.ret);
// arg constructor with Err$Val (and init implementation)
code = ctor2.CreateCodeBuffer();
code.Inst(PERWAPI.Op.ldarg_0);
code.Inst(PERWAPI.Op.ldarg_1);
PERWAPI.Method baseCtor = emitter.findMethod(baseClassName, ".ctor",
new string[] { "Fan.Sys.Err/Val" }, "System.Void");
baseCtor.AddCallConv(PERWAPI.CallConv.Instance); // if stub, make sure instance callconv
code.MethInst(PERWAPI.MethodOp.call, baseCtor);
if (m == null)
{
//code.maxLocals = 2;
//code.maxStack = 2;
code.Inst(PERWAPI.Op.ret);
}
else
{
// e.code.maxLocals++; // alloc room for Val extra argument
new FCodeEmit(this, m, code).emit();
}
}
//////////////////////////////////////////////////////////////////////////
// Param Default Wrappers
//////////////////////////////////////////////////////////////////////////
/// <summary>
/// Emit wrappers.
/// </summary>
private void emitWrappers()
{
// change flags so that defaults aren't abstract
bool oldAbstract = this.isAbstract;
this.isAbstract = false;
PERWAPI.MethodDef main = emitter.methodDef;
// handle generating default param wrappers
for (int i = 0; i < method.m_paramCount; i++)
{
if (method.m_vars[i].def != null)
{
emitWrapper(main, i);
}
}
this.paramLen = method.m_paramCount;
this.isAbstract = oldAbstract;
}
/// <summary>
/// Emit wrapper.
/// </summary>
private void emitWrapper(PERWAPI.MethodDef main, int paramLen)
{
// use explicit param count, and clear code
this.paramLen = paramLen;
this.code = null;
int numArgs = isStatic && !self ? paramLen : paramLen + 1;
// TODO - this code probably isn't quite right, since it looks
// like we generate local variables even when they might not be
// used. Doesn't hurt anything, but is probably more efficient
// if we could determine that from the fcode.
// define our locals
int numLocals = method.m_paramCount - paramLen;
string[] localNames = new string[numLocals];
string[] localTypes = new string[numLocals];
for (int i = paramLen; i < method.m_paramCount; i++)
{
localNames[i - paramLen] = method.m_vars[i].name;
localTypes[i - paramLen] = emit.nname(method.m_vars[i].type);
}
// emit code
PERWAPI.CILInstructions code = doEmit(localNames, localTypes);
// push arguments passed thru
pushArgs(code, !(isStatic && !self), paramLen);
// emit default arguments
FCodeEmit.Reg[] regs = FCodeEmit.initRegs(emit.pod, isStatic, method.m_vars);
int maxLocals = method.maxLocals();
int maxStack = 16; // TODO - add additional default expr stack height
for (int i = paramLen; i < method.m_paramCount; i++)
{
FCodeEmit ce = new FCodeEmit(emit, method.m_vars[i].def, code, regs, emit.pod.typeRef(method.m_ret));
ce.paramCount = numArgs;
ce.vars = method.m_vars;
ce.isStatic = isStatic;
// TODO - is this correct?
ce.emit(false); // don't emit debug s cope for wrappers
maxStack = System.Math.Max(maxStack, 2 + i + 8);
}
// TODO
//code.maxLocals = maxLocals;
//code.maxStack = maxStack;
// call master implementation
if (isStatic)
{
code.MethInst(PERWAPI.MethodOp.call, main);
}
else
{
code.MethInst(PERWAPI.MethodOp.callvirt, main);
}
// return
code.Inst(PERWAPI.Op.ret);
}
