mono/tests/verifier/ChangeLog

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