mono/tests/verifier/make_load_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_OP=$3
  11 TEST_PARAMS=$4
  12 TEST_LOCALS=$5
  13 TEST_ARGS=$6
  14 TEST_SIG=$7
  15
  16 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  17 TEST_FILE=${TEST_NAME}_generated.il
  18 echo $TEST_FILE
  19 TEST_PARAMS=`echo $TEST_PARAMS | $SED -s 's/&/\\\&/'`
  20 TEST_LOCALS=`echo $TEST_LOCALS | $SED -s 's/&/\\\&/'`
  21 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/PARAMS/${TEST_PARAMS}/g" -e "s/LOCALS/${TEST_LOCALS}/g" -e "s/OPCODE/${TEST_OP}/g" -e "s/ARGS/${TEST_ARGS}/g" -e "s/SIG/${TEST_SIG}/g" > $TEST_FILE <<//EOF
  22
  23 // VALIDITY CIL which breaks the ECMA-335 rules.
  24 // this CIL should fail verification by a conforming CLI verifier.
  25
  26 .assembly '${TEST_NAME}_generated'
  27 {
  28   .hash algorithm 0x00008004
  29   .ver  0:0:0:0
  30 }
  31
  32 .method public static void foo(PARAMS) cil managed
  33 {
  34         .maxstack 2
  35         .locals init (
  36         LOCALS
  37     )
  38
  39         OPCODE // VALIDITY.
  40         pop
  41         ret
  42
  43 }
  44
  45 .method public static int32 Main() cil managed
  46 {
  47         .maxstack 8
  48         .entrypoint
  49         ARGS
  50         call void foo(SIG)
  51         ldc.i4.0
  52         ret
  53 }
  54 //EOF