mono/tests/verifier/make_stelem_test.sh

   1 #! /bin/sh
   2
   3 SED="sed"
   4 if [ `which gsed 2> /dev/null` ] ; then
   5         SED="gsed"
   6 fi
   7
   8 TEST_NAME=$1
   9 TEST_VALIDITY=$2
  10 TEST_ARR=$3
  11 TEST_IDX=$4
  12 TEST_VAL=$5
  13 TEST_LD=$6
  14
  15
  16 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  17 TEST_FILE=${TEST_NAME}_generated.il
  18 echo $TEST_FILE
  19 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/ARR/${TEST_ARR}/g" -e "s/IDX/${TEST_IDX}/g" -e "s/VAL/${TEST_VAL}/g" -e "s/LD/${TEST_LD}/g" > $TEST_FILE <<//EOF
  20
  21 // VALIDITY CIL which breaks the ECMA-335 rules.
  22 // this CIL should fail verification by a conforming CLI verifier.
  23
  24 .assembly '${TEST_NAME}_generated'
  25 {
  26   .hash algorithm 0x00008004
  27   .ver  0:0:0:0
  28 }
  29
  30 .class ClassA extends [mscorlib]System.Object
  31 {
  32     .method public hidebysig  specialname  rtspecialname
  33            instance default void .ctor ()  cil managed
  34     {
  35         .maxstack 8
  36         ldarg.0
  37         call instance void object::.ctor()
  38         ret
  39     }
  40 }
  41
  42 .class ClassSubA extends ClassA
  43 {
  44     .method public hidebysig  specialname  rtspecialname
  45            instance default void .ctor ()  cil managed
  46     {
  47         .maxstack 8
  48         ldarg.0
  49         call instance void ClassA::.ctor()
  50         ret
  51     }
  52 }
  53
  54 .class public auto ansi sealed MyStruct
  55         extends [mscorlib]System.ValueType
  56 {
  57         .field public int32 foo
  58 }
  59
  60 .method public static void foo() cil managed
  61 {
  62         .maxstack 8
  63         .locals init (
  64                 MyStruct l_0 )
  65         ldc.i4.1
  66         ARR
  67         IDX
  68         VAL
  69         LD // VALIDITY.
  70         ret
  71 }
  72
  73 .method public static int32 Main() cil managed
  74 {
  75         .maxstack 8
  76         .entrypoint
  77         .try {
  78                 call void foo ()
  79                 leave END
  80         } catch [mscorlib]System.ArrayTypeMismatchException {
  81                 pop
  82                 leave END
  83         } catch [mscorlib]System.NullReferenceException {
  84                 pop
  85                 leave END
  86
  87         }
  88 END:    ldc.i4.0
  89         ret
  90 }
  91 //EOF