mono/tests/verifier/ChangeLog

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