mono/tests/verifier/make_bool_branch_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_TYPE1=$4
  12 TEST_EXTRAS=$5
  13
  14 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  15 TEST_FILE=${TEST_NAME}_generated.il
  16 echo $TEST_FILE
  17 TEST_TYPE1=`echo $TEST_TYPE1 | $SED -s 's/&/\\\&/'`
  18 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g"  -e "s/OPCODE/${TEST_OP}/g"  -e "s/EXTRAS/${TEST_EXTRAS}/g" > $TEST_FILE <<//EOF
  19
  20 // VALIDITY CIL which breaks the ECMA-335 rules.
  21 // this CIL should fail verification by a conforming CLI verifier.
  22
  23 .assembly '${TEST_NAME}_generated'
  24 {
  25   .hash algorithm 0x00008004
  26   .ver  0:0:0:0
  27 }
  28
  29 .class ClassA
  30         extends [mscorlib]System.Object
  31 {
  32 }
  33
  34 .class sealed MyValueType
  35         extends [mscorlib]System.ValueType
  36 {
  37         .field private int32 v
  38 }
  39
  40 .class public Template\`1<T>
  41         extends [mscorlib]System.Object
  42 {
  43 }
  44
  45 .class sealed public ValueTypeTemplate\`1<T>
  46         extends [mscorlib]System.ValueType
  47 {
  48         .field private int32 v
  49 }
  50
  51 .method public static int32 Main() cil managed
  52 {
  53         .entrypoint
  54         .maxstack 1
  55         .locals init (
  56             TYPE1 V_0
  57         )
  58         ldloc.0
  59
  60         EXTRAS
  61
  62         OPCODE branch_target // VALIDITY.
  63         nop
  64         branch_target:
  65         ldc.i4.0
  66         ret
  67 }
  68 //EOF