mono/tests/verifier/make_stelem_test.sh

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