Cosmos/source2/IL2PCU/Cosmos.IL2CPU/ILScanner.cs
kudzu_cp 38241d3eb1
2009-07-26 04:12:35 +00:00

179 lines
6.4 KiB
C#

using System;
using System.Collections.Generic;
using System.Linq;
using System.Reflection;
using System.Reflection.Emit;
using System.Text;
namespace Cosmos.IL2CPU {
public class ILScanner {
//Note: We have both HashSet and List because HashSet.Contains is much faster
// than List.Contains. Also in the future we may remove items from the List
// which have already been processed yet need to keep them in HashSet.
//TODO: When we go threaded, these two should be encapselated into a single
// class with thread safety.
//TODO: These store the MethodBase which also have the IL for the body in memory
// For large asms this could eat lot of RAM. Should convert this to remove
// items from the list after they are processed but keep them in HashSet so we
// know they are already done. Currently HashSet uses a reference though, so we
// need to hash on some UID instead of the refernce. Do not use strings, they are
// super slow.
private HashSet<MethodBase> mMethodsSet = new HashSet<MethodBase>();
private List<MethodBase> mMethods = new List<MethodBase>();
private HashSet<Type> mTypesSet = new HashSet<Type>();
//private HashSet<FieldInfo> mFieldsSet = new HashSet<FieldInfo>();
protected ILReader mReader;
protected delegate ILOp ILOpCreateDelegate(ILOpCode aOpCode);
protected ILOpCreateDelegate[] mILOpsLo = new ILOpCreateDelegate[256];
protected ILOpCreateDelegate[] mILOpsHi = new ILOpCreateDelegate[256];
public ILScanner(Type aAssemblerBaseOp) : this(aAssemblerBaseOp, false) {
}
public ILScanner(Type aAssemblerBaseOp, bool aSingleILOp) {
mReader = new ILReader();
if (aSingleILOp) {
LoadILOp(aAssemblerBaseOp);
} else {
LoadILOps(aAssemblerBaseOp);
}
}
protected ILOpCreateDelegate CreateCtorDelegate(Type aType) {
var xMethod = new DynamicMethod("", typeof(ILOp), new Type[] { typeof(ILOpCode) }, typeof(ILScanner).Module);
var xGen = xMethod.GetILGenerator();
xGen.Emit(OpCodes.Ldarg_1);
xGen.Emit(OpCodes.Newobj, aType.GetConstructor(new Type[] { typeof(ILOpCode) }));
xGen.Emit(OpCodes.Ret);
return (ILOpCreateDelegate)xMethod.CreateDelegate(typeof(ILOpCreateDelegate));
}
protected void LoadILOp(Type aAssemblerBaseOp) {
// http://blogs.msdn.com/haibo_luo/archive/2005/11/17/494009.aspx
//
var xDelegate = CreateCtorDelegate(aAssemblerBaseOp);
// Don't change the type in the foreach to a var, its necessary as it is now
// to typecast it, so we can then recast to an int.
foreach (ILOpCode.Code xCode in Enum.GetValues(typeof(ILOpCode.Code))) {
int xCodeValue = (int)xCode;
if (xCodeValue <= 0xFF) {
mILOpsLo[xCodeValue] = xDelegate;
} else {
mILOpsHi[xCodeValue & 0xFF] = xDelegate;
}
}
}
protected void LoadILOps(Type aAssemblerBaseOp) {
foreach (var xType in aAssemblerBaseOp.Assembly.GetExportedTypes()) {
if (xType.IsSubclassOf(aAssemblerBaseOp)) {
var xAttrib = (OpCodeAttribute)xType.GetCustomAttributes(typeof(OpCodeAttribute), false)[0];
var xOpCode = (ushort)xAttrib.OpCode;
var xDelegate = CreateCtorDelegate(xType);
if (xOpCode <= 0xFF) {
mILOpsLo[xOpCode] = xDelegate;
} else {
mILOpsHi[xOpCode & 0xFF] = xDelegate;
}
}
}
}
public void Execute(MethodInfo aEntry) {
QueueMethod(aEntry);
// Cannot use foreach, the list changes as we go
for (int i = 0; i < mMethods.Count; i++) {
ScanMethod(mMethods[i], (UInt32)i);
}
}
private void ScanMethod(MethodBase aMethodBase, UInt32 aMethodUID) {
if ((aMethodBase.Attributes & MethodAttributes.PinvokeImpl) != 0) {
// pinvoke methods dont have an embedded implementation
return;
} else if (aMethodBase.IsAbstract) {
// abstract methods dont have an implementation
return;
}
var xImplFlags = aMethodBase.GetMethodImplementationFlags();
if ((xImplFlags & MethodImplAttributes.Native) != 0) {
// native implementations cannot be compiled
return;
}
var xOpCodes = mReader.ProcessMethod(aMethodBase);
if (xOpCodes != null) {
foreach (var xOpCode in xOpCodes) {
//InstructionCount++;
if (xOpCode is ILOpCodes.OpMethod) {
QueueMethod(((ILOpCodes.OpMethod)xOpCode).Value);
} else if (xOpCode is ILOpCodes.OpType) {
QueueType(((ILOpCodes.OpType)xOpCode).Value);
}
ILOpCreateDelegate xCtor;
uint xOpCodeVal = (uint)xOpCode.OpCode;
if (xOpCodeVal <= 0xFF) {
xCtor = mILOpsLo[xOpCodeVal];
} else {
xCtor = mILOpsHi[xOpCodeVal & 0xFF];
}
var xILOp = xCtor(xOpCode);
xILOp.Execute(aMethodUID);
}
}
}
protected void QueueMethod(MethodBase aMethod) {
if (!mMethodsSet.Contains(aMethod)) {
mMethodsSet.Add(aMethod);
mMethods.Add(aMethod);
//QueueType(aMethod.DeclaringType);
//var xMethodInfo = aMethod as MethodInfo;
//if (xMethodInfo != null) {
// QueueType(xMethodInfo.ReturnType);
//}
//foreach (var xParam in aMethod.GetParameters()) {
// QueueType(xParam.ParameterType);
//}
}
}
//protected void QueueStaticField(FieldInfo aFieldInfo) {
// if (!mFieldsSet.Contains(aFieldInfo)) {
// if (!aFieldInfo.IsStatic) {
// throw new Exception("Cannot queue instance fields!");
// }
// mFieldsSet.Add(aFieldInfo);
// QueueType(aFieldInfo.DeclaringType);
// QueueType(aFieldInfo.FieldType);
// }
//}
protected void QueueType(Type aType) {
if (!mTypesSet.Contains(aType)) {
mTypesSet.Add(aType);
if (aType.BaseType != null) {
QueueType(aType.BaseType);
}
// queue static constructor
foreach (var xCctor in aType.GetConstructors(BindingFlags.Static | BindingFlags.NonPublic | BindingFlags.Public)) {
if (xCctor.DeclaringType == aType) {
QueueMethod(xCctor);
}
}
}
}
public int MethodCount {
get {
return mMethods.Count;
}
}
}
}