mono/tests/verifier/make_stack_merge_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_TYPE1=$3
  11 TEST_TYPE2=$4
  12
  13 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  14 TEST_FILE=${TEST_NAME}_generated.il
  15 echo $TEST_FILE
  16 TEST_TYPE1=`echo $TEST_TYPE1 | $SED -s 's/&/\\\&/'`
  17 TEST_TYPE2=`echo $TEST_TYPE2 | $SED -s 's/&/\\\&/'`
  18 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g" -e "s/TYPE2/${TEST_TYPE2}/g" > $TEST_FILE <<//EOF
  19
  20 // VALIDITY CIL which breaks the ECMA-335,III,1.8.1.3 rule.
  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 .assembly extern mscorlib
  30 {
  31   .ver 1:0:5000:0
  32   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
  33 }
  34
  35 .class ClassA extends [mscorlib]System.Object
  36 {
  37 }
  38
  39 .class ClassB extends [mscorlib]System.Object
  40 {
  41 }
  42
  43 .class interface abstract InterfaceA
  44 {
  45 }
  46
  47 .class interface abstract InterfaceB
  48 {
  49 }
  50
  51 .class sealed ValueType extends [mscorlib]System.ValueType
  52 {
  53         .field private int32 v
  54 }
  55
  56 .class Class extends [mscorlib]System.Object
  57 {
  58 }
  59
  60 .method public static int32 Main() cil managed
  61 {
  62         .entrypoint
  63         .maxstack 3
  64         .locals init (
  65                 TYPE1 V_0,
  66                 TYPE2 V_1)
  67         ldloc.0
  68         ldc.i4.0
  69         /*we need a 'random' source of values so the conditional cannot be DCE and the stack merger ignored*/
  70         newobj instance void object::.ctor()
  71         callvirt instance int32 object::GetHashCode()
  72         beq.s branch_target
  73         pop
  74         ldloc.1
  75         branch_target: // VALIDITY, stacks cannot be merged.
  76         pop
  77         ldc.i4.0
  78         ret
  79 }
  80 //EOF