mono/tests/verifier/make_bad_op_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_BYTE_0=$3
  11 TEST_BYTE_1=$4
  12
  13
  14 if [ "x$TEST_BYTE_1" = "x" ] ; then
  15         TEST_BYTE_1="0";
  16 fi
  17
  18 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
  19 echo $TEST_FILE
  20 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/BYTE_0/${TEST_BYTE_0}/g" -e "s/BYTE_1/${TEST_BYTE_1}/g" > $TEST_FILE <<//EOF
  21
  22 // VALIDITY CIL which breaks the ECMA-335 rules.
  23 // this CIL should fail verification by a conforming CLI verifier.
  24
  25 .assembly '${TEST_NAME}_generated'
  26 {
  27   .hash algorithm 0x00008004
  28   .ver  0:0:0:0
  29 }
  30
  31 .method public static int32 Main() cil managed
  32 {
  33         .entrypoint
  34         .maxstack 2
  35         .locals init ()
  36
  37         .emitbyte BYTE_0
  38         .emitbyte BYTE_1
  39
  40         leave end
  41 end:
  42         ldc.i4.0
  43         ret
  44 }
  45
  46
  47 //EOF