mono/tests/verifier/make_field_valuetype_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_OP=$3
  11 TEST_LOAD=$4
  12
  13 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  14 TEST_FILE=${TEST_NAME}_generated.il
  15 echo $TEST_FILE
  16 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g"  -e "s/LOAD/${TEST_LOAD}/g"  -e "s/OPCODE/${TEST_OP}/g" > $TEST_FILE <<//EOF
  17
  18 .assembly '${TEST_NAME}_generated'
  19 {
  20   .hash algorithm 0x00008004
  21   .ver  0:0:0:0
  22 }
  23
  24 // VALIDITY CIL which breaks the ECMA-335 rules.
  25 // this CIL should fail verification by a conforming CLI verifier.
  26
  27 .assembly extern mscorlib
  28 {
  29   .ver 1:0:5000:0
  30   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
  31 }
  32
  33 .class sealed MyValueType extends [mscorlib]System.ValueType
  34 {
  35         .field public int32 fld
  36 }
  37
  38 .method public static int32 Main() cil managed
  39 {
  40         .entrypoint
  41         .maxstack 2
  42         .locals init (
  43                 MyValueType VAR1,
  44                 MyValueType& VAR2
  45         )
  46         ldloca.s 0
  47     initobj MyValueType
  48         ldloca.s 0
  49         stloc.1
  50         LOAD
  51         OPCODE // VALIDITY.
  52         pop
  53         ldc.i4.0
  54         ret
  55 }
  56 //EOF