Author: kumpera
Date: 2008-01-30 17:37:39 -0500 (Wed, 30 Jan 2008)
New Revision: 94426
Modified:
trunk/mono/mono/tests/verifier/ChangeLog
trunk/mono/mono/tests/verifier/make_bool_branch_test.sh
trunk/mono/mono/tests/verifier/make_tests.sh
Log:
2008-01-30 Rodrigo Kumpera <[EMAIL PROTECTED]>
* make_tests.sh: More tests for brtrue/brfalse with boxed values
and null literals.
* make_bool_branch_test.sh: New optional arg to allow for new tests.
* ChangeLog: correct last entry, it was out of order.
Modified: trunk/mono/mono/tests/verifier/ChangeLog
===================================================================
--- trunk/mono/mono/tests/verifier/ChangeLog 2008-01-30 22:34:46 UTC (rev
94425)
+++ trunk/mono/mono/tests/verifier/ChangeLog 2008-01-30 22:37:39 UTC (rev
94426)
@@ -1,3 +1,16 @@
+2008-01-30 Rodrigo Kumpera <[EMAIL PROTECTED]>
+
+ * make_tests.sh: More tests for brtrue/brfalse with boxed values
+ and null literals.
+
+ * make_bool_branch_test.sh: New optional arg to allow for new tests.
+
+2008-01-30 Rodrigo Kumpera <[EMAIL PROTECTED]>
+
+ * make_tests.sh: Removed some invalid tests for nesting access
+ as they where trying to call non final virtual methods without using
+ the 'this' pointer.
+
2008-01-23 Rodrigo Kumpera <[EMAIL PROTECTED]>
* make_call_test.sh: test generator for call and callvirt.
@@ -26,12 +39,6 @@
* make_tests.sh: added tests for ovf math with floats.
-2008-01-30 Rodrigo Kumpera <[EMAIL PROTECTED]>
-
- * make_tests.sh: Removed some invalid tests for nesting access
- as they where trying to call non final virtual methods without using
- the 'this' pointer.
-
2008-01-17 Rodrigo Kumpera <[EMAIL PROTECTED]>
* make_localloc_test.sh: test generator for localloc.
Modified: trunk/mono/mono/tests/verifier/make_bool_branch_test.sh
===================================================================
--- trunk/mono/mono/tests/verifier/make_bool_branch_test.sh 2008-01-30
22:34:46 UTC (rev 94425)
+++ trunk/mono/mono/tests/verifier/make_bool_branch_test.sh 2008-01-30
22:37:39 UTC (rev 94426)
@@ -4,12 +4,13 @@
TEST_VALIDITY=$2
TEST_OP=$3
TEST_TYPE1=$4
+TEST_EXTRAS=$5
TEST_NAME=${TEST_VALIDITY}_${TEST_NAME}
TEST_FILE=${TEST_NAME}_generated.il
echo $TEST_FILE
TEST_TYPE1=`echo $TEST_TYPE1 | sed -s 's/&/\\\&/'`
-sed -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g" -e
"s/OPCODE/${TEST_OP}/g" > $TEST_FILE <<//EOF
+sed -e "s/VALIDITY/${TEST_VALIDITY}/g" -e "s/TYPE1/${TEST_TYPE1}/g" -e
"s/OPCODE/${TEST_OP}/g" -e "s/EXTRAS/${TEST_EXTRAS}/g" > $TEST_FILE <<//EOF
// VALIDITY CIL which breaks the ECMA-335 rules.
// this CIL should fail verification by a conforming CLI verifier.
@@ -50,10 +51,13 @@
TYPE1 V_0
)
ldloc.0
+
+ EXTRAS
+
OPCODE branch_target // VALIDITY.
nop
branch_target:
ldc.i4.0
ret
}
-//EOF
\ No newline at end of file
+//EOF
Modified: trunk/mono/mono/tests/verifier/make_tests.sh
===================================================================
--- trunk/mono/mono/tests/verifier/make_tests.sh 2008-01-30 22:34:46 UTC
(rev 94425)
+++ trunk/mono/mono/tests/verifier/make_tests.sh 2008-01-30 22:37:39 UTC
(rev 94426)
@@ -1407,6 +1407,10 @@
./make_bool_branch_test.sh boolean_branch_${I}_18 unverifiable ${OP}
float64
./make_bool_branch_test.sh boolean_branch_${I}_19 unverifiable ${OP}
'class MyValueType'
./make_bool_branch_test.sh boolean_branch_${I}_20 unverifiable ${OP}
'class ValueTypeTemplate`1<object>'
+
+ ./make_bool_branch_test.sh boolean_branch_${I}_21 valid ${OP} object
"pop\n\tldnull"
+ ./make_bool_branch_test.sh boolean_branch_${I}_22 valid ${OP}
MyValueType "pop\n\tldnull\n\tisinst MyValueType"
+
I=`expr $I + 1`
done
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches
