mono/tests/verifier/ChangeLog

   1 2008-01-10 Rodrigo Kumpera <rkumpera@novell.com>
   2
   3         * valid_ldftn_method_spec_token.il: new test
   4         for loading function pointers for generic methods.
   5
   6 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
   7
   8         * make_test.sh: added tests for unbox.any.
   9
  10         * make_unbox_any_test.sh: new test generator.
  11
  12 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
  13
  14         * make_test.sh: added tests for add|sub|mul ovf;
  15
  16         * unverifiable_unbox_toke_is_reference_type.il: New test for regressions
  17         found while validating vbnc.
  18
  19         * valid_stind_ref_with_boxed_value.il: same.
  20         *  valid_ldelema_enum_array.il: same.
  21
  22 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
  23
  24         * valid_isinst_with_boxed_valuetype.il: New test for regressions
  25         found while validating vbnc.
  26
  27         * valid_ldfld_valuetype_by_ref.il: same.
  28         * valid_ldfld_valuetype_by_value.il: same.
  29         * valid_stelem_ref_boxed_value.il: same.
  30         * valid_stloc_boxed_valuetype.il: same.
  31         * valid_sub_class_of_generic_type_is_compatible.il: same.
  32         * unverifiable_ldfld_valuetype_boxed.il:  same.
  33         * unverifiable_ldfld_reference_type_by_ref.il: same.
  34
  35         * make_test.sh: new tests for stfld and cgt.un.
  36
  37
  38 2008-01-08 Rodrigo Kumpera <rkumpera@novell.com>
  39
  40         * make_delegate_test.sh: increased max stack for
  41         ldvirtftn tests.
  42
  43         * make_tests.sh: added new tests for delegates
  44         constructed with ldvirtftn.
  45
  46 2008-01-07 Rodrigo Kumpera <rkumpera@novell.com>
  47
  48         * make_delegate_test.sh: added.
  49
  50         * make_tests.sh: added new tests for delegates
  51         constructed with ldftn.
  52
  53 2008-01-03 Rodrigo Kumpera <rkumpera@novell.com>
  54
  55         * invalid_ldvirtftn_invalid_token_type.il: added.
  56
  57         * make_ldvirtftn_test.sh: added.
  58
  59         * invalid_ldvirtftn_invalid_token_out_of_bounds.il: added.
  60
  61         * make_ldftn_test.sh: changed to allow more tests.
  62
  63         * make_tests.sh: added new tests for ldvirtftn and
  64         a buch more for ldftn.
  65
  66 2007-12-31 Rodrigo Kumpera <rkumpera@novell.com>
  67
  68         * invalid_ldftn_invalid_token_out_of_bounds.il: added.
  69
  70         * invalid_ldftn_invalid_token_type.il: added.
  71
  72         * make_ldftn_test.sh: added.
  73
  74         * make_test.sh: new tests for ldftn.
  75
  76         * AssemblyRunner.cs: added BadImageFormatException
  77         to the list of invalid code errors. Removed
  78         some dead code and an useless message.
  79
  80
  81 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
  82
  83         * invalid_non_empty_stack_at_try_begin.il: added.
  84
  85         * valid_branch_to_first_intruction_of_try.il: added.
  86
  87
  88 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
  89
  90         * make_exception_overlap_test.sh: new test generator.
  91
  92         * make_tests.sh: new tests for exception clause restrictions
  93         enumerated in P1 12.4.2.7.
  94
  95         * invalid_catch_block_starts_after_prefix.il: new test
  96         for a catch block that starts in the middle of an instruction.
  97
  98 2007-12-24 Rodrigo Kumpera <rkumpera@novell.com>
  99
 100         * make_switch_test.sh: new test generator.
 101
 102         * make_exception_branch_test.sh: the filter
 103         handler did not pop the exception argument.
 104
 105         * make_tests.sh: add tests for switch.
 106
 107 2007-12-21 Rodrigo Kumpera <rkumpera@novell.com>
 108
 109         * make_branch_test.sh: new test generator.
 110
 111         * make_exception_branch_test.sh: added
 112         support to test generator to specify
 113         the expected result.
 114
 115         * make_tests.sh: some results for
 116         make_exception_branch_test.sh were
 117         wrong, fixed that.
 118
 119         * make_tests.sh: added some tests
 120         to beq and bge.
 121
 122         * make_tests.sh added tests for br.
 123
 124 2007-12-20 Rodrigo Kumpera <rkumpera@novell.com>
 125
 126         * valid_exception_sequence.il: new test
 127         for what blocks take an exception on
 128         stack at the begin.
 129
 130 2007-12-19 Rodrigo Kumpera <rkumpera@novell.com>
 131
 132         * invalid_empty_catch_block.il
 133         * invalid_empty_fault_block.il
 134         * invalid_empty_filter_block.il
 135         * invalid_empty_finally_block.il
 136         * invalid_empty_handler_block.il
 137         * invalid_empty_try_block.il
 138         tests for empty protected blocks.
 139
 140         * invalid_exception_blocks_order.il:
 141         test for the required ordering of exception
 142         clauses.
 143
 144         * invalid_finally_block_overlap_try_block.il
 145         * invalid_try_block_includes_catch_block.il
 146         * invalid_try_block_inside_filter_block.il
 147         tests for ill formed exception clauses.
 148
 149         * invalid_fallout_of_filter_block.il
 150         * invalid_fallout_of_handler_block.il
 151         * invalid_fallthru_into_filter_block.il
 152         * invalid_fallthru_into_handler_block.il
 153         * unverifiable_fallout_of_catch_block.il
 154         * unverifiable_fallout_of_fault_block.il
 155         * unverifiable_fallout_of_finally_block.il
 156         * unverifiable_fallout_of_try_block.il
 157         * unverifiable_fallthru_into_catch_block.il
 158         * unverifiable_fallthru_into_fault_block.il
 159         * unverifiable_fallthru_into_finally_block.il
 160         * valid_end_try_block_with_throw.il:
 161         tests for fallthru in and out of protected blocks.
 162
 163 2007-12-18 Rodrigo Kumpera <rkumpera@novell.com>
 164
 165         * make_test.sh: added tests for filter
 166
 167         * make_filter_test.sh: new test generator
 168
 169 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
 170
 171         * make_test.sh: added tests for endfilter
 172
 173         * make_endfilter_test.sh: new test generator
 174
 175 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
 176
 177         * Makefile: add support to check strict tests.
 178
 179         * AssemblyRunner.cs: start using peverify as part of the
 180         process. Support for strict tests.
 181
 182 2007-12-12 Rodrigo Kumpera <rkumpera@novell.com>
 183
 184         * invalid_filter_ends_at_endfilter_1.il: tests if the
 185         filter block is limited by the start of the associated
 186         handler clause or it is limited by the ocurrence of
 187         endfilter. These 3 tests show that even if the endfilter
 188         instruction must be the last, it doesn't define the end
 189         of the filter block.
 190
 191         * invalid_filter_ends_at_endfilter_2.il: same
 192
 193         * invalid_filter_ends_at_endfilter_3.il: same
 194
 195         * make_test.sh: added tests for endfinally / endfault
 196         * make_endfinally_test.sh: new test generator
 197
 198 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
 199
 200         * make_test.sh: added tests for rethrow
 201         * make_rethrow_test.sh: new test generator
 202
 203 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
 204
 205         * make_test.sh: added tests for throw
 206         * make_throw_test.sh: new test generator
 207
 208 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 209
 210         * make_test.sh: added tests for castclass and isinst
 211         * make_cast_test.sh: new test generator
 212
 213 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 214
 215         * make_test.sh: added tests for stelem.X
 216         * make_stelem_test.sh: new test generator
 217
 218 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 219
 220         * make_test.sh: added tests for ldelem
 221
 222 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 223
 224         * make_test.sh: fixed compilation issues with some tests.
 225
 226 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 227
 228         * make_test.sh: added tests for ldelem.X
 229         * make_ldelem_test.sh: new test generator
 230
 231 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 232
 233         * make_test.sh: added tests for ldelema
 234         * make_ldelema_test.sh: new test generator
 235
 236 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 237
 238         * make_test.sh: added tests for ldlen
 239         * make_ldlen_test.sh: new test generator
 240
 241 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
 242
 243         * valid_array_method.cs: test for invoking array methods.
 244
 245 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 246
 247         * make_tests.sh: tests for the return type of the invoked method.
 248         tests for passing typedbyref as param.
 249
 250         * make_obj_store_test.sh: add new optional script parameter to tell
 251         if class fields should be generated. This fix some bogus tests using
 252         typedbyref.
 253
 254 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 255         * make_tests.sh: unbox_byref_like test was flawed, it was not testing
 256         the proper unverifable condition.
 257
 258 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 259
 260         * make_unary_test.sh: fixed an invalid struct that has no fields,
 261         this was not the subject of the tests.
 262         * make_newobj_test.sh: added, generate tests for newobj.
 263         * make_tests.sh: added the new tests for newobj and some corner
 264         cases of local/arg load/store.
 265
 266
 267 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
 268
 269         * make_store_indirect_test.sh: added, generate tests for stind.X.
 270         * make_tests.sh: added the new tests for ldind.X.
 271
 272 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
 273
 274         * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
 275         the overlapped tests for now
 276         * make_unary_test.sh: disabled the overlapped tests for now
 277         * make_field_store_test.sh: sames
 278
 279 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
 280
 281         * make_load_indirect_test.sh: added, generate tests for ldind.X.
 282         * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
 283         native int and int32.
 284
 285 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 286
 287         * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
 288         * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
 289
 290 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 291
 292         * valid_generic_params.cs (added): Tests for valid use of generic types.
 293         * Makedfile: added valid_generic_params.cs
 294
 295 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
 296
 297         * make_newarr_test.sh (added):  Generate newarr related tests.
 298         * make_tests.sh: Addes tests for newarr.
 299
 300
 301 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 302
 303         * make_unbox_test.sh (added):  Generate unbox related tests.
 304         * make_tests.sh: Addes tests for unbox.
 305
 306
 307 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 308
 309         * make_ldobj_test.sh (added):  Generate ldobj related tests.
 310         * make_tests.sh: Addes tests for ldobj.
 311
 312 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
 313
 314         * make_ldtoken_test.sh (added):  Generate ldtoken related tests
 315         * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
 316         for nested classes mixed with inheritance
 317
 318 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
 319
 320         * make_test.sh: Added new visibility tests and not/neg tests
 321         * make_cross_nested_access_test.sh: new test script for visibility
 322         between two classes nested in the same class
 323         * unverifiable_ldsfld_no_fld.il: added main method
 324         * make_unary_test.sh: added some types to make room for more tests
 325         * make_exception_branch_test.sh: fix the test to trigger the right error
 326
 327
 328 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
 329
 330         * make_exception_branch_test.sh: Fix the generation of the tests, so only
 331         branching problems are validated.
 332
 333 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
 334
 335         * make_test.sh: added more visibility tests
 336         * Makefile: changed again the clean target to work with the larger number of tests
 337         * make_self_nested_test.sh: new visibility tests
 338
 339 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
 340
 341         * make_test.sh: added reference compatibility tests
 342
 343 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 344
 345         * AssemblyRunner.cs: bug fix: handles missing fields corrently
 346         * make_test.sh: correct some tests based on fixed AssemblyRunner
 347
 348 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 349
 350         * AssemblyRunner.cs: Allow running the test suite from the same VM instance
 351         * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
 352         * unverifiable_ldflda_other_class_on_simple_method.il: same
 353         * unverifiable_ptr_nop.il: same
 354         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 355         * make_load_test.sh: same
 356         * make_stack_0_test.sh: same
 357         * make_obj_store_test.sh: same
 358         * unverifiable_m_ptr_ldloc.il: same
 359         * make_ret_test.sh: same
 360         * make_store_test.sh: same
 361         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 362         * make_access_test.sh: same
 363         * unverifiable_ptr_ldloc.il: same
 364         * invalid_call_no_method.il: same
 365         * unverifiable_ldsfld_no_fld.il: same
 366         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 367         * unverifiable_m_ptr_ldarg.il: same
 368         * make_stack_merge_test.sh: same
 369         * unverifiable_stack_2_ret.il: same
 370         * unverifiable_ldflda_other_class_field_on_ctor.il: same
 371         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 372         * make_field_store_test.sh: same
 373         * invalid_backward_branch.il: same
 374         * unverifiable_ldfld_initonly.il: same
 375         * make_nested_access_test.sh: same
 376         * invalid_stack_2_ret.il: same
 377         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 378         * unverifiable_ptr_ldarg.il: same
 379         * valid_fld_initonly.il: same
 380         * make_bin_test.sh: same
 381         * make_field_valuetype_test.sh: new tests
 382
 383
 384 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 385
 386         * make_tests.sh: new access verification tests
 387         * make_access_test.sh: create member access test
 388         * make_nested_access_tests.sh: create nested member access test
 389
 390 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 391
 392         *make_tests.sh: fixed two tests to produce valid results with .net
 393         *make_field_test.sh: make fields public
 394
 395 2007-06-22  Rodrigo Kumpera  <kumpera@gmail.com>
 396
 397         * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
 398         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 399         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 400         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 401         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 402         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 403         * valid_ldflda_owned_field_on_cctor.il: same
 404         * valid_ldsflda_owned_field_on_cctor.il: same
 405         * valid_local_ref_ref_store.il: valid local store that was not covered before
 406         * unverifiable_ptr_nop.il:  unmanaged pointer ops
 407         * unverifiable_ptr_ldloc.il: same
 408         * unverifiable_ptr_ldarg.il: same
 409         * unverifiable_m_ptr_ldloc.il: same
 410         * unverifiable_m_ptr_ldarg.il: same
 411
 412 2007-06-20  Rodrigo Kumpera  <kumpera@gmail.com>
 413
 414         *make_tests.sh: new ldsfld tests, more call conv tests
 415
 416 2007-06-19  Rodrigo Kumpera  <kumpera@gmail.com>
 417
 418         *make_tests.sh: new ldfld tests (they check everything but visibility)
 419         *make_field_store_test.sh: generated the new field tests
 420
 421 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 422
 423         * invalid_dup_maxstack.il: the test wasn't generating the failing condition
 424         * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
 425         * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
 426         * invalid_stack_2_ret.il: fix the entry point
 427
 428 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 429
 430         * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
 431         * invalid_ldsfld_nonstatic_fld.il: same
 432         * invalid_dup_maxstack.il: same
 433         * invalid_ldsfld_no_fld.il: same
 434         * unverifiable_call_private.il: same
 435         * invalid_backward_branch.il: same
 436         * make_unary_test.sh: same
 437         * invalid_ldloc_no_local.il: same
 438         * make_obj_store_test.sh: added static field to have stsfld tests
 439         * make_store_test.sh: fixed the entrypoint
 440         * make_tests.sh: fixed tests to be faithfull to the spec
 441
 442 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 443
 444         *Changelog: fixed the dates of my commits
 445
 446 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 447
 448         *make_load_test.sh: Fixed the entrypoint to generate valid code
 449         *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
 450         *make_tests.sh: Fixed the testsuite to not generate wrong tests
 451         *Makefile: split the clean step as it was failing due to the huge file list
 452          (it might need further tweaking as the testsuite grows)
 453
 454 2007-06-12  Rodrigo Kumpera  <kumpera@gmail.com>
 455
 456         * make_tests.sh: New boolean branch tests
 457         * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
 458         * make_ret_test.sh: removed unused variable from sed expression
 459
 460 2007-06-06  Rodrigo Kumpera  <kumpera@gmail.com>
 461
 462         * Makefile (run-test): Make it use pedump instead of mono for validation
 463         * make_tests.sh: New tests
 464         * invalid_stack_2_tet.il: New test
 465         * make_ret_test.sh: New test script
 466         * make_load_test.sh: New test script
 467         * make_obj_store_test.sh: Test did not generate valid code for some cases
 468         * make_store_test.sh: Test did not generate valid code for some cases
 469
 470 2006-06-06  Zoltan Varga  <vargaz@gmail.com>
 471
 472         * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
 473
 474         * make_tests.sh: Remove some stack merge tests which are verifiable.
 475
 476         * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
 477         test files to the standard .il.
 478
 479 2006-05-25  Zoltan Varga  <vargaz@gmail.com>
 480
 481         * *.sh: Fix more verification problems.
 482
 483         * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
 484
 485 2006-05-23  Zoltan Varga  <vargaz@gmail.com>
 486
 487         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
 488         more ilasm and verification problems.
 489
 490         * TestRunner.cs: New file.
 491
 492 2006-05-12  Zoltan Varga  <vargaz@gmail.com>
 493
 494         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
 495         valuetypes sealed to fix ilasm warnings.
 496
 497 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
 498
 499         * Initial import of the verifiers tests developed by
 500         Jim Purbrick <babbage@lindenlab.com>.
 501