mono/tests/verifier/make_bool_branch_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_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 sed -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g"  -e "s/OPCODE/${TEST_OP}/g" > $TEST_FILE <<//EOF
  13
  14 // VALIDITY CIL which breaks the ECMA-335 rules.
  15 // this CIL should fail verification by a conforming CLI verifier.
  16
  17 .assembly '${TEST_NAME}_generated'
  18 {
  19   .hash algorithm 0x00008004
  20   .ver  0:0:0:0
  21 }
  22
  23 .class ClassA
  24         extends [mscorlib]System.Object
  25 {
  26 }
  27
  28 .class sealed MyValueType
  29         extends [mscorlib]System.ValueType
  30 {
  31         .field private int32 v
  32 }
  33
  34 .class public Template\`1<T>
  35         extends [mscorlib]System.Object
  36 {
  37 }
  38
  39 .class sealed public ValueTypeTemplate\`1<T>
  40         extends [mscorlib]System.ValueType
  41 {
  42         .field private int32 v
  43 }
  44
  45 .method public static int32 Main() cil managed
  46 {
  47         .entrypoint
  48         .maxstack 1
  49         .locals init (
  50             TYPE1 V_0
  51         )
  52         ldloc.0
  53         OPCODE branch_target // VALIDITY.
  54         nop
  55         branch_target:
  56         ldc.i4.0
  57         ret
  58 }
  59 //EOF