* Makefile: Add support for new test kind badmd for tests with broken
metadata.
* make_tests.sh: Fix some tests that have broken metadata.
* *.sh: Add execute bit.
svn path=/trunk/mono/; revision=138236
+2009-07-20 Rodrigo Kumpera <rkumpera@novell.com>
+
+ * Makefile: Add support for new test kind badmd for tests with broken
+ metadata.
+
+ * make_tests.sh: Fix some tests that have broken metadata.
+
+ * *.sh: Add execute bit.
+
2009-04-28 Rodrigo Kumpera <rkumpera@novell.com>
* valid_ldflda_owned_field_on_cctor.il: Fix visibility of .ctor.
2009-04-28 Rodrigo Kumpera <rkumpera@novell.com>
* valid_ldflda_owned_field_on_cctor.il: Fix visibility of .ctor.
+ if [ "$$FIRST" == "badmd" ]; \
+ then \
+ RES=1; \
+ fi; \
if [ "$$FIRST" == "valid" ]; \
then \
RES=0; \
if [ "$$FIRST" == "valid" ]; \
then \
RES=0; \
- for TYPE in 'object' 'string' 'class Class' 'valuetype MyStruct' 'int32[]' 'int32[,]' 'typedref' 'int32*' 'method int32 *(int32)' 'class Template`1<object>' 'int8&' 'bool&' 'unsigned int8&' 'int16&' 'char&' 'unsigned int16&' 'int32&' 'unsigned int32&' 'int64&' 'unsigned int64&' 'float32&' 'float64&' 'native int&' 'native unsigned int&' 'object&' 'string&' 'class Class&' 'valuetype MyStruct&' 'int32[]&' 'int32[,]&' 'typedref&' 'class Template`1<object>&'
+ for TYPE in 'object' 'string' 'class Class' 'valuetype MyStruct' 'int32[]' 'int32[,]' 'typedref' 'int32*' 'method int32 *(int32)' 'class Template`1<object>' 'int8&' 'bool&' 'unsigned int8&' 'int16&' 'char&' 'unsigned int16&' 'int32&' 'unsigned int32&' 'int64&' 'unsigned int64&' 'float32&' 'float64&' 'native int&' 'native unsigned int&' 'object&' 'string&' 'class Class&' 'valuetype MyStruct&' 'int32[]&' 'int32[,]&' 'class Template`1<object>&'
do
./make_unary_test.sh conv_op_${J}_${I} unverifiable $OP "$TYPE"
I=`expr $I + 1`
done
do
./make_unary_test.sh conv_op_${J}_${I} unverifiable $OP "$TYPE"
I=`expr $I + 1`
done
+
+ ./make_unary_test.sh conv_op_${J}_${I} badmd $OP "$TYPE" "typedref&"
#local and argument store with invalid values lead to unverifiable code
I=1
for OP in stloc.0 "stloc.s 0" "starg 0" "starg.s 0"
#local and argument store with invalid values lead to unverifiable code
I=1
for OP in stloc.0 "stloc.s 0" "starg 0" "starg.s 0"
./make_store_test.sh coercion_78_${I} unverifiable "$OP" typedref 'native int'
./make_store_test.sh coercion_89_${I} unverifiable "$OP" typedref int64
./make_store_test.sh coercion_80_${I} unverifiable "$OP" typedref float64
./make_store_test.sh coercion_78_${I} unverifiable "$OP" typedref 'native int'
./make_store_test.sh coercion_89_${I} unverifiable "$OP" typedref int64
./make_store_test.sh coercion_80_${I} unverifiable "$OP" typedref float64
- ./make_store_test.sh coercion_81_${I} unverifiable "$OP" typedref 'typedref&'
+ ./make_store_test.sh coercion_81_${I} badmd "$OP" typedref 'typedref&'
./make_store_test.sh coercion_82_${I} unverifiable "$OP" typedref object
I=`expr $I + 1`
done
./make_store_test.sh coercion_82_${I} unverifiable "$OP" typedref object
I=`expr $I + 1`
done
./make_ret_test.sh ret_coercion_78 unverifiable typedref 'native int'
./make_ret_test.sh ret_coercion_79 unverifiable typedref int64
./make_ret_test.sh ret_coercion_80 unverifiable typedref float64
./make_ret_test.sh ret_coercion_78 unverifiable typedref 'native int'
./make_ret_test.sh ret_coercion_79 unverifiable typedref int64
./make_ret_test.sh ret_coercion_80 unverifiable typedref float64
-./make_ret_test.sh ret_coercion_81 unverifiable typedref 'typedref&'
+./make_ret_test.sh ret_coercion_81 badmd typedref 'typedref&'
./make_ret_test.sh ret_coercion_82 unverifiable typedref object
./make_ret_test.sh ret_coercion_83 valid int32 "native int"
./make_ret_test.sh ret_coercion_82 unverifiable typedref object
./make_ret_test.sh ret_coercion_83 valid int32 "native int"
for TYPE in "int32\&" "void"
do
for TYPE in "int32\&" "void"
do
- ./make_stobj_test.sh stobj_simple_${I} invalid "$TYPE" "$TYPE\&" "$TYPE"
+ ./make_stobj_test.sh stobj_simple_${I} badmd "$TYPE" "$TYPE\&" "$TYPE"
#should be able to use invalid types
for TYPE in "int32\&" "void"
do
#should be able to use invalid types
for TYPE in "int32\&" "void"
do
- ./make_cpobj_test.sh cpobj_simple_${I} invalid "${TYPE}\&" "${TYPE}\&" "${TYPE}"
+ ./make_cpobj_test.sh cpobj_simple_${I} badmd "${TYPE}\&" "${TYPE}\&" "${TYPE}"
-for TYPE in "int32\&" "void"
do
./make_cpobj_test.sh cpobj_bad_token_type_${I} invalid "int32\&" "int32\&" "${TYPE}"
I=`expr $I + 1`
done
do
./make_cpobj_test.sh cpobj_bad_token_type_${I} invalid "int32\&" "int32\&" "${TYPE}"
I=`expr $I + 1`
done
+./make_cpobj_test.sh cpobj_bad_token_type_2 badmd "int32\&" "int32\&" "void"
+
#src compat to token
./make_cpobj_test.sh cpobj_src_compat_1 valid "int32\&" "int32\&" "native int"
./make_cpobj_test.sh cpobj_src_compat_2 valid "native int\&" "int32\&" "int32"
#src compat to token
./make_cpobj_test.sh cpobj_src_compat_1 valid "int32\&" "int32\&" "native int"
./make_cpobj_test.sh cpobj_src_compat_2 valid "native int\&" "int32\&" "int32"