mono/tests/verifier/make_stack_0_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
  10 TEST_OP_SHORT=`echo $TEST_OP | cut -d " " -f 1`
  11 TEST_FILE=`echo invalid_stack_0_${TEST_OP_SHORT} | $SED -e "s/ /_/g" -e "s/\./_/g" -e "s/&/mp/g"`_generated.il
  12 echo $TEST_FILE
  13 $SED -e "s/OPCODE/${TEST_OP}/g" > $TEST_FILE <<//EOF
  14 // invalid CIL which breaks the ECMA-335 rules.
  15 // This CIL should fail verification by a conforming CLI verifier.
  16
  17 .assembly '${TEST_NAME}_generated'
  18 {
  19   .hash algorithm 0x00008004
  20   .ver  0:0:0:0
  21 }
  22
  23 .class Class extends [mscorlib]System.Object
  24 {
  25     .field public int32 fld
  26 }
  27
  28 .method public static int32 Main() cil managed
  29 {
  30         .entrypoint
  31         .maxstack 1
  32         .locals init (
  33             int32 V_0
  34         )
  35         OPCODE // invalid, stack empty.
  36         branch_target:
  37         pop
  38         ldc.i4.0
  39         ret
  40 }
  41 //EOF