mono/tests/verifier/make_stack_merge_test.sh

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