Cosmos/source2/IL2PCU/Cosmos.IL2CPU/ILScanner.cs

using System;
using System.Collections.Generic;
using System.Linq;
using System.Reflection;
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 refernece 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>();
		// we also need a List`1, to provide an easy way to do scanning. a list doesn't
		// change position of it's elements.
    private List<MethodBase> mMethods = new List<MethodBase>();
    private HashSet<Type> mTypesSet = new HashSet<Type>();
    private HashSet<FieldInfo> mFieldsSet = new HashSet<FieldInfo>();
    protected ILReader mReader;

    // TODO: Investigate this and see if Matthi's emit way
    // is a lot faster than calling GetConstructor than invoke
    protected ConstructorInfo[] mILOpsLo = new ConstructorInfo[256];
    protected ConstructorInfo[] mILOpsHi = new ConstructorInfo[256];

    public ILScanner(Type aAssemblerBaseOp) : this(aAssemblerBaseOp, false) {
    }

    public ILScanner(Type aAssemblerBaseOp, bool aProfileMode) {
      mReader = new ILReader();
      if (aProfileMode) {
        LoadILOpsForProfiling(aAssemblerBaseOp);
      } else {
        LoadILOps(aAssemblerBaseOp);
      }
    }

    protected void LoadILOpsForProfiling(Type aAssemblerBaseOp) {
      var xCtor = aAssemblerBaseOp.GetConstructors()[0];
      foreach (var xCode in Enum.GetValues(typeof(ILOpCode.Code))) {
        if ((uint)xCode <= 0xFF) {
          mILOpsLo[(uint)xCode] = xCtor;
        } else {
          mILOpsHi[(uint)xCode & 0xFF] = xCtor;
        }
      }
    }

    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 xCtor = xType.GetConstructors()[0];
          if (xOpCode <= 0xFF) {
            mILOpsLo[xOpCode] = xCtor;
          } else {
            mILOpsHi[xOpCode & 0xFF] = xCtor;
          }
        }
      }
    }

    public void Execute(MethodInfo aEntry) {
      // IL Operations implicitly require these types
      QueueType(typeof(string));
      QueueType(typeof(int));

      QueueMethod(aEntry);

      // Cannot use foreach, the list changes as we go
      for (int i = 0; i < mMethods.Count; i++) {
        ScanMethod(mMethods[i]);
      }
    }

    private void ScanMethod(MethodBase aMethodBase) {
      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++;
          ConstructorInfo xCtor;
          if ((uint)xOpCode.OpCode <= 0xFF) {
            xCtor = mILOpsLo[(uint)xOpCode.OpCode];
          } else {
            xCtor = mILOpsHi[(uint)xOpCode.OpCode];
          }
          var xILOp = xCtor.Invoke(new object[] {xOpCode});
        }
      }
    }

    public 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);
				}
      }
    }

		public 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);
			}
		}

    public void QueueType(Type aType) {
      if (aType != null) {
        if (!mTypesSet.Contains(aType)) {
          mTypesSet.Add(aType);
          QueueType(aType.BaseType);
          foreach (var xMethod in aType.GetMethods(BindingFlags.Public | BindingFlags.NonPublic | BindingFlags.Instance)) {
            if (xMethod.DeclaringType == aType) {
              if (xMethod.IsVirtual) {
                QueueMethod(xMethod);
              }
            }
          }
					// 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;
      }
    }

  }
}