mono/tests/verifier/make_cast_test.sh

   1 #! /bin/sh
   2
   3 TEST_NAME=$1
   4 TEST_VALIDITY=$2
   5 TEST_LOCAL=$3
   6 TEST_LOAD=$4
   7 TEST_OP=$5
   8
   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/LOCAL/${TEST_LOCAL}/g" -e "s/LOAD/${TEST_LOAD}/g" -e "s/OP/${TEST_OP}/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 (LOCAL l_0 )
  59         LOAD
  60         OP // VALIDITY.
  61         pop
  62         ret
  63 }
  64
  65 .method public static int32 Main() cil managed
  66 {
  67         .maxstack 8
  68         .entrypoint
  69         .try {
  70                 call void foo ()
  71                 leave END
  72         } catch [mscorlib]System.InvalidCastException {
  73                 pop
  74                 leave END
  75         } catch [mscorlib]System.NullReferenceException {
  76                 pop
  77                 leave END
  78
  79         }
  80 END:    ldc.i4.0
  81         ret
  82 }
  83 //EOF