mono/tests/verifier/make_ldelem_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_LD=$5
  13
  14
  15 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  16 TEST_FILE=${TEST_NAME}_generated.il
  17 echo $TEST_FILE
  18 $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
  19
  20 // VALIDITY CIL which breaks the ECMA-335 rules.
  21 // this CIL should fail verification by a conforming CLI verifier.
  22
  23 .assembly '${TEST_NAME}_generated'
  24 {
  25   .hash algorithm 0x00008004
  26   .ver  0:0:0:0
  27 }
  28
  29 .class ClassA extends [mscorlib]System.Object
  30 {
  31 }
  32
  33 .class ClassSubA extends ClassA
  34 {
  35 }
  36
  37 .class public auto ansi sealed MyStruct
  38         extends [mscorlib]System.ValueType
  39 {
  40         .field public int32 foo
  41 }
  42
  43 .class public auto ansi sealed ByteEnum
  44         extends [mscorlib]System.Enum
  45 {
  46         .field  public specialname  rtspecialname  unsigned int8 value__
  47
  48         .field public static literal valuetype ByteEnum V_0 = int8(0x00)
  49         .field public static literal valuetype ByteEnum V_1 = int8(0x01)
  50 }
  51
  52 .class public auto ansi sealed ShortEnum
  53         extends [mscorlib]System.Enum
  54 {
  55         .field  public specialname  rtspecialname  unsigned int16 value__
  56
  57         .field public static literal valuetype ShortEnum V_0 = int16(0x00)
  58         .field public static literal valuetype ShortEnum V_1 = int16(0x01)
  59 }
  60
  61 .class public auto ansi sealed IntEnum
  62         extends [mscorlib]System.Enum
  63 {
  64         .field  public specialname  rtspecialname  unsigned int32 value__
  65
  66         .field public static literal valuetype IntEnum V_0 = int32(0x00)
  67         .field public static literal valuetype IntEnum V_1 = int32(0x01)
  68 }
  69
  70 .class public auto ansi sealed LongEnum
  71         extends [mscorlib]System.Enum
  72 {
  73         .field  public specialname  rtspecialname  unsigned int64 value__
  74
  75         .field public static literal valuetype LongEnum V_0 = int64(0x00)
  76         .field public static literal valuetype LongEnum V_1 = int64(0x01)
  77 }
  78
  79 .class public auto ansi sealed NativeIntEnum
  80         extends [mscorlib]System.Enum
  81 {
  82         .field  public specialname  rtspecialname native int value__
  83
  84         .field public static literal valuetype NativeIntEnum V_0 = int32(0x00)
  85         .field public static literal valuetype NativeIntEnum V_1 = int32(0x01)
  86 }
  87
  88
  89 .method public static void foo() cil managed
  90 {
  91         .maxstack 2
  92         ldc.i4.1
  93         ARR
  94         IDX
  95         LD // VALIDITY.
  96         pop
  97         ret
  98 }
  99
 100 .method public static int32 Main() cil managed
 101 {
 102         .maxstack 8
 103         .entrypoint
 104         .try {
 105                 call void foo ()
 106                 leave END
 107         } catch [mscorlib]System.NullReferenceException {
 108                 pop
 109                 leave END
 110
 111         }
 112
 113 END:    ldc.i4.0
 114         ret
 115 }
 116 //EOF