mono/tests/verifier/ChangeLog

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