mono/tests/verifier/make_nested_access_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_CLASS_ACCESS=$4
  12 TEST_MEMBER_ACCESS=$5
  13 TEST_EXTENDS=$6
  14
  15 if [ "$TEST_EXTENDS" == "yes" ]; then
  16         TEST_EXTENDS="extends Owner"
  17         TEST_CONSTRUCTOR="call instance void Owner::.ctor()"
  18 else
  19         TEST_EXTENDS="extends [mscorlib]System.Object"
  20         TEST_CONSTRUCTOR="call instance void object::.ctor()"
  21 fi
  22
  23 TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
  24 TEST_FILE=${TEST_NAME}_generated.il
  25 echo $TEST_FILE
  26 $SED -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/OPCODE/${TEST_OP}/g" -e "s/CONSTRUCTOR/${TEST_CONSTRUCTOR}/g" -e "s/CLASS_ACCESS/${TEST_CLASS_ACCESS}/g" -e "s/MEMBER_ACCESS/${TEST_MEMBER_ACCESS}/g" -e "s/EXTENDS/${TEST_EXTENDS}/g" > $TEST_FILE <<//EOF
  27
  28 .assembly '${TEST_NAME}_generated'
  29 {
  30   .hash algorithm 0x00008004
  31   .ver  0:0:0:0
  32 }
  33
  34 // VALIDITY CIL which breaks the ECMA-335 rules.
  35 // this CIL should fail verification by a conforming CLI verifier.
  36
  37 .assembly extern mscorlib
  38 {
  39   .ver 1:0:5000:0
  40   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
  41 }
  42
  43 .class Owner extends [mscorlib]System.Object
  44 {
  45         .method public static Owner/Nested Create ()
  46         {
  47                 .maxstack 8
  48                 newobj instance void class Owner/Nested::.ctor()
  49                 ret
  50         }
  51
  52         .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  53         {
  54                 .maxstack 8
  55                 ldarg.0
  56                 call instance void object::.ctor()
  57                 ret
  58         }
  59
  60         .class nested CLASS_ACCESS Nested extends [mscorlib]System.Object
  61         {
  62                 .field MEMBER_ACCESS int32 fld
  63                 .field MEMBER_ACCESS static int32 sfld
  64
  65                 .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  66                 {
  67                         .maxstack 8
  68                         ldarg.0
  69                         call instance void object::.ctor()
  70                         ret
  71                 }
  72
  73                 .method MEMBER_ACCESS int32 Target ()
  74                 {
  75                         .maxstack 8
  76                         ldc.i4.0
  77                         ret
  78                 }
  79         }
  80 }
  81
  82 .class public Test EXTENDS
  83 {
  84         .method public void Method ()
  85         {
  86                 .maxstack 8
  87                 call class Owner/Nested Owner::Create ()
  88                 OPCODE // VALIDITY.
  89                 pop
  90                 ret
  91         }
  92
  93         .method public hidebysig specialname rtspecialname instance default void .ctor () cil managed
  94         {
  95                 .maxstack 8
  96                 ldarg.0
  97                 CONSTRUCTOR
  98                 ret
  99         }
 100 }
 101
 102 .method public static int32 Main() cil managed
 103 {
 104         .entrypoint
 105         .maxstack 8
 106         newobj instance void class Test::.ctor()
 107         call instance void class Test::Method()
 108         ldc.i4.0
 109         ret
 110 }
 111 //EOF