mono/tests/verifier/ChangeLog

   1 2010-02-04 Rodrigo Kumpera  <rkumpera@novell.com>
   2
   3         * make_endfilter_test.sh: Fix this test to not have a throw that make some of the
   4         endfilter unreachable.
   5
   6 2010-02-04 Rodrigo Kumpera  <rkumpera@novell.com>
   7
   8         * invalid_branch_in_between_prefix_and_instruction.il:
   9         * invalid_empty_filter_block.il:
  10         * make_endfilter_test.sh
  11         * make_endfinally_test.sh: Bunch of OSX and test fixes.
  12
  13 2010-01-28 Rodrigo Kumpera  <rkumpera@novell.com>
  14
  15         * Makefile, *.sh, *.il: Change status of a bunch of a tests to reflect the metadata
  16         verifier. First pass into making the test suite works under OSX.
  17
  18 2010-01-08 Rodrigo Kumpera  <rkumpera@novell.com>
  19
  20         * valid_iface_with_variant_constraint.cs: Constraints can be variant.
  21
  22 2009-12-26 Rodrigo Kumpera  <rkumpera@novell.com>
  23
  24         * invalid_try_catch_with_zero_max_stack.il: Regression test for bug #562320.
  25
  26 2009-08-17 Rodrigo Kumpera  <rkumpera@novell.com>
  27
  28         * valid_generic_type_definition_on_boxing_position.cs: Valid encoding of GTD on
  29         box position.
  30
  31 2009-08-14 Rodrigo Kumpera  <rkumpera@novell.com>
  32
  33         *unverifiable_ldobj_with_generic_type_definition.il: Regression test for
  34         bug #531237.
  35
  36 2009-07-20 Rodrigo Kumpera  <rkumpera@novell.com>
  37
  38         * Makefile: Add support for new test kind badmd for tests with broken
  39         metadata.
  40
  41         * make_tests.sh: Fix some tests that have broken metadata.
  42
  43         * *.sh: Add execute bit.
  44
  45 2009-04-28 Rodrigo Kumpera  <rkumpera@novell.com>
  46
  47         * valid_ldflda_owned_field_on_cctor.il: Fix visibility of .ctor.
  48
  49 2009-04-20 Rodrigo Kumpera  <rkumpera@novell.com>
  50
  51         * valid_nested_eh_in_try_of_try_filter_block.il:  Regression
  52         test for #495656.
  53
  54 2009-04-20 Rodrigo Kumpera  <rkumpera@novell.com>
  55
  56         * valid_initobj_this.cs: Regression test for #496175.
  57
  58 2009-04-19 Rodrigo Kumpera  <rkumpera@novell.com>
  59
  60         * valid_access_nested_class_multidym_array.cs: Regression test for
  61         #496150.
  62
  63 2009-04-14 Rodrigo Kumpera  <rkumpera@novell.com>
  64
  65         * valid_br_before_try_block.il: Regression test for #494812.
  66
  67 2009-04-13 Rodrigo Kumpera  <rkumpera@novell.com>
  68
  69         * invalid_backward_branch.il: Fix typo.
  70
  71 2009-04-09 Rodrigo Kumpera  <rkumpera@novell.com>
  72
  73         * valid_delegate_signature_with_generics.cs: Test for the compatibility
  74         of delegate arguments when a function has a non generic type argument
  75         and the delegate has a generic one.
  76
  77 2009-04-08 Rodrigo Kumpera  <rkumpera@novell.com>
  78
  79         * valid_nested_access_with_multi_array_instance.cs:
  80         * valid_nested_access_with_array_instance.cs: Regression tests for
  81         #493068.
  82
  83 2009-04-07 Rodrigo Kumpera  <rkumpera@novell.com>
  84
  85         * valid_eh_block_with_no_instructions_after.il: Regression test
  86         for #492494.
  87
  88 2009-04-06 Rodrigo Kumpera  <rkumpera@novell.com>
  89
  90         * unverifiable_throw_with_unboxed_generic_argument.il: Regression test
  91         for #487738.
  92
  93 2009-04-02 Rodrigo Kumpera  <rkumpera@novell.com>
  94
  95         * valid_candidate_contraint_is_inflated_using_global_context.cs:
  96         New test for cases where the candidate constraint type refers to the
  97         global generic context.
  98
  99         We have to use it because it might be the case the the global context
 100         has more arguments than the local one.
 101
 102 2009-03-31 Rodrigo Kumpera  <rkumpera@novell.com>
 103
 104         * invalid_catch_block_out_of_bounds.il
 105         * invalid_try_block_out_of_bounds.il: Tests for proper bounds
 106         check of exception clauses.
 107
 108 2009-03-16 Rodrigo Kumpera  <rkumpera@novell.com>
 109
 110         * invalid_generic_generic_object_is_boxed.il: Regression test
 111         for #485706.
 112
 113 2009-02-17 Rodrigo Kumpera  <rkumpera@novell.com>
 114
 115         * unverifiable_array_element_type_compatiblity.il: Regression test
 116         for #474271.
 117
 118 2009-02-16 Rodrigo Kumpera  <rkumpera@novell.com>
 119
 120         * valid_rethrow_doesnt_fallthrough: New regression test for
 121         #476257.
 122
 123 2009-02-03 Rodrigo Kumpera  <rkumpera@novell.com>
 124
 125         * valid_boxed_vt_compatible_with_sys_vt_or_sys_enum.il:
 126         Regression test for #469549.
 127
 128 2009-02-03 Rodrigo Kumpera  <rkumpera@novell.com>
 129
 130         * unverifiable_delegate_with_bad_bound_first_arg_to_static_method.il:
 131         * mono/tests/verifier/valid_ldfnt_delegates_of_static_methods.il:
 132         Regression test for #469529.
 133
 134 2009-02-03 Rodrigo Kumpera  <rkumpera@novell.com>
 135
 136         * valid_valuetype_boxed_types_are_merge_compatible.il:
 137         Regression test for #469528.
 138
 139 2009-01-06 Rodrigo Kumpera <rkumpera@novell.com>
 140
 141         * valid_iface_constant_with_parent_implementing_it.il:
 142         Regression test for #461200.
 143
 144 2009-01-06 Rodrigo Kumpera <rkumpera@novell.com>
 145
 146         * valid_array_compat_with_bonds_and_sizes.il:
 147         * valid_array_compat_with_bounds.il:
 148         * valid_array_compat_with_sizes.il: Regression tests for
 149         #461200.
 150
 151 2009-01-06 Rodrigo Kumpera <rkumpera@novell.com>
 152
 153         * valid_ceq_with_boxed_vt.il: Regression test for #461200.
 154
 155 2008-12-01 Rodrigo Kumpera <rkumpera@novell.com>
 156
 157         * unverifiable_boxed_type_not_compatible_with_string.il:
 158         * unverifiable_boxed_type_not_compatible_with_valuetype.il:
 159         * unverifiable_ret_with_boxed_value_on_stack.il: Regression tests
 160         for #448560.
 161
 162 2008-09-03 Rodrigo Kumpera <rkumpera@novell.com>
 163
 164         * strict_native_int_converts_to_unamanged_pointer.cs: It turns
 165         out that this test should generate unverifiable code. Big WTF
 166         for me as well.
 167
 168 2008-07-30 Rodrigo Kumpera <rkumpera@novell.com>
 169
 170         * valid_inflated_generic_constraint_compatible.il:
 171         Regression test for constraints that require to be
 172         inflated.
 173
 174 2008-07-30 Rodrigo Kumpera <rkumpera@novell.com>
 175
 176         * invalid_argument_type.il:
 177         * invalid_local_variable.il: New tests for invalid types
 178         in locals or arguments.
 179
 180 2008-07-28 Rodrigo Kumpera <rkumpera@novell.com>
 181
 182         * invalid_generic_type_with_explicit_layout.il: New test.
 183
 184         * Makefile: Fix C# files compilation.
 185
 186 2008-07-25 Rodrigo Kumpera <rkumpera@novell.com>
 187
 188         * make_generic_argument_constraints_test.sh: New test
 189         generator for constraint compatibility of generic arguments.
 190
 191         * make_tests.sh: Added tests using using
 192         the new generator.
 193
 194         * invalid_generic_argument_violate_type_constraint.il:
 195         Test for constraints compatibility between types.
 196
 197 2008-07-24 Rodrigo Kumpera <rkumpera@novell.com>
 198
 199         * unverifiable_binary_compare_with_generic_argument.il:
 200         * unverifiable_binary_compare_with_valuetype.il:
 201         * unverifiable_ceq_with_generic_argument.il:
 202         * unverifiable_ceq_with_valuetype.il:
 203         Tests for valuetypes and generic arguments with
 204         bne.un and ceq.
 205
 206 2008-07-23 Rodrigo Kumpera <rkumpera@novell.com>
 207
 208         * valid_nested_field_access_with_generic_class.cs:
 209         Check if nested access works with generic types.
 210
 211         * valid_isinst_box_generic_arguments.il: Check if generic
 212         arguments should be boxed by isisnt and castclass.
 213
 214 2008-07-23 Rodrigo Kumpera <rkumpera@novell.com>
 215
 216         * valid_generic_inst_field_might_have_zero_size.il:
 217         Regression test found from gtest-106.exe
 218
 219 2008-07-11 Rodrigo Kumpera <rkumpera@novell.com>
 220
 221         * invalid_ldtoken_field.il
 222         * invalid_ldtoken_method.il
 223         * invalid_ldtoken_type_2.il
 224         * invalid_ldtoken_type_3.il
 225         * invalid_ldtoken_type.il: Tests for bad tokens for
 226         the ldtoken opcode.
 227
 228 2008-07-11 Rodrigo Kumpera <rkumpera@novell.com>
 229
 230         * invalid_bad_method_instantiation.il: Test for
 231         instantiations using VAR or MVAR that are invalid
 232         in the current context.
 233
 234 2008-07-11 Rodrigo Kumpera <rkumpera@novell.com>
 235
 236         * unverifiable_funptr_double_free_regression.il: Regression
 237         test for double free of funptrs.
 238
 239 2008-06-24 Rodrigo Kumpera <rkumpera@novell.com>
 240
 241         * valid_generic_exception_catch_clause_type.cs: Regression
 242         test for #402606.
 243
 244 2008-06-06 Rodrigo Kumpera <rkumpera@novell.com>
 245
 246         * make_ctor_test.sh: New test generator for
 247         constructor related tests.
 248
 249         * make_tests.sh: Added tests using using
 250         the new generator.
 251
 252 2008-05-23 Rodrigo Kumpera <rkumpera@novell.com>
 253
 254         * valid_contravariant_delegate_1.il
 255         * valid_contravariant_delegate_2.il
 256         * valid_convariant_delegate_1.il
 257         * valid_convariant_delegate_2.il
 258         * valid_generic_delegate_1.cs
 259         * valid_generic_delegate_2.cs
 260         * valid_invariant_delegate.il: Test compatibility of generic
 261         delegates in the presence of variance.
 262
 263 2008-05-14 Rodrigo Kumpera <rkumpera@novell.com>
 264
 265         * valid_visibility_across_generic_instantiations.cs: Regression
 266         test for #390128.
 267
 268 2008-05-14 Rodrigo Kumpera <rkumpera@novell.com>
 269
 270         * test_lib.cs: Dependency for new visibility related tests.
 271
 272         * Makefile: Added compilation step for test_lib.cs.
 273
 274 2008-05-09 Rodrigo Kumpera <rkumpera@novell.com>
 275
 276         * make_type_visibility_test.sh: New test
 277         generator for visibility tests of generic
 278         method and type arguments.
 279
 280         * make_tests.sh: Added tests using using
 281         the new generator.
 282
 283 2008-05-09 Rodrigo Kumpera <rkumpera@novell.com>
 284
 285         * make_tests.sh: Changed one test from unverifiable
 286         to valid as it only fails on MS runtime due to a bug
 287         on its implementation.
 288
 289 2008-05-02 Rodrigo Kumpera <rkumpera@novell.com>
 290
 291         * valid_nullable_store.il: New test to ensure
 292         that nullables are properly compared.
 293
 294 2008-05-02 Rodrigo Kumpera <rkumpera@novell.com>
 295
 296         * valid_leave_before_try_block.il: New test to ensure
 297         that the leave opcode empties the stack.
 298
 299 2008-05-02 Rodrigo Kumpera <rkumpera@novell.com>
 300
 301         * BatchCompiler.cs: ilasm generates bad tokens when
 302         compiling many times within the same appdomain.
 303         Using one per source file. Compilation times are
 304         now just a bit faster than before.
 305
 306         * Makefile: Fix typo.
 307
 308 2008-05-01 Rodrigo Kumpera <rkumpera@novell.com>
 309
 310         * unverifiable_ldsfld_no_fld.il: Fixed compilation
 311         and renamed to invalid_ldsfld_no_fld.il.
 312
 313         * BatchCompiler.cs: New driver to fast compile the
 314         verifier test suite. It's about 20x faster now.
 315
 316         * Makefile: Use the ilasm driver for faster compilation.
 317
 318 2008-04-30 Rodrigo Kumpera <rkumpera@novell.com>
 319
 320         * make_il_overflow_test.sh: New test generator
 321         for a truncated IL stream.
 322
 323         * make_tests.sh: Fixed generation script. Added
 324         tests using the new generator.
 325
 326 2008-04-23 Rodrigo Kumpera <rkumpera@novell.com>
 327
 328         * make_tests.sh: Add some tests for overlapping
 329         aligned reference fields.
 330
 331         * Makefile: Added new test prefix typeunverifiable.
 332         It should be used for tests that type fails to load
 333         only under verifiable.
 334
 335 2008-04-15 Rodrigo Kumpera <rkumpera@novell.com>
 336
 337         * make_boxed_genarg_test.sh: New test generator
 338         for boxed generic arguments.
 339
 340         * make_test.sh: Added tests using the new generator
 341         for the interaction between boxed generic arguments
 342         and its constraint types.
 343
 344 2008-04-10 Rodrigo Kumpera <rkumpera@novell.com>
 345
 346         * AssemblyRunner.cs: If a VerificationException
 347         happens while running under fulltrust, it means
 348         that the code is invalid.
 349
 350         * make_method_constraint_test.sh: Test generator for
 351         generic methods argument constraints.
 352
 353         * make_test.sh: Added tests for invalid opcodes
 354         using the new generator.
 355
 356         * invalid_generic_method_and_type.il: New test
 357         for generic constraints.
 358
 359 2008-04-10 Rodrigo Kumpera <rkumpera@novell.com>
 360
 361         * make_bad_op_test.sh: Test generator for
 362         invalid opcodes.
 363
 364         * make_test.sh: Added tests for invalid opcodes
 365         using the new generator.
 366
 367 2008-04-08 Rodrigo Kumpera <rkumpera@novell.com>
 368
 369         * make_overlapped_test.sh: Test generator for
 370         overlapped fields.
 371
 372         * make_test.sh: Added tests for overlapped
 373         fields using the new generator.
 374
 375 2008-04-07 Rodrigo Kumpera <rkumpera@novell.com>
 376
 377         * make_unary_test.sh: Clear the stack before ret.
 378
 379         * make_test.sh: Added tests for ckfinite.
 380
 381 2008-04-04 Rodrigo Kumpera <rkumpera@novell.com>
 382
 383         * make_tail_call_test.sh: New test generator for
 384         tail prefix.
 385
 386         * make_test.sh: Added tests using the new generator.
 387
 388 2008-04-04 Rodrigo Kumpera <rkumpera@novell.com>
 389
 390         * invalid_branch_middle_of_instruction.il: Recent
 391         work on prefixes broke the verification for branching
 392         in the middle of an instruction.
 393
 394 2008-04-02 Rodrigo Kumpera <rkumpera@novell.com>
 395
 396         * make_prefix_test.sh: New test generator for
 397         instruction prefix.
 398
 399         * make_test.sh: Added tests using the new generator.
 400
 401 2008-04-02 Rodrigo Kumpera <rkumpera@novell.com>
 402
 403         * make_type_constraint_test.sh: New test generator for
 404         constraints on generic type arguments.
 405
 406         * make_testS: Added tests using the new generator.
 407
 408 2008-03-31 Rodrigo Kumpera <rkumpera@novell.com>
 409
 410         * AssemblyRunner.cs: Mark TypeLoadException as invalid code.
 411
 412 2008-03-25 Rodrigo Kumpera <rkumpera@novell.com>
 413
 414         * valid_branch_to_first_prefix.il: Test branching to the first prefix
 415         of an instruction.
 416
 417 2008-03-24 Rodrigo Kumpera <rkumpera@novell.com>
 418
 419         * make_cmmp_test.sh: Test generator for readonly pointers.
 420
 421         * make_test.sh: New tests using the added generator.
 422
 423 2008-03-17 Rodrigo Kumpera <rkumpera@novell.com>
 424
 425         * make_constrained_test.sh: Test generator for constrained calls.
 426
 427         * make_test.sh: New tests using the added generator.
 428
 429 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
 430
 431         * valid_generic_test.cs: Tests for generic classes.
 432
 433         * unverifiable_generic_type_field_access.il: Tests for
 434         not mixing generic arguments.
 435
 436         * valid_generic_test.cs: Add tests for generic
 437         class and method together.
 438
 439 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
 440
 441         * strict_native_int_converts_to_unamanged_pointer.cs: Allow
 442         conversion from native int to unmanaged pointer in non-strict mode.
 443         This is required to allow the C# expression "(IntPtr)null" to be
 444         verifiable.
 445
 446 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
 447
 448         * valid_ldftn_final_virtual_method.il:
 449         * valid_ldftn_sealed_type_virtual_method.il: Tests the interaction
 450         of sealed type and final method or ldftn verifiability.
 451
 452 2008-03-11 Rodrigo Kumpera <rkumpera@novell.com>
 453
 454         * make_delegate_compat_test.sh: Added. Generate tests for
 455         compatibility between delegate signature and function
 456         signature.
 457
 458         * make_tests.sh: Added tests using make_delegate_compat_test.sh.
 459
 460 2008-03-10 Rodrigo Kumpera <rkumpera@novell.com>
 461
 462         * make_invalid_ret_type.sh: Added. Generate return site tests
 463         for invalid return types.
 464
 465         * make_tests.sh: Add tests using make_invalid_ret_type.sh.
 466
 467 2008-03-10 Rodrigo Kumpera <rkumpera@novell.com>
 468
 469         * unverifiable_callvirt_static_method.il: Added. Test for callvirt and
 470         static methods.
 471
 472 2008-02-28 Rodrigo Kumpera <rkumpera@novell.com>
 473
 474         * invalid_refanytype_null_stack_top.il: New test for refanytype opcode.
 475
 476         * invalid_refanytype_invalid_stack_top.il: Same.
 477
 478         * valid_refanytype.il: Same.
 479
 480 2008-02-28 Rodrigo Kumpera <rkumpera@novell.com>
 481
 482         * make_mkrefany.il: New test generator for mkrefany opcode.
 483
 484         * make_tests.sh: Added tests for mkrefany.
 485
 486 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
 487
 488         * valid_vararg.il: New test for calling vararg methods.
 489
 490 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
 491
 492         * valid_refanyval.il: New test for the refanyval opcode.
 493
 494         * invalid_refanyval_null_stack_top.il: Same.
 495
 496         * invalid_refanyval_invalid_stack_top.il: Same.
 497
 498 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
 499
 500         * valid_arglist.il: New test for the arglist opcode.
 501
 502         * invalid_arglist_method_not_vararg.il: Same.
 503
 504 2008-02-18 Rodrigo Kumpera <rkumpera@novell.com>
 505
 506         * unverifiable_locals_without_initlocals.il: Methods with locals
 507         that are not .init are allways unverifiable.
 508
 509 2008-02-08 Rodrigo Kumpera <rkumpera@novell.com>
 510
 511         * unverifiable_void_ptr_store_2.cs: Tests for using unmanaged pointers.
 512         This test looks for void pointers.
 513
 514         * unverifiable_void_ptr_store_3.cs: Same.
 515
 516         * unverifiable_void_ptr_store.cs: Same.
 517
 518         * valid_merge_boxed_type_3.cs: Test merging a reference type diferent than
 519         System.Object and a boxed valuetype. This is hopefully the last issue of
 520         merging stack frames.
 521
 522         * Makefile: compile .cs files with /unsafe switch.
 523
 524 2008-02-06 Rodrigo Kumpera <rkumpera@novell.com>
 525
 526         * valid_boxed_enum_is_compatible_with_system_enum.cs: Added.
 527         Test if an enum is compatible with System.Enum.
 528
 529         * valid_merge_boxed_type.cs: Added. Test merging
 530         a boxed int32 with a reference type.
 531
 532         * valid_merge_boxed_type_2.cs: Same.
 533
 534         * make_ldelem_test.sh: Added some enums to be used by the tests.
 535
 536         * make_tests.sh: New tests for ldelem compatibility between enums
 537         and their base type. Marked some tests as strict.
 538
 539 2008-02-06 Rodrigo Kumpera <rkumpera@novell.com>
 540
 541         * valid_merge_base_type.cs
 542         * valid_merge_first_value_is_base_type.cs:
 543         * valid_merge_interface_type_3.cs:
 544         * valid_merge_interface_type_4.cs:
 545         * valid_merge_interface_type.cs:
 546         * valid_merge_second_value_is_base_type.cs: New tests for stack merging.
 547         These tests verify the correctness of the merged value.
 548
 549 2008-01-30 Rodrigo Kumpera <rkumpera@novell.com>
 550
 551         * make_tests.sh: More tests for brtrue/brfalse with boxed values
 552         and null literals.
 553
 554         * make_bool_branch_test.sh: New optional arg to allow for new tests.
 555
 556 2008-01-30 Rodrigo Kumpera <rkumpera@novell.com>
 557
 558         * make_tests.sh: Removed some invalid tests for nesting access
 559         as they where trying to call non final virtual methods without using
 560         the 'this' pointer.
 561
 562 2008-01-23 Rodrigo Kumpera <rkumpera@novell.com>
 563
 564         * make_call_test.sh: test generator for call and callvirt.
 565
 566         * make_tests.sh: added tests for call and callvirt.
 567
 568 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
 569
 570         * invalid_ldstr_bad_token.il: added. check the index
 571         against the the #US heap.
 572
 573 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
 574
 575         * unverifiable_newobj_no_visibility.il: added. visibility
 576         check for newobj.
 577
 578 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
 579
 580         * unverifiable_ldftn_no_visibility.il: added. visibility
 581         check for ldftn.
 582
 583         * unverifiable_ldvirtftn_no_visibility.il: added. visibility
 584         check for ldvirtftn.
 585
 586 2008-01-18 Rodrigo Kumpera <rkumpera@novell.com>
 587
 588         * make_tests.sh: added tests for ovf math with floats.
 589
 590 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 591
 592         * make_localloc_test.sh: test generator for localloc.
 593
 594         * make_tests.sh: added tests for localloc.
 595
 596 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 597
 598         * make_sizeof_test.sh: test generator for sizeof.
 599
 600         * make_tests.sh: added tests for sizeof.
 601
 602 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 603
 604         * make_cp_test.sh: test generator for cpobj.
 605
 606         * make_tests.sh: added tests for cpobj.
 607
 608 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 609
 610         * invalid_initobj_invalid_token_out_of_bounds.il: tests for initobj.
 611
 612         * invalid_initobj_invalid_token_type.il: same.
 613
 614         * make_initobj_test.sh: test generator for initobj.
 615
 616         * make_tests.sh: added tests for initobj.
 617
 618 2008-01-11 Rodrigo Kumpera <rkumpera@novell.com>
 619
 620         * unverifiable_ldfld_reference_type_by_ref.il: new test for ldfld.
 621
 622         * invalid_stojb_bad_token.il: test for bad ldobj token.
 623
 624         * invalid_stojb_token_out_of_bounds.il: same.
 625
 626         * make_stobj_test.sh: new test generator.
 627
 628         * make_test.sh: added new tests for stobj.
 629
 630 2008-01-10 Rodrigo Kumpera <rkumpera@novell.com>
 631
 632         * valid_ldftn_method_spec_token.il: new test
 633         for loading function pointers for generic methods.
 634
 635 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
 636
 637         * make_test.sh: added tests for unbox.any.
 638
 639         * make_unbox_any_test.sh: new test generator.
 640
 641 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
 642
 643         * make_test.sh: added tests for add|sub|mul ovf;
 644
 645         * unverifiable_unbox_toke_is_reference_type.il: New test for regressions
 646         found while validating vbnc.
 647
 648         * valid_stind_ref_with_boxed_value.il: same.
 649         *  valid_ldelema_enum_array.il: same.
 650
 651 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
 652
 653         * valid_isinst_with_boxed_valuetype.il: New test for regressions
 654         found while validating vbnc.
 655
 656         * valid_ldfld_valuetype_by_ref.il: same.
 657         * valid_ldfld_valuetype_by_value.il: same.
 658         * valid_stelem_ref_boxed_value.il: same.
 659         * valid_stloc_boxed_valuetype.il: same.
 660         * valid_sub_class_of_generic_type_is_compatible.il: same.
 661         * unverifiable_ldfld_valuetype_boxed.il:  same.
 662         * unverifiable_ldfld_reference_type_by_ref.il: same.
 663
 664         * make_test.sh: new tests for stfld and cgt.un.
 665
 666
 667 2008-01-08 Rodrigo Kumpera <rkumpera@novell.com>
 668
 669         * make_delegate_test.sh: increased max stack for
 670         ldvirtftn tests.
 671
 672         * make_tests.sh: added new tests for delegates
 673         constructed with ldvirtftn.
 674
 675 2008-01-07 Rodrigo Kumpera <rkumpera@novell.com>
 676
 677         * make_delegate_test.sh: added.
 678
 679         * make_tests.sh: added new tests for delegates
 680         constructed with ldftn.
 681
 682 2008-01-03 Rodrigo Kumpera <rkumpera@novell.com>
 683
 684         * invalid_ldvirtftn_invalid_token_type.il: added.
 685
 686         * make_ldvirtftn_test.sh: added.
 687
 688         * invalid_ldvirtftn_invalid_token_out_of_bounds.il: added.
 689
 690         * make_ldftn_test.sh: changed to allow more tests.
 691
 692         * make_tests.sh: added new tests for ldvirtftn and
 693         a buch more for ldftn.
 694
 695 2007-12-31 Rodrigo Kumpera <rkumpera@novell.com>
 696
 697         * invalid_ldftn_invalid_token_out_of_bounds.il: added.
 698
 699         * invalid_ldftn_invalid_token_type.il: added.
 700
 701         * make_ldftn_test.sh: added.
 702
 703         * make_test.sh: new tests for ldftn.
 704
 705         * AssemblyRunner.cs: added BadImageFormatException
 706         to the list of invalid code errors. Removed
 707         some dead code and an useless message.
 708
 709
 710 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
 711
 712         * invalid_non_empty_stack_at_try_begin.il: added.
 713
 714         * valid_branch_to_first_intruction_of_try.il: added.
 715
 716
 717 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
 718
 719         * make_exception_overlap_test.sh: new test generator.
 720
 721         * make_tests.sh: new tests for exception clause restrictions
 722         enumerated in P1 12.4.2.7.
 723
 724         * invalid_catch_block_starts_after_prefix.il: new test
 725         for a catch block that starts in the middle of an instruction.
 726
 727 2007-12-24 Rodrigo Kumpera <rkumpera@novell.com>
 728
 729         * make_switch_test.sh: new test generator.
 730
 731         * make_exception_branch_test.sh: the filter
 732         handler did not pop the exception argument.
 733
 734         * make_tests.sh: add tests for switch.
 735
 736 2007-12-21 Rodrigo Kumpera <rkumpera@novell.com>
 737
 738         * make_branch_test.sh: new test generator.
 739
 740         * make_exception_branch_test.sh: added
 741         support to test generator to specify
 742         the expected result.
 743
 744         * make_tests.sh: some results for
 745         make_exception_branch_test.sh were
 746         wrong, fixed that.
 747
 748         * make_tests.sh: added some tests
 749         to beq and bge.
 750
 751         * make_tests.sh added tests for br.
 752
 753 2007-12-20 Rodrigo Kumpera <rkumpera@novell.com>
 754
 755         * valid_exception_sequence.il: new test
 756         for what blocks take an exception on
 757         stack at the begin.
 758
 759 2007-12-19 Rodrigo Kumpera <rkumpera@novell.com>
 760
 761         * invalid_empty_catch_block.il
 762         * invalid_empty_fault_block.il
 763         * invalid_empty_filter_block.il
 764         * invalid_empty_finally_block.il
 765         * invalid_empty_handler_block.il
 766         * invalid_empty_try_block.il
 767         tests for empty protected blocks.
 768
 769         * invalid_exception_blocks_order.il:
 770         test for the required ordering of exception
 771         clauses.
 772
 773         * invalid_finally_block_overlap_try_block.il
 774         * invalid_try_block_includes_catch_block.il
 775         * invalid_try_block_inside_filter_block.il
 776         tests for ill formed exception clauses.
 777
 778         * invalid_fallout_of_filter_block.il
 779         * invalid_fallout_of_handler_block.il
 780         * invalid_fallthru_into_filter_block.il
 781         * invalid_fallthru_into_handler_block.il
 782         * unverifiable_fallout_of_catch_block.il
 783         * unverifiable_fallout_of_fault_block.il
 784         * unverifiable_fallout_of_finally_block.il
 785         * unverifiable_fallout_of_try_block.il
 786         * unverifiable_fallthru_into_catch_block.il
 787         * unverifiable_fallthru_into_fault_block.il
 788         * unverifiable_fallthru_into_finally_block.il
 789         * valid_end_try_block_with_throw.il:
 790         tests for fallthru in and out of protected blocks.
 791
 792 2007-12-18 Rodrigo Kumpera <rkumpera@novell.com>
 793
 794         * make_test.sh: added tests for filter
 795
 796         * make_filter_test.sh: new test generator
 797
 798 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
 799
 800         * make_test.sh: added tests for endfilter
 801
 802         * make_endfilter_test.sh: new test generator
 803
 804 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
 805
 806         * Makefile: add support to check strict tests.
 807
 808         * AssemblyRunner.cs: start using peverify as part of the
 809         process. Support for strict tests.
 810
 811 2007-12-12 Rodrigo Kumpera <rkumpera@novell.com>
 812
 813         * invalid_filter_ends_at_endfilter_1.il: tests if the
 814         filter block is limited by the start of the associated
 815         handler clause or it is limited by the ocurrence of
 816         endfilter. These 3 tests show that even if the endfilter
 817         instruction must be the last, it doesn't define the end
 818         of the filter block.
 819
 820         * invalid_filter_ends_at_endfilter_2.il: same
 821
 822         * invalid_filter_ends_at_endfilter_3.il: same
 823
 824         * make_test.sh: added tests for endfinally / endfault
 825         * make_endfinally_test.sh: new test generator
 826
 827 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
 828
 829         * make_test.sh: added tests for rethrow
 830         * make_rethrow_test.sh: new test generator
 831
 832 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
 833
 834         * make_test.sh: added tests for throw
 835         * make_throw_test.sh: new test generator
 836
 837 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 838
 839         * make_test.sh: added tests for castclass and isinst
 840         * make_cast_test.sh: new test generator
 841
 842 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 843
 844         * make_test.sh: added tests for stelem.X
 845         * make_stelem_test.sh: new test generator
 846
 847 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 848
 849         * make_test.sh: added tests for ldelem
 850
 851 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 852
 853         * make_test.sh: fixed compilation issues with some tests.
 854
 855 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 856
 857         * make_test.sh: added tests for ldelem.X
 858         * make_ldelem_test.sh: new test generator
 859
 860 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 861
 862         * make_test.sh: added tests for ldelema
 863         * make_ldelema_test.sh: new test generator
 864
 865 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 866
 867         * make_test.sh: added tests for ldlen
 868         * make_ldlen_test.sh: new test generator
 869
 870 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
 871
 872         * valid_array_method.cs: test for invoking array methods.
 873
 874 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 875
 876         * make_tests.sh: tests for the return type of the invoked method.
 877         tests for passing typedbyref as param.
 878
 879         * make_obj_store_test.sh: add new optional script parameter to tell
 880         if class fields should be generated. This fix some bogus tests using
 881         typedbyref.
 882
 883 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 884         * make_tests.sh: unbox_byref_like test was flawed, it was not testing
 885         the proper unverifable condition.
 886
 887 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 888
 889         * make_unary_test.sh: fixed an invalid struct that has no fields,
 890         this was not the subject of the tests.
 891         * make_newobj_test.sh: added, generate tests for newobj.
 892         * make_tests.sh: added the new tests for newobj and some corner
 893         cases of local/arg load/store.
 894
 895
 896 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
 897
 898         * make_store_indirect_test.sh: added, generate tests for stind.X.
 899         * make_tests.sh: added the new tests for ldind.X.
 900
 901 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
 902
 903         * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
 904         the overlapped tests for now
 905         * make_unary_test.sh: disabled the overlapped tests for now
 906         * make_field_store_test.sh: sames
 907
 908 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
 909
 910         * make_load_indirect_test.sh: added, generate tests for ldind.X.
 911         * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
 912         native int and int32.
 913
 914 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 915
 916         * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
 917         * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
 918
 919 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 920
 921         * valid_generic_params.cs (added): Tests for valid use of generic types.
 922         * Makedfile: added valid_generic_params.cs
 923
 924 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
 925
 926         * make_newarr_test.sh (added):  Generate newarr related tests.
 927         * make_tests.sh: Addes tests for newarr.
 928
 929
 930 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 931
 932         * make_unbox_test.sh (added):  Generate unbox related tests.
 933         * make_tests.sh: Addes tests for unbox.
 934
 935
 936 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 937
 938         * make_ldobj_test.sh (added):  Generate ldobj related tests.
 939         * make_tests.sh: Addes tests for ldobj.
 940
 941 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
 942
 943         * make_ldtoken_test.sh (added):  Generate ldtoken related tests
 944         * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
 945         for nested classes mixed with inheritance
 946
 947 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
 948
 949         * make_test.sh: Added new visibility tests and not/neg tests
 950         * make_cross_nested_access_test.sh: new test script for visibility
 951         between two classes nested in the same class
 952         * unverifiable_ldsfld_no_fld.il: added main method
 953         * make_unary_test.sh: added some types to make room for more tests
 954         * make_exception_branch_test.sh: fix the test to trigger the right error
 955
 956
 957 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
 958
 959         * make_exception_branch_test.sh: Fix the generation of the tests, so only
 960         branching problems are validated.
 961
 962 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
 963
 964         * make_test.sh: added more visibility tests
 965         * Makefile: changed again the clean target to work with the larger number of tests
 966         * make_self_nested_test.sh: new visibility tests
 967
 968 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
 969
 970         * make_test.sh: added reference compatibility tests
 971
 972 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 973
 974         * AssemblyRunner.cs: bug fix: handles missing fields corrently
 975         * make_test.sh: correct some tests based on fixed AssemblyRunner
 976
 977 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 978
 979         * AssemblyRunner.cs: Allow running the test suite from the same VM instance
 980         * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
 981         * unverifiable_ldflda_other_class_on_simple_method.il: same
 982         * unverifiable_ptr_nop.il: same
 983         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 984         * make_load_test.sh: same
 985         * make_stack_0_test.sh: same
 986         * make_obj_store_test.sh: same
 987         * unverifiable_m_ptr_ldloc.il: same
 988         * make_ret_test.sh: same
 989         * make_store_test.sh: same
 990         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 991         * make_access_test.sh: same
 992         * unverifiable_ptr_ldloc.il: same
 993         * invalid_call_no_method.il: same
 994         * unverifiable_ldsfld_no_fld.il: same
 995         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 996         * unverifiable_m_ptr_ldarg.il: same
 997         * make_stack_merge_test.sh: same
 998         * unverifiable_stack_2_ret.il: same
 999         * unverifiable_ldflda_other_class_field_on_ctor.il: same
