mono/tests/verifier/make_localloc_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_INIT=$3
  11 TEST_BLOCK=$4
  12
  13 TRY_END="
  14                 leave END
  15         } catch [mscorlib]System.NullReferenceException {
  16                 leave END
  17         }"
  18
  19 if [ "$TEST_BLOCK" == "catch" ]; then
  20         TRY_MIDDLE="
  21                 leave END
  22         } catch [mscorlib]System.NullReferenceException {"
  23         TRY_END="
  24                 leave END
  25         }"
  26 elif [ "$TEST_BLOCK" == "filter" ]; then
  27         TRY_MIDDLE="
  28                 leave END
  29         } filter {"
  30         TRY_END="
  31                 pop
  32                 ldc.i4.0
  33                 endfilter
  34         } {
  35                 leave END
  36         }"
  37 elif [ "$TEST_BLOCK" == "handler" ]; then
  38         TRY_MIDDLE="
  39                 leave END
  40         } filter {
  41                 pop
  42                 ldc.i4.0
  43                 endfilter
  44         } {"
  45         TRY_END="
  46                 leave END
  47         }"
  48 elif [ "$TEST_BLOCK" == "finally" ]; then
  49         TRY_MIDDLE="
  50                 leave END
  51         } finally {"
  52         TRY_END="
  53                 endfinally
  54         }"
  55 elif [ "$TEST_BLOCK" == "fault" ]; then
  56         TRY_MIDDLE="
  57                 leave END
  58         } fault {"
  59         TRY_END="
  60                 endfault
  61         }"
  62 fi
  63
  64
  65 TEST_FILE=`echo ${TEST_VALIDITY}_${TEST_NAME} | $SED -e 's/ /_/g' -e 's/\./_/g' -e 's/&/mp/g' -e 's/\[/_/g' -e 's/\]/_/g'`_generated.il
  66 echo $TEST_FILE
  67 TEST_TYPE1=`echo $TEST_TYPE1 | $SED -s 's/&/\\\&/'`
  68
  69 $SED -e "s/OPCODE/${TEST_OP}/g" -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/INIT/${TEST_INIT}/g" > $TEST_FILE <<//EOF
  70
  71 // VALIDITY CIL which breaks the ECMA-335 rules.
  72 // this CIL should fail verification by a conforming CLI verifier.
  73
  74 .assembly '${TEST_NAME}_generated'
  75 {
  76   .hash algorithm 0x00008004
  77   .ver  0:0:0:0
  78 }
  79
  80 .class public Template\`1<T>
  81         extends [mscorlib]System.Object
  82 {
  83 }
  84
  85 .class public auto ansi sealed MyStruct
  86         extends [mscorlib]System.ValueType
  87 {
  88     .field public int32 valid
  89 }
  90
  91 .method public static int32 Main() cil managed
  92 {
  93         .entrypoint
  94         .maxstack 5
  95         .locals init (native int V_0, int32 V_1)
  96
  97         .try {
  98                 nop
  99 ${TRY_MIDDLE}
 100                 INIT
 101                 localloc
 102                 stloc.0
 103
 104 ${TRY_END}
 105
 106 END:
 107         ldc.i4.0
 108         ret
 109 }
 110 //EOF