mono/tests/verifier/make_unary_test.sh

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