1 2010-07-30 Rodrigo Kumpera <rkumpera@novell.com>
5 2010-07-12 Rodrigo Kumpera <rkumpera@novell.com>
7 * valid_generic_arg_satisty_constraint_compat_check.cs:
8 Regression test for #621599.
10 2010-07-09 Rodrigo Kumpera <rkumpera@novell.com>
12 * valid_deep_nested_type_visibility.cs: Regression test
15 2010-06-02 Rodrigo Kumpera <rkumpera@novell.com>
17 * invalid_generic_constraints_with_loop.il:
18 * valid_dependent_generic_constraint_and_boxing.il:
19 Regression tests for #610625.
21 2010-04-09 Rodrigo Kumpera <rkumpera@novell.com>
23 * valid_switch_with_value_on_stack.il: New test.
25 2010-04-09 Rodrigo Kumpera <rkumpera@novell.com>
27 valid_call_to_virtual_method_on_sealed_class.il: New test.
29 2010-04-07 Rodrigo Kumpera <rkumpera@novell.com>
31 * valid_store_of_uint_to_int_array.il: Regression test
34 2010-04-05 Rodrigo Kumpera <rkumpera@novell.com>
36 * unverifiable_ginst_dont_reduce_to_gparam_with_constraint.il: Regression test
39 2010-03-26 Rodrigo Kumpera <rkumpera@novell.com>
41 * invalid_branch_in_between_prefix_and_instruction.il:
42 * invalid_empty_filter_block.il:
43 * make_endfilter_test.sh
44 * make_endfinally_test.sh: Silence which when gsed is not found.
46 2010-02-04 Rodrigo Kumpera <rkumpera@novell.com>
48 * make_endfilter_test.sh: Fix this test to not have a throw that make some of the
49 endfilter unreachable.
51 2010-02-04 Rodrigo Kumpera <rkumpera@novell.com>
53 * invalid_branch_in_between_prefix_and_instruction.il:
54 * invalid_empty_filter_block.il:
55 * make_endfilter_test.sh
56 * make_endfinally_test.sh: Bunch of OSX and test fixes.
58 2010-01-28 Rodrigo Kumpera <rkumpera@novell.com>
60 * Makefile, *.sh, *.il: Change status of a bunch of a tests to reflect the metadata
61 verifier. First pass into making the test suite works under OSX.
63 2010-01-08 Rodrigo Kumpera <rkumpera@novell.com>
65 * valid_iface_with_variant_constraint.cs: Constraints can be variant.
67 2009-12-26 Rodrigo Kumpera <rkumpera@novell.com>
69 * invalid_try_catch_with_zero_max_stack.il: Regression test for bug #562320.
71 2009-08-17 Rodrigo Kumpera <rkumpera@novell.com>
73 * valid_generic_type_definition_on_boxing_position.cs: Valid encoding of GTD on
76 2009-08-14 Rodrigo Kumpera <rkumpera@novell.com>
78 *unverifiable_ldobj_with_generic_type_definition.il: Regression test for
81 2009-07-20 Rodrigo Kumpera <rkumpera@novell.com>
83 * Makefile: Add support for new test kind badmd for tests with broken
86 * make_tests.sh: Fix some tests that have broken metadata.
88 * *.sh: Add execute bit.
90 2009-04-28 Rodrigo Kumpera <rkumpera@novell.com>
92 * valid_ldflda_owned_field_on_cctor.il: Fix visibility of .ctor.
94 2009-04-20 Rodrigo Kumpera <rkumpera@novell.com>
96 * valid_nested_eh_in_try_of_try_filter_block.il: Regression
99 2009-04-20 Rodrigo Kumpera <rkumpera@novell.com>
101 * valid_initobj_this.cs: Regression test for #496175.
103 2009-04-19 Rodrigo Kumpera <rkumpera@novell.com>
105 * valid_access_nested_class_multidym_array.cs: Regression test for
108 2009-04-14 Rodrigo Kumpera <rkumpera@novell.com>
110 * valid_br_before_try_block.il: Regression test for #494812.
112 2009-04-13 Rodrigo Kumpera <rkumpera@novell.com>
114 * invalid_backward_branch.il: Fix typo.
116 2009-04-09 Rodrigo Kumpera <rkumpera@novell.com>
118 * valid_delegate_signature_with_generics.cs: Test for the compatibility
119 of delegate arguments when a function has a non generic type argument
120 and the delegate has a generic one.
122 2009-04-08 Rodrigo Kumpera <rkumpera@novell.com>
124 * valid_nested_access_with_multi_array_instance.cs:
125 * valid_nested_access_with_array_instance.cs: Regression tests for
128 2009-04-07 Rodrigo Kumpera <rkumpera@novell.com>
130 * valid_eh_block_with_no_instructions_after.il: Regression test
133 2009-04-06 Rodrigo Kumpera <rkumpera@novell.com>
135 * unverifiable_throw_with_unboxed_generic_argument.il: Regression test
138 2009-04-02 Rodrigo Kumpera <rkumpera@novell.com>
140 * valid_candidate_contraint_is_inflated_using_global_context.cs:
141 New test for cases where the candidate constraint type refers to the
142 global generic context.
144 We have to use it because it might be the case the the global context
145 has more arguments than the local one.
147 2009-03-31 Rodrigo Kumpera <rkumpera@novell.com>
149 * invalid_catch_block_out_of_bounds.il
150 * invalid_try_block_out_of_bounds.il: Tests for proper bounds
151 check of exception clauses.
153 2009-03-16 Rodrigo Kumpera <rkumpera@novell.com>
155 * invalid_generic_generic_object_is_boxed.il: Regression test
158 2009-02-17 Rodrigo Kumpera <rkumpera@novell.com>
160 * unverifiable_array_element_type_compatiblity.il: Regression test
163 2009-02-16 Rodrigo Kumpera <rkumpera@novell.com>
165 * valid_rethrow_doesnt_fallthrough: New regression test for
168 2009-02-03 Rodrigo Kumpera <rkumpera@novell.com>
170 * valid_boxed_vt_compatible_with_sys_vt_or_sys_enum.il:
171 Regression test for #469549.
173 2009-02-03 Rodrigo Kumpera <rkumpera@novell.com>
175 * unverifiable_delegate_with_bad_bound_first_arg_to_static_method.il:
176 * mono/tests/verifier/valid_ldfnt_delegates_of_static_methods.il:
177 Regression test for #469529.
179 2009-02-03 Rodrigo Kumpera <rkumpera@novell.com>
181 * valid_valuetype_boxed_types_are_merge_compatible.il:
182 Regression test for #469528.
184 2009-01-06 Rodrigo Kumpera <rkumpera@novell.com>
186 * valid_iface_constant_with_parent_implementing_it.il:
187 Regression test for #461200.
189 2009-01-06 Rodrigo Kumpera <rkumpera@novell.com>
191 * valid_array_compat_with_bonds_and_sizes.il:
192 * valid_array_compat_with_bounds.il:
193 * valid_array_compat_with_sizes.il: Regression tests for
196 2009-01-06 Rodrigo Kumpera <rkumpera@novell.com>
198 * valid_ceq_with_boxed_vt.il: Regression test for #461200.
200 2008-12-01 Rodrigo Kumpera <rkumpera@novell.com>
202 * unverifiable_boxed_type_not_compatible_with_string.il:
203 * unverifiable_boxed_type_not_compatible_with_valuetype.il:
204 * unverifiable_ret_with_boxed_value_on_stack.il: Regression tests
207 2008-09-03 Rodrigo Kumpera <rkumpera@novell.com>
209 * strict_native_int_converts_to_unamanged_pointer.cs: It turns
210 out that this test should generate unverifiable code. Big WTF
213 2008-07-30 Rodrigo Kumpera <rkumpera@novell.com>
215 * valid_inflated_generic_constraint_compatible.il:
216 Regression test for constraints that require to be
219 2008-07-30 Rodrigo Kumpera <rkumpera@novell.com>
221 * invalid_argument_type.il:
222 * invalid_local_variable.il: New tests for invalid types
223 in locals or arguments.
225 2008-07-28 Rodrigo Kumpera <rkumpera@novell.com>
227 * invalid_generic_type_with_explicit_layout.il: New test.
229 * Makefile: Fix C# files compilation.
231 2008-07-25 Rodrigo Kumpera <rkumpera@novell.com>
233 * make_generic_argument_constraints_test.sh: New test
234 generator for constraint compatibility of generic arguments.
236 * make_tests.sh: Added tests using using
239 * invalid_generic_argument_violate_type_constraint.il:
240 Test for constraints compatibility between types.
242 2008-07-24 Rodrigo Kumpera <rkumpera@novell.com>
244 * unverifiable_binary_compare_with_generic_argument.il:
245 * unverifiable_binary_compare_with_valuetype.il:
246 * unverifiable_ceq_with_generic_argument.il:
247 * unverifiable_ceq_with_valuetype.il:
248 Tests for valuetypes and generic arguments with
251 2008-07-23 Rodrigo Kumpera <rkumpera@novell.com>
253 * valid_nested_field_access_with_generic_class.cs:
254 Check if nested access works with generic types.
256 * valid_isinst_box_generic_arguments.il: Check if generic
257 arguments should be boxed by isisnt and castclass.
259 2008-07-23 Rodrigo Kumpera <rkumpera@novell.com>
261 * valid_generic_inst_field_might_have_zero_size.il:
262 Regression test found from gtest-106.exe
264 2008-07-11 Rodrigo Kumpera <rkumpera@novell.com>
266 * invalid_ldtoken_field.il
267 * invalid_ldtoken_method.il
268 * invalid_ldtoken_type_2.il
269 * invalid_ldtoken_type_3.il
270 * invalid_ldtoken_type.il: Tests for bad tokens for
273 2008-07-11 Rodrigo Kumpera <rkumpera@novell.com>
275 * invalid_bad_method_instantiation.il: Test for
276 instantiations using VAR or MVAR that are invalid
277 in the current context.
279 2008-07-11 Rodrigo Kumpera <rkumpera@novell.com>
281 * unverifiable_funptr_double_free_regression.il: Regression
282 test for double free of funptrs.
284 2008-06-24 Rodrigo Kumpera <rkumpera@novell.com>
286 * valid_generic_exception_catch_clause_type.cs: Regression
289 2008-06-06 Rodrigo Kumpera <rkumpera@novell.com>
291 * make_ctor_test.sh: New test generator for
292 constructor related tests.
294 * make_tests.sh: Added tests using using
297 2008-05-23 Rodrigo Kumpera <rkumpera@novell.com>
299 * valid_contravariant_delegate_1.il
300 * valid_contravariant_delegate_2.il
301 * valid_convariant_delegate_1.il
302 * valid_convariant_delegate_2.il
303 * valid_generic_delegate_1.cs
304 * valid_generic_delegate_2.cs
305 * valid_invariant_delegate.il: Test compatibility of generic
306 delegates in the presence of variance.
308 2008-05-14 Rodrigo Kumpera <rkumpera@novell.com>
310 * valid_visibility_across_generic_instantiations.cs: Regression
313 2008-05-14 Rodrigo Kumpera <rkumpera@novell.com>
315 * test_lib.cs: Dependency for new visibility related tests.
317 * Makefile: Added compilation step for test_lib.cs.
319 2008-05-09 Rodrigo Kumpera <rkumpera@novell.com>
321 * make_type_visibility_test.sh: New test
322 generator for visibility tests of generic
323 method and type arguments.
325 * make_tests.sh: Added tests using using
328 2008-05-09 Rodrigo Kumpera <rkumpera@novell.com>
330 * make_tests.sh: Changed one test from unverifiable
331 to valid as it only fails on MS runtime due to a bug
332 on its implementation.
334 2008-05-02 Rodrigo Kumpera <rkumpera@novell.com>
336 * valid_nullable_store.il: New test to ensure
337 that nullables are properly compared.
339 2008-05-02 Rodrigo Kumpera <rkumpera@novell.com>
341 * valid_leave_before_try_block.il: New test to ensure
342 that the leave opcode empties the stack.
344 2008-05-02 Rodrigo Kumpera <rkumpera@novell.com>
346 * BatchCompiler.cs: ilasm generates bad tokens when
347 compiling many times within the same appdomain.
348 Using one per source file. Compilation times are
349 now just a bit faster than before.
351 * Makefile: Fix typo.
353 2008-05-01 Rodrigo Kumpera <rkumpera@novell.com>
355 * unverifiable_ldsfld_no_fld.il: Fixed compilation
356 and renamed to invalid_ldsfld_no_fld.il.
358 * BatchCompiler.cs: New driver to fast compile the
359 verifier test suite. It's about 20x faster now.
361 * Makefile: Use the ilasm driver for faster compilation.
363 2008-04-30 Rodrigo Kumpera <rkumpera@novell.com>
365 * make_il_overflow_test.sh: New test generator
366 for a truncated IL stream.
368 * make_tests.sh: Fixed generation script. Added
369 tests using the new generator.
371 2008-04-23 Rodrigo Kumpera <rkumpera@novell.com>
373 * make_tests.sh: Add some tests for overlapping
374 aligned reference fields.
376 * Makefile: Added new test prefix typeunverifiable.
377 It should be used for tests that type fails to load
378 only under verifiable.
380 2008-04-15 Rodrigo Kumpera <rkumpera@novell.com>
382 * make_boxed_genarg_test.sh: New test generator
383 for boxed generic arguments.
385 * make_test.sh: Added tests using the new generator
386 for the interaction between boxed generic arguments
387 and its constraint types.
389 2008-04-10 Rodrigo Kumpera <rkumpera@novell.com>
391 * AssemblyRunner.cs: If a VerificationException
392 happens while running under fulltrust, it means
393 that the code is invalid.
395 * make_method_constraint_test.sh: Test generator for
396 generic methods argument constraints.
398 * make_test.sh: Added tests for invalid opcodes
399 using the new generator.
401 * invalid_generic_method_and_type.il: New test
402 for generic constraints.
404 2008-04-10 Rodrigo Kumpera <rkumpera@novell.com>
406 * make_bad_op_test.sh: Test generator for
409 * make_test.sh: Added tests for invalid opcodes
410 using the new generator.
412 2008-04-08 Rodrigo Kumpera <rkumpera@novell.com>
414 * make_overlapped_test.sh: Test generator for
417 * make_test.sh: Added tests for overlapped
418 fields using the new generator.
420 2008-04-07 Rodrigo Kumpera <rkumpera@novell.com>
422 * make_unary_test.sh: Clear the stack before ret.
424 * make_test.sh: Added tests for ckfinite.
426 2008-04-04 Rodrigo Kumpera <rkumpera@novell.com>
428 * make_tail_call_test.sh: New test generator for
431 * make_test.sh: Added tests using the new generator.
433 2008-04-04 Rodrigo Kumpera <rkumpera@novell.com>
435 * invalid_branch_middle_of_instruction.il: Recent
436 work on prefixes broke the verification for branching
437 in the middle of an instruction.
439 2008-04-02 Rodrigo Kumpera <rkumpera@novell.com>
441 * make_prefix_test.sh: New test generator for
444 * make_test.sh: Added tests using the new generator.
446 2008-04-02 Rodrigo Kumpera <rkumpera@novell.com>
448 * make_type_constraint_test.sh: New test generator for
449 constraints on generic type arguments.
451 * make_testS: Added tests using the new generator.
453 2008-03-31 Rodrigo Kumpera <rkumpera@novell.com>
455 * AssemblyRunner.cs: Mark TypeLoadException as invalid code.
457 2008-03-25 Rodrigo Kumpera <rkumpera@novell.com>
459 * valid_branch_to_first_prefix.il: Test branching to the first prefix
462 2008-03-24 Rodrigo Kumpera <rkumpera@novell.com>
464 * make_cmmp_test.sh: Test generator for readonly pointers.
466 * make_test.sh: New tests using the added generator.
468 2008-03-17 Rodrigo Kumpera <rkumpera@novell.com>
470 * make_constrained_test.sh: Test generator for constrained calls.
472 * make_test.sh: New tests using the added generator.
474 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
476 * valid_generic_test.cs: Tests for generic classes.
478 * unverifiable_generic_type_field_access.il: Tests for
479 not mixing generic arguments.
481 * valid_generic_test.cs: Add tests for generic
482 class and method together.
484 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
486 * strict_native_int_converts_to_unamanged_pointer.cs: Allow
487 conversion from native int to unmanaged pointer in non-strict mode.
488 This is required to allow the C# expression "(IntPtr)null" to be
491 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
493 * valid_ldftn_final_virtual_method.il:
494 * valid_ldftn_sealed_type_virtual_method.il: Tests the interaction
495 of sealed type and final method or ldftn verifiability.
497 2008-03-11 Rodrigo Kumpera <rkumpera@novell.com>
499 * make_delegate_compat_test.sh: Added. Generate tests for
500 compatibility between delegate signature and function
503 * make_tests.sh: Added tests using make_delegate_compat_test.sh.
505 2008-03-10 Rodrigo Kumpera <rkumpera@novell.com>
507 * make_invalid_ret_type.sh: Added. Generate return site tests
508 for invalid return types.
510 * make_tests.sh: Add tests using make_invalid_ret_type.sh.
512 2008-03-10 Rodrigo Kumpera <rkumpera@novell.com>
514 * unverifiable_callvirt_static_method.il: Added. Test for callvirt and
517 2008-02-28 Rodrigo Kumpera <rkumpera@novell.com>
519 * invalid_refanytype_null_stack_top.il: New test for refanytype opcode.
521 * invalid_refanytype_invalid_stack_top.il: Same.
523 * valid_refanytype.il: Same.
525 2008-02-28 Rodrigo Kumpera <rkumpera@novell.com>
527 * make_mkrefany.il: New test generator for mkrefany opcode.
529 * make_tests.sh: Added tests for mkrefany.
531 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
533 * valid_vararg.il: New test for calling vararg methods.
535 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
537 * valid_refanyval.il: New test for the refanyval opcode.
539 * invalid_refanyval_null_stack_top.il: Same.
541 * invalid_refanyval_invalid_stack_top.il: Same.
543 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
545 * valid_arglist.il: New test for the arglist opcode.
547 * invalid_arglist_method_not_vararg.il: Same.
549 2008-02-18 Rodrigo Kumpera <rkumpera@novell.com>
551 * unverifiable_locals_without_initlocals.il: Methods with locals
552 that are not .init are allways unverifiable.
554 2008-02-08 Rodrigo Kumpera <rkumpera@novell.com>
556 * unverifiable_void_ptr_store_2.cs: Tests for using unmanaged pointers.
557 This test looks for void pointers.
559 * unverifiable_void_ptr_store_3.cs: Same.
561 * unverifiable_void_ptr_store.cs: Same.
563 * valid_merge_boxed_type_3.cs: Test merging a reference type diferent than
564 System.Object and a boxed valuetype. This is hopefully the last issue of
565 merging stack frames.
567 * Makefile: compile .cs files with /unsafe switch.
569 2008-02-06 Rodrigo Kumpera <rkumpera@novell.com>
571 * valid_boxed_enum_is_compatible_with_system_enum.cs: Added.
572 Test if an enum is compatible with System.Enum.
574 * valid_merge_boxed_type.cs: Added. Test merging
575 a boxed int32 with a reference type.
577 * valid_merge_boxed_type_2.cs: Same.
579 * make_ldelem_test.sh: Added some enums to be used by the tests.
581 * make_tests.sh: New tests for ldelem compatibility between enums
582 and their base type. Marked some tests as strict.
584 2008-02-06 Rodrigo Kumpera <rkumpera@novell.com>
586 * valid_merge_base_type.cs
587 * valid_merge_first_value_is_base_type.cs:
588 * valid_merge_interface_type_3.cs:
589 * valid_merge_interface_type_4.cs:
590 * valid_merge_interface_type.cs:
591 * valid_merge_second_value_is_base_type.cs: New tests for stack merging.
592 These tests verify the correctness of the merged value.
594 2008-01-30 Rodrigo Kumpera <rkumpera@novell.com>
596 * make_tests.sh: More tests for brtrue/brfalse with boxed values
599 * make_bool_branch_test.sh: New optional arg to allow for new tests.
601 2008-01-30 Rodrigo Kumpera <rkumpera@novell.com>
603 * make_tests.sh: Removed some invalid tests for nesting access
604 as they where trying to call non final virtual methods without using
607 2008-01-23 Rodrigo Kumpera <rkumpera@novell.com>
609 * make_call_test.sh: test generator for call and callvirt.
611 * make_tests.sh: added tests for call and callvirt.
613 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
615 * invalid_ldstr_bad_token.il: added. check the index
616 against the the #US heap.
618 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
620 * unverifiable_newobj_no_visibility.il: added. visibility
623 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
625 * unverifiable_ldftn_no_visibility.il: added. visibility
628 * unverifiable_ldvirtftn_no_visibility.il: added. visibility
631 2008-01-18 Rodrigo Kumpera <rkumpera@novell.com>
633 * make_tests.sh: added tests for ovf math with floats.
635 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
637 * make_localloc_test.sh: test generator for localloc.
639 * make_tests.sh: added tests for localloc.
641 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
643 * make_sizeof_test.sh: test generator for sizeof.
645 * make_tests.sh: added tests for sizeof.
647 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
649 * make_cp_test.sh: test generator for cpobj.
651 * make_tests.sh: added tests for cpobj.
653 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
655 * invalid_initobj_invalid_token_out_of_bounds.il: tests for initobj.
657 * invalid_initobj_invalid_token_type.il: same.
659 * make_initobj_test.sh: test generator for initobj.
661 * make_tests.sh: added tests for initobj.
663 2008-01-11 Rodrigo Kumpera <rkumpera@novell.com>
665 * unverifiable_ldfld_reference_type_by_ref.il: new test for ldfld.
667 * invalid_stojb_bad_token.il: test for bad ldobj token.
669 * invalid_stojb_token_out_of_bounds.il: same.
671 * make_stobj_test.sh: new test generator.
673 * make_test.sh: added new tests for stobj.
675 2008-01-10 Rodrigo Kumpera <rkumpera@novell.com>
677 * valid_ldftn_method_spec_token.il: new test
678 for loading function pointers for generic methods.
680 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
682 * make_test.sh: added tests for unbox.any.
684 * make_unbox_any_test.sh: new test generator.
686 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
688 * make_test.sh: added tests for add|sub|mul ovf;
690 * unverifiable_unbox_toke_is_reference_type.il: New test for regressions
691 found while validating vbnc.
693 * valid_stind_ref_with_boxed_value.il: same.
694 * valid_ldelema_enum_array.il: same.
696 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
698 * valid_isinst_with_boxed_valuetype.il: New test for regressions
699 found while validating vbnc.
701 * valid_ldfld_valuetype_by_ref.il: same.
702 * valid_ldfld_valuetype_by_value.il: same.
703 * valid_stelem_ref_boxed_value.il: same.
704 * valid_stloc_boxed_valuetype.il: same.
705 * valid_sub_class_of_generic_type_is_compatible.il: same.
706 * unverifiable_ldfld_valuetype_boxed.il: same.
707 * unverifiable_ldfld_reference_type_by_ref.il: same.
709 * make_test.sh: new tests for stfld and cgt.un.
712 2008-01-08 Rodrigo Kumpera <rkumpera@novell.com>
714 * make_delegate_test.sh: increased max stack for
717 * make_tests.sh: added new tests for delegates
718 constructed with ldvirtftn.
720 2008-01-07 Rodrigo Kumpera <rkumpera@novell.com>
722 * make_delegate_test.sh: added.
724 * make_tests.sh: added new tests for delegates
725 constructed with ldftn.
727 2008-01-03 Rodrigo Kumpera <rkumpera@novell.com>
729 * invalid_ldvirtftn_invalid_token_type.il: added.
731 * make_ldvirtftn_test.sh: added.
733 * invalid_ldvirtftn_invalid_token_out_of_bounds.il: added.
735 * make_ldftn_test.sh: changed to allow more tests.
737 * make_tests.sh: added new tests for ldvirtftn and
738 a buch more for ldftn.
740 2007-12-31 Rodrigo Kumpera <rkumpera@novell.com>
742 * invalid_ldftn_invalid_token_out_of_bounds.il: added.
744 * invalid_ldftn_invalid_token_type.il: added.
746 * make_ldftn_test.sh: added.
748 * make_test.sh: new tests for ldftn.
750 * AssemblyRunner.cs: added BadImageFormatException
751 to the list of invalid code errors. Removed
752 some dead code and an useless message.
755 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
757 * invalid_non_empty_stack_at_try_begin.il: added.
759 * valid_branch_to_first_intruction_of_try.il: added.
762 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
764 * make_exception_overlap_test.sh: new test generator.
766 * make_tests.sh: new tests for exception clause restrictions
767 enumerated in P1 12.4.2.7.
769 * invalid_catch_block_starts_after_prefix.il: new test
770 for a catch block that starts in the middle of an instruction.
772 2007-12-24 Rodrigo Kumpera <rkumpera@novell.com>
774 * make_switch_test.sh: new test generator.
776 * make_exception_branch_test.sh: the filter
777 handler did not pop the exception argument.
779 * make_tests.sh: add tests for switch.
781 2007-12-21 Rodrigo Kumpera <rkumpera@novell.com>
783 * make_branch_test.sh: new test generator.
785 * make_exception_branch_test.sh: added
786 support to test generator to specify
789 * make_tests.sh: some results for
790 make_exception_branch_test.sh were
793 * make_tests.sh: added some tests
796 * make_tests.sh added tests for br.
798 2007-12-20 Rodrigo Kumpera <rkumpera@novell.com>
800 * valid_exception_sequence.il: new test
801 for what blocks take an exception on
804 2007-12-19 Rodrigo Kumpera <rkumpera@novell.com>
806 * invalid_empty_catch_block.il
807 * invalid_empty_fault_block.il
808 * invalid_empty_filter_block.il
809 * invalid_empty_finally_block.il
810 * invalid_empty_handler_block.il
811 * invalid_empty_try_block.il
812 tests for empty protected blocks.
814 * invalid_exception_blocks_order.il:
815 test for the required ordering of exception
818 * invalid_finally_block_overlap_try_block.il
819 * invalid_try_block_includes_catch_block.il
820 * invalid_try_block_inside_filter_block.il
821 tests for ill formed exception clauses.
823 * invalid_fallout_of_filter_block.il
824 * invalid_fallout_of_handler_block.il
825 * invalid_fallthru_into_filter_block.il
826 * invalid_fallthru_into_handler_block.il
827 * unverifiable_fallout_of_catch_block.il
828 * unverifiable_fallout_of_fault_block.il
829 * unverifiable_fallout_of_finally_block.il
830 * unverifiable_fallout_of_try_block.il
831 * unverifiable_fallthru_into_catch_block.il
832 * unverifiable_fallthru_into_fault_block.il
833 * unverifiable_fallthru_into_finally_block.il
834 * valid_end_try_block_with_throw.il:
835 tests for fallthru in and out of protected blocks.
837 2007-12-18 Rodrigo Kumpera <rkumpera@novell.com>
839 * make_test.sh: added tests for filter
841 * make_filter_test.sh: new test generator
843 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
845 * make_test.sh: added tests for endfilter
847 * make_endfilter_test.sh: new test generator
849 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
851 * Makefile: add support to check strict tests.
853 * AssemblyRunner.cs: start using peverify as part of the
854 process. Support for strict tests.
856 2007-12-12 Rodrigo Kumpera <rkumpera@novell.com>
858 * invalid_filter_ends_at_endfilter_1.il: tests if the
859 filter block is limited by the start of the associated
860 handler clause or it is limited by the ocurrence of
861 endfilter. These 3 tests show that even if the endfilter
862 instruction must be the last, it doesn't define the end
865 * invalid_filter_ends_at_endfilter_2.il: same
867 * invalid_filter_ends_at_endfilter_3.il: same
869 * make_test.sh: added tests for endfinally / endfault
870 * make_endfinally_test.sh: new test generator
872 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
874 * make_test.sh: added tests for rethrow
875 * make_rethrow_test.sh: new test generator
877 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
879 * make_test.sh: added tests for throw
880 * make_throw_test.sh: new test generator
882 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
884 * make_test.sh: added tests for castclass and isinst
885 * make_cast_test.sh: new test generator
887 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
889 * make_test.sh: added tests for stelem.X
890 * make_stelem_test.sh: new test generator
892 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
894 * make_test.sh: added tests for ldelem
896 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
898 * make_test.sh: fixed compilation issues with some tests.
900 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
902 * make_test.sh: added tests for ldelem.X
903 * make_ldelem_test.sh: new test generator
905 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
907 * make_test.sh: added tests for ldelema
908 * make_ldelema_test.sh: new test generator
910 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
912 * make_test.sh: added tests for ldlen
913 * make_ldlen_test.sh: new test generator
915 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
917 * valid_array_method.cs: test for invoking array methods.
919 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
921 * make_tests.sh: tests for the return type of the invoked method.
922 tests for passing typedbyref as param.
924 * make_obj_store_test.sh: add new optional script parameter to tell
925 if class fields should be generated. This fix some bogus tests using
928 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
929 * make_tests.sh: unbox_byref_like test was flawed, it was not testing
930 the proper unverifable condition.
932 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
934 * make_unary_test.sh: fixed an invalid struct that has no fields,
935 this was not the subject of the tests.
936 * make_newobj_test.sh: added, generate tests for newobj.
937 * make_tests.sh: added the new tests for newobj and some corner
938 cases of local/arg load/store.
941 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
943 * make_store_indirect_test.sh: added, generate tests for stind.X.
944 * make_tests.sh: added the new tests for ldind.X.
946 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
948 * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
949 the overlapped tests for now
950 * make_unary_test.sh: disabled the overlapped tests for now
951 * make_field_store_test.sh: sames
953 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
955 * make_load_indirect_test.sh: added, generate tests for ldind.X.
956 * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
957 native int and int32.
959 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
961 * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
962 * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
964 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
966 * valid_generic_params.cs (added): Tests for valid use of generic types.
967 * Makedfile: added valid_generic_params.cs
969 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
971 * make_newarr_test.sh (added): Generate newarr related tests.
972 * make_tests.sh: Addes tests for newarr.
975 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
977 * make_unbox_test.sh (added): Generate unbox related tests.
978 * make_tests.sh: Addes tests for unbox.
981 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
983 * make_ldobj_test.sh (added): Generate ldobj related tests.
984 * make_tests.sh: Addes tests for ldobj.
986 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
988 * make_ldtoken_test.sh (added): Generate ldtoken related tests
989 * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
990 for nested classes mixed with inheritance
992 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
994 * make_test.sh: Added new visibility tests and not/neg tests
995 * make_cross_nested_access_test.sh: new test script for visibility
996 between two classes nested in the same class
997 * unverifiable_ldsfld_no_fld.il: added main method
998 * make_unary_test.sh: added some types to make room for more tests
999 * make_exception_branch_test.sh: fix the test to trigger the right error
1002 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
1004 * make_exception_branch_test.sh: Fix the generation of the tests, so only
1005 branching problems are validated.
1007 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
1009 * make_test.sh: added more visibility tests
1010 * Makefile: changed again the clean target to work with the larger number of tests
1011 * make_self_nested_test.sh: new visibility tests
1013 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
1015 * make_test.sh: added reference compatibility tests
1017 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
1019 * AssemblyRunner.cs: bug fix: handles missing fields corrently
1020 * make_test.sh: correct some tests based on fixed AssemblyRunner
1022 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
1024 * AssemblyRunner.cs: Allow running the test suite from the same VM instance
1025 * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
1026 * unverifiable_ldflda_other_class_on_simple_method.il: same
1027 * unverifiable_ptr_nop.il: same
1028 * unverifiable_ldsflda_other_class_field_on_cctor.il: same
1029 * make_load_test.sh: same
1030 * make_stack_0_test.sh: same
1031 * make_obj_store_test.sh: same
1032 * unverifiable_m_ptr_ldloc.il: same
1033 * make_ret_test.sh: same
1034 * make_store_test.sh: same
1035 * unverifiable_ldsflda_other_class_on_simple_method.il: same
1036 * make_access_test.sh: same
1037 * unverifiable_ptr_ldloc.il: same
1038 * invalid_call_no_method.il: same
1039 * unverifiable_ldsfld_no_fld.il: same
1040 * unverifiable_ldflda_owner_class_on_simple_method.il: same
1041 * unverifiable_m_ptr_ldarg.il: same
1042 * make_stack_merge_test.sh: same
1043 * unverifiable_stack_2_ret.il: same
1044 * unverifiable_ldflda_other_class_field_on_ctor.il: same
1045 * unverifiable_ldflda_other_class_field_on_cctor.il: same
1046 * make_field_store_test.sh: same
1047 * invalid_backward_branch.il: same
1048 * unverifiable_ldfld_initonly.il: same
1049 * make_nested_access_test.sh: same
1050 * invalid_stack_2_ret.il: same
1051 * unverifiable_ldsflda_owner_class_on_simple_method.il: same
1052 * unverifiable_ptr_ldarg.il: same
1053 * valid_fld_initonly.il: same
1054 * make_bin_test.sh: same
1055 * make_field_valuetype_test.sh: new tests
1058 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
1060 * make_tests.sh: new access verification tests
1061 * make_access_test.sh: create member access test
1062 * make_nested_access_tests.sh: create nested member access test
1064 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
1066 *make_tests.sh: fixed two tests to produce valid results with .net
1067 *make_field_test.sh: make fields public
1069 2007-06-22 Rodrigo Kumpera <kumpera@gmail.com>
1071 * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
1072 * unverifiable_ldsflda_other_class_on_simple_method.il: same
1073 * unverifiable_ldsflda_other_class_field_on_cctor.il: same
1074 * unverifiable_ldflda_other_class_field_on_cctor.il: same
1075 * unverifiable_ldsflda_owner_class_on_simple_method.il: same
1076 * unverifiable_ldflda_owner_class_on_simple_method.il: same
1077 * valid_ldflda_owned_field_on_cctor.il: same
1078 * valid_ldsflda_owned_field_on_cctor.il: same
1079 * valid_local_ref_ref_store.il: valid local store that was not covered before
1080 * unverifiable_ptr_nop.il: unmanaged pointer ops
1081 * unverifiable_ptr_ldloc.il: same
1082 * unverifiable_ptr_ldarg.il: same
1083 * unverifiable_m_ptr_ldloc.il: same
1084 * unverifiable_m_ptr_ldarg.il: same
1086 2007-06-20 Rodrigo Kumpera <kumpera@gmail.com>
1088 *make_tests.sh: new ldsfld tests, more call conv tests
1090 2007-06-19 Rodrigo Kumpera <kumpera@gmail.com>
1092 *make_tests.sh: new ldfld tests (they check everything but visibility)
1093 *make_field_store_test.sh: generated the new field tests
1095 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
1097 * invalid_dup_maxstack.il: the test wasn't generating the failing condition
1098 * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
1099 * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
1100 * invalid_stack_2_ret.il: fix the entry point
1102 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
1104 * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
1105 * invalid_ldsfld_nonstatic_fld.il: same
1106 * invalid_dup_maxstack.il: same
1107 * invalid_ldsfld_no_fld.il: same
1108 * unverifiable_call_private.il: same
1109 * invalid_backward_branch.il: same
1110 * make_unary_test.sh: same
1111 * invalid_ldloc_no_local.il: same
1112 * make_obj_store_test.sh: added static field to have stsfld tests
1113 * make_store_test.sh: fixed the entrypoint
1114 * make_tests.sh: fixed tests to be faithfull to the spec
1116 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
1118 *Changelog: fixed the dates of my commits
1120 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
1122 *make_load_test.sh: Fixed the entrypoint to generate valid code
1123 *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
1124 *make_tests.sh: Fixed the testsuite to not generate wrong tests
1125 *Makefile: split the clean step as it was failing due to the huge file list
1126 (it might need further tweaking as the testsuite grows)
1128 2007-06-12 Rodrigo Kumpera <kumpera@gmail.com>
1130 * make_tests.sh: New boolean branch tests
1131 * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
1132 * make_ret_test.sh: removed unused variable from sed expression
1134 2007-06-06 Rodrigo Kumpera <kumpera@gmail.com>
1136 * Makefile (run-test): Make it use pedump instead of mono for validation
1137 * make_tests.sh: New tests
1138 * invalid_stack_2_tet.il: New test
1139 * make_ret_test.sh: New test script
1140 * make_load_test.sh: New test script
1141 * make_obj_store_test.sh: Test did not generate valid code for some cases
1142 * make_store_test.sh: Test did not generate valid code for some cases
1144 2006-06-06 Zoltan Varga <vargaz@gmail.com>
1146 * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
1148 * make_tests.sh: Remove some stack merge tests which are verifiable.
1150 * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
1151 test files to the standard .il.
1153 2006-05-25 Zoltan Varga <vargaz@gmail.com>
1155 * *.sh: Fix more verification problems.
1157 * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
1159 2006-05-23 Zoltan Varga <vargaz@gmail.com>
1161 * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
1162 more ilasm and verification problems.
1164 * TestRunner.cs: New file.
1166 2006-05-12 Zoltan Varga <vargaz@gmail.com>
1168 * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
1169 valuetypes sealed to fix ilasm warnings.
1171 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
1173 * Initial import of the verifiers tests developed by
1174 Jim Purbrick <babbage@lindenlab.com>.