4 if [ `which gsed 2> /dev/null` ] ; then
14 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
15 TEST_FILE=${TEST_NAME}_generated.il
18 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/INSTANTIATION/${TEST_INSTANTIATION}/g" -e "s/CONSTRAINTS/${TEST_CONSTRAINTS}/g" -e "s/EXTRA_CODE/${TEST_EXTRA_CODE}/g" > $TEST_FILE <<//EOF
20 // VALIDITY CIL which breaks the ECMA-335 rules.
21 // this CIL should fail verification by a conforming CLI verifier.
23 .assembly '${TEST_NAME}_generated'
25 .hash algorithm 0x00008004
29 .assembly extern mscorlib
32 .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
35 .class interface public auto ansi abstract IFace
37 .method public virtual hidebysig newslot abstract instance default void Tst () cil managed
42 .class public auto ansi beforefieldinit IFaceImpl extends [mscorlib]System.Object implements IFace
44 .method public hidebysig specialname rtspecialname instance default void '.ctor' () cil managed
48 call instance void object::'.ctor'()
52 .method public final virtual hidebysig newslot instance default void Tst () cil managed
61 .class ClassNoDefaultCtor extends [mscorlib]System.Object
63 .method public hidebysig specialname rtspecialname instance default void .ctor (int32 d) cil managed
67 call instance void object::.ctor()
72 .class abstract AbstractClass extends [mscorlib]System.Object
74 .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
78 call instance void object::.ctor()
83 .class ClassWithDefaultCtorNotVisible extends [mscorlib]System.Object
85 .method private hidebysig specialname rtspecialname instance default void .ctor () cil managed
89 call instance void object::.ctor()
94 .class ClassWithDefaultCtor extends [mscorlib]System.Object
96 .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
100 call instance void object::.ctor()
106 .class sealed MyValueType extends [mscorlib]System.ValueType
108 .field public int32 v
111 .class public auto ansi sealed MyEnum
112 extends [mscorlib]System.Enum
114 .field public specialname rtspecialname int32 value__
115 .field public static literal valuetype MyEnum B = int32(0x00000000)
116 .field public static literal valuetype MyEnum C = int32(0x00000001)
120 .class TemplateTarget extends [mscorlib]System.Object
122 .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
126 call instance void object::.ctor()
130 .method public void DoStuff<CONSTRAINTS T> () cil managed
135 call class [mscorlib]System.Type class [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
136 call void class [mscorlib]System.Console::WriteLine(object)
143 .class Driver extends [mscorlib]System.Object
145 .method public static void UseIFace (IFace arg0) {
150 .method public static void MemberMain() cil managed
154 newobj instance void class TemplateTarget::.ctor()
155 call instance void class TemplateTarget::DoStuff<INSTANTIATION>()
159 .method public static void Main() cil managed
165 call void Driver::MemberMain()