mono/tests/verifier/ChangeLog

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