mono/tests/verifier/make_bin_test.sh

   1 #! /bin/sh
   2
   3 SED="sed"
   4 if [ `which gsed 2> /dev/null` ] ; then
   5         SED="gsed"
   6 fi
   7 TEST_NAME=$1
   8 TEST_VALIDITY=$2
   9 TEST_OP=$3
  10 TEST_TYPE1=$4
  11 TEST_TYPE2=$5
  12 TEST_INIT_EXP=$6
  13 TEST_INIT_VAL=$7
  14
  15 if [ "$TEST_INIT_VAL" = "yes" ]; then
  16         TEST_INIT="$TEST_INIT_EXP\n\t\stloc.1"
  17 else
  18         TEST_INIT=""
  19 fi
  20
  21
  22 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  23 TEST_FILE=${TEST_NAME}_generated.il
  24 echo $TEST_FILE
  25 TEST_TYPE1=`echo $TEST_TYPE1 | $SED -s 's/&/\\\&/'`
  26 TEST_TYPE2=`echo $TEST_TYPE2 | $SED -s 's/&/\\\&/'`
  27 $SED -e "s/INIT/${TEST_INIT}/g" -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g" -e "s/TYPE2/${TEST_TYPE2}/g" -e "s/OPCODE/${TEST_OP}/g" > $TEST_FILE <<//EOF
  28
  29 // VALIDITY CIL which breaks the ECMA-335 rules.
  30 // this CIL should fail verification by a conforming CLI verifier.
  31
  32 .assembly '${TEST_NAME}_generated'
  33 {
  34   .hash algorithm 0x00008004
  35   .ver  0:0:0:0
  36 }
  37
  38 .method public static int32 Main() cil managed
  39 {
  40         .entrypoint
  41         .maxstack 2
  42         .locals init (
  43                 TYPE1 V_0,
  44                 TYPE2 V_1)
  45         INIT
  46         ldloc.0
  47         ldloc.1
  48         OPCODE // VALIDITY.
  49         pop
  50         ldc.i4.0
  51         ret
  52 }
  53 //EOF