mono/tests/verifier/make_unary_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
  13 TEST_FILE=`echo ${TEST_VALIDITY}_${TEST_NAME} | $SED -e 's/ /_/g' -e 's/\./_/g' -e 's/&/mp/g' -e 's/\[/_/g' -e 's/\]/_/g'`_generated.il
  14 echo $TEST_FILE
  15 TEST_TYPE1=`echo $TEST_TYPE1 | $SED -s 's/&/\\\&/'`
  16 $SED -e "s/OPCODE/${TEST_OP}/g" -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g" -e "s/LOAD_OPCODE/${TEST_LOAD_OP}/g" > $TEST_FILE <<//EOF
  17
  18 // VALIDITY CIL which breaks the ECMA-335 rules.
  19 // this CIL should fail verification by a conforming CLI verifier.
  20
  21 .assembly '${TEST_NAME}_generated'
  22 {
  23   .hash algorithm 0x00008004
  24   .ver  0:0:0:0
  25 }
  26
  27 .class Class extends [mscorlib]System.Object
  28 {
  29     .field public int32 valid
  30 }
  31
  32 .class public Template\`1<T>
  33         extends [mscorlib]System.Object
  34 {
  35 }
  36
  37 .class public auto ansi sealed MyStruct
  38         extends [mscorlib]System.ValueType
  39 {
  40     .field public int32 valid
  41 }
  42
  43 .class public auto ansi sealed Int8Enum
  44         extends [mscorlib]System.Enum
  45 {
  46         .field public specialname rtspecialname int8 value__
  47         .field public static literal valuetype Int8Enum A = int8(0x00000000)
  48 }
  49
  50 .class explicit sealed Overlapped extends [mscorlib]System.ValueType
  51 {
  52     .field [0] private int32 privateIntVal
  53     .field [0] public int32 publicIntVal
  54     .field [4] public int32 intVal
  55 }
  56
  57 .method public static int32 Main() cil managed
  58 {
  59         .entrypoint
  60         .maxstack 2
  61         .locals init (
  62                 TYPE1 V_0)
  63         ldloc.0
  64         OPCODE // VALIDITY.
  65
  66         leave branch_target
  67 branch_target:
  68         ldc.i4.0
  69         ret
  70 }
  71 //EOF