mono/tests/verifier/make_ldelem_test.sh

   1 #! /bin/sh
   2
   3 TEST_NAME=$1
   4 TEST_VALIDITY=$2
   5 TEST_ARR=$3
   6 TEST_IDX=$4
   7 TEST_LD=$5
   8
   9
  10 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  11 TEST_FILE=${TEST_NAME}_generated.il
  12 echo $TEST_FILE
  13 sed -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/ARR/${TEST_ARR}/g" -e "s/IDX/${TEST_IDX}/g" -e "s/LD/${TEST_LD}/g" > $TEST_FILE <<//EOF
  14
  15 // VALIDITY CIL which breaks the ECMA-335 rules.
  16 // this CIL should fail verification by a conforming CLI verifier.
  17
  18 .assembly '${TEST_NAME}_generated'
  19 {
  20   .hash algorithm 0x00008004
  21   .ver  0:0:0:0
  22 }
  23
  24 .class ClassA extends [mscorlib]System.Object
  25 {
  26 }
  27
  28 .class ClassSubA extends ClassA
  29 {
  30 }
  31
  32 .class public auto ansi sealed MyStruct
  33         extends [mscorlib]System.ValueType
  34 {
  35         .field public int32 foo
  36 }
  37
  38 .method public static void foo() cil managed
  39 {
  40         .maxstack 2
  41         ldc.i4.1
  42         ARR
  43         IDX
  44         LD // VALIDITY.
  45         pop
  46         ret
  47 }
  48
  49 .method public static int32 Main() cil managed
  50 {
  51         .maxstack 8
  52         .entrypoint
  53         .try {
  54                 call void foo ()
  55                 leave END
  56         } catch [mscorlib]System.NullReferenceException {
  57                 pop
  58                 leave END
  59
  60         }
  61
  62 END:    ldc.i4.0
  63         ret
  64 }
  65 //EOF