mono/tests/verifier/make_bin_test.sh

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