mono/tests/verifier/make_stack_1_pop_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_OP=$1
   9 TEST_TYPE=$2
  10
  11 TEST_OP_SHORT=`echo $TEST_OP | cut -d " " -f 1`
  12 TEST_FILE=`echo invalid_stack_1_${TEST_OP_SHORT}_${TEST_TYPE} | $SED -e "s/ /_/g" -e "s/\./_/g" -e "s/&/mp/g"`_generated.il
  13 echo $TEST_FILE
  14 $SED -e "s/OPCODE/${TEST_OP}/g" -e "s/TYPE/${TEST_TYPE}/g" > $TEST_FILE <<//EOF
  15 // invalid 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 Class extends [mscorlib]System.Object
  25 {
  26     .field public int32 fld
  27 }
  28
  29 .method public static int32 Main() cil managed
  30 {
  31         .entrypoint
  32         .maxstack 1
  33         .locals init (
  34             TYPE V_0
  35         )
  36         ldloc.0
  37         OPCODE // invalid, only 1 value on stack.
  38         branch_target:
  39         pop
  40         ldc.i4.0
  41         ret
  42 }
  43 //EOF