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
   9 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  10 TEST_FILE=${TEST_NAME}_generated.il
  11 echo $TEST_FILE
  12 TEST_TYPE1=`echo $TEST_TYPE1 | sed -s 's/&/\\\&/'`
  13 TEST_TYPE2=`echo $TEST_TYPE2 | sed -s 's/&/\\\&/'`
  14 sed -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
  15
  16 // VALIDITY CIL which breaks the ECMA-335 rules.
  17 // this CIL should fail verification by a conforming CLI verifier.
  18
  19 .assembly '${TEST_NAME}_generated'
  20 {
  21   .hash algorithm 0x00008004
  22   .ver  0:0:0:0
  23 }
  24
  25 .method public static int32 Main() cil managed
  26 {
  27         .entrypoint
  28         .maxstack 2
  29         .locals init (
  30                 TYPE1 V_0,
  31                 TYPE2 V_1)
  32         ldloc.0
  33         ldloc.1
  34         OPCODE // VALIDITY.
  35         pop
  36         ldc.i4.0
  37         ret
  38 }
  39 //EOF