mono/tests/verifier/ChangeLog

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