1000         * unverifiable_ldflda_other_class_field_on_cctor.il: same
1001         * make_field_store_test.sh: same
1002         * invalid_backward_branch.il: same
1003         * unverifiable_ldfld_initonly.il: same
1004         * make_nested_access_test.sh: same
1005         * invalid_stack_2_ret.il: same
1006         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
1007         * unverifiable_ptr_ldarg.il: same
1008         * valid_fld_initonly.il: same
1009         * make_bin_test.sh: same
1010         * make_field_valuetype_test.sh: new tests
1011
1012
1013 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
1014
1015         * make_tests.sh: new access verification tests
1016         * make_access_test.sh: create member access test
1017         * make_nested_access_tests.sh: create nested member access test
1018
1019 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
1020
1021         *make_tests.sh: fixed two tests to produce valid results with .net
1022         *make_field_test.sh: make fields public
1023
1024 2007-06-22  Rodrigo Kumpera  <kumpera@gmail.com>
1025
1026         * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
1027         * unverifiable_ldsflda_other_class_on_simple_method.il: same
1028         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
1029         * unverifiable_ldflda_other_class_field_on_cctor.il: same
1030         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
1031         * unverifiable_ldflda_owner_class_on_simple_method.il: same
1032         * valid_ldflda_owned_field_on_cctor.il: same
1033         * valid_ldsflda_owned_field_on_cctor.il: same
1034         * valid_local_ref_ref_store.il: valid local store that was not covered before
1035         * unverifiable_ptr_nop.il:  unmanaged pointer ops
1036         * unverifiable_ptr_ldloc.il: same
1037         * unverifiable_ptr_ldarg.il: same
1038         * unverifiable_m_ptr_ldloc.il: same
1039         * unverifiable_m_ptr_ldarg.il: same
1040
1041 2007-06-20  Rodrigo Kumpera  <kumpera@gmail.com>
1042
1043         *make_tests.sh: new ldsfld tests, more call conv tests
1044
1045 2007-06-19  Rodrigo Kumpera  <kumpera@gmail.com>
1046
1047         *make_tests.sh: new ldfld tests (they check everything but visibility)
1048         *make_field_store_test.sh: generated the new field tests
1049
1050 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
1051
1052         * invalid_dup_maxstack.il: the test wasn't generating the failing condition
1053         * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
1054         * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
1055         * invalid_stack_2_ret.il: fix the entry point
1056
1057 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
1058
1059         * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
1060         * invalid_ldsfld_nonstatic_fld.il: same
1061         * invalid_dup_maxstack.il: same
1062         * invalid_ldsfld_no_fld.il: same
1063         * unverifiable_call_private.il: same
1064         * invalid_backward_branch.il: same
1065         * make_unary_test.sh: same
1066         * invalid_ldloc_no_local.il: same
1067         * make_obj_store_test.sh: added static field to have stsfld tests
1068         * make_store_test.sh: fixed the entrypoint
1069         * make_tests.sh: fixed tests to be faithfull to the spec
1070
1071 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
1072
1073         *Changelog: fixed the dates of my commits
1074
1075 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
1076
1077         *make_load_test.sh: Fixed the entrypoint to generate valid code
1078         *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
1079         *make_tests.sh: Fixed the testsuite to not generate wrong tests
1080         *Makefile: split the clean step as it was failing due to the huge file list
1081          (it might need further tweaking as the testsuite grows)
1082
1083 2007-06-12  Rodrigo Kumpera  <kumpera@gmail.com>
1084
1085         * make_tests.sh: New boolean branch tests
1086         * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
1087         * make_ret_test.sh: removed unused variable from sed expression
1088
1089 2007-06-06  Rodrigo Kumpera  <kumpera@gmail.com>
1090
1091         * Makefile (run-test): Make it use pedump instead of mono for validation
1092         * make_tests.sh: New tests
1093         * invalid_stack_2_tet.il: New test
1094         * make_ret_test.sh: New test script
1095         * make_load_test.sh: New test script
1096         * make_obj_store_test.sh: Test did not generate valid code for some cases
1097         * make_store_test.sh: Test did not generate valid code for some cases
1098
1099 2006-06-06  Zoltan Varga  <vargaz@gmail.com>
1100
1101         * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
1102
1103         * make_tests.sh: Remove some stack merge tests which are verifiable.
1104
1105         * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
1106         test files to the standard .il.
1107
1108 2006-05-25  Zoltan Varga  <vargaz@gmail.com>
1109
1110         * *.sh: Fix more verification problems.
1111
1112         * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
1113
1114 2006-05-23  Zoltan Varga  <vargaz@gmail.com>
1115
1116         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
1117         more ilasm and verification problems.
1118
1119         * TestRunner.cs: New file.
1120
1121 2006-05-12  Zoltan Varga  <vargaz@gmail.com>
1122
1123         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
1124         valuetypes sealed to fix ilasm warnings.
1125
1126 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
1127
1128         * Initial import of the verifiers tests developed by
1129         Jim Purbrick <babbage@lindenlab.com>.
1130