merging type-stacks for peverify's sake

Topics: Metadata Model
Aug 22, 2010 at 8:31 PM

Hi, 


I was looking in TypeHelper at 

  public static ITypeDefinition MergedType(ITypeDefinition type1, ITypeDefinition type2)

in the hope that it was used behind-the-scenes of Emit calls, to automatically insert the casts that keep peverify happy. No chance, right?


Failing that, is there some utility in ccimetadata to compute type-stacks at each instruction point? Some framework for iterative dataflow? 

Miguel 

http://lamp.epfl.ch/~magarcia/ScalaCompilerCornerReloaded/

Coordinator
Aug 30, 2010 at 6:47 AM

The closest match to what you are asking for can be found in cciast.codeplex.com. The metadata model to code model decompiler has visitor called unstacker that computes type-stacks.

Feel free to e-mail me directly with more details on your scenario and I'll reply at greater length